Commit d7d708f0 authored by Carlos E. Budde's avatar Carlos E. Budde

More 2020 content + structure + data privacy.

Content:
  - two TACAS
  - FMT students supervision (Casper, Huibert)
  - PC in GraMSec
  - Reviews for MARS and ESREL-PSAM

Structure:
  Fused PC-ing and reviewing as subfields under "Contributions to Sc. comm."

Privacy:
  - Rolled back my postal address to UT's
  - Mobile and phone numbers are PDF images, just like mail
parent 50b482e5
No preview for this file type
...@@ -3,9 +3,12 @@ ...@@ -3,9 +3,12 @@
%% Preámbulo para código fuente español %% Preámbulo para código fuente español
\usepackage[utf8x]{inputenc} \usepackage[utf8x]{inputenc}
\usepackage[T1]{fontenc} \usepackage[T1]{fontenc}
\usepackage{montserrat} % [black,regular] vs. [semibold,thin]
\usepackage{lmodern} \usepackage{lmodern}
\usepackage{pifont} %% \ding{#} and other nice symbols \usepackage{pifont} %% \ding{#} and other nice symbols
\usepackage[regular,alternates]{montserrat} % changes defailt sffamily
% weights: thin,extralight,light,regular,medium,semibold,bold,extrabold,black
\usepackage{relsize} \usepackage{relsize}
\usepackage{wrapfig} \usepackage{wrapfig}
\usepackage[super]{nth} %% Text superscript for dates (\nth{2} yields "2nd") \usepackage[super]{nth} %% Text superscript for dates (\nth{2} yields "2nd")
...@@ -53,6 +56,15 @@ ...@@ -53,6 +56,15 @@
\setlength{\leftmargin}{7mm}}}% \setlength{\leftmargin}{7mm}}}%
{\end{list}} {\end{list}}
\newenvironment{list3}{ \newenvironment{list3}{
\begin{list}{}{%
\setlength{\itemsep}{.7ex}%
\setlength{\parsep}{0in}%
\setlength{\parskip}{0in}%
\setlength{\topsep}{0ex}%
\setlength{\partopsep}{0in}%
\setlength{\leftmargin}{1em}}}%
{\end{list}}
\newenvironment{list4}{
\begin{list}{}{% \begin{list}{}{%
\setlength{\itemsep}{1ex}% \setlength{\itemsep}{1ex}%
\setlength{\parsep}{0in}% \setlength{\parsep}{0in}%
...@@ -72,10 +84,20 @@ ...@@ -72,10 +84,20 @@
\def\@pwrange[#1]#2{{#1}\,--\,{#2}} \def\@pwrange[#1]#2{{#1}\,--\,{#2}}
\def\@pworange#1{{#1}} \def\@pworange#1{{#1}}
\makeatother \makeatother
\newcommand{\doi}[2][]{\MakeUppercase{\small doi:}~\href{#2}{\num{#1}}} % Underscore in text- vs. mathmode (for in-place '_' in \doi{})
\newcommand{\fig}{{{\normalfont\textsmaller{\montserratalt{FIG}}}}\xspace} % https://tex.stackexchange.com/a/62707)
\AtBeginDocument{
\catcode`_=12
\begingroup\lccode`~=`_
\lowercase{\endgroup\let~}\sb
\mathcode`_="8000
}
\newcommand{\doii}[2][]{\MakeUppercase{\small doi:}~\href{#2}{\num{#1}}}
\newcommand{\doi}[1]{\doii[#1]{https://doi.org/#1}}
\newcommand{\fig}{{\sffamily\mdseries FIG}\xspace}
\newcommand{\acronym}[1]{\textsc{\larger{#1}}\xspace} \newcommand{\acronym}[1]{\textsc{\larger{#1}}\xspace}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document} \begin{document}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
...@@ -107,11 +129,13 @@ ...@@ -107,11 +129,13 @@
EEMCS, \href{https://www.utwente.nl/en/}{University of Twente}.\\ EEMCS, \href{https://www.utwente.nl/en/}{University of Twente}.\\
Homepage: \href{https://people.utwente.nl/c.e.budde}% Homepage: \href{https://people.utwente.nl/c.e.budde}%
{\texttt{https://people.utwente.nl/c.e.budde}} {\texttt{https://people.utwente.nl/c.e.budde}}
\> Mobile: \> \num{+31 61 055 2188}\\ \> Mobile: \> \raisebox{-.5pt}{\includegraphics[width=27.5mm]{mobile}}\\
%\num{+31 61 055 2188}\\
E-mail: \includegraphics[width=35.5mm]{mail} E-mail: \includegraphics[width=35.5mm]{mail}
\> Work: \> \num{+31 53 489 7427}\\ \> Work: \> \raisebox{-.5pt}{\includegraphics[width=27.5mm]{phone}}\\
%Postal address: Zilverling 3110, University of Twente, 7522 NB, %\num{+31 53 489 7427}\\
Postal address: Oelerweg 141, 7555~GM, Hengelo, the Netherlands. Postal address: Zilverling 3110, University of Twente, 7522 NB,
%Postal address: Oelerweg 141, 7555~GM, Hengelo, the Netherlands.
\end{tabbing} \end{tabbing}
...@@ -172,28 +196,31 @@ Grade point average: 9\hspace{1pt}$.\hspace{.7pt}$67\,/\,10\,. ...@@ -172,28 +196,31 @@ Grade point average: 9\hspace{1pt}$.\hspace{.7pt}$67\,/\,10\,.
\begin{list2} % NOTE: 5 items max \begin{list2} % NOTE: 5 items max
\itemsep2ex \itemsep2ex
\item Paper in {TACAS}~2020, \emph{Rare event simulation for non-Markovian
repairable fault trees} (\doi{10.1007/978-3-030-45190-5_26}),
where automated importance splitting is applied on
stochastic semantics of repairable DFTs.
\item Lecturer of the Computer Science MSc course
\emph{Advanced logic}, in the Software Technology track of the
University of Twente (2020).
\item Invited to the \emph{Stochastic Hybrid Systems workshop} \item Invited to the \emph{Stochastic Hybrid Systems workshop}
in Landhaus Rothenberge (Wettringen), Germany. November 2019. in Landhaus Rothenberge (Wettringen), Germany (2019).
% \item Invited research visit to the % \item Invited research visit to the
% \href{https://moves.rwth-aachen.de/}% % \href{https://moves.rwth-aachen.de/}%
% {Software Modeling and Verification group} by Prof.~Dr-Ing.\ % {Software Modeling and Verification group} by Prof.~Dr-Ing.\
% Joost-Pieter Katoen in the RWTH Aachen University, Germany. % Joost-Pieter Katoen in the RWTH Aachen University, Germany.
\item Appointed to lecture the Computer Science MSc course
\emph{Advanced logic} in the Software Technology track of the
University of Twente (2020).
\item Invited research visit (two weeks) to the \item Invited research visit (two weeks) to the
\href{https://lipn.univ-paris13.fr/}{LIPN}, for ongoing collaborations \href{https://lipn.univ-paris13.fr/}{LIPN}, for ongoing collaborations
with Prof.~Laure Petrucci in Universit\'e Paris 13, France. with Prof.~Laure Petrucci in Universit\'e Paris 13, France (2018).
% \item Invited research visit to the % \item Invited research visit to the
% \href{https://stlab.dinfo.unifi.it/}{Software Technologies Lab}, led % \href{https://stlab.dinfo.unifi.it/}{Software Technologies Lab}, led
% by Prof.~Dr-Ing.\ Enrico Vicario in the Università di Firenze, Italy. % by Prof.~Dr-Ing.\ Enrico Vicario in the Università di Firenze, Italy.
\item Tool paper in {TACAS}~2018, \emph{A Statistical Model % \item Tool paper in {TACAS}~2018, \emph{A Statistical Model
Checker for Nondeterminism and Rare Events} % Checker for Nondeterminism and Rare Events}
(\doi[10.1007/978-3-319-89963-3\_20] % (\doi{10.1007/978-3-319-89963-3_20}), where automated
{https://doi.org/10.1007/978-3-319-89963-3_20}), where automated % importance splitting is applied on nondeterministic%
importance splitting is applied on nondeterministic% % \raisebox{-.5pt}{\hspace{.6pt}\tt+\hspace{.9pt}}%
\raisebox{-.5pt}{\hspace{.6pt}\tt+\hspace{.9pt}}% % stochastic systems.
stochastic systems.
% \item Hired by the University of Twente as postdoc % \item Hired by the University of Twente as postdoc
% researcher for a nine-month period in the scope of the % researcher for a nine-month period in the scope of the
% \href{https://fmt.ewi.utwente.nl/research/projects/view/success/}% % \href{https://fmt.ewi.utwente.nl/research/projects/view/success/}%
...@@ -205,8 +232,7 @@ Grade point average: 9\hspace{1pt}$.\hspace{.7pt}$67\,/\,10\,. ...@@ -205,8 +232,7 @@ Grade point average: 9\hspace{1pt}$.\hspace{.7pt}$67\,/\,10\,.
\href{https://fmt.ewi.utwente.nl/research/projects/view/success/}% \href{https://fmt.ewi.utwente.nl/research/projects/view/success/}%
{SUCCESS}. {SUCCESS}.
% \item Paper in {TACAS}~2017, \emph{JANI: Quantitative Model % \item Paper in {TACAS}~2017, \emph{JANI: Quantitative Model
% and Tool Interaction}\\(\doi[10.1007/978-3-662-54580-5\_9]% % and Tool Interaction}\\(\doi{10.1007/978-3-662-54580-5_9}),
% {https://doi.org/10.1007/978-3-662-54580-5_9}),
% where a language exchange format is proposed to communicate % where a language exchange format is proposed to communicate
% software tools whose underlying model semantics overlap. % software tools whose underlying model semantics overlap.
\end{list2} \end{list2}
...@@ -250,7 +276,7 @@ Córdoba Province Gov. -- Ministerio de Industria, Comercio y Trabajo. ...@@ -250,7 +276,7 @@ Córdoba Province Gov. -- Ministerio de Industria, Comercio y Trabajo.
\field{Software\newline tools} \field{Software\newline tools}
\vspace*{0.5ex} \vspace*{0.5ex}
\begin{list3} \begin{list4}
\item \href{https://git.snt.utwente.nl/buddece/fig}{\bf Finite \item \href{https://git.snt.utwente.nl/buddece/fig}{\bf Finite
Improbability Generator (\fig)}: software analysis tool Improbability Generator (\fig)}: software analysis tool
developed during my PhD studies, which uses importance developed during my PhD studies, which uses importance
...@@ -268,7 +294,7 @@ Córdoba Province Gov. -- Ministerio de Industria, Comercio y Trabajo. ...@@ -268,7 +294,7 @@ Córdoba Province Gov. -- Ministerio de Industria, Comercio y Trabajo.
analyzed, which must be a continuous- or discrete-time Markov chain analyzed, which must be a continuous- or discrete-time Markov chain
described in the syntax of described in the syntax of
\href{http://www.prismmodelchecker.org/}{PRISM}. \href{http://www.prismmodelchecker.org/}{PRISM}.
\end{list3} \end{list4}
\textsc{\large note}: all my tools are (and will be) open source; \textsc{\large note}: all my tools are (and will be) open source;
\fig and Bluemoon are distributed under the \href{https://www.gnu.org/licenses/}{GNU General Public License} \href{https://www.gnu.org/licenses/gpl-3.0.html}{version 3}. \fig and Bluemoon are distributed under the \href{https://www.gnu.org/licenses/}{GNU General Public License} \href{https://www.gnu.org/licenses/gpl-3.0.html}{version 3}.
...@@ -278,28 +304,33 @@ Córdoba Province Gov. -- Ministerio de Industria, Comercio y Trabajo. ...@@ -278,28 +304,33 @@ Córdoba Province Gov. -- Ministerio de Industria, Comercio y Trabajo.
\field{Publications} \field{Publications}
\vspace*{0.3ex} \vspace*{0.3ex}
\begin{list3} \begin{list4}
%\item Budde~C.\,E., D'Argenio~P.\,R., Hartmanns~A., and Sedwards~S.~; %\item Budde~C.\,E., D'Argenio~P.\,R., Hartmanns~A., and Sedwards~S.~;
% \emph{An Efficient Statistical Model Checker for Nondeterminism % \emph{An Efficient Statistical Model Checker for Nondeterminism
% and Rare Events}~; Software Tools for Technology Transfer manuscript % and Rare Events}~; Software Tools for Technology Transfer manuscript
% ; 2019 (to appear). % ; 2019 (to appear).
%\item Arias~J., Budde~C.\,E., Penczek~W., Petrucci~L., and Stoelinga~M.~;
% \emph{Hackers vs. Security: Attack-Defence Trees as Asynchronous
% Multi-Agent Systems}~; arXiv:1906.05283~; 2019.
\item Budde~C.\,E.~; \emph{\fig: the Finite Improbability Generator}~;
{TACAS}~2020~; {LNCS}~12078 (pp.~483--491)~; 2020~;
\doi{10.1007/978-3-030-45190-5_27}
\item Budde~C.\,E., Biagi M., Monti~R.\,E., D'Argenio~P.\,R., and
Stoelinga~M.~; \emph{Rare event simulation for non-Markovian
repairable fault trees}~;
{TACAS}~2020~; {LNCS}~12078 (pp.~463--482)~; 2020~;
\doi{10.1007/978-3-030-45190-5_26}
\item Budde~C.\,E., D'Argenio~P.\,R., and Hartmanns~A.~; \emph{Automated \item Budde~C.\,E., D'Argenio~P.\,R., and Hartmanns~A.~; \emph{Automated
compositional importance splitting}~; Sci.\ Comput.\ Program.~174 compositional importance splitting}~; Sci.\ Comput.\ Program.~174
(pp.~90--108)~; 2019~; \doi[10.1016/j.scico.2019.01.006]% (pp.~90--108)~; 2019~; \doi{10.1016/j.scico.2019.01.006}.
{https://doi.org/10.1016/j.scico.2019.01.006}.
\item Ruijters~E., Budde~C.E., Nakhaee~M.C., Stoelinga~M., Bucur~D., \item Ruijters~E., Budde~C.E., Nakhaee~M.C., Stoelinga~M., Bucur~D.,
Hiemstra~D., and Schivo~S.~; \emph{FFORT: A benchmark suite for Hiemstra~D., and Schivo~S.~; \emph{FFORT: A benchmark suite for
fault tree analysis.}~; {ESREL}~2019~; Conference proceedings fault tree analysis.}~; {ESREL}~2019~; Conference proceedings
(pp.~878--885)~; 2019~; \doi[10.3850/978-981-11-2724-3\_0641-cd]% (pp.~878--885)~; 2019~; \doi{10.3850/978-981-11-2724-3_0641-cd}.
{https://repository.ubn.ru.nl/handle/2066/209212}.
%\item Arias~J., Budde~C.\,E., Penczek~W., Petrucci~L., and Stoelinga~M.~;
% \emph{Hackers vs. Security: Attack-Defence Trees as Asynchronous
% Multi-Agent Systems}~; arXiv:1906.05283~; 2019.
\item Abate~A., Budde~C.\,E., Cauchi~N., Harmelen~A., Hoque~K.\,A., \item Abate~A., Budde~C.\,E., Cauchi~N., Harmelen~A., Hoque~K.\,A.,
and Stoelinga~M.~; \emph{Modelling {S}mart {B}uildings using {F}ault and Stoelinga~M.~; \emph{Modelling {S}mart {B}uildings using {F}ault
{M}aintenance {T}rees}~; {EPEW}~2018~; {LNCS}~11178 (pp.~110--125)~; {M}aintenance {T}rees}~; {EPEW}~2018~; {LNCS}~11178 (pp.~110--125)~;
2018~; \doi[10.1007/978-3-030-02227-3\_8]% 2018~; \doi{10.1007/978-3-030-02227-3_8}.
{https://doi.org/10.1007/978-3-030-02227-3_8}.
\item Abate~A., Budde~C.\,E., Cauchi~N., Hoque~K.\,A., and Stoelinga~M.~; \item Abate~A., Budde~C.\,E., Cauchi~N., Hoque~K.\,A., and Stoelinga~M.~;
\emph{Assessment of Maintenance Policies for Smart Buildings: \emph{Assessment of Maintenance Policies for Smart Buildings:
Application of Formal Methods to Fault Maintenance Trees}~; Application of Formal Methods to Fault Maintenance Trees}~;
...@@ -309,50 +340,42 @@ Córdoba Province Gov. -- Ministerio de Industria, Comercio y Trabajo. ...@@ -309,50 +340,42 @@ Córdoba Province Gov. -- Ministerio de Industria, Comercio y Trabajo.
\item Budde~C.\,E., D'Argenio~P.\,R., Hartmanns~A., and Sedwards~S.~; \item Budde~C.\,E., D'Argenio~P.\,R., Hartmanns~A., and Sedwards~S.~;
\emph{A Statistical Model Checker for Nondeterminism and Rare Events}~; \emph{A Statistical Model Checker for Nondeterminism and Rare Events}~;
{TACAS}~2018~; {LNCS}~10806 (pp.~340--358)~; 2018~; {TACAS}~2018~; {LNCS}~10806 (pp.~340--358)~; 2018~;
\doi[10.1007/978-3-319-89963-3\_20]% \doi{10.1007/978-3-319-89963-3_20}.
{https://doi.org/10.1007/978-3-319-89963-3_20}.
\item D'Argenio~P.\,R., Budde~C.\,E., Lee~M.\,D., Monti~R.\,E., \item D'Argenio~P.\,R., Budde~C.\,E., Lee~M.\,D., Monti~R.\,E.,
Rodr\'iguez~L., and Wolovick~N.~; \emph{The Road from Stochastic Rodr\'iguez~L., and Wolovick~N.~; \emph{The Road from Stochastic
Automata to the Simulation of Rare Events}~; Festschrift Symposium Automata to the Simulation of Rare Events}~; Festschrift Symposium
for Ed Brinksma~; {LNCS}~10500 (pp.~276--294)~; 2017~; for Ed Brinksma~; {LNCS}~10500 (pp.~276--294)~; 2017~;
\doi[10.1007/978-3-319-68270-9\_14]% \doi{10.1007/978-3-319-68270-9_14}.
{https://doi.org/10.1007/978-3-319-68270-9_14}.
\item Budde~C.\,E., D'Argenio~P.\,R., and Hartmanns~A.~; \item Budde~C.\,E., D'Argenio~P.\,R., and Hartmanns~A.~;
\emph{Better Automated Importance Splitting for Transient Rare Events}~; \emph{Better Automated Importance Splitting for Transient Rare Events}~;
{SETTA}~2017~; {LNCS}~10606 (pp.~42--58)~; 2017~;\linebreak {SETTA}~2017~; {LNCS}~10606 (pp.~42--58)~; 2017~;\linebreak
\doi[10.1007/978-3-319-69483-2\_3]% \doi{10.1007/978-3-319-69483-2_3}.
{https://link.springer.com/chapter/10.1007/978-3-319-69483-2_3}.
\item Budde~C.\,E., Dehnert~C., Hahn~E.\,M., Hartmanns~A., Junges~S., and \item Budde~C.\,E., Dehnert~C., Hahn~E.\,M., Hartmanns~A., Junges~S., and
Turrini~A.~; \emph{{JANI}: Quantitative Model and Tool Interaction}~; Turrini~A.~; \emph{{JANI}: Quantitative Model and Tool Interaction}~;
{TACAS}~2017~; {LNCS}~10206 (pp.~151--168)~; 2017~; {TACAS}~2017~; {LNCS}~10206 (pp.~151--168)~; 2017~;
\doi[10.1007/978-3-662-54580-5\_9]% \doi{10.1007/978-3-662-54580-5_9}.
{https://doi.org/10.1007/978-3-662-54580-5_9}.
\item Budde~C.\,E., D'Argenio~P.\,R., and Monti~R.\,E.~; \item Budde~C.\,E., D'Argenio~P.\,R., and Monti~R.\,E.~;
\href{http://dsg.famaf.unc.edu.ar/node/691}{\emph{Compositional \emph{Compositional Construction of Importance Functions
Construction of Importance Functions in Fully Automated in Fully Automated Importance Splitting}~; {VALUETOOLS}~2016~;
Importance Splitting}}~; {VALUETOOLS}~2016~; Conference proceedings Conference proceedings (pp.~30--37)~; 2016~;
(pp.~30--37)~; 2016~; \doi[10.4108/eai.25-10-2016.2266501]% \doi{10.4108/eai.25-10-2016.2266501}.
{https://dl.acm.org/citation.cfm?id=3130271}.
\item Budde~C.\,E., D'Argenio~P.\,R., and Hermanns~H.~; \emph{% \item Budde~C.\,E., D'Argenio~P.\,R., and Hermanns~H.~; \emph{%
Rare event simulation with fully automated importance splitting}~; Rare event simulation with fully automated importance splitting}~;
{EPEW~2015}, published in Computer Performance Engineering 9272 {EPEW~2015}, published in Computer Performance Engineering 9272
(pp.~275--290)~; 2015~; \doi[10.1007/978-3-319-23267-6\_18]% (pp.~275--290)~; 2015~; \doi{10.1007/978-3-319-23267-6_18}.
{http://dx.doi.org/10.1007/978-3-319-23267-6_18}.
\item Budde~C.\,E.~; \emph{A theory for the semantics of continuous \item Budde~C.\,E.~; \emph{A theory for the semantics of continuous
systems with stochastic and structural non-determinism}~; systems with stochastic and structural non-determinism}~;
Young Researchers Workshop on Concurrency Theory (YR-CONCUR)~; 2013. Young Researchers Wkshp.\ on Concurr.\ Theory (YR-CONCUR)~; 2013.
\item Rojo~F., Budde~C.\,E., Wio~H.\,S., and Budde~C.\,E.~Sr.~; \item Rojo~F., Budde~C.\,E., Wio~H.\,S., and Budde~C.\,E.~Sr.~;
\emph{Enhanced transport through desorption-mediated \emph{Enhanced transport through desorption-mediated
diffusion}~; Phys.~Rev.~E, 87, 012115 (5~pp.)~; 2013~;\\ diffusion}~; Phys.~Rev.~E, 87, 012115 (5~pp.)~; 2013~;\\
\doi[10.1103/PhysRevE.87.012115]% \doi{10.1103/PhysRevE.87.012115}.
{http://pre.aps.org/abstract/PRE/v87/i1/e012115}.
\item Budde~C.\,E., D'Argenio~P.\,R., Sánchez Terraf~P., and \item Budde~C.\,E., D'Argenio~P.\,R., Sánchez Terraf~P., and
Wolovick~N.~; \emph{A theory for the semantics of stochastic Wolovick~N.~; \emph{A theory for the semantics of stochastic
and non-deterministic continuous systems}~; {ROCKS}~2012 (Stochastic and non-deterministic continuous systems}~; {ROCKS}~2012 (Stochastic
Model Checking)~; {LNCS}~8453 (pp.~67-86)~; 2012~; Model Checking)~; {LNCS}~8453 (pp.~67-86)~; 2012~;
\doi[10.1007/978-3-662-45489-3\_3]% \doi{10.1007/978-3-662-45489-3_3}.
{http://dx.doi.org/10.1007/978-3-662-45489-3_3}. \end{list4}
\end{list3}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
...@@ -440,11 +463,21 @@ Systems} (\href{http://www.meals-project.eu/}{MEALS})\\[-1.5ex] ...@@ -440,11 +463,21 @@ Systems} (\href{http://www.meals-project.eu/}{MEALS})\\[-1.5ex]
\begin{list1} \begin{list1}
\def\qq#1{\hspace{.7pt}:\hspace{1.2pt}Q#1} \def\qq#1{\hspace{.7pt}:\hspace{1.2pt}Q#1}
\item[] \textbf{BSc student projects supervision} \item[] \textbf{MSc final projects supervision}
\begin{list1}
\item H.\,J.~Alblas: \period{2020}\\
\emph{Predictive maintenance of Dutch civil infrastructure:
a structured approach}.\\
\acronym{pdf\,uri}:~\href{https://essay.utwente.nl/80517/1/Alblas_MA_EEMCS.pdf}{essay.utwente.nl/80517/1/Alblas_MA_EEMCS.pdf}.\\
\href{http://purl.utwente.nl/essays/80517}{Entry in the library catalogue of the University of Twente}.
\end{list1}
\item[] \textbf{BSc final projects supervision}
\begin{list1} \begin{list1}
\item C.~Plentinger: \period{2020\qq{2}}\\
\emph{GUI for \fig: Visualising simulation results}.
\item V.~Sudhakar: \period{2019\qq{4}}\\ \item V.~Sudhakar: \period{2019\qq{4}}\\
\emph{Implementing topological value iteration for \emph{Implementing topological value iteration for
Markov decision\\processes in \textsc{The Modest Toolset}} Markov decision\\processes in the} \textsc{Modest Toolset}
\item PJ.~Roelofs: \period{2018\qq{2}}\\ \item PJ.~Roelofs: \period{2018\qq{2}}\\
\emph{Determining Long Run Properties of Complex Models\\ \emph{Determining Long Run Properties of Complex Models\\
using Statistical Model Checking}. using Statistical Model Checking}.
...@@ -466,13 +499,13 @@ Systems} (\href{http://www.meals-project.eu/}{MEALS})\\[-1.5ex] ...@@ -466,13 +499,13 @@ Systems} (\href{http://www.meals-project.eu/}{MEALS})\\[-1.5ex]
\textbf{FAMAF}, National University of Córdoba, Argentina. \textbf{FAMAF}, National University of Córdoba, Argentina.
\begin{list1} \begin{list1}
\item[] \textbf{MSc student projects supervision} \item[] \textbf{MSc final projects supervision}
\begin{list1} \begin{list1}
\item M.~Hunicken: \period{2018}\\ \item M.~Hunicken: \period{2018}\\
\emph{Simulaci\'on de eventos raros con Importance Splitting, \emph{Simulaci\'on de eventos raros con Importance Splitting,
extendiendo \fig con\\Fixed Effort y Fixed Sucess}. extendiendo \fig\\con Fixed Effort y Fixed Sucess}.\\
\acronym{pdf\,uri}:~\href{https://rdu.unc.edu.ar/handle/11086/10742}% \acronym{pdf\,uri}:~\href{https://rdu.unc.edu.ar/handle/11086/10742}%
{\num{rdu.unc.edu.ar/handle/11086/10742}} (\acronym{es}). {\num{rdu.unc.edu.ar/handle/11086/10742}} (\acronym{es}).\\
\href{http://famaf.biblio.unc.edu.ar/cgi-bin/koha/opac-detail.pl?biblionumber=18801}{Entry in \acronym{famaf} library catalogue}. \href{http://famaf.biblio.unc.edu.ar/cgi-bin/koha/opac-detail.pl?biblionumber=18801}{Entry in \acronym{famaf} library catalogue}.
\end{list1} \end{list1}
\end{list1} \end{list1}
...@@ -499,60 +532,79 @@ Systems} (\href{http://www.meals-project.eu/}{MEALS})\\[-1.5ex] ...@@ -499,60 +532,79 @@ Systems} (\href{http://www.meals-project.eu/}{MEALS})\\[-1.5ex]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\field{Organisation\\of scientific\\events} \field{Contributions\\to scientific\\community}
\vspace*{0pt} \vspace*{-9pt}
\textbf{Publicity chair} of \href{http://www.qest.org/qest2020/}{{QEST}'20}.
\period{2020}
\textbf{Program committee member} of \href{http://www.qest.org/qest2020/}{{QEST}'20}. %%%%%%%%%%%%%%%%%%%%
\period{2020} \subfield{Program Chairs \& Committees}
\textbf{Artifact evaluation committee member} of \href{https://www.etaps.org/2020/tacas}{{TACAS}'20}.
\period{2020}
\textbf{Program committee member} of \href{https://fmics20.ait.ac.at/}{{FMICS}'20}. \vspace{-3ex}
\period{2020} \begin{list3}
\item Program committee member of
\href{https://www.gramsec.uni.lu/}{{GraMSec}~2020}.
\period{2020}
\item Publicity chair of
\href{http://www.qest.org/qest2020/}{{QEST}~2020}.
\period{2020}
\item Program committee member of
\href{http://www.qest.org/qest2020/}{{QEST}~2020}.
\period{2020}
\item Artifact evaluation committee member of
\href{https://www.etaps.org/2020/tacas}{{TACAS}~2020}.
\period{2020}
\item Program committee member of
\href{https://fmics20.ait.ac.at/}{{FMICS}~2020}.
\period{2020}
\end{list3}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\field{Peer\\reviewing} \subfield{Peer reviewing}
\vspace*{0pt}
\textbf{Reviewer (artifacts)} in the \emph{\nth{26} Intl.\ Conf.\ on Tools and
Algorithms}
\period{2020}\\
\emph{for the Construction and Analysis of Systems}---%
\href{https://www.etaps.org/2020/tacas}{{TACAS}'20}.
\textbf{Reviewer} in the \emph{\nth{5} Symposium on Dependable Software
Engineering}---\href{http://www4.comp.polyu.edu.hk/~csguannan/setta19/}%
{{SETTA}'19}.\period{2019}
\textbf{Reviewer} in the
\href{https://www.springer.com/computer/swe/journal/10009}%
{International Journal on Software Tools for Technology Transfer}.
\textbf{Reviewer} in the journal \vspace{-3ex}
\href{https://www.journals.elsevier.com/operations-research-perspectives}% \begin{list3}
{Operations Research Perspectives}. % \item Reviewer in the
% journal \emph{Part O: Journal of Risk and Reliability}
\textbf{Reviewer} in the \emph{\nth{29} European Safety and Reliability % of the Institution of Mechanical Engineers.
Conference}---\href{https://esrel2019.org/#/}{{ESREL}'19}.\period{2019} \item Reviewer in the
\emph{\nth{30} European Safety and Reliability Conference\,|\,}
\textbf{Reviewer} in the \emph{Annual Conference of the PHM Society 2018}% \period{2020}\\
---\href{https://www.phmsociety.org/events/conference/phm/18}{{PHM}'18}. \emph{\nth{15} Probabilistic Safety Assessment and
\period{2018} Management Conference}---%
\href{https://www.esrel2020-psam15.org/}{{ESREL-PSAM}}.
\textbf{Reviewer} in the \emph{\nth{15} International Conference on \item Reviewer in the
Quantitative}\period{2018}\\ \emph{\nth{4} Wkshp.\ on Models for Formal Analysis of Real Systems}%
\emph{Evaluation of SysTems}---\href{http://www.qest.org/qest2018/}{{QEST}'18}. ---\href{http://mars-workshop.org/mars2020/}{{MARS}}.\period{2020}
\item Reviewer (artifacts) in the
\textbf{Reviewer} in the \emph{\nth{34} IFIP International Conference on Formal \emph{\nth{26} Intl.\ Conf.\ on Tools and Algorithms}\period{2020}\\
Techniques}\period{2014}\\ \emph{for the Construction and Analysis of Systems}---%
\emph{for Distributed Objects, Components and Systems}---% \href{https://www.etaps.org/2020/tacas}{{TACAS}}.
\href{http://www.discotec2014.tu-berlin.de/calls/forte-2014-call-for-papers}% \item Reviewer in the
{{FORTE}'14}. \emph{\nth{5} Symposium on Dependable Software Engineering}---%
\href{http://www4.comp.polyu.edu.hk/~csguannan/setta19/}%
{{SETTA}}.\period{2019}
\item Reviewer in the
\href{https://www.springer.com/computer/swe/journal/10009}%
{International Journal on Software Tools for Technology Transfer}.
\item Reviewer in the journal
\href{https://www.journals.elsevier.com/operations-research-perspectives}%
{Operations Research Perspectives}.
\item Reviewer in the \emph{\nth{29} European Safety and Reliability
Conference}---\href{https://esrel2019.org/#/}{{ESREL}}.\period{2019}
\item Reviewer in the
\emph{Annual Conference of the PHM Society}---%
\href{https://www.phmsociety.org/events/conference/phm/18}{{PHM}'18}.
\period{2018}
\item Reviewer in the
\emph{\nth{15} International Conference on Quantitative Evaluation of}
\period{2018}\\
\emph{SysTems}---\href{http://www.qest.org/qest2018/}{{QEST}}.
\item Reviewer in the
\emph{\nth{34} IFIP International Conference on Formal Techniques}%
\period{2014}\\
\emph{for Distributed Objects, Components and Systems}---%
\href{http://www.discotec2014.tu-berlin.de/calls/forte-2014-call-for-papers}{{FORTE}}.
\end{list3}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
...@@ -843,13 +895,15 @@ Techniques}\period{2014}\\ ...@@ -843,13 +895,15 @@ Techniques}\period{2014}\\
Valle Hermoso, Argentina. Valle Hermoso, Argentina.
\end{list1} \end{list1}
% TODO: delete following:
\pagebreak
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\field{Post-graduate\\courses} \field{Post-graduate\\courses}
\hypertarget{sec:pgcourses}{} \hypertarget{sec:pgcourses}{}
\vspace*{0.3ex} \vspace*{0.3ex}
\begin{list3} \begin{list4}
\item \emph{Supervising Students}. \period{2019}\\ \item \emph{Supervising Students}. \period{2019}\\
Lecturer: Drs.\ Marleen de Haan, University of Twente, The Netherlands.\\ Lecturer: Drs.\ Marleen de Haan, University of Twente, The Netherlands.\\
Length: 10~h. Length: 10~h.
...@@ -915,7 +969,7 @@ Techniques}\period{2014}\\ ...@@ -915,7 +969,7 @@ Techniques}\period{2014}\\
Aplicaciones Científicas.}\period{2011}\\ Aplicaciones Científicas.}\period{2011}\\
FAMAF, National University of Córdoba.\\ FAMAF, National University of Córdoba.\\
Length: 35~h. Length: 35~h.
\end{list3} \end{list4}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment