David N. Jansen

The ins and outs of the probabilistic model checker MRMC

Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn et al. · Performance Evaluation · 2010 · 247 citations

Engineering, Uncertainty Quantification, Automated Reasoning +10

The Ins and Outs of the Probabilistic Model Checker MRMC

Joost-Pieter Katoen, Ivan S. Zapree, Ernst Moritz Hahn et al. · 2009 · 88 citations · Full text

Engineering, Reachability Problem, Verification +18

AixLib: an open-source Modelica library for compound building energy systems from component to district level with automated quality management

Laura Maier, David N. Jansen, Fabian Wüllhorst et al. · Journal of Building Performance Simulation · 2023 · 48 citations · Full text

Engineering, Aixlib Modelling Library, Software Engineering +20

An <i>O</i> ( <i>m</i> log <i>n</i> ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation

Jan Friso Groote, David N. Jansen, Jeroen J. A. Keiren et al. · ACM Transactions on Computational Logic · 2017 · 41 citations · Full text

Branching Bisimulation, Computational Complexity Theory, Engineering +14

From StoCharts to MoDeST

Holger Hermanns, David N. Jansen, Yaroslav S. Usenko · 2005 · 37 citations