Personensuche
X
?
1
Theoretical Aspects of Software Engineering: 18th Internati..
Lecture Notes in Computer Science, 14777
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
2
Incorrectness Proofs for Object-Oriented Programs via Subcl..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
3
Automated Verification for Real-Time Systems: via Implicit ..:
, In:
?
Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science ,
4
Protocol Conformance with Choreographic PlusCal:
, In:
?
Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity ,
5
Automated Verification for Real-Time Systems using Implicit..:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
6
Automated Temporal Verification for Algebraic Effects:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
7
Automated Repair of Heap-Manipulating Programs Using Deduct..:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
8
A Synchronous Effects Logic for Temporal Verification of Pu..:
, In:
?
Formal Methods and Software Engineering; Lecture Notes in Computer Science ,
9
Automated Temporal Verification of Integrated Dependent Eff..:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
11
Automatic Program Repair Using Formal Verification and Expr..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
12
SL-COMP: Competition of Solvers for Separation Logic:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
14
Automated Modular Verification for Relaxed Communication Pr..:
, In:
?
2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) ,
15