David N Jansen

David N Jansen

Radboud University - Nijmegen / Netherlands
Engineering & Technology / Computer Science
AD Scientific Index ID: 1791423
Radboud Universiteit
person_outline David N Jansen's MOST POPULAR ARTICLES
1-) The ins and outs of the probabilistic model checker MRMCJP Katoen, IS Zapreev, EM Hahn, H Hermanns, DN JansenPerformance evaluation 68 (2), 90-104, 20114372011
2-) Bisimulation minimisation mostly speeds up probabilistic model checkingJP Katoen, T Kemna, I Zapreev, DN JansenTools and Algorithms for the Construction and Analysis of Systems, 87-101, 20071482007
3-) How fast and fat is your probabilistic model checker? an experimental performance comparisonDN Jansen, JP Katoen, M Oldenkamp, M Stoelinga, I ZapreevHaifa verification conference, 69-85, 2007982007
4-) Applying Automata Learning to Embedded Control SoftwareW Smeenk, J Moerman, F Vaandrager, DN JansenFormal Methods and Software Engineering: 17th International Conference on …, 2015892015
5-) Applying Automata Learning to Embedded Control SoftwareW Smeenk, FW Vaandrager, DN Jansen892013