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

JBMC: A Bounded Model Checking Tool for Java Bytecode:

Brenguier, Romain ; Cordeiro, Lucas ; Kroening, Daniel.
http://arxiv.org/abs/2302.02381.  , 2023
Link: http://arxiv.org/abs/230..
 
?
2

CBMC: The C Bounded Model Checker:

Kroening, Daniel ; Schrammel, Peter ; Tautschnig, Michael
http://arxiv.org/abs/2302.02384.  , 2023
Link: http://arxiv.org/abs/230..
 
?
3

2LS for Program Analysis:

Kroening, Daniel ; Malík, Viktor ; Schrammel, Peter.
http://arxiv.org/abs/2302.02380.  , 2023
Link: http://arxiv.org/abs/230..
 
?
4

Artifact for CBMC-SSM: Bounded Model Checking of C Programs..:

Fischer, Bernd ; La Torre, Salvatore ; Parlato, Gennaro.
doi:10.5281/zenodo.7026603.  , 2022
Link: https://zenodo.org/recor..
 
?
5

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

Güdemann, Matthias ; Schrammel, Peter
http://arxiv.org/abs/2212.14779.  , 2022
Link: http://arxiv.org/abs/221..
 
?
6

Feasibility study for RFID-based temperature monitoring of ..:

Schrammel, Peter
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-33508.  , 2020
Link: https://resolver.obvsg.a..
 
?
7

How testable is business software?:

Schrammel, Peter
#PLACEHOLDER_PARENT_METADATA_VALUE#.  , 2020
Link: https://hdl.handle.net/2..
 
?
8

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

Malík, Viktor ; Schrammel, Peter ; Vojnar, Tomáš
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7480699/.  , 2020
Link: http://www.ncbi.nlm.nih...
 
?
9

The FMCAD 2020 Student Forum:

Schrammel, Peter
#PLACEHOLDER_PARENT_METADATA_VALUE#.  , 2020
Link: https://hdl.handle.net/2..
 
?
10

How Testable is Business Software?:

Schrammel, Peter
http://arxiv.org/abs/2011.00630.  , 2020
Link: http://arxiv.org/abs/201..
 
?
11

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

Malik, Viktor ; Hruska, Martin ; Schrammel, Peter.
http://arxiv.org/abs/1903.00712.  , 2019
Link: http://arxiv.org/abs/190..
 
?
12

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

Cordeiro, Lucas ; Kroening, Daniel ; Schrammel, Peter
Cordeiro , L , Kroening , D & Schrammel , P 2019 , ' Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP) ' , ACM SigSoft Software Engineering Notes . https://doi.org/10.1145/3282517.3282529.  , 2019
Link: https://research.manches..
 
?
13

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

Cordeiro, Lucas ; Kroening, Daniel ; Schrammel, Peter
Cordeiro , L , Kroening , D & Schrammel , P 2019 , JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) . in International Conference on Tools and Algorithms for the Construction and Analysis of Systems . https://doi.org/10.1007/978-3-030-17502-3_17.  , 2019
Link: https://research.manches..
 
?
14

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

Cordeiro, Lucas ; Kroening, Daniel ; Schrammel, Peter
http://arxiv.org/abs/1809.03739.  , 2018
Link: http://arxiv.org/abs/180..
 
?
15

2LS: memory safety and non-termination (competition contrib..:

Malik, Viktor ; Martiček, Štefan ; Schrammel, Peter...
http://sro.sussex.ac.uk/id/eprint/75981/3/10.1007%252F978-3-319-89963-3_24.pdf.  , 2018
Link: http://sro.sussex.ac.uk/..
 
1-15