| 2008 |
|---|
| 11 | EE | Hichem Boudali,
Pepijn Crouzen,
Boudewijn R. Haverkort,
Matthias Kuntz,
Mariëlle Stoelinga:
Architectural dependability evaluation with Arcade.
DSN 2008: 512-521 |
| 10 | EE | 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 | EE | Matthias Kuntz,
Boudewijn R. Haverkort:
Faster SPDL Model Checking Through Property-Driven State Space Generation.
EPEW 2007: 80-96 |
| 8 | EE | 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 | EE | Matthias Kuntz,
Markus Siegle:
Symbolic Model Checking of Stochastic Systems: Theory and Implementation.
SPIN 2006: 89-107 |
| 2005 |
|---|
| 5 | EE | Dieter Bimberg,
Matthias Kuntz,
Matthias Laemmlin:
Quantum dot photonic devices for lightwave communication.
Microelectronics Journal 36(3-6): 175-179 (2005) |
| 2004 |
|---|
| 4 | EE | Christel Baier,
Lucia Cloth,
Boudewijn R. Haverkort,
Matthias Kuntz,
Markus Siegle:
Model Checking Action- and State-Labelled Markov Chains.
DSN 2004: 701-710 |
| 3 | EE | Matthias Kuntz,
Markus Siegle,
Edith Werner:
Symbolic Performance and Dependability Evaluation with the Tool CASPA.
FORTE Workshops 2004: 293-307 |
| 2 | EE | Matthias Kuntz,
Kai Lampka:
Probabilistic Methods in State Space Analysis.
Validation of Stochastic Systems 2004: 339-383 |
| 2002 |
|---|
| 1 | EE | Matthias Kuntz,
Markus Siegle:
Deriving Symbolic Representations from Stochastic Process Algebras.
PAPM-PROBMIV 2002: 188-206 |
