Personensuche
X
?
2023 Formal Methods in Computer-Aided Design (FMCAD) ,
1
CRV: Automated Cyber-Resiliency Reasoning for System Design..:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
5
Merit and Blame Assignment with Kind 2:
, In:
?
2020 Formal Methods in Computer Aided Design (FMCAD) ,
6
SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Fini..:
, In:
?
Automated Reasoning; Lecture Notes in Computer Science ,
7
Scalable Algorithms for Abduction via Enumerative Syntax-Gu..:
, In:
?
2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC) ,
9