Elizabeth Polgreen
Elizabeth Polgreen
Lecturer, University of Edinburgh
Dirección de correo verificada de cs.ox.ac.uk - Página principal
Título
Citado por
Citado por
Año
Automated formal synthesis of digital controllers for state-space physical plants
A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ...
International Conference on Computer Aided Verification, 462-482, 2017
302017
Counterexample guided inductive synthesis modulo theories
A Abate, C David, P Kesseli, D Kroening, E Polgreen
International Conference on Computer Aided Verification, 270-288, 2018
272018
Data-efficient Bayesian verification of parametric Markov chains
E Polgreen, VB Wijesuriya, S Haesaert, A Abate
International Conference on Quantitative Evaluation of Systems, 35-51, 2016
122016
Automated experiment design for data-efficient verification of parametric Markov decision processes
E Polgreen, VB Wijesuriya, S Haesaert, A Abate
International Conference on Quantitative Evaluation of Systems, 259-274, 2017
112017
DSSynth: an automated digital controller synthesis tool for physical plants
A Abate, I Bessa, D Cattaruzza, L Chaves, L Cordeiro, C David, P Kesseli, ...
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
102017
Counterexample guided neural synthesis
E Polgreen, R Abboud, D Kroening
arXiv preprint arXiv:2001.09245, 2020
22020
Using model checking tools to triage the severity of security bugs in the Xen hypervisor
B Cook, B Döbel, D Kroening, N Manthey, M Pohlack, E Polgreen, ...
2020 Formal Methods in Computer Aided Design (FMCAD), 185-193, 2020
12020
SynRG: Syntax Guided Synthesis of Invariants with Alternating Quantifiers
E Polgreen, SA Seshia
arXiv preprint arXiv:2007.10519, 2020
12020
Automated formal synthesis of provably safe digital controllers for continuous plants
A Abate, I Bessa, L Cordeiro, C David, P Kesseli, D Kroening, E Polgreen
Acta Informatica, 1-22, 2019
12019
Verifying reachability properties in Markov chains via incremental induction
E Polgreen, M Brain, M Fraenzle, A Abate
arXiv preprint arXiv:1909.08017, 2019
12019
Synthesis in Uclid5
F Mora, K Cheang, E Polgreen, SA Seshia
arXiv preprint arXiv:2007.06760, 2020
2020
Gradient Descent over Metagrammars for Syntax-Guided Synthesis
N Chan, E Polgreen, SA Seshia
arXiv preprint arXiv:2007.06677, 2020
2020
Synthesis in U 5
F Mora, K Cheang, E Polgreen, SA Seshia
arXiv preprint arXiv:2007.06760, 2020
2020
Synthesis without syntactic templates
E Polgreen
University of Oxford, 2019
2019
Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants
A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ...
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–15