David N. Jansen

	2012
27		David N. Jansen, Flemming Nielson, Lijun Zhang: Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm. NASA Formal Methods 2012: 326-340
	2011
26		Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns: Automata-Based CSL Model Checking. ICALP (2) 2011: 271-282
25		David N. Jansen: Erratum to: Model-checking continuous-time Markov chains by Aziz et al CoRR abs/1102.2079: (2011)
24		Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns: Automata-Based CSL Model Checking CoRR abs/1104.4983: (2011)
23		Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen: The ins and outs of the probabilistic model checker MRMC. Perform. Eval. 68(2): 90-104 (2011)
	2010
22		Jasper Berendsen, David N. Jansen, Frits W. Vaandrager: Fortuna: Model Checking Priced Probabilistic Timed Automata. QEST 2010: 273-281
21		Jasper Berendsen, David N. Jansen, Julien Schmaltz, Frits W. Vaandrager: The axiomatization of override and update. J. Applied Logic 8(1): 141-150 (2010)
20		Angelika Mader, Henrik C. Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, Holger Hermanns: Synthesis and stochastic assessment of cost-optimal schedules. STTT 12(5): 305-318 (2010)
	2009
19		Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen: The Ins and Outs of the Probabilistic Model Checker MRMC. QEST 2009: 167-176
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] [21] [22]
2	Henrik C. Bohnenkamp	[7] [20]
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	Ernst Moritz Hahn	[19] [23]
10	Tingting Han	[14]
11	Holger Hermanns	[4] [5] [6] [7] [8] [9] [10] [13] [16] [17] [19] [20] [23] [24] [26]
12	Johann Hurink (Johann L. Hurink)	[20]
13	Joost-Pieter Katoen	[4] [5] [7] [11] [12] [15] [19] [23]
14	Mark Kattenbelt	[14]
15	Tim Kemna	[12]
16	Angelika Mader	[20]
17	Flemming Nielson	[24] [26] [27]
18	Marcel Oldenkamp	[15]
19	Julien Schmaltz	[21]
20	Gerard J. M. Smit	[14]
21	Mariëlle Stoelinga	[15]
22	Yaroslav S. Usenko	[7] [9] [20]
23	Frits W. Vaandrager	[21] [22]
24	Roel Wieringa	[1] [2] [3]
25	Ivan S. Zapreev	[12] [15] [19] [23]
26	Lijun Zhang	[10] [13] [14] [16] [17] [24] [26] [27]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page