Search for persons
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
5
A Formal CHERI-C Semantics for Verification:
, In:
?
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
9
Static executes-before analysis for event driven programs:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
10
Static Race Detection for Periodic Programs:
, In:
?
Lecture Notes in Computer Science; Formal Methods – The Next 30 Years ,
13
Static Analysis for Detecting High-Level Races in RTOS Kern..:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
14