Login / Signup
Esther Conrad
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 3
Top Topics
Development Projects
Flight Data
Theorem Proving
Civil Aviation
Top Venues
CoRR
CPP
FMAS
</>
Publications
</>
Esther Conrad
,
Laura Titolo
,
Dimitra Giannakopoulou
,
Thomas Pressburger
,
Aaron Dutle
A compositional proof framework for FRETish requirements.
CPP
(2022)
Esther Conrad
,
Laura Titolo
,
Dimitra Giannakopoulou
,
Thomas Pressburger
,
Aaron Dutle
A Compositional Proof Framework for FRETish Requirements.
CoRR
(2022)
Aaron Dutle
,
César A. Muñoz
,
Esther Conrad
,
Alwyn Goodloe
,
Laura Titolo
,
Ivan Perez
,
Swee Balachandran
,
Dimitra Giannakopoulou
,
Anastasia Mavridou
,
Thomas Pressburger
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project.
FMAS
(2020)