E-LIB Suche - Ergebnisse für: Schrammel, Peter

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

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..

3

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/..

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

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..

7

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/..

8

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..

9

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/..

10

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/..

11

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/..

12

Parallel bug-finding in concurrent programs via reduced int..:

, In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering,

Nguyen, Truc L. ; Schrammel, Peter ; Fischer, Bernd.. - p. 753-764 , 2017

Link: http://dl.acm.org/citati..

13

Sound static deadlock analysis for C/Pthreads:

, In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering,

Kroening, Daniel ; Poetzl, Daniel ; Schrammel, Peter. - p. 379-390 , 2016

Link: https://dl.acm.org/doi/1..

14

Unbounded-time reachability analysis of hybrid systems by a..:

, In: Proceedings of the 12th International Conference on Embedded Software,

Schrammel, Peter - p. 51-54 , 2015

Link: https://dl.acm.org/doi/1..

15

Effective verification of low-level software with nested in..:

, In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition,

Kroening, Daniel ; Liang, Lihao ; Melham, Tom.. - p. 229-234 , 2015

Link: https://dl.acm.org/doi/1..