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-) Bisimulation minimisation mostly speeds up probabilistic model checking Tools and Algorithms for the Construction and Analysis of Systems, 87-101, 2007
2-) How fast and fat is your probabilistic model checker? an experimental performance comparison Haifa verification conference, 69-85, 2007
3-) Applying Automata Learning to Embedded Control Software Formal Methods and Software Engineering: 17th International Conference on …, 2015
4-) Applying Automata Learning to Embedded Control Software
5-) Applying Automata Learning to Embedded Control SoftwareW Smeenk, FW Vaandrager, DN Jansen912013