Matthias Kuntz

	2011
16		Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue: From Probabilistic Counterexamples via Causality to Fault Trees. SAFECOMP 2011: 71-84
	2010
15		Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Mariëlle Stoelinga: Evaluating repair strategies for a water-treatment facility using Arcade. DSN 2010: 419-424
	2009
14		Husain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue: Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. QEST 2009: 299-308
	2008
13		Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga: Architectural dependability evaluation with Arcade. DSN 2008: 512-521
12		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
11		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
10		Matthias Kuntz, Boudewijn R. Haverkort: Faster SPDL Model Checking Through Property-Driven State Space Generation. EPEW 2007: 80-96
9		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
8		Matthias Kuntz, Markus Siegle: CASPA: Symbolic model checking of stochastic systems. MMB 2006: 465-468
7		Matthias Kuntz, Markus Siegle: Symbolic Model Checking of Stochastic Systems: Theory and Implementation. SPIN 2006: 89-107
6		Matthias Kuntz: Symbolic semantics and verification of stochastic process algebras. University of Erlangen-Nuremberg 2006: 1-241
	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	Husain Aljazzar	[14]
2	Christel Baier	[4] [9]
3	Dieter Bimberg	[5]
4	Stefan Blom	[11]
5	Hichem Boudali	[12] [13]
6	Lucia Cloth	[4] [9]
7	Pepijn Crouzen	[12] [13]
8	Manuel Fischer	[14]
9	Lars Grunske	[14]
10	Boudewijn R. Haverkort	[4] [9] [10] [11] [12] [13] [15]
11	Matthias Laemmlin	[5]
12	Kai Lampka	[2]
13	Florian Leitner-Fischer	[14] [16]
14	Stefan Leue	[14] [16]
15	Jaco van de Pol	[11]
16	Anne Remke	[15]
17	S. Roolvink	[15]
18	Markus Siegle	[1] [3] [4] [7] [8] [9]
19	Mariëlle Stoelinga	[12] [13] [15]
20	Edith Werner	[3]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page