Get started
Author

Jonas Klamroth

Observed name: Klamroth, Jonas
ORCID: 0000-0002-8013-9453
Observed ORCID: 0000-0002-8013-9453
OpenAlex ID: A5065109064
Modular Verification of JML Contracts Using Bounded Model Checking
2020 · Bernhard Beckert, Michael Kirsten, et al. · Lecture notes in computer science · 29
Formal Specification and Verification of JDK’s Identity Hash Map Implementation
2023 · Martin De Boer, Stijn De Gouw, et al. · Formal Aspects of Computing · 11
PDF
Formal Specification and Verification of JDK’s Identity Hash Map Implementation
2022 · Martin de Boer, Stijn de Gouw, et al. · Lecture notes in computer science · 10
PDF
Towards classes of architectural dependability assurance for machine-learning-based systems
2020 · Max Scheerer, Jonas Klamroth, et al. · International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) · 7
Fault-tolerant Hybrid Quantum Software Systems
2022 · Max Scheerer, Jonas Klamroth, et al. · IEEE International Conference on Quantum Software (QSW) · 6
The Karlsruhe Java Verification Suite
2022 · Jonas Klamroth, Florian Lanzinger, et al. · Lecture notes in computer science · 5
PDF
Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification
2024 · Bernhard Beckert, Jonas Klamroth, et al. · Lecture notes in computer science · 4
QIn: Enabling Formal Methods to Deal with Quantum Circuits
2023 · Jonas Klamroth, Bernhard Beckert, et al. · IEEE International Conference on Quantum Software (QSW) · 4
Seamless Interactive Program Verification
2020 · Sarah Grebing, Jonas Klamroth, et al. · Lecture notes in computer science · 4
Natural Language User Interface For Software Engineering Tasks
2017 · Wachtel, Alexander, Klamroth, Jonas, et al. · Repository KITopen (Karlsruhe Institute of Technology) · 4
Runtime Verification of Generalized Test Tables
2021 · Alexander Weigl, Mattias Ulbrich, et al. · Lecture notes in computer science · 3
Experiences in Quantum Software Engineering
2023 · Max Scheerer, Jonas Klamroth, et al. · IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum · 2
Quantifying Lower Reliability Bounds of Deep Neural Networks
2024 · Max Scheerer, Marius Take, et al. · IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) · 1
A Natural Language Dialog System Based on Active Ontologies
2016 · Wachtel, Alexander, Klamroth, Jonas, et al. · Repository KITopen (Karlsruhe Institute of Technology) · 1
Detecting and Tolerating Faults in Hybrid Quantum Software Systems Using Architectural Redundancy
2025 · Jonas Klamroth, Max Scheerer, et al. · IEEE International Conference on Quantum Software (QSW)
Bounding Rounding Errors in the Simulation of Quantum Circuits
2024 · Jonas Klamroth, Bernhard Beckert · IEEE International Conference on Quantum Software (QSW)
On Rounding Errors in the Simulation of Quantum Circuits
2024 · Jonas Klamroth, Bernhard Beckert · Lecture notes in computer science
Engineering Reliable Hybrid Quantum Software: An Architectural-driven Approach.
2021 · Max Scheerer, Jonas Klamroth, et al.
Works count: 24
Citation count: 94
H-index: 5
I10-index: 3
Year
Topic
Type