David N. Jansen

Research output

Content available in repository 2002 2005 2019 2020 2020

• 5 Article
• 4 Conference contribution
• 2 Report

Content available in repository

Content available in repository

Search results

• 2020

  A near-linear-time algorithm for weak bisimilarity on Markov chains.

  Jansen, D., Groote, J. F., Timmers, F. & Yang, P., 1 Aug 2020, 31st International Conference on Concurrency Theory (CONCUR2020). Konnov, I. & Kovacs, L. (eds.). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 8:1-8:20 20 p. 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 171).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  • And-States 100%
  • Efficient Algorithm 100%
  • Time Complexity 100%
  • Strongly Connected Component 100%
  • discrete-time 100%
  3 Citations (Scopus)

• An O(m log n) algorithm for branching bisimilarity on labelled transition systems

  Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  • Transition System 100%
  • Internal Action 50%
  • Equivalence Relation 50%
  14 Citations (Scopus)
• 2015

  A comparative study of BDD packages for probabilistic symbolic model checking

  van Dijk, T., Hahn, E. M., Jansen, D., Li, Y., Neele, T., Stoelinga, M., Turrini, A. & Zhang, L., 17 Oct 2015, Dependable Software Engineering: Theories, Tools, and Applications. Li, X., Liu, Z. & Yi, W. (eds.). Cham: Springer, p. 35-51 17 p. (Lecture Notes in Computer Science; vol. 9409).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • binary decision diagram 100%
  • Model Checking 100%
  • Binary Decision 100%
  • Data Structure 20%
  • Parallelization 20%
  16 Citations (Scopus)
• 2005

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

  Hermanns, H., Jansen, D. N. & Usenko, Y. S., 2005, Proceedings 5th International Workshop on Software and Performance (WOSP'05, Palma, Illes Balears, Spain, July 12-14, 2005). Association for Computing Machinery, Inc, p. 13-23

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  37 Citations (Scopus)