EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Jansen, D.N.
Home Policy Brochure Browse Search User Area Contact Help

2015

van Dijk, T. and Hahn, E.M. and Jansen, D.N. and Li, Yong and Neele, T. and Stoelinga, M.I.A. and Turrini, A. and Zhang, Lijun (2015) A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. In: Proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015), 4-6 Nov 2015, Nanjing, China. pp. 35-51. Lecture Notes in Computer Science 9409. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-25941-3

2011

Katoen, J.P. and Zapreev, I.S. and Hahn, E.M. and Hermanns, H. and Jansen, D.N. (2011) The ins and outs of the probabilistic model checker MRMC. Performance evaluation, 68 (2). pp. 90-104. ISSN 0166-5316 *** ISI Impact 0,944 ***

2010

Mader, A.H. and Bohnenkamp, H.C. and Usenko, Y.S. and Jansen, D.N. and Hurink, J.L. and Hermanns, H. (2010) Synthesis and stochastic assessment of cost-optimal schedules. International journal on software tools for technology transfer, 12 (5). pp. 305-317. ISSN 1433-2779

2009

Katoen, J.P. and Zapreev, I.S. and Hahn, E.M. and Hermanns, H. and Jansen, D.N. (2009) The Ins and Outs of the Probabilistic Model Checker MRMC. In: Sixth International Conference on the Quantitative Evaluation of Systems, 13-16 Sept 2009, Budapest, Hungary. pp. 167-176. IEEE Computer Society. ISBN 978-1-42444-942-2

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. 69-85. Lecture Notes in Computer Science 4899. Springer Verlag. ISBN 978-3-540-77964-3

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. 87-101. Lecture notes in computer science 4424. Springer. ISBN 978-3-540-71208-4
Zhang, Lijun 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. 155-169. Lecture notes in computer science 4424. Springer. ISBN 978-3-540-71208-4

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. Technical Report TR-CTIT-06-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
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. 311-322. IEEE Computer Society. ISBN 0-7695-2665-9
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. Technical Report TR-CTIT-06-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2005

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. pp. 13-23. ACM Press. ISBN 1-59593-087-6
Hermanns, H. and Jansen, D.N. and Usenko, Y.S. (2005) A comparative reliability analysis of ETCS train radio communications. Technical Report 2 Transregional Collaborative Research Center 14 AVACS, Germany. ISSN 1860-9821
Jansen, D.N. and Hermanns, H. (2005) QoS modelling and analysis with UML-statecharts: the StoCharts approach. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 28-33. ISSN 0163-5999
Zhang, Lijun and Hermanns, H. and Jansen, D.N. (2005) Logic and model checking for hidden Markov models. Technical Report 6 Transregional Collaborative Research Center 14 AVACS, Germany. ISSN 1860-9821
Zhang, Lijun 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, Taipei, Taiwan. pp. 98-112. Lecture notes in computer science 3731. Springer-Verlag. ISBN 3-540-29189-X

2004

Jansen, D.N. and Hermanns, H. (2004) Dependability checking with StoCharts: Is train radio reliable enough for trains? In: QEST 2004: first international conference on the quantitative evaluation of systems, Enschede, Netherlands. pp. 250-259. IEEE Computer Society. ISBN 0-7695-2185-1

2003

Jansen, D.N. (2003) Extensions of Statecharts with probability, time, and stochastic timing. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 03-57 ISBN 3-9522850-0-5
Jansen, D.N. and Hermanns, H. and Katoen, J.P. (2003) A QoS-oriented extension of UML statecharts. In: «UML» 2003: the unified modeling language, 20-24 Oct 2003, San Francisco, Calif., USA. pp. 76-91. Lecture Notes in Computer Science 2863. Springer-Verlag. ISBN 3-540-20243-9

2002

Eshuis, H. and Jansen, D.N. and Wieringa, R.J. (2002) Requirements-level semantics and model checking of object-oriented statecharts. Requirements Engineering, 7 (4). pp. 243-263. ISSN 0947-3602 *** ISI Impact 1,105 ***
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. 121-131. Technical Report TUM-I0208. Technische Universität München.
Jansen, D.N. and Hermanns, H. and Katoen, J.P. (2002) A probabilistic extension of UML statecharts: specification and verification. Technical Report TR-CTIT-02-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jansen, D.N. and Hermanns, H. and Katoen, J.P. (2002) A probabilistic extension of UML statecharts: specification and verification. In: Formal techniques in real-time and fault-tolerant systems: ... FTRTFT, September 9-12, 2002, Oldenburg, Germany. pp. 355-374. Lecture Notes in Computer Science 2469. Springer-Verlag. ISBN 3-540-44165-4
Jansen, D.N. and Wieringa, R.J. (2002) Extending CTL with actions and real time. Journal of logic and Computation, 12 (4). pp. 607-621. ISSN 0955-792X *** ISI Impact 0,585 ***

2001

Wieringa, R.J. and Jansen, D.N. (2001) Techniques for reactive system design: the tools in TRADE. In: Advanced information systems engineering: 13th international conference, CAiSE. pp. 93-107. Lecture notes in computer science 2068. Springer-Verlag. ISBN 3-540-42215-3

2000

Jansen, D.N. and Wieringa, R.J. (2000) Extending CTL with Actions and Real-Time. In: International Conference on Temporal Logic, Leipzig. pp. 105-114. s. n..
Jansen, D.N. and Wieringa, R.J. (2000) Reducing the extensions of CTL with actions and real time. Technical Report TR-CTIT-00-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625