David N. Jansen

	2009
18		Jasper Berendsen, Taolue Chen, David N. Jansen: Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata. TAMC 2009: 128-137
	2008
17		Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations CoRR abs/0808.3651: (2008)
16		Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. Logical Methods in Computer Science 4(4): (2008)
	2007
15		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		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		Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. TACAS 2007: 155-169
12		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		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		Lijun Zhang, Holger Hermanns, David N. Jansen: Logic and Model Checking for Hidden Markov Models. FORTE 2005: 98-112
9		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		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		David N. Jansen, Holger Hermanns: Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? QEST 2004: 250-259
	2003
5		David N. Jansen, Holger Hermanns, Joost-Pieter Katoen: A QoS-Oriented Extension of UML Statecharts. UML 2003: 76-91
	2002
4		David N. Jansen, Holger Hermanns, Joost-Pieter Katoen: A Probabilistic Extension of UML Statecharts. FTRTFT 2002: 355-374
3		David N. Jansen, Roel Wieringa: Extending CTL with Actions and Real Time. J. Log. Comput. 12(4): 607-621 (2002)
2		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		Roel Wieringa, David N. Jansen: Techniques for Reactive System Design: The Tools in TRADE. CAiSE 2001: 93-107

Coauthor Index

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

Colors in the list of coauthors