Matthias Kuntz

31 papers A 3B 3Journal 5Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	8-Channel Monolithic InP Transmitter PIC Integrating DFB and MZM Arrays, Capable of Operating 106 GBd PAM4 at 85 °C. ECOC A. Rundquist, Justin Lavrencik, Payam Abolghasem, M. Chagnon, Stefano Porto, P. Day, J. Anthony, C. Ozdemir, J. Patton, P. Gavrilovic, Thomas Frost, P. Turla, J. Macario, R. Safian, F. Sang, Abdou Diba, A. Meighan, Matthias Kuntz, Robert Maher, Vikrant Lal, Mehrdad Ziari, Peter Evans
2021	—	`conf`	High-performance 100 Gbaud Coherent Photonic Modules. OFC 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
2020	—	`conf`	1.6Tbps Coherent 2-Channel Transceiver using a Monolithic Tx/Rx InP PIC and Single SiGe ASIC. OFC 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
2019	J	`jnl`	Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees. CoRR Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
2019	J	`jnl`	Safety analysis for vehicle guidance systems with dynamic fault trees. Reliab. Eng. Syst. Saf. Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
2018	—	`conf`	4×600 Gb/s Photonic IC Transmitter and Receiver Modules. ECOC 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
2018	—	`conf`	Demonstration of Fully Integrated 6λ×200 Gbps (1.2 Tbps) PICs and Transceivers in L-Band. ECOC 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
2017	B	`conf`	Model-Based Safety Analysis for Vehicle Guidance Systems. SAFECOMP Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
2017	—	`conf`	Multi-channel InP-based Coherent PICs with Hybrid Integrated SiGe Electronics Operating up to 100 GBd, 32QAM. ECOC 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
2017	—	`conf`	Multi-channel, widely-tunable coherent transmitter and receiver PICs operating at 88Gbaud/16-QAM. OFC 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
2015	—	`conf`	A Controller Safety Concept Based on Software-Implemented Fault Tolerance for Fail-Operational Automotive Applications. FTSCS Majdi Ghadhab, Matthias Kuntz, Dmitrii Kuvaiskii, Christof Fetzer
2015	—	`conf`	Integrated devices for high-performance optical links. OFC 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
2011	B	`conf`	From Probabilistic Counterexamples via Causality to Fault Trees. SAFECOMP Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue
2010	—	`conf`	Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. QUOVADIS@ICSE Husain Aljazzar, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue
2010	A	`conf`	Evaluating repair strategies for a water-treatment facility using Arcade. DSN Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Mariëlle Stoelinga
2010	—	`conf`	Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs. WING@ETAPS/IJCAR Matthias Kuntz, Stefan Leue, Christoph Scheben
2009	—	`conf`	Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. QEST Husain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue
2008	B	`conf`	Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. ICECCS Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga
2008	A	`conf`	Architectural dependability evaluation with Arcade. DSN Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga
2008	—	`conf`	Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. PDMC@ETAPS Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol
2007	—	`conf`	Faster SPDL Model Checking Through Property-Driven State Space Generation. EPEW Matthias Kuntz, Boudewijn R. Haverkort
2007	J	`jnl`	High-Speed Mode-Locked Quantum-Dot Lasers and Optical Amplifiers. Proc. IEEE Matthias Kuntz, Gerrit Fiol, Matthias Laemmlin, Christian Meuer, Dieter Bimberg
2007	J	`jnl`	Model Checking Markov Chains with Actions and State Labels. IEEE Trans. Software Eng. Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
2006	—	`conf`	CASPA: Symbolic model checking of stochastic systems. MMB Matthias Kuntz, Markus Siegle
2006	—	`conf`	Symbolic Model Checking of Stochastic Systems: Theory and Implementation. SPIN Matthias Kuntz, Markus Siegle
2006	—	`—`	Symbolic semantics and verification of stochastic process algebras. Matthias Kuntz
2005	J	`jnl`	Quantum dot photonic devices for lightwave communication. Microelectron. J. Dieter Bimberg, Matthias Kuntz, Matthias Laemmlin
2004	A	`conf`	Model Checking Action- and State-Labelled Markov Chains. DSN Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
2004	—	`conf`	Probabilistic Methods in State Space Analysis. Validation of Stochastic Systems Matthias Kuntz, Kai Lampka
2004	—	`conf`	Symbolic Performance and Dependability Evaluation with the Tool CASPA. FORTE Workshops Matthias Kuntz, Markus Siegle, Edith Werner
2002	—	`conf`	Deriving Symbolic Representations from Stochastic Process Algebras. PAPM-PROBMIV Matthias Kuntz, Markus Siegle