E-LIB Suche - Ergebnisse für: Lemberger, L.

1

Fault Localization on Verification Witnesses (Poster Paper):

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

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

Link: https://doi.org/10.1145/..

2

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

3

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

4

Single-Source FM SRS with Pixel-to-Pixel Contrast Improveme..:

, In: 2023 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC),

Wallmeler, Kristin ; Wurthwein, Thomas ; Hellwig, Tim... - p. 1-1 , 2023

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

5

The Static Analyzer Infer in SV-COMP (Competition Contribut..:

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

Kettl, Matthias ; Lemberger, Thomas - p. 451-456 , 2022

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

6

Regional governance and European Structural and Investment ..:

, In: Cross-border spatial development in Bavaria: Dynamics in cooperation - Potentials of integration,

Weizenegger, Sabine ; Lemberger, Markus ; Chilla, Tobias. - p. 127-156 , 2022

Link: https://www.ssoar.info/s..

7

Decomposing software verification into off-the-shelf compon..:

, In: Proceedings of the 44th International Conference on Software Engineering,

Beyer, Dirk ; Haltermann, Jan ; Lemberger, Thomas. - p. 536-548 , 2022

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

8

Decomposing Software Verification into Off-the-Shelf Compon..:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE),

Beyer, Dirk ; Haltermann, Jan ; Lemberger, Thomas. - p. 536-548 , 2022

Link: https://doi.org/10.1145/..

9

Difference Verification with Conditions:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Beyer, Dirk ; Jakobs, Marie-Christine ; Lemberger, Thomas - p. 133-154 , 2020

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

10

Conditional Testing: Off-the-Shelf Combination of Test-Case..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Beyer, Dirk ; Lemberger, Thomas - p. 189-208 , 2019

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

11

TestCov : robust test-suite execution and coverage measu..:

, In: Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering,

Beyer, Dirk ; Lemberger, Thomas - p. 1074-1077 , 2019

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

12

TestCov: Robust Test-Suite Execution and Coverage Measureme..:

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

Beyer, Dirk ; Lemberger, Thomas - p. 1074-1077 , 2019

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

13

CPA-SymExec: efficient symbolic execution in CPAchecker:

, In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering,

Beyer, Dirk ; Lemberger, Thomas - p. 900-903 , 2018

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

14

Reducer-based construction of conditional verifiers:

, In: Proceedings of the 40th International Conference on Software Engineering,

Beyer, Dirk ; Jakobs, Marie-Christine ; Lemberger, Thomas. - p. 1182-1193 , 2018

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

15

How Can Computer Tools Improve Early Warnings for Wildlife ..:

, In: How Information Systems Can Help in Alarm/Alert Detection,

Brena, Pierpaolo ; Gauthier, Dominique ; Humeau, Antoine... - p. 241-256 , 2018

Link: https://doi.org/10.1016/..