Cristina David

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 2

Top Topics

Top Venues

Acta informatica

Journal of automated reasoning

This page only lists publications with an associated author ORCID identifier.

Publications

Alessandro Abate, Haniel Barbosa, Clark Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, Cesare Tinelli
Synthesising Programs with Non-trivial Constants. Journal of automated reasoning 67 (2) (2023)
Alessandro Abate, Iury Bessa, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
Automated formal synthesis of provably safe digital controllers for continuous plants. Acta informatica 57 (1) (2019)