David N. Jansen
David N. Jansen
Geverifieerd e-mailadres voor cs.ru.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
3922011
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
1312007
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
892007
A probabilistic extension of UML statecharts
DN Jansen, H Hermanns, JP Katoen
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2002
692002
A probabilistic extension of UML statecharts
D Jansen, H Hermanns, JP Katoen
Formal Techniques in Real-Time and Fault-Tolerant Systems, 355-374, 2002
692002
Requirements-level semantics and model checking of object-oriented statecharts
R Eshuis, DN Jansen, R Wieringa
Requirements engineering 7 (4), 243-263, 2002
482002
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
472015
Applying Automata Learning to Embedded Control Software
W Smeenk, FW Vaandrager, DN Jansen
472013
Flow faster: Efficient decision algorithms for probabilistic simulations
L Zhang, H Hermanns, F Eisenbrand, DN Jansen
Logical methods in computer science 4 (4), 2008
462008
Flow faster: Efficient decision algorithms for probabilistic simulations
L Zhang, H Hermanns, F Eisenbrand, DN Jansen
Tools and Algorithms for the Construction and Analysis of Systems, 155-169, 2007
462007
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
432005
A QoS-oriented extension of UML statecharts
D Jansen, H Hermanns, JP Katoen
«UML» 2003-The Unified Modeling Language. Modeling Languages and …, 2003
412003
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
36*2006
An O (m log n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation
JF Groote, DN Jansen, JJA Keiren, AJ Wijs
ACM Transactions on Computational Logic (TOCL) 18 (2), 13, 2017
292017
Extensions of statecharts: with probability, time, and stochastic timing
DN Jansen
University of Twente, 2003
292003
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
282005
Fortuna: Model checking priced probabilistic timed automata
J Berendsen, DN Jansen, F Vaandrager
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
262010
Automata-based CSL model checking
L Zhang, DN Jansen, F Nielson, H Hermanns
Automata, languages and programming: ... ICALP. Part II, 271-282, 2011
242011
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
222009
Synthesis and stochastic assessment of cost-optimal schedules
A Mader, H Bohnenkamp, YS Usenko, DN Jansen, J Hurink, H Hermanns
International journal on software tools for technology transfer 12 (5), 305-318, 2010
162010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20