Matthias Kuntz

According to our database, Matthias Kuntz authored at least 29 papers between 2002 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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, 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

Proceedings of the Optical Fiber Communications Conference and Exhibition, 2021

2020

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, Ryan Going, Stefano Porto, Robert Maher, Hossein Hodaei, J. Zhang, C. Di Giovanni, K. Hoshino, Thomas Vallaitis, Bryan Ellis, J. Yan, K. Fong, Ehsan Sooudi, Matthias Kuntz, Sanketh Buggaveeti, Don Pavinski, Steve Sanders, Z. Wang, G. Hoefler, Peter Evans, Scott Corzine, Tim Butrie, Mehrdad Ziari, Fred Kish, David Welch

Proceedings of the Optical Fiber Communications Conference and Exhibition, 2020

2019

Safety analysis for vehicle guidance systems with dynamic fault trees.

Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk

Reliab. Eng. Syst. Saf., 2019

2018

4×600 Gb/s Photonic IC Transmitter and Receiver Modules.

Ryan Going, Stefan Wolf, Robert Maher, Chris Berry, Pavel Studenkov, M. Lu, Vikrant Lal, Peter Evans, H. Tsai, Scott Corzine, Jianping Zhang, B. Behnia, J. Tang, Thomas Vallaitis, John Osenbach, Matthias Kuntz, A. Hosseini, Thomas Frost, Linus C. Chuang, M. Montazeri, H. Mousavi, Stefano Porto, Sanketh Buggaveeti, Xian Xu, Jeff Rahn, Tim Butrie, A. Karanicolas, Mehrdad Ziari, David Welch, Fred Kish

Proceedings of the European Conference on Optical Communication, 2018

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, Matthias Kuntz, Jianping Zhang, Don Pavinski, Tim Butrie, Scott Demars, Jeff Rahn, Vince Dominic, Scott Corzine, Vikrant Lal, Peter Evans, Mehrdad Ziari, Fred Kish

Proceedings of the European Conference on Optical Communication, 2018

2017

Model-Based Safety Analysis for Vehicle Guidance Systems.

Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk

Proceedings of the Computer Safety, Reliability, and Security, 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, A. Karanicolas, Peter Evans, Vikrant Lal, David Welch, Fred Kish

Proceedings of the Optical Fiber Communications Conference and Exhibition, 2017

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, J. Tang, S. Buggaveeti, Thomas Vallaitis, John Osenbach, Matthias Kuntz, X. Xu, Kevin Croussore, Vikrant Lal, Peter Evans, Jeff Rahn, Tim Butrie, A. Karanicolas, K.-T. Wu, Matthew Mitchell, Mehrdad Ziari, David Welch, Fred Kish

Proceedings of the European Conference on Optical Communication, 2017

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, F. Sedgwick, Matt Fisher, H.-S. Sai, J. Zhang, Parmijit Samra, Jacco Pleumeekers, Jeff Rahn, Vince Dominic, Philipp C. Schindler, René Schmogrow, S. Kumar, Han Sun, Kuang-Tsan Wu, Matthew Mitchell, M. Kauffman, Mike Reffle, Fred Kish, David Welch

Proceedings of the Optical Fiber Communications Conference and Exhibition, 2015

A Controller Safety Concept Based on Software-Implemented Fault Tolerance for Fail-Operational Automotive Applications.

Majdi Ghadhab, Matthias Kuntz, Dmitrii Kuvaiskii, Christof Fetzer

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2011

From Probabilistic Counterexamples via Causality to Fault Trees.

Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue

Proceedings of the Computer Safety, Reliability, and Security, 2011

2010

Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation.

Husain Aljazzar, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue

Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, 2010

Evaluating repair strategies for a water-treatment facility using Arcade.

Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Mariëlle Stoelinga

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs.

Matthias Kuntz, Stefan Leue, Christoph Scheben

Proceedings of the Second International Workshop on Invariant Generation, 2010

2009

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

Proceedings of the QEST 2009, 2009

2008

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking.

Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol

Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008

Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework.

Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Architectural dependability evaluation with Arcade.

Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

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

High-Speed Mode-Locked Quantum-Dot Lasers and Optical Amplifiers.

Matthias Kuntz, Gerrit Fiol, Matthias Laemmlin, Christian Meuer, Dieter Bimberg

Proc. IEEE, 2007

Faster SPDL Model Checking Through Property-Driven State Space Generation.

Matthias Kuntz, Boudewijn R. Haverkort

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

2006

Symbolic semantics and verification of stochastic process algebras.

Matthias Kuntz

PhD thesis, 2006

Symbolic Model Checking of Stochastic Systems: Theory and Implementation.

Matthias Kuntz, Markus Siegle

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

CASPA: Symbolic model checking of stochastic systems.

Matthias Kuntz, Markus Siegle

Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006

2005

Quantum dot photonic devices for lightwave communication.

Dieter Bimberg, Matthias Kuntz, Matthias Laemmlin

Microelectron. J., 2005

2004

Probabilistic Methods in State Space Analysis.

Matthias Kuntz, Kai Lampka

Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

Symbolic Performance and Dependability Evaluation with the Tool CASPA.

Matthias Kuntz, Markus Siegle, Edith Werner

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Model Checking Action- and State-Labelled Markov Chains.

Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2002

Deriving Symbolic Representations from Stochastic Process Algebras.

Matthias Kuntz, Markus Siegle

Proceedings of the Process Algebra and Probabilistic Methods, 2002