Jonas Klamroth

19 papers B 1Journal 1Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Detecting and Tolerating Faults in Hybrid Quantum Software Systems Using Architectural Redundancy. QSW Jonas Klamroth, Max Scheerer, Oliver Denninger
2025	—	`—`	Formal Methods for the Reliability of Non-Classical Systems. Jonas Klamroth
2025	—	`conf`	Improved Bounds for Rounding Errors in Quantum Circuit Simulators. Software Engineering Companion Jonas Klamroth, Niko Lemke, Ruben Götz, Bernhard Beckert
2024	—	`conf`	Bounding Rounding Errors in the Simulation of Quantum Circuits. QSW Jonas Klamroth, Bernhard Beckert
2024	—	`conf`	Quantifying Lower Reliability Bounds of Deep Neural Networks. ISSRE (Workshops) Max Scheerer, Marius Take, Jonas Klamroth
2024	—	`conf`	Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification. ISoLA (4) Bernhard Beckert, Jonas Klamroth, Wolfram Pfeifer, Patrick Röper, Samuel Teuber
2023	—	`conf`	Experiences in Quantum Software Engineering. IPDPS Workshops Max Scheerer, Jonas Klamroth, Simon Garhofer, Florian Knäble, Oliver Denninger
2023	J	`jnl`	Formal Specification and Verification of JDK's Identity Hash Map Implementation. Formal Aspects Comput. Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl
2023	—	`conf`	On Rounding Errors in the Simulation of Quantum Circuits. ICSOC Workshops Jonas Klamroth, Bernhard Beckert
2023	—	`conf`	QIn: Enabling Formal Methods to Deal with Quantum Circuits. QSW Jonas Klamroth, Bernhard Beckert, Max Scheerer, Oliver Denninger
2022	—	`conf`	Fault-tolerant Hybrid Quantum Software Systems. QSW Max Scheerer, Jonas Klamroth, Oliver Denninger
2022	B	`conf`	Formal Specification and Verification of JDK's Identity Hash Map Implementation. IFM Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl
2022	—	`conf`	The Karlsruhe Java Verification Suite. The Logic of Software. A Tasting Menu of Formal Methods Jonas Klamroth, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich
2021	—	`conf`	Engineering Reliable Hybrid Quantum Software: An Architectural-driven Approach. Q-SET@QCE Max Scheerer, Jonas Klamroth, Oliver Denninger
2021	—	`conf`	Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking. GI-Jahrestagung Jonas Klamroth, Max Scheerer, Oliver Denninger
2021	—	`conf`	Runtime Verification of Generalized Test Tables. NFM Alexander Weigl, Mattias Ulbrich, Shmuel S. Tyszberowicz, Jonas Klamroth
2020	—	`conf`	Modular Verification of JML Contracts Using Bounded Model Checking. ISoLA (1) Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich
2020	—	`conf`	Towards classes of architectural dependability assurance for machine-learning-based systems. SEAMS@ICSE Max Scheerer, Jonas Klamroth, Ralf H. Reussner, Bernhard Beckert
2019	—	`conf`	Seamless Interactive Program Verification. VSTTE Sarah Grebing, Jonas Klamroth, Mattias Ulbrich