E-LIB Suche - Ergebnisse für: Beyer, Dirk

1

Btor2-Cert: A Certifying Hardware-Verification Framework Us..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Ádám, Zsófia ; Beyer, Dirk ; Chien, Po-Chun.. - p. 129-149 , 2024

Link: https://doi.org/10.1007/..

2

Fault Localization on Verification Witnesses (Poster Paper):

, In: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings,

Beyer, Dirk ; Kettl, Matthias ; Lemberger, Thomas - p. 339-340 , 2024

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

3

CPAchecker 2.3 with Strategy Selection: (Competition Contri..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Baier, Daniel ; Beyer, Dirk ; Chien, Po-Chun... - p. 359-364 , 2024

Link: https://doi.org/10.1007/..

4

Fundamental Approaches to Software Engineering: 27th Intern..

Lecture Notes in Computer Science, 14573

Beyer, Dirk ; Cavalcanti, Ana - 1st ed. 2024 . , 2024

Link: https://doi.org/10.1007/..

5

State of the Art in Software Verification and Witness Valid..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Beyer, Dirk - p. 299-329 , 2024

Link: https://doi.org/10.1007/..

6

Fundamental Approaches to Software Engineering: 27th Intern..

Lecture Notes in Computer Science

Beyer, Dirk ; Cavalcanti, Ana , 2024

Link: https://library.oapen.or..

7

Essential properties for safe behaviour of a perception fun..:

Gauerhof, Lydia , 2023

Link: https://nbn-resolving.de..

8

The integration of multi-color taint-analysis with dynamic ..:

Mues, Malte , 2023

Link: https://nbn-resolving.de..

9

CEGAR-PT: A Tool for Abstraction by Program Transformation:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),

Beyer, Dirk ; Lingsch-Rosenfeld, Marian ; Spiessl, Martin - p. 2078-2081 , 2023

Link: https://doi.org/10.1109/..

10

CPA-DF: A Tool for Configurable Interval Analysis to Boost ..:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),

Beyer, Dirk ; Chien, Po-Chun ; Lee, Nian-Ze - p. 2050-2053 , 2023

Link: https://doi.org/10.1109/..

11

Competition on Software Verification and Witness Validation..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Beyer, Dirk - p. 495-522 , 2023

Link: https://doi.org/10.1007/..

12

LIV: Loop-Invariant Validation Using Straight-Line Programs:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),

Beyer, Dirk ; Spiessl, Martin - p. 2074-2077 , 2023

Link: https://doi.org/10.1109/..

13

CoVeriTeam Service: Verification as a Service:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Beyer, Dirk ; Kanav, Sudeep ; Wachowitz, Henrik - p. 21-25 , 2023

Link: https://doi.org/10.1109/..

14

Software Testing: 5th Comparative Evaluation: Test-Comp 202:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Beyer, Dirk - p. 309-323 , 2023

Link: https://doi.org/10.1007/..

15

Bridging Hardware and Software Analysis with Btor2C: A Word..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Beyer, Dirk ; Chien, Po-Chun ; Lee, Nian-Ze - p. 152-172 , 2023

Link: https://doi.org/10.1007/..