Commit 0b69d49b authored by Carlos E. Budde's avatar Carlos E. Budde

Added PAMPAS project + renamed "Committees" field to "Organiz. of sci.ev."

parent 902fb0fc
No preview for this file type
......@@ -286,7 +286,7 @@ Córdoba Province Gov. -- Ministerio de Industria, Comercio y Trabajo.
\item Budde~C.\,E., D'Argenio~P.\,R., and Hartmanns~A.~; \emph{Automated
compositional importance splitting}~; Sci.\ Comput.\ Program.~174
(pp.~90--108)~; 2019~; \doi[10.1016/j.scico.2019.01.006]%
{https://doi.org/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.,
Hiemstra~D., and Schivo~S.~; \emph{FFORT: A benchmark suite for
fault tree analysis.}~; {ESREL}~2019~; Conference proceedings
......@@ -427,12 +427,14 @@ Systems} (\href{http://www.meals-project.eu/}{MEALS})\\[-1.5ex]
\begin{list1}
\item[] \textbf{Educational events}
\begin{list2}
\item Co-organised the \href{https://www.utwente.nl/en/summer-school-curiousu/courses/risk-management/}{Risk Management track}
in the CuriousU \period{2019}\\
2020 Summer School at the University of Twente.
\item Lecture in the Risk Management track of CuriousU 2020.
\item Co-organised the \href{https://utwente.instructure.com/courses/4099}{Risk Management track}
in the \href{https://www.utwente.nl/en/summer-school-curiousu/}%
{CuriousU summer school}\period{2019}\\
at the University of Twente, 2019 edition.
\item Lecture in the Risk Management track of CuriousU 2019.
\period{2019}\\
Title: \emph{Risk Assessment Techniques \#1: Fault Tree Analysis}.
Title: \href{https://utwente.instructure.com/courses/4099/files/911186?module_item_id=90319}%
{\emph{Risk Assessment Techniques \#1: Fault Tree Analysis}}.
\end{list2}
\end{list1}
......@@ -497,7 +499,7 @@ Systems} (\href{http://www.meals-project.eu/}{MEALS})\\[-1.5ex]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\field{Committees}
\field{Organisation\\of scientific\\events}
\vspace*{0pt}
\textbf{Publicity chair} of \href{http://www.qest.org/qest2020/}{{QEST}'20}.
......@@ -559,6 +561,10 @@ Techniques}\period{2014}\\
\begin{list1}
\itemsep1ex
\item \href{https://fmt.ewi.utwente.nl/research/projects/}{\MakeUppercase{pampas2}: Parallel Algorithms for Model-checking and Parameter}\period[2019]{2020}\\
\href{https://fmt.ewi.utwente.nl/research/projects/}{Synthesis}.
Funded by EP NUFFIC---Van Gogh programme (EU)\\
Role: researcher.
\item \href{https://fmt.ewi.utwente.nl/research/projects/view/success/}%
{\MakeUppercase{success}: SecUre aCCESSibility for the internet of
things.}\period[2019.03]{2019.11}\\
......@@ -614,7 +620,7 @@ Techniques}\period{2014}\\
Title: \emph{A critical review of fault modeling of HVAC systems
in buildings.}\\
NS, Utrecht, the Netherlands.
\item Lecture in the CuriousU 2020 Summer School
\item Lecture in the CuriousU 2019 summer school
(\href{https://www.utwente.nl/en/summer-school-curiousu/courses/risk-management/}{Risk Management track})
\period{2019}\\
Title: \emph{Risk Assessment Techniques \#1: Fault Tree Analysis}.\\
......
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