Follow
David N. Jansen
Title
Cited by
Cited by
Year
The ins and outs of the probabilistic model checker MRMC
JP Katoen, IS Zapreev, EM Hahn, H Hermanns, DN Jansen
Performance evaluation 68 (2), 90-104, 2011
4332011
Bisimulation minimisation mostly speeds up probabilistic model checking
JP Katoen, T Kemna, I Zapreev, DN Jansen
Tools and Algorithms for the Construction and Analysis of Systems, 87-101, 2007
1472007
How fast and fat is your probabilistic model checker? an experimental performance comparison
DN Jansen, JP Katoen, M Oldenkamp, M Stoelinga, I Zapreev
Haifa verification conference, 69-85, 2007
962007
A probabilistic extension of UML statecharts
DN Jansen, H Hermanns, JP Katoen
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2002
772002
A probabilistic extension of UML statecharts
D Jansen, H Hermanns, JP Katoen
Formal Techniques in Real-Time and Fault-Tolerant Systems, 355-374, 2002
772002
Applying Automata Learning to Embedded Control Software
W Smeenk, J Moerman, F Vaandrager, DN Jansen
Formal Methods and Software Engineering: 17th International Conference on …, 2015
612015
Applying Automata Learning to Embedded Control Software
W Smeenk, FW Vaandrager, DN Jansen
612013
Requirements-level semantics and model checking of object-oriented statecharts
R Eshuis, DN Jansen, R Wieringa
Requirements engineering 7 (4), 243-263, 2002
552002
Flow faster: Efficient decision algorithms for probabilistic simulations
L Zhang, H Hermanns, F Eisenbrand, DN Jansen
Logical methods in computer science 4 (4), 2008
512008
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
H Hermanns, DN Jansen, YS Usenko
Proceedings of the 5th international workshop on Software and performance, 13-23, 2005
492005
Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata
J Berendsen, DN Jansen, JP Katoen
Quantitative Evaluation of Systems, 2006. QEST 2006. Third International …, 2006
42*2006
A QoS-oriented extension of UML statecharts
D Jansen, H Hermanns, JP Katoen
«UML» 2003-The Unified Modeling Language. Modeling Languages and …, 2003
422003
An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation
JF Groote, DN Jansen, JJA Keiren, AJ Wijs
ACM Transactions on Computational Logic (TOCL) 18 (2), 1-34, 2017
402017
Logic and model checking for hidden Markov models
L Zhang, H Hermanns, D Jansen
Formal Techniques for Networked and Distributed Systems-FORTE 2005, 98-112, 2005
332005
Extensions of statecharts: with probability, time, and stochastic timing
DN Jansen
University of Twente, 2003
312003
Fortuna: Model checking priced probabilistic timed automata
J Berendsen, DN Jansen, F Vaandrager
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
292010
Undecidability of cost-bounded reachability in priced probabilistic timed automata
J Berendsen, T Chen, D Jansen
Theory and Applications of Models of Computation, 128-137, 2009
292009
Automata-based CSL model checking
L Zhang, DN Jansen, F Nielson, H Hermanns
Automata, languages and programming: ... ICALP. Part II, 271-282, 2011
282011
Finding polynomial loop invariants for probabilistic programs
Y Feng, L Zhang, DN Jansen, N Zhan, B Xia
International Symposium on Automated Technology for Verification and …, 2017
262017
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking
T van Dijk, EM Hahn, DN Jansen, Y Li, T Neele, M Stoelinga, A Turrini, ...
Dependable Software Engineering: Theories, Tools, and Applications, 35-51, 2015
192015
The system can't perform the operation now. Try again later.
Articles 1–20