David N. Jansen
Título
Citado por
Citado por
Ano
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
4112011
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
1432007
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
932007
A probabilistic extension of UML statecharts
DN Jansen, H Hermanns, JP Katoen
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2002
762002
A probabilistic extension of UML statecharts
D Jansen, H Hermanns, JP Katoen
Formal Techniques in Real-Time and Fault-Tolerant Systems, 355-374, 2002
762002
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
542015
Applying Automata Learning to Embedded Control Software
W Smeenk, FW Vaandrager, DN Jansen
542013
Requirements-level semantics and model checking of object-oriented statecharts
R Eshuis, DN Jansen, R Wieringa
Requirements engineering 7 (4), 243-263, 2002
522002
Flow faster: Efficient decision algorithms for probabilistic simulations
L Zhang, H Hermanns, F Eisenbrand, DN Jansen
Logical methods in computer science 4 (4), 2008
492008
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
492007
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
452005
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
40*2006
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
362017
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
292003
Fortuna: Model checking priced probabilistic timed automata
J Berendsen, DN Jansen, F Vaandrager
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
282010
Automata-based CSL model checking
L Zhang, DN Jansen, F Nielson, H Hermanns
Automata, languages and programming: ... ICALP. Part II, 271-282, 2011
262011
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
242009
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
192017
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20