Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Schrammel, Peter
125  Ergebnisse:
Personensuche X
?
1

Template-Based Verification of Array-Manipulating Programs:

, In: Taming the Infinities of Concurrency; Lecture Notes in Computer Science,
Malík, Viktor ; Schrammel, Peter ; Vojnar, Tomáš - p. 206-224 , 2024
Link: https://doi.org/10.1007/..
 
?
2

2LS: Arrays and Loop Unwinding: (Competition Contribution):

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Malík, Viktor ; Nečas, František ; Schrammel, Peter. - p. 529-534 , 2023
Link: https://doi.org/10.1007/..
 
?
3

BlueCov: Integrating Test Coverage and Model Checking with ..:

, In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing,
Güdemann, Matthias ; Schrammel, Peter - p. 1695-1697 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Wit4Java: A Violation-Witness Validator for Java Verifiers ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Wu, Tong ; Schrammel, Peter ; Cordeiro, Lucas C. - p. 484-489 , 2022
Link: https://doi.org/10.1007/..
 
?
5

CBMC-SSM: Bounded Model Checking of C Programs with Symboli..:

, In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering,
Fischer, Bernd ; La Torre, Salvatore ; Parlato, Gennaro. - p. 1-5 , 2022
Link: https://dl.acm.org/doi/1..
 
?
6

Software Verification: 12th International Conference, VSTTE.. 

Programming and Software Engineering, 12549
Christakis, Maria ; Polikarpova, Nadia ; Duggirala, Parasara Sridhar. - 1st ed. 2020 . , 2020
Link: https://doi.org/10.1007/..
 
?
7

How testable is business software?:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),
Schrammel, Peter - p. 1-1 , 2020
Link: https://doi.org/10.34727..
 
?
8

2LS: Heap Analysis and Memory Safety: (Competition Contribu..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Malík, Viktor ; Schrammel, Peter ; Vojnar, Tomáš - p. 368-372 , 2020
Link: https://doi.org/10.1007/..
 
?
9

The FMCAD 2020 Student Forum:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),
Schrammel, Peter - p. 1-1 , 2020
Link: https://doi.org/10.34727..
 
?
10

Unbounded-Time Safety Verification of Guarded LTI Models wi..:

Cattaruzza, Dario ; Abate, Alessandro ; Schrammel, Peter.
Journal of Automated Reasoning.  65 (2020)  2 - p. 157-203 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Benchmarking of Java Verification Tools at the Software Ver..:

Cordeiro, Lucas C. ; Kroening, Daniel ; Schrammel, Peter
ACM SIGSOFT Software Engineering Notes.  43 (2019)  4 - p. 56 ff. , 2019
Link: https://dl.acm.org/doi/1..
 
?
12

JBMC: Bounded Model Checking for Java Bytecode: (Competitio..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Cordeiro, Lucas ; Kroening, Daniel ; Schrammel, Peter - p. 219-223 , 2019
Link: https://doi.org/10.1007/..
 
?
13

Benchmarking of Java Verification Tools at the Software Ver..:

Cordeiro, Lucas C. ; Kroening, Daniel ; Schrammel, Peter
ACM SIGSOFT Software Engineering Notes.  43 (2018)  4 - p. 56-60 , 2018
Link: https://doi.org/10.1145/..
 
?
14

JBMC: A Bounded Model Checking Tool for Verifying Java Byte..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Cordeiro, Lucas ; Kesseli, Pascal ; Kroening, Daniel.. - p. 183-190 , 2018
Link: https://doi.org/10.1007/..
 
?
15

2LS: Memory Safety and Non-termination: (Competition Contri..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Malík, Viktor ; Martiček, Štefan ; Schrammel, Peter... - p. 417-421 , 2018
Link: https://doi.org/10.1007/..
 
1-15