Search for persons
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
1
Korn—Software Verification with Horn Clauses (Competition C..:
, In:
?
Lecture Notes in Computer Science; Integrated Formal Methods ,
2
Verify This: Memcached—A Practical Long-Term Challenge for ..:
, In:
?
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security ,
3
Assume but Verify: Deductive Verification of Leaked Informa..:
, In:
?
Formal Methods and Software Engineering; Lecture Notes in Computer Science ,
4
Compositional Vulnerability Detection with Insecurity Separ..:
, In:
?
2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) ,
5
State Selection Algorithms and Their Impact on The Performa..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science ,
6
A Hoare Logic with Regular Behavioral Specifications:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
7
Loop Verification with Invariants and Contracts:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
8
Bridging Arrays and ADTs in Recursive Proofs:
, In:
?
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science ,
11
Legion: Best-First Concolic Testing (Competition Contributi..:
, In:
?
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering ,
12
Legion : best-first concolic testing:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
14
VerifyThis – Verification Competition with a Human Factor:
, In:
?
Quantitative Evaluation of Systems; Lecture Notes in Computer Science ,
15