Search for persons
X
?
From Data to Models and Back; Lecture Notes in Computer Science ,
9
A Secure User-Centred Healthcare System: Design and Verific..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science ,
10
Automated Repair of Security Errors in C Programs via Stati..:
, In:
?
2021 40th International Symposium on Reliable Distributed Systems (SRDS) ,
13
Chaos Duck: A Tool for Automatic IoT Software Fault-Toleran..:
, In:
?
Model Checking Software; Lecture Notes in Computer Science ,
14
C-SMC: A Hybrid Statistical Model Checking and Concrete Run..:
, In:
?
Proceedings of the 36th Annual ACM Symposium on Applied Computing ,
15