I agree that this site is using cookies. You can find further informations here.
X
Klamroth, Jonas
21  results:
Search for persons X
?
1

On Rounding Errors in the Simulation of Quantum Circuits:

, In: Lecture Notes in Computer Science; Service-Oriented Computing – ICSOC 2023 Workshops,
Klamroth, Jonas ; Beckert, Bernhard - p. 137-149 , 2024
Link: https://doi.org/10.1007/..
 
?
2

QIn: Enabling Formal Methods to Deal with Quantum Circuits:

, In: 2023 IEEE International Conference on Quantum Software (QSW),
Klamroth, Jonas ; Beckert, Bernhard ; Scheerer, Max. - p. 175-185 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Experiences in Quantum Software Engineering:

, In: 2023 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW),
Scheerer, Max ; Klamroth, Jonas ; Garhofer, Simon.. - p. 552-559 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Formal Specification and Verification of JDK's Identity Has..:

De Boer, Martin ; De Gouw, Stijn ; Klamroth, Jonas...
Formal Aspects of Computing.  35 (2023)  3 - p. 1-26 , 2023
Link: https://doi.org/10.1145/..
 
?
5

The Karlsruhe Java Verification Suite:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,
Klamroth, Jonas ; Lanzinger, Florian ; Pfeifer, Wolfram. - p. 290-312 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Formal Specification and Verification of JDK's Identity Has..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Boer, Martin de ; Gouw, Stijn de ; Klamroth, Jonas... - p. 45-62 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Fault-tolerant Hybrid Quantum Software Systems:

, In: 2022 IEEE International Conference on Quantum Software (QSW),
Scheerer, Max ; Klamroth, Jonas ; Denninger, Oliver - p. 52-57 , 2022
Link: https://doi.org/10.1109/..
 
?
8

Runtime Verification of Generalized Test Tables:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Weigl, Alexander ; Ulbrich, Mattias ; Tyszberowicz, Shmuel. - p. 358-374 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Towards Classes of Architectural Dependability Assurance fo..:

, In: 2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),
Scheerer, Max ; Klamroth, Jonas ; Reussner, Ralf. - p. 31-37 , 2020
Link: https://doi.org/10.1145/..
 
?
10

Modular Verification of JML Contracts Using Bounded Model C..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles; Lecture Notes in Computer Science,
Beckert, Bernhard ; Kirsten, Michael ; Klamroth, Jonas. - p. 60-80 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Seamless Interactive Program Verification:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools, and Experiments,
Grebing, Sarah ; Klamroth, Jonas ; Ulbrich, Mattias - p. 68-86 , 2020
Link: https://doi.org/10.1007/..
 
?
12

Towards classes of architectural dependability assurance fo..:

, In: Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,
Scheerer, Max ; Klamroth, Jonas ; Reussner, Ralf. - p. 31-37 , 2020
Link: https://dl.acm.org/doi/1..
 
?
13

Formal Specification and Verification of JDK's Identity Has..:

De Boer, Martin ; De Gouw, Stijn ; Klamroth, Jonas...
info:eu-repo/semantics/altIdentifier/wos/001086828900005.  , 2023
Link: https://publikationen.bi..
 
?
14

Artifacts of the Formal Specification and Verification of J..:

de Boer, Martin ; de Gow, Stijn ; Klamroth, Jonas...
doi:10.5281/zenodo.6389784.  , 2022
Link: https://zenodo.org/recor..
 
?
15

Artifacts of the Formal Specification and Verification of J..:

de Boer, Martin ; de Gow, Stijn ; Klamroth, Jonas...
doi:10.5281/zenodo.6389784.  , 2022
Link: https://zenodo.org/recor..
 
1-15