Search for persons
X
?
2024 IEEE Security and Privacy Workshops (SPW) ,
1
Robust Verification of PEG Parser Interpreters:
, In:
?
2023 Formal Methods in Computer-Aided Design (FMCAD) ,
2
Developing an Open-Source, State-of-the-Art Symbolic Model-..:
, In:
?
Lecture Notes in Computer Science; Intelligent Computer Mathematics ,
3
An Augmented MetiTarski Dataset for Real Quantifier Elimina..:
, In:
?
Lecture Notes in Computer Science; Intelligent Computer Mathematics ,
5
CoProver: A Recommender System for Proof Construction:
, In:
?
2022 IEEE Security and Privacy Workshops (SPW) ,
6
Capturing the iccMAX calculatorElement: A Case Study on For..:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
7
Requirements-Driven Model Checking and Test Generation for ..:
, In:
?
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
13
A verified packrat parser interpreter for parsing expressio..:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
14
The Correctness of a Code Generator for a Functional Langua..:
, In:
?
Lecture Notes in Computer Science; Computer Safety, Reliability, and Security ,
15