Calculated based on number of publications stored in Pure and citations from Scopus
20002015

Research activity per year

Filter
Conference contribution

Search results

  • 2015

    A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking

    van Dijk, T., Hahn, E. M., Jansen, D. N., Li, Y., Neele, T., Stoelinga, M., Turrini, A. & Zhang, L., 2015, Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham, Switzerland: Springer, p. 35-51 17 p. (Lecture Notes in Computer Science; vol. 9409).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    16 Citations (Scopus)
    219 Downloads (Pure)
  • 2009

    The Ins and Outs of the Probabilistic Model Checker MRMC

    Katoen, J-P., Zapreev, I. S., Hahn, E. M., Hermanns, H. & Jansen, D. N., Sept 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems. Los Alamitos, CA: IEEE, p. 167-176 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    78 Citations (Scopus)
    193 Downloads (Pure)
  • 2008

    How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison

    Jansen, D. N., Katoen, J. P., Oldenkamp, M., Stoelinga, M. I. A. & Zapreev, I. S., Feb 2008, Hardware and Software: Verification and Testing, Proceedings of the Third International Haifa Verification Conference, HVC 2007. Yohav, K. (ed.). London: Springer, p. 69-85 17 p. 10.1007/978-3-540-77966-7_9. (Lecture Notes in Computer Science; vol. 4899, no. 2008/16200).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    45 Citations (Scopus)
    9 Downloads (Pure)
  • 2007

    Bisimulation minimisation mostly speeds up probabilistic model checking

    Katoen, J-P., Kemna, T., Zapreev, I. & Jansen, D. N., 2007, Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings. Grumberg, O. & Huth, M. (eds.). Berlin: Springer, p. 87-101 15 p. (Lecture Notes in Computer Science; vol. 4424)(Theoretical Computer Science and General Issues).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    88 Citations (Scopus)
    11 Downloads (Pure)
  • Flow faster: efficient decision algorithms for probabilistic simulations

    Zhang, L., Hermanns, H., Eisenbrand, F. & Jansen, D. N., 2007, Tools and algorithms for the construction and analysis of systems. Grumberg, O. & Huth, M. (eds.). Berlin: Springer, p. 155-169 15 p. 10.1007/978-3-540-71209-1_14. (Lecture notes in computer science; vol. 4424, no. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    13 Citations (Scopus)
    2 Downloads (Pure)
  • 2006

    Probably on time and within budget: On reachability in priced probabilistic timed automata

    Berendsen, J., Jansen, D. N. & Katoen, J-P., Sept 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST 2006). Los Alamitos, CA: IEEE, p. 311-322 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 2005

    From StoCharts to MoDeST: a comparative reliability analysis of train radio communications

    Hermanns, H., Jansen, D. N. & Usenko, Y. S., Jul 2005, Proceedings of the 5th international workshop on Software and performance. New York, NY, USA: ACM Press, p. 13-23 261 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    37 Citations (Scopus)
    173 Downloads (Pure)
  • Logic and model checking for hidden Markov models

    Zhang, L., Hermanns, H. & Jansen, D. N., Oct 2005, Formal techniques for networked and distributed systems, FORTE. Wang, F. (ed.). Berlin, Germany: Springer, p. 98-112 15 p. (Lecture notes in computer science; vol. 3731, no. XII).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    89 Downloads (Pure)
  • 2004

    Dependability checking with StoCharts: Is train radio reliable enough for trains?

    Jansen, D. N. & Hermanns, H., Sept 2004, QEST 2004: first international conference on the quantitative evaluation of systems. Los Alamitos CA: IEEE, p. 250-259 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    12 Citations (Scopus)
    158 Downloads (Pure)
  • 2003

    A QoS-oriented extension of UML statecharts

    Jansen, D. N., Hermanns, H. & Katoen, J. P., 2003, «UML» 2003: the unified modeling language. Stevens, P., Whittle, J. & Booch, G. (eds.). Berlin, Germany: Springer, p. 76-91 16 p. (Lecture Notes in Computer Science; vol. 2863, no. XIV).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    26 Citations (Scopus)
    6 Downloads (Pure)
  • 2002

    A probabilistic extension of UML statecharts: specification and verification

    Jansen, D. N., Hermanns, H. & Katoen, J. P., 2002, Formal techniques in real-time and fault-tolerant systems: ... FTRTFT. Damm, W. & Olderog, E-R. (eds.). Berlin, Germany: Springer, p. 355-374 20 p. (Lecture Notes in Computer Science; vol. 2469).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Downloads (Pure)
  • Probabilistic UML statecharts for specification and verification: a case study.

    Jansen, D. N., 30 Sept 2002, Critical systems development with UML. Proceedings of the UML'02 workshop. Jurjens, J., Fernandez, J., Eduardo, B., Cengarle, M. V., Rumpe, B. & Sandner, R. (eds.). München: Technische Universiteit München, p. 121-131 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    58 Citations (Scopus)
  • 2001

    Model checking at the requirements level: research abstract

    Jansen, D. N., 2001, Proceedings Requirement Engineering '01, Doctoral Workshop. Toronto, Canada, p. - 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    208 Downloads (Pure)
  • Techniques for reactive system design: the tools in TRADE

    Wieringa, R. J. & Jansen, D. N., Jun 2001, Advanced information systems engineering: 13th international conference, CAiSE. Dittrich, K. R., Geppert, A. & Norrie, M. C. (eds.). Berlin, Germany: Springer, p. 93-107 15 p. (Lecture notes in computer science; vol. 2068).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    2 Citations (Scopus)
    181 Downloads (Pure)