Search for persons
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
2
A Parallel and Distributed Quantum SAT Solver Based on Enta..:
, In:
?
Formal Methods and Software Engineering; Lecture Notes in Computer Science ,
4
A Formal Methodology for Verifying Side-Channel Vulnerabili..:
, In:
?
2020 IEEE Symposium on Security and Privacy (SP) ,
8
Semantic Understanding of Smart Contracts: Executable Opera..:
, In:
?
Lecture Notes in Computer Science; Formal Methods – The Next 30 Years ,
10
A Parametric Rely-Guarantee Reasoning Framework for Concurr..:
, In:
?
Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science ,
11
A Verified Specification of TLSF Memory Management Allocato..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
12
Rely-Guarantee Reasoning About Concurrent Memory Management..:
, In:
?
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering ,
15