Jonas Klamroth

According to our database, Jonas Klamroth authored at least 12 papers between 2019 and 2023.

Collaborative distances:

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

2023

Formal Specification and Verification of JDK's Identity Hash Map Implementation.

Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl

Formal Aspects Comput., September, 2023

QIn: Enabling Formal Methods to Deal with Quantum Circuits.

Jonas Klamroth, Bernhard Beckert, Max Scheerer, Oliver Denninger

Proceedings of the IEEE International Conference on Quantum Software, 2023

Experiences in Quantum Software Engineering.

Max Scheerer, Jonas Klamroth, Simon Garhofer, Florian Knäble, Oliver Denninger

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2023

On Rounding Errors in the Simulation of Quantum Circuits.

Jonas Klamroth, Bernhard Beckert

Proceedings of the Service-Oriented Computing - ICSOC 2023 Workshops - AI-PA, ASOCA, SAPD, SQS, SSCOPE, WESOACS and Satellite Events, Rome, Italy, November 28, 2023

2022

Fault-tolerant Hybrid Quantum Software Systems.

Max Scheerer, Jonas Klamroth, Oliver Denninger

Proceedings of the IEEE International Conference on Quantum Software, 2022

The Karlsruhe Java Verification Suite.

Jonas Klamroth, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Engineering Reliable Hybrid Quantum Software: An Architectural-driven Approach.

Max Scheerer, Jonas Klamroth, Oliver Denninger

Proceedings of the Short Papers Proceedings of the 2nd International Workshop on Software Engineering & Technology (Q-SET 2021) co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2021), 2021

Runtime Verification of Generalized Test Tables.

Alexander Weigl, Mattias Ulbrich, Shmuel S. Tyszberowicz, Jonas Klamroth

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking.

Jonas Klamroth, Max Scheerer, Oliver Denninger

Proceedings of the 51. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2021 - Computer Science & Sustainability, Berlin, Germany, 27. September, 2021

2020

Modular Verification of JML Contracts Using Bounded Model Checking.

Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Towards classes of architectural dependability assurance for machine-learning-based systems.

Max Scheerer, Jonas Klamroth, Ralf H. Reussner, Bernhard Beckert

Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

2019

Seamless Interactive Program Verification.

Sarah Grebing, Jonas Klamroth, Mattias Ulbrich

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019