David N. Jansen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

16EELijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations CoRR abs/0808.3651: (2008)
15EEDavid N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev: How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. Haifa Verification Conference 2007: 69-85
14EELucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang: 07101 Working Group Report -- Performance Measures Other Than Time. Quantitative Aspects of Embedded Systems 2007
13EELijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. TACAS 2007: 155-169
12EEJoost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen: Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking. TACAS 2007: 87-101
11EEJasper Berendsen, David N. Jansen, Joost-Pieter Katoen: Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata. QEST 2006: 311-322
10EELijun Zhang, Holger Hermanns, David N. Jansen: Logic and Model Checking for Hidden Markov Models. FORTE 2005: 98-112
9EEHolger Hermanns, David N. Jansen, Yaroslav S. Usenko: From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. WOSP 2005: 13-23
8EEDavid N. Jansen, Holger Hermanns: QoS modelling and analysis with UML-statecharts: the StoCharts approach. SIGMETRICS Performance Evaluation Review 32(4): 28-33 (2005)
7 Henrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko: An industrial-strength formal method -- A Modest survey. ISoLA (Preliminary proceedings) 2004: 284-295
6EEDavid N. Jansen, Holger Hermanns: Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? QEST 2004: 250-259
5EEDavid N. Jansen, Holger Hermanns, Joost-Pieter Katoen: A QoS-Oriented Extension of UML Statecharts. UML 2003: 76-91
4EEDavid N. Jansen, Holger Hermanns, Joost-Pieter Katoen: A Probabilistic Extension of UML Statecharts. FTRTFT 2002: 355-374
3EEDavid N. Jansen, Roel Wieringa: Extending CTL with Actions and Real Time. J. Log. Comput. 12(4): 607-621 (2002)
2EERik Eshuis, David N. Jansen, Roel Wieringa: Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts. Requir. Eng. 7(4): 243-263 (2002)
1EERoel Wieringa, David N. Jansen: Techniques for Reactive System Design: The Tools in TRADE. CAiSE 2001: 93-107

Coauthor Index

1Jasper Berendsen [11]
2Henrik C. Bohnenkamp [7]
3Lucia Cloth [14]
4Pepijn Crouzen [14]
5Friedrich Eisenbrand [13] [16]
6Rik Eshuis [2]
7Matthias Fruth [14]
8Tingting Han [14]
9Holger Hermanns [4] [5] [6] [7] [8] [9] [10] [13] [16]
10Joost-Pieter Katoen [4] [5] [7] [11] [12] [15]
11Mark Kattenbelt [14]
12Tim Kemna [12]
13Marcel Oldenkamp [15]
14Gerard J. M. Smit [14]
15Mariëlle Stoelinga [15]
16Yaroslav S. Usenko [7] [9]
17Roel Wieringa [1] [2] [3]
18Ivan S. Zapreev [12] [15]
19Lijun Zhang [10] [13] [14] [16]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)