Matthias Kuntz

	2008
12		Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga: Architectural dependability evaluation with Arcade. DSN 2008: 512-521
11		Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga: Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. ICECCS 2008: 243-248
10		Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol: Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. Electr. Notes Theor. Comput. Sci. 220(2): 35-50 (2008)
	2007
9		Matthias Kuntz, Boudewijn R. Haverkort: Faster SPDL Model Checking Through Property-Driven State Space Generation. EPEW 2007: 80-96
8		Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle: Model Checking Markov Chains with Actions and State Labels. IEEE Trans. Software Eng. 33(4): 209-224 (2007)
	2006
7		Matthias Kuntz, Markus Siegle: CASPA: Symbolic model checking of stochastic systems. MMB 2006: 465-468
6		Matthias Kuntz, Markus Siegle: Symbolic Model Checking of Stochastic Systems: Theory and Implementation. SPIN 2006: 89-107
	2005
5		Dieter Bimberg, Matthias Kuntz, Matthias Laemmlin: Quantum dot photonic devices for lightwave communication. Microelectronics Journal 36(3-6): 175-179 (2005)
	2004
4		Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle: Model Checking Action- and State-Labelled Markov Chains. DSN 2004: 701-710
3		Matthias Kuntz, Markus Siegle, Edith Werner: Symbolic Performance and Dependability Evaluation with the Tool CASPA. FORTE Workshops 2004: 293-307
2		Matthias Kuntz, Kai Lampka: Probabilistic Methods in State Space Analysis. Validation of Stochastic Systems 2004: 339-383
	2002
1		Matthias Kuntz, Markus Siegle: Deriving Symbolic Representations from Stochastic Process Algebras. PAPM-PROBMIV 2002: 188-206

Coauthor Index

1	Christel Baier	[4] [8]
2	Dieter Bimberg	[5]
3	Stefan Blom	[10]
4	Hichem Boudali	[11] [12]
5	Lucia Cloth	[4] [8]
6	Pepijn Crouzen	[11] [12]
7	Boudewijn R. Haverkort	[4] [8] [9] [10] [11] [12]
8	Matthias Laemmlin	[5]
9	Kai Lampka	[2]
10	Jaco van de Pol	[10]
11	Markus Siegle	[1] [3] [4] [6] [7] [8]
12	Mariëlle Stoelinga	[11] [12]
13	Edith Werner	[3]

Colors in the list of coauthors