Peter Schrammel
University of Sussex
H-index: 18
Europe-United Kingdom
Top articles of Peter Schrammel
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Template-Based Verification of Array-Manipulating Programs | Viktor Malík Peter Schrammel Tomáš Vojnar | 2024/3/20 | |
Jbmc: A bounded model checking tool for java bytecode | arXiv preprint arXiv:2302.02381 | Romain Brenguier Lucas Cordeiro Daniel Kroening Peter Schrammel | 2023/2/5 |
Idiomatic source code generation | 2023/5/16 | ||
Enhancing active model learning with equivalence checking using simulation relations | Formal Methods in System Design | Natasha Yogananda Jeppu Tom Melham Daniel Kroening | 2023/8/6 |
2LS: Arrays and Loop Unwinding: (Competition Contribution) | Viktor Malík František Nečas Peter Schrammel Tomáš Vojnar | 2023/4/20 | |
BlueCov: Integrating Test Coverage and Model Checking with JBMC | Matthias Güdemann Peter Schrammel | 2023/3/27 | |
2LS for Program Analysis | arXiv preprint arXiv:2302.02380 | Daniel Kroening Viktor Malík Peter Schrammel Tomáš Vojnar | 2023/2/5 |
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory | Bernd Fischer Salvatore La Torre Gennaro Parlato Peter Schrammel | 2022/10/10 | |
Systems and methods for automatic test generation | 2023/11/28 | ||
Wit4Java: A violation-witness validator for Java verifiers (competition contribution) | Tong Wu Peter Schrammel Lucas C Cordeiro | 2022/3/30 | |
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers | Maria Christakis Nadia Polikarpova Parasara Sridhar Duggirala Peter Schrammel | 2020/12/5 | |
Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration | Journal of Automated Reasoning | Dario Cattaruzza Alessandro Abate Peter Schrammel Daniel Kroening | 2021/2 |
2LS: Heap Analysis and Memory Safety: (Competition Contribution) | Viktor Malík Peter Schrammel Tomáš Vojnar | 2020/4/17 | |
The FMCAD 2020 student forum | Peter Schrammel | 2020 | |
How testable is business software? | Peter Schrammel | 2020 |