Ivan Perez

Cited by

	All	Since 2019
Citations	378	264
h-index	10	9
i10-index	11	7

200820092010201120122013201420152016201720182019202020212022202320244 5 5 3 8 9 10 9 10 18 31 33 50 29 50 79 22

Public access

View all

10 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Alwyn GoodloeResearch Computer Engineer, NASAVerified email at nasa.gov
Henrik NilssonAssociate Professor, School of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Oscar CorchoOntology Engineering Group, Departamento de Inteligencia Artificial, UPMVerified email at fi.upm.es
catherine rousseyMISTEA INRAE Occitanie, MontpellierVerified email at inrae.fr
Luis M. Vilches-BlázquezOntology Engineering Group - Universidad Politécnica de MadridVerified email at upm.es
Tom PressburgerNASA Ames Research CenterVerified email at nasa.gov
Jesús Martínez MateoUniversidad Politécnica de MadridVerified email at fi.upm.es
Kerianne HobbsResearch Aerospace Engineer, Air Force Research LaboratoryVerified email at us.af.mil
Eric FeronProfessor of Electrical EngineeringVerified email at kaust.edu.sa
William EdmonsonNC A&TVerified email at ncat.edu
Patrick J. MartinUniversity of RichmondVerified email at fastmail.com
Ángel HerranzUniversidad Politécnica de MadridVerified email at upm.es
Mike DoddsGalois Inc.Verified email at galois.com
Susana Muñoz HernándezUniversidad Politécnica de MadridVerified email at fi.upm.es
Irfan ŠljivoKBR / NASA Ames Research CenterVerified email at nasa.gov
Johann SchumannSGT, Inc. NASA AmesVerified email at nasa.gov
Juan José Moreno NavarroUniversdad Politécnica de MadridVerified email at fi.upm.es
Leonidas LampropoulosAssistant Professor, University of MarylandVerified email at umd.edu
Lee PikeAWS Automated ReasoningVerified email at amazon.com
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov

Ivan Perez

Other namesIvan Perez Dominguez

Sr Research Scientist, KBR/NASA Ames Research Center. Ex: IMDEA, Keera Studios, HLRS, UoN, UPM

Verified email at nasa.gov - Homepage

Functional Reactive Programming Haskell Functional Programming Aerospace Game Programming


Title Sort by citations Sort by year Sort by 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	65	2016
Pattern-based OWL ontology debugging guidelines O Corcho, C Roussey, LM Vilches-Blázquez, I Perez Dominguez CEUR Workshop Proceedings, 2009	58	2009
Copilot 3 I Perez, F Dedden, A Goodloe https://ntrs.nasa.gov/citations/20200003164, 2020	43	2020
Testing and debugging functional reactive programming I Perez, H Nilsson Proceedings of the ACM on Programming Languages 1 (ICFP), 1-27, 2017	31	2017
Rhine: FRP with type-level clocks M Bärenz, I Perez ACM SIGPLAN Notices 53 (7), 145-157, 2018	29	2018
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	18	2020
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	18	2015
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	17	2022
Back to the Future: Time travel in FRP I Perez Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell 52 …, 2017	15	2017
Fault-Tolerant Swarms I Perez, A Goodloe, W Edmonson 2019 IEEE International Conference on Space Mission Challenges for …, 2019	11	2019
Fault tolerant functional reactive programming (functional pearl) I Perez Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018	10	2018
Fault-tolerant functional reactive programming (extended version) I Perez, AE Goodloe Journal of Functional Programming 30, e12, 2020	9	2020
Thin client technology in the academic environment J Martınez, I Pérez, S Munoz, D Lancho	7	2008
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	6	2022
Runtime verification and validation of functional reactive systems I Perez, H Nilsson Journal of Functional Programming 30, E28, 2020	5	2020
Formal verification of system states for spacecraft automatic maneuvering KL Hobbs, I Perez, A Fifarek, EM Feron AIAA Scitech 2019 Forum, 1187, 2019	5	2019
GALE: a functional graphic adventure library and engine I Perez Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art …, 2017	5	2017
On the Mathematical Properties of Monadic Stream Functions M Bärenz, I Perez, H Nilsson	5	2016
Mobile game programming in haskell C Zeller, I Perez Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art …, 2019	4	2019
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	3	2023

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors