Deriving Symbolic Representations from Stochastic Process Algebras. - Matthias Kuntz; Markus Siegle (PAPM-PROBMIV, 2002)

Model Checking Action- and State-Labelled Markov Chains. - Christel Baier; Lucia Cloth; Boudewijn R. Haverkort; Matthias Kuntz; Markus Siegle (DSN, 2004)

Symbolic Performance and Dependability Evaluation with the Tool CASPA. - Matthias Kuntz; Markus Siegle; Edith Werner (FORTE Workshops, 2004)

Probabilistic Methods in State Space Analysis. - Matthias Kuntz; Kai Lampka (Validation of Stochastic Systems, 2004)

Quantum dot photonic devices for lightwave communication. - Dieter Bimberg; Matthias Kuntz; Matthias Laemmlin (Microelectron. J., 2005)

CASPA: Symbolic model checking of stochastic systems. - Matthias Kuntz; Markus Siegle (MMB, 2006)

Symbolic Model Checking of Stochastic Systems: Theory and Implementation. - Matthias Kuntz; Markus Siegle (SPIN, 2006)

Symbolic semantics and verification of stochastic process algebras. - Matthias Kuntz (2006)

Faster SPDL Model Checking Through Property-Driven State Space Generation. - Matthias Kuntz; Boudewijn R. Haverkort (EPEW, 2007)

High-Speed Mode-Locked Quantum-Dot Lasers and Optical Amplifiers. - Matthias Kuntz; Gerrit Fiol; Matthias Laemmlin; Christian Meuer; Dieter Bimberg (Proc. IEEE, 2007)

Model Checking Markov Chains with Actions and State Labels. - Christel Baier; Lucia Cloth; Boudewijn R. Haverkort; Matthias Kuntz; Markus Siegle (IEEE Trans. Software Eng., 2007)

Architectural dependability evaluation with Arcade. - Hichem Boudali; Pepijn Crouzen; Boudewijn R. Haverkort; Matthias Kuntz; Mariëlle Stoelinga (DSN, 2008)

Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. - Hichem Boudali; Pepijn Crouzen; Boudewijn R. Haverkort; Matthias Kuntz; Mariëlle Stoelinga (ICECCS, 2008)

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. - Stefan Blom; Boudewijn R. Haverkort; Matthias Kuntz; Jaco van de Pol (PDMC@ETAPS, 2008)

Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. - Husain Aljazzar; Manuel Fischer; Lars Grunske; Matthias Kuntz; Florian Leitner-Fischer; Stefan Leue (QEST, 2009)

Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs. - Matthias Kuntz; Stefan Leue; Christoph Scheben (WING@ETAPS/IJCAR, 2010)

Evaluating repair strategies for a water-treatment facility using Arcade. - Boudewijn R. Haverkort; Matthias Kuntz; Anne Remke; S. Roolvink; Mariëlle Stoelinga (DSN, 2010)

Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. - Husain Aljazzar; Matthias Kuntz; Florian Leitner-Fischer; Stefan Leue (QUOVADIS@ICSE, 2010)

From Probabilistic Counterexamples via Causality to Fault Trees. - Matthias Kuntz; Florian Leitner-Fischer; Stefan Leue (SAFECOMP, 2011)

A Controller Safety Concept Based on Software-Implemented Fault Tolerance for Fail-Operational Automotive Applications. - Majdi Ghadhab; Matthias Kuntz; Dmitrii Kuvaiskii; Christof Fetzer (FTSCS, 2015)

Integrated devices for high-performance optical links. - Mehrdad Ziari; Peter Evans; Vikrant Lal; Scott Corzine; Tim Butrie; Mark Missey; Don Pavinski; Jie Tang; Joseph Summers; Pavel Studenkov; T. Vallaitas; Matthias Kuntz; et al. (OFC, 2015)

Multi-channel InP-based Coherent PICs with Hybrid Integrated SiGe Electronics Operating up to 100 GBd, 32QAM. - Ryan Going; Matthias Lauermann; Robert Maher; H. Tsai; M. Lu; N. Kim; Scott Corzine; Pavel Studenkov; Joseph Summers; A. Hosseini; Jianping Zhang; B. Behnia; et al. (ECOC, 2017)

Multi-channel, widely-tunable coherent transmitter and receiver PICs operating at 88Gbaud/16-QAM. - Matthias Lauermann; Ryan Going; Robert Maher; M. Lu; W. Ko; Pavel Studenkov; J. Ferrara; A. Hosseini; Scott Corzine; Jeff Rahn; Matthias Kuntz; H. Tsai; et al. (OFC, 2017)

Model-Based Safety Analysis for Vehicle Guidance Systems. - Majdi Ghadhab; Sebastian Junges; Joost-Pieter Katoen; Matthias Kuntz; Matthias Volk 001 (SAFECOMP, 2017)

Demonstration of Fully Integrated 6λ×200 Gbps (1.2 Tbps) PICs and Transceivers in L-Band. - Linus C. Chuang; Lee Dardis; Payam Abolghasem; Abdou Diba; M. Lu; Thomas Frost; Bryan Ellis; Xian Xu; M. Montazeri; Sanjeev Murthy; Andrew Dentai; F. Sedgwick; et al. (ECOC, 2018)

4×600 Gb/s Photonic IC Transmitter and Receiver Modules. - Ryan Going; Stefan Wolf 004; Robert Maher; Chris Berry; Pavel Studenkov; M. Lu; Vikrant Lal; Peter Evans; H. Tsai; Scott Corzine; Jianping Zhang; B. Behnia; et al. (ECOC, 2018)

Safety analysis for vehicle guidance systems with dynamic fault trees. - Majdi Ghadhab; Sebastian Junges; Joost-Pieter Katoen; Matthias Kuntz; Matthias Volk 001 (Reliab. Eng. Syst. Saf., 2019)

1.6Tbps Coherent 2-Channel Transceiver using a Monolithic Tx/Rx InP PIC and Single SiGe ASIC. - Vikrant Lal; Pavel Studenkov; Thomas Frost; Huan-Shang Tsai; B. Behnia; John Osenbach; Stefan Wolf 004; Ryan Going; Stefano Porto; Robert Maher; Hossein Hodaei; J. Zhang; et al. (OFC, 2020)

High-performance 100 Gbaud Coherent Photonic Modules. - Mehrdad Ziari; Vikrant Lal; Pavel Studenkov; Hossein Hodaei; Thomas Frost; Corey Tsai; Koichi Hoshino; Babak Behnia; Ryan Going; Stefan Wolf 004; Stefano Porto; Matthias Kuntz; et al. (OFC, 2021)