Ivan Perez

According to our database, Ivan Perez authored at least 23 papers between 2008 and 2024.

Collaborative distances:

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

2024

Runtime Verification in Real-Time with the Copilot Language: A Tutorial.

Ivan Perez, Alwyn E. Goodloe, Frank Dedden

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Selected extended papers of NFM 2021.

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez

Innov. Syst. Softw. Eng., December, 2023

Trustworthy Runtime Verification via Bisimulation (Experience Report).

Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, Robert Dockins

Proc. ACM Program. Lang., August, 2023

Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing.

Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, Leonidas Lampropoulos

Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 2023

The Essence of Reactivity.

Ivan Perez, Frank Dedden

Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 2023

Types that Change: The Extensible Type Design Pattern.

Ivan Perez

Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, 2023

The Beauty and Elegance of Functional Reactive Animation.

Ivan Perez

Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art, 2023

2022

Monitoring ROS2: from Requirements to Autonomous Robots.

Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alexander Will, Patrick J. Martin

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

Automated Translation of Natural Language Requirements to Runtime Monitors.

Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2020

Runtime verification and validation of functional reactive systems.

Ivan Perez, Henrik Nilsson

J. Funct. Program., 2020

Fault-tolerant functional reactive programming (extended version).

Ivan Perez, Alwyn Goodloe

J. Funct. Program., 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

2018

Extensible and robust functional reactive programming.

Ivan Perez Dominguez

PhD thesis, 2018

Fault tolerant functional reactive programming (functional pearl).

Ivan Perez

Proc. ACM Program. Lang., 2018

Rhine: FRP with type-level clocks.

Manuel Bärenz, Ivan Perez

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018

2017

Testing and debugging functional reactive programming.

Ivan Perez, Henrik Nilsson

Proc. ACM Program. Lang., 2017

Back to the future: time travel in FRP.

Ivan Perez

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

2016

Functional reactive programming, refactored.

Ivan Perez, Manuel Bärenz, Henrik Nilsson

Proceedings of the 9th International Symposium on Haskell, 2016

2015

Bridging the GUI gap with reactive values and relations.

Ivan Perez, Henrik Nilsson

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014

Declarative Game Programming: Distilled Tutorial.

Henrik Nilsson, Ivan Perez

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

2009

Pattern Definitions and Semantically Annotated Instances.

Ivan Perez, Óscar Corcho

Proceedings of the Workshop on Ontology Patterns (WOP 2009) , 2009

Pattern-based OWL Ontology Debugging Guidelines.

Óscar Corcho, Catherine Roussey, Luis Manuel Vilches Blázquez, Ivan Perez

Proceedings of the Workshop on Ontology Patterns (WOP 2009) , 2009

2008

Modelling Mash-up Resources.

Ivan Perez, Ángel Herranz-Nieva, Susana Muñoz-Hernández, Juan José Moreno-Navarro

Proceedings of the XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), 2008