Personal profile
Fingerprint
Dive into the research topics where David N. Jansen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Formally Verified Procedure for Width Inference in FIRRTL
Wang, K., Shi, X., Liu, J., Wu, Z., Song, F., Chen, T. & Jansen, D. N., 19 Jan 2026, ArXiv.org, 37 p.Research output: Working paper › Preprint › Academic
Open AccessFile -
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 proceeding › Conference contribution › Academic › peer-review
Open AccessFile17 Link opens in a new tab Citations (Scopus)255 Downloads (Pure) -
The ins and outs of the probabilistic model checker MRMC
Katoen, J. P., Zapreev, I. S., Hahn, E. M., Hermanns, H. & Jansen, D. N., Feb 2011, In: Performance evaluation. 68, 2, p. 90-104 15 p.Research output: Contribution to journal › Article › Academic › peer-review
171 Link opens in a new tab Citations (Scopus)35 Downloads (Pure) -
Synthesis and stochastic assessment of cost-optimal schedules
Mader, A., Bohnenkamp, H., Usenko, Y. S., Jansen, D. N., Hurink, J. & Hermanns, H., Sept 2010, In: International journal on software tools for technology transfer. 12, 5, p. 305-317 14 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile11 Link opens in a new tab Citations (Scopus)184 Downloads (Pure) -
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 proceeding › Conference contribution › Academic › peer-review
76 Link opens in a new tab Citations (Scopus)193 Downloads (Pure)