Follow
Ivan Perez
Ivan Perez
Other namesIvan Perez Dominguez
Principal Research Scientist, KBR/NASA ARC. Ex: NASA LaRC, IMDEA, Keera Studios, HLRS, UoN, UPM
Verified email at nasa.gov - Homepage
Title
Cited by
Cited by
Year
Functional reactive programming, refactored
I Perez, M Bärenz, H Nilsson
Proceedings of the 9th International Symposium on Haskell 51 (12), 33-44, 2016
682016
Pattern-based OWL ontology debugging guidelines
O Corcho, C Roussey, LM Vilches-Blázquez, I Perez Dominguez
CEUR Workshop Proceedings, 2009
582009
Copilot 3
I Perez, F Dedden, A Goodloe
https://ntrs.nasa.gov/citations/20200003164, 2020
512020
Testing and debugging functional reactive programming
I Perez, H Nilsson
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-27, 2017
332017
Rhine: FRP with type-level clocks
M Bärenz, I Perez
ACM SIGPLAN Notices 53 (7), 145-157, 2018
312018
Automated translation of natural language requirements to runtime monitors
I Perez, A Mavridou, T Pressburger, A Goodloe, D Giannakopoulou
International Conference on Tools and Algorithms for the Construction and …, 2022
252022
From requirements to autonomous flight: an overview of the monitoring ICAROUS project
A Dutle, C Muñoz, E Conrad, A Goodloe, I Perez, S Balachandran, ...
Formal Methods for Autonomous Systems, 2020 329, 23--30, 2020
192020
Bridging the GUI gap with reactive values and relations
I Perez, H Nilsson
Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell 50 (12), 47-58, 2015
192015
Back to the Future: Time travel in FRP
I Perez
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell 52 …, 2017
152017
Monitoring ROS2: from Requirements to Autonomous Robots
I Perez, A Mavridou, T Pressburger, A Will, PJ Martin
Proceedings of the 4th Workshop on Formal Methods for Autonomous Systems, 2022
122022
Fault-Tolerant Swarms
I Perez, A Goodloe, W Edmonson
2019 IEEE International Conference on Space Mission Challenges for …, 2019
112019
Fault tolerant functional reactive programming (functional pearl)
I Perez
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
102018
Fault-tolerant functional reactive programming (extended version)
I Perez, AE Goodloe
Journal of Functional Programming 30, e12, 2020
92020
Thin client technology in the academic environment
J Martınez, I Pérez, S Munoz, D Lancho
72008
Trustworthy runtime verification via bisimulation (Experience Report)
RG Scott, M Dodds, I Perez, AE Goodloe, R Dockins
Proceedings of the ACM on Programming Languages 7 (ICFP), 305-321, 2023
62023
Runtime verification and validation of functional reactive systems
I Perez, H Nilsson
Journal of Functional Programming 30, E28, 2020
62020
Formal verification of system states for spacecraft automatic maneuvering
KL Hobbs, I Perez, A Fifarek, EM Feron
AIAA Scitech 2019 Forum, 1187, 2019
62019
GALE: a functional graphic adventure library and engine
I Perez
Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art …, 2017
52017
On the Mathematical Properties of Monadic Stream Functions
M Bärenz, I Perez, H Nilsson
52016
Dynamic assurance of autonomous systems through ground control software
I Sljivo, I Perez, A Mavridou, J Schumann, PG Vlastos, C Carter
AIAA SCITECH 2024 Forum, 1208, 2024
42024
The system can't perform the operation now. Try again later.
Articles 1–20