Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2011 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000
Number of items: 25.

2011

Katoen, Joost-Pieter and Zapreev, Ivan S. and Hahn, Ernst Moritz and Hermanns, Holger and Jansen, David N. (2011) The ins and outs of the probabilistic model checker MRMC. Performance Evaluation, 68 (2). pp. 90-104. ISSN 0166-5316

2009

Katoen, Joost-Pieter and Zapreev, Ivan S. and Hahn, Ernst Moritz and Hermanns, Holger and Jansen, David N. (2009) The Ins and Outs of the Probabilistic Model Checker MRMC. In: Sixth International Conference on the Quantitative Evaluation of Systems, QEST, 13-16 Sept 2009, Budapest, Hungary (pp. pp. 167-176).

Mader, Angelika and Bohnenkamp, Henrik and Usenko, Yaroslav S. and Jansen, David N. and Hurink, Johann and Hermanns, Holger (2009) Synthesis and stochastic assessment of cost-optimal schedules. International Journal on Software Tools for Technology Transfer (STTT), 12 (5). pp. 305-317. ISSN 1433-2779

2008

Jansen, D.N. and Katoen, J.P. and Oldenkamp, M. and Stoelinga, M.I.A. and Zapreev, I.S. (2008) How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. In: Hardware and Software: Verification and Testing, Proceedings of the Third International Haifa Verification Conference, HVC 2007, 23-25 Oct 2007, Haifa, Israel (pp. pp. 69-85).

2007

Katoen, J.-P. and Kemna, T. and Zapreev, I.S. and Jansen, D.N. (2007) Bisimulation minimisation mostly speeds up probabilistic model checking. In: Tools and algorithms for the construction and analysis of systems, 24 Mar-1 Apr 2007, Braga, Portugal (pp. pp. 87-101).

Zhang, L. and Hermanns, H. and Eisenbrand, F. and Jansen, D.N. (2007) Flow faster: efficient decision algorithms for probabilistic simulations. In: Tools and algorithms for the construction and analysis of systems, 24 Mar-1 Apr 2007, Braga, Portugal (pp. pp. 155-169).

2006

Berendsen, J. and Jansen, D.N. and Katoen, J.P. (2006) Probably on time and within budget – On reachability in priced probabilistic timed automata. In: Quantitative Evaluation of Systems (QEST), Riverside, US (pp. pp. 311-322).

Berendsen, J. and Jansen, D.N. and Katoen, J.P. (2006) Probably on time and within budget: on reachability in priced probabilistic timed automata. [Report]

Mader, A.H. and Bohnenkamp, H.C. and Usenko, Y.S. and Jansen, D.N. and Hurink, J.L. and Hermanns, H. (2006) Synthesis and Stochastic Assessment of Cost-Optimal Schedules. [Report]

2005

Hermanns, H. and Jansen, D.N. and Usenko, Y.S. (2005) A comparative reliability analysis of ETCS train radio communications. [Report]

Hermanns, H. and Jansen, D.N. and Usenko, Y.S. (2005) From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. In: Proceedings of the 5th international workshop on Software and performance, WOSP '05, July, 12-14, Palma de Mallorca, Spain (pp. pp. 13-23).

Jansen, David N. and Hermanns, Holger (2005) QoS modelling and analysis with UML-statecharts: the StoCharts approach. ACM SIGMETRICS Performance Evaluation Review, 32 . pp. 28-33. ISSN 0163-5999

Zhang, L. and Hermanns, H. and Jansen, D.N. (2005) Logic and model checking for hidden Markov models. In: Formal techniques for networked and distributed systems, FORTE (pp. pp. 98-112).

Zhang, Lijun and Hermanns, Holger and Jansen, David N. (2005) Logic and model checking for hidden Markov models. [Report]

2004

Jansen, D.N. and Hermanns, H. (2004) Dependability checking with StoCharts: Is train radio reliable enough for trains? In: QEST 2004 proceedings (pp. pp. 250-259).

2003

Jansen, David N. and Hermanns, Holger and Katoen, Joost-Pieter (2003) A QoS-oriented extension of UML statecharts. In: 6th International Conference on the Unified Modeling Language, UML 2003, October 20-24, 2003, San Francisco, CA, USA (pp. pp. 76-91).

Jansen, David Nicolaas (2003) Extensions of statecharts : with probability, time, and stochastic timing. thesis.

2002

Eshuis, Rik and Jansen, David N. and Wieringa, Roel (2002) Requirements-level semantics and model checking of object-oriented statecharts. Requirements engineering, 7 (4). pp. 243-263. ISSN 0947-3602

Jansen, D.N. (2002) Probabilistic UML statecharts for specification and verification: a case study. In: Critical systems development with UML: proceedings of the UML'02 workshop, Leipzig, Germany (pp. pp. 121-131).

Jansen, David N. and Hermanns, Holger and Katoen, Joost-Pieter (2002) A probabilistic extension of UML statecharts: Specification and Verification. In: 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2002, September 9-12, 2002, Oldenburg, Germany (pp. pp. 355-374).

Jansen, David N. and Hermanns, Holger and Katoen, Joost-Pieter (2002) A probabilistic extension of UML statecharts: specification and verification. [Report]

Jansen, David N. and Wieringa, Roel J. (2002) Extending CTL with Actions and Real Time. Journal of Logic and Computation, 12 (4). pp. 607-621. ISSN 0955-792X

2001

Jansen, D.N. (2001) Model checking at the requirements level: research abstract. In: Proceedings Requirement Engineering 2001, Doctoral Workshop, Toronto, Canada.

Wieringa, Roel J. and Jansen, David N. (2001) Techniques for reactive system design: the tools in TRADE. In: 13th International Conference on Advanced Information Systems Engineering, CAISE, June 4–8, 2001, Interlaken, Switzerland (pp. pp. 93-107).

2000

Jansen, David N. and Wieringa, Roel J. (2000) Reducing the extensions of CTL with actions and real time. [Report]

This list was generated on Fri Aug 29 05:18:29 2014 CEST.