Jonas Klamroth

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 13

Top Topics

Quantum Computing

Formal Specification

Software Systems

Top Venues

ICSOC Workshops

Formal Aspects Comput.

Publications

Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl
Formal Specification and Verification of JDK's Identity Hash Map Implementation. Formal Aspects Comput. 35 (3) (2023)
Max Scheerer, Jonas Klamroth, Simon Garhofer, Florian Knäble, Oliver Denninger
Experiences in Quantum Software Engineering. IPDPS Workshops (2023)
Jonas Klamroth, Bernhard Beckert, Max Scheerer, Oliver Denninger
QIn: Enabling Formal Methods to Deal with Quantum Circuits. QSW (2023)
Jonas Klamroth, Bernhard Beckert
On Rounding Errors in the Simulation of Quantum Circuits. ICSOC Workshops (2023)
Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl
Formal Specification and Verification of JDK's Identity Hash Map Implementation. IFM (2022)
Jonas Klamroth, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich
The Karlsruhe Java Verification Suite. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Max Scheerer, Jonas Klamroth, Oliver Denninger
Fault-tolerant Hybrid Quantum Software Systems. QSW (2022)
Alexander Weigl, Mattias Ulbrich, Shmuel S. Tyszberowicz, Jonas Klamroth
Runtime Verification of Generalized Test Tables. NFM (2021)
Jonas Klamroth, Max Scheerer, Oliver Denninger
Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking. GI-Jahrestagung (2021)
Max Scheerer, Jonas Klamroth, Oliver Denninger
Engineering Reliable Hybrid Quantum Software: An Architectural-driven Approach. Q-SET@QCE (2021)
Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich
Modular Verification of JML Contracts Using Bounded Model Checking. ISoLA (1) (2020)
Max Scheerer, Jonas Klamroth, Ralf H. Reussner, Bernhard Beckert
Towards classes of architectural dependability assurance for machine-learning-based systems. SEAMS@ICSE (2020)
Sarah Grebing, Jonas Klamroth, Mattias Ulbrich
Seamless Interactive Program Verification. VSTTE (2019)