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

New review + BSc student + To appear paper

parent 33a84acd
......@@ -14,6 +14,19 @@ Entries are sorted in descending order by:
year = "to appear",
author = {Carlos E. Budde
and Arnd Hartmanns
and Michaela Klauck
and Jan K{\v{r}}et{\'i}nsk{\'y}
and David Parker
and Tim Quatmann
and Andrea Turrini
and Zhen Zhang},
title = {Correctness, Precision, and Performance in Quantitative Verification},
booktitle = {{ISoLA}},
year = "to appear",
......@@ -441,6 +441,7 @@ Contribution: \emph{The Dynamic Fault Tree Rare Event Simulator}.
......@@ -498,11 +499,13 @@ Contribution: \emph{The Dynamic Fault Tree Rare Event Simulator}.
\item \href{}{ACM Transactions on
Modeling and Computer Simulation}
Modeling and Computer Simulation}.
\item \href{}%
{Progress in Nuclear Energy} (intl.\ journal).
\item \href{}{Part O: Journal
of Risk and Reliability}
of Risk and Reliability}.
\item \href{}%
{PeerJ Computer Science} journal.
{PeerJ Computer Science} (intl.\ journal).
\item \href{}%
{International Journal on Software Tools for Technology Transfer}.
\item Journal of
......@@ -698,6 +701,8 @@ Systems} (\href{}{MEALS})\\[-1.5ex]
\item[] \textbf{BSc final projects supervision}
\item Z.~Krol: \period{2021\qq{2}}\\
\emph{A new approach to visualizing FMEA data}.
\item M.~Klotz: \period{2020\qq{4}}\\
\emph{Extending the shunting plan generator of the Dutch
Railways with non-service train traffic}.
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