Personensuche
X
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
1
Synthesizing History and Prophecy Variables for Symbolic Mo..:
, In:
?
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
2
Fixing Privilege Escalations in Cloud Access Control with M..:
, In:
?
Networked Systems; Lecture Notes in Computer Science ,
4
A Formal Analysis of Karn's Algorithm:
, In:
?
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
7
SymMC: approximate model enumeration and counting using sym..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
11
Ivy: A Multi-modal Verification Tool for Distributed Algori..:
, In:
?
From Reactive Systems to Cyber-Physical Systems; Lecture Notes in Computer Science ,
12
Invisible Invariants Are Neither:
, In:
?
Proceedings of the ACM Special Interest Group on Data Communication ,
13