| Modular verification of JML contracts using bounded model checking B Beckert, M Kirsten, J Klamroth, M Ulbrich Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 24 | 2020 |
| Formal specification and verification of JDK’s identity hash map implementation M De Boer, S De Gouw, J Klamroth, C Jung, M Ulbrich, A Weigl Formal Aspects of Computing 35 (3), 1-26, 2023 | 11 | 2023 |
| Towards classes of architectural dependability assurance for machine-learning-based systems M Scheerer, J Klamroth, R Reussner, B Beckert Proceedings of the IEEE/ACM 15th International Symposium on Software …, 2020 | 10 | 2020 |
| Natural language user interface for software engineering tasks A Wachtel, J Klamroth, WF Tichy Proceedings of the International Conference on Advances in Computer-Human …, 2017 | 5 | 2017 |
| A natural language dialog system based on active ontologies A Wachtel, J Klamroth, WF Tichy Proceedings of the Ninth International Conference on Advances in Computer …, 2016 | 5 | 2016 |
| Fault-tolerant hybrid quantum software systems M Scheerer, J Klamroth, O Denninger 2022 IEEE International Conference on Quantum Software (QSW), 52-57, 2022 | 4 | 2022 |
| Seamless interactive program verification S Grebing, J Klamroth, M Ulbrich Verified Software. Theories, Tools, and Experiments: 11th International …, 2020 | 4 | 2020 |
| QIn: Enabling Formal Methods to Deal with Quantum Circuits J Klamroth, B Beckert, M Scheerer, O Denninger 2023 IEEE International Conference on Quantum Software (QSW), 175-185, 2023 | 3 | 2023 |
| The Karlsruhe java verification suite J Klamroth, F Lanzinger, W Pfeifer, M Ulbrich The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …, 2022 | 3 | 2022 |
| Runtime verification of generalized test tables A Weigl, M Ulbrich, S Tyszberowicz, J Klamroth NASA Formal Methods Symposium, 358-374, 2021 | 2 | 2021 |
| On Rounding Errors in the Simulation of Quantum Circuits J Klamroth, B Beckert International Conference on Service-Oriented Computing, 137-149, 2023 | | 2023 |
| LOS 1: FORMAL VERIFICATION OF COMPLEX SOFTWARE SYSTEMS–A STUDY B Beckert, O Denninger, J Klamroth, M Scheerer, J Henß | | 2023 |
| Experiences in Quantum Software Engineering M Scheerer, J Klamroth, S Garhofer, F Knäble, O Denninger 2023 IEEE International Parallel and Distributed Processing Symposium …, 2023 | | 2023 |
| Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking J Klamroth, M Scheerer, O Denninger Gesellschaft für Informatik, Bonn, 2021 | | 2021 |
| Engineering Reliable Hybrid Quantum Software: An Architectural-driven Approach. M Scheerer, J Klamroth, O Denninger Q-SET@ QCE, 29-37, 2021 | | 2021 |
| Wartung und Weiterentwicklung von BEAST zur Automatischen Wahlverifikation durch SBMC B Beckert, S Meinhart, J Bachmeier, P Kern, M Kirsten, J Klamroth, ... | | |
| Runtime Verification of Generalized Test Tables S Tyszberowicz, J Klamroth | | |
| Prüfmethoden für Securtity A Borcherding, N Goerke, J Klamroth | | |
Mattias UlbrichResearcher, Karlsruhe Institute of TechnologyVerified email at kit.edu
