David N. Jansen

2008
16	EE	Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations CoRR abs/0808.3651: (2008)
2007
15	EE	David 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
14	EE	Lucia 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
13	EE	Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. TACAS 2007: 155-169
12	EE	Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen: Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking. TACAS 2007: 87-101
2006
11	EE	Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen: Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata. QEST 2006: 311-322
2005
10	EE	Lijun Zhang, Holger Hermanns, David N. Jansen: Logic and Model Checking for Hidden Markov Models. FORTE 2005: 98-112
9	EE	Holger Hermanns, David N. Jansen, Yaroslav S. Usenko: From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. WOSP 2005: 13-23
8	EE	David N. Jansen, Holger Hermanns: QoS modelling and analysis with UML-statecharts: the StoCharts approach. SIGMETRICS Performance Evaluation Review 32(4): 28-33 (2005)
2004
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
6	EE	David N. Jansen, Holger Hermanns: Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? QEST 2004: 250-259
2003
5	EE	David N. Jansen, Holger Hermanns, Joost-Pieter Katoen: A QoS-Oriented Extension of UML Statecharts. UML 2003: 76-91
2002
4	EE	David N. Jansen, Holger Hermanns, Joost-Pieter Katoen: A Probabilistic Extension of UML Statecharts. FTRTFT 2002: 355-374
3	EE	David N. Jansen, Roel Wieringa: Extending CTL with Actions and Real Time. J. Log. Comput. 12(4): 607-621 (2002)
2	EE	Rik Eshuis, David N. Jansen, Roel Wieringa: Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts. Requir. Eng. 7(4): 243-263 (2002)
2001
1	EE	Roel Wieringa, David N. Jansen: Techniques for Reactive System Design: The Tools in TRADE. CAiSE 2001: 93-107

Coauthor Index

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

Colors in the list of coauthors