Matthias Kuntz

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 5

Top Venues

CoRR

FTSCS

SAFECOMP

OFC

University of Erlangen-Nuremberg, Germany (PHD)

Education History

University of Erlangen-Nuremberg, Germany

PHD

Publications

Mehrdad Ziari, Vikrant Lal, Paval Studenkov, Hossein Hodaei, Thomas Frost, Corey Tsai, Koichi Hoshino, Babak Behnia, Ryan Going, Stefan Wolf, Stefano Porto, Matthias Kuntz, Thomas Vallaitis, Ehsan Sooudi, Justin Lavrencik, Randal Salvatore, Nikhil Modi, Payam Abolghasem, Matt Fisher, Sanjeev Murthy, Sanketh Buggaveeti, Robert Brigham, Don Pavinski, Jiaming Zhang, Scott Corzine, Peter Evans, Vince Dominic, Robert Maher, Pierre Mertz, Steve Sanders, Han Sun, John Osenbach, Parthiban Kandappan
High-performance 100 Gbaud Coherent Photonic Modules. OFC (2021)
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
Safety analysis for vehicle guidance systems with dynamic fault trees. Reliab. Eng. Syst. Saf. 186 (2019)
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees. CoRR (2019)
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
Model-Based Safety Analysis for Vehicle Guidance Systems. SAFECOMP (2017)
Majdi Ghadhab, Matthias Kuntz, Dmitrii Kuvaiskii, Christof Fetzer
A Controller Safety Concept Based on Software-Implemented Fault Tolerance for Fail-Operational Automotive Applications. FTSCS (2015)
Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue
From Probabilistic Counterexamples via Causality to Fault Trees. SAFECOMP (2011)
Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Mariëlle Stoelinga
Evaluating repair strategies for a water-treatment facility using Arcade. DSN (2010)
Matthias Kuntz, Stefan Leue, Christoph Scheben
Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs. WING@ETAPS/IJCAR (2010)
Husain Aljazzar, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue
Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. QUOVADIS@ICSE (2010)
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)
Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. ICECCS (2008)
Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. Electron. Notes Theor. Comput. Sci. 220 (2) (2008)
Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga
Architectural dependability evaluation with Arcade. DSN (2008)
Matthias Kuntz, Boudewijn R. Haverkort
Faster SPDL Model Checking Through Property-Driven State Space Generation. EPEW (2007)
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) (2007)
Matthias Kuntz, Gerrit Fiol, Matthias Laemmlin, Christian Meuer, Dieter Bimberg
High-Speed Mode-Locked Quantum-Dot Lasers and Optical Amplifiers. Proc. IEEE 95 (9) (2007)
Matthias Kuntz, Markus Siegle
Symbolic Model Checking of Stochastic Systems: Theory and Implementation. SPIN (2006)
Matthias Kuntz, Markus Siegle
CASPA: Symbolic model checking of stochastic systems. MMB (2006)
Dieter Bimberg, Matthias Kuntz, Matthias Laemmlin
Quantum dot photonic devices for lightwave communication. Microelectron. J. 36 (3-6) (2005)
Matthias Kuntz, Markus Siegle, Edith Werner
Symbolic Performance and Dependability Evaluation with the Tool CASPA. FORTE Workshops (2004)
Matthias Kuntz, Kai Lampka
Probabilistic Methods in State Space Analysis. Validation of Stochastic Systems (2004)
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
Model Checking Action- and State-Labelled Markov Chains. DSN (2004)
Matthias Kuntz, Markus Siegle
Deriving Symbolic Representations from Stochastic Process Algebras. PAPM-PROBMIV (2002)

Matthias Kuntz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthias Kuntz