Esther Conrad

According to our database, Esther Conrad authored at least 2 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A compositional proof framework for FRETish requirements.

Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2020

From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project.

Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger

Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020