Login / Signup
Ivan Perez
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 4
Top Topics
Written In Natural Language
User Requirements
Flight Data
Autonomous Robots
Top Venues
Proc. ACM Program. Lang.
FMAS/ASYDE@SEFM
TACAS (1)
FMAS
</>
Publications
</>
Ivan Perez
,
Anastasia Mavridou
,
Thomas Pressburger
,
Alexander Will
,
Patrick J. Martin
Monitoring ROS2: from Requirements to Autonomous Robots.
FMAS/ASYDE@SEFM
(2022)
Ivan Perez
,
Anastasia Mavridou
,
Thomas Pressburger
,
Alwyn Goodloe
,
Dimitra Giannakopoulou
Automated Translation of Natural Language Requirements to Runtime Monitors.
TACAS (1)
(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)
Ivan Perez
Fault tolerant functional reactive programming (functional pearl).
Proc. ACM Program. Lang.
2 (ICFP) (2018)