Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Steinhöfel, Dominic
59  Ergebnisse:
Personensuche X
?
1

Language-Based Software Testing:

Steinhöfel, Dominic ; Zeller, Andreas
Communications of the ACM.  67 (2024)  4 - p. 80-84 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Schematic Program Proofs with Abstract Execution: Theory an..:

Steinhöfel, Dominic ; Hähnle, Reiner
Journal of Automated Reasoning.  68 (2024)  2 - p. , 2024
Link: https://doi.org/10.1007/..
 
?
3

Semantic Debugging:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Eberlein, Martin ; Smytzek, Marius ; Steinhöfel, Dominic.. - p. 438-449 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Engineering a Formally Verified Automated Bug Finder:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Correnson, Arthur ; Steinhöfel, Dominic - p. 1165-1176 , 2023
Link: https://dl.acm.org/doi/1..
 
?
5

Ever Change a Running System: Structured Software Reenginee..:

, In: Ernst Denert Award for Software Engineering 2020,
Steinhöfel, Dominic - p. 197-226 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Input invariants:

, In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Steinhöfel, Dominic ; Zeller, Andreas - p. 583-594 , 2022
Link: https://dl.acm.org/doi/1..
 
?
7

Symbolic Execution: Foundations, Techniques, Applications, ..:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,
Steinhöfel, Dominic - p. 446-480 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Certified Abstract Cost Analysis:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Albert, Elvira ; Hähnle, Reiner ; Merayo, Alicia. - p. 24-45 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Delta-based verification of software product families:

, In: Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,
Scaletta, Marco ; Hähnle, Reiner ; Steinhöfel, Dominic. - p. 69-82 , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

Abstract Execution: Automatically Proving Infinitely Many P..:

Steinhöfel, Dominic , 2020
Link: https://nbn-resolving.de..
 
?
11

The Trace Modality:

, In: Lecture Notes in Computer Science; Dynamic Logic. New Trends and Applications,
Steinhöfel, Dominic ; Hähnle, Reiner - p. 124-140 , 2020
Link: https://doi.org/10.1007/..
 
?
12

REFINITY to Model and Prove Program Transformation Rules:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Steinhöfel, Dominic - p. 311-319 , 2020
Link: https://doi.org/10.1007/..
 
?
13

Safer Parallelization:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science,
Hähnle, Reiner ; Heydari Tabar, Asmae ; Mazaheri, Arya... - p. 117-137 , 2020
Link: https://doi.org/10.1007/..
 
?
14

Abstract Execution:

, In: Lecture Notes in Computer Science; Formal Methods – The Next 30 Years,
Steinhöfel, Dominic ; Hähnle, Reiner - p. 319-336 , 2019
Link: https://doi.org/10.1007/..
 
?
15

Modular, Correct Compilation with Automatic Soundness Proof:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling; Lecture Notes in Computer Science,
Steinhöfel, Dominic ; Hähnle, Reiner - p. 424-447 , 2018
Link: https://doi.org/10.1007/..
 
1-15