Modelling Mash-up Resources. - Ivan Perez 001; Ángel Herranz-Nieva; Susana Muñoz-Hernández; Juan José Moreno-Navarro (JISBD, 2008)

Pattern-based OWL Ontology Debugging Guidelines. - Óscar Corcho; Catherine Roussey; Luis Manuel Vilches Blázquez; Ivan Perez 001 (WOP, 2009)

Pattern Definitions and Semantically Annotated Instances. - Ivan Perez 001; Óscar Corcho (WOP, 2009)

Declarative Game Programming: Distilled Tutorial. - Henrik Nilsson; Ivan Perez 001 (PPDP, 2014)

Bridging the GUI gap with reactive values and relations. - Ivan Perez 001; Henrik Nilsson (Haskell, 2015)

Functional reactive programming, refactored. - Ivan Perez 001; Manuel Bärenz; Henrik Nilsson (Haskell, 2016)

Back to the future: time travel in FRP. - Ivan Perez 001 (Haskell, 2017)

Testing and debugging functional reactive programming. - Ivan Perez 001; Henrik Nilsson (Proc. ACM Program. Lang., 2017)

Rhine: FRP with type-level clocks. - Manuel Bärenz; Ivan Perez 001 (Haskell@ICFP, 2018)

Fault tolerant functional reactive programming (functional pearl). - Ivan Perez 001 (Proc. ACM Program. Lang., 2018)

Extensible and robust functional reactive programming. - Ivan Perez Dominguez (2018)

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 001; Swee Balachandran; Dimitra Giannakopoulou; Anastasia Mavridou; Thomas Pressburger (FMAS, 2020)

Fault-tolerant functional reactive programming (extended version). - Ivan Perez 001; Alwyn Goodloe (J. Funct. Program., 2020)

Runtime verification and validation of functional reactive systems. - Ivan Perez 001; Henrik Nilsson (J. Funct. Program., 2020)

Automated Translation of Natural Language Requirements to Runtime Monitors. - Ivan Perez 001; Anastasia Mavridou; Thomas Pressburger; Alwyn Goodloe; Dimitra Giannakopoulou (TACAS (1), 2022)

Monitoring ROS2: from Requirements to Autonomous Robots. - Ivan Perez 001; Anastasia Mavridou; Thomas Pressburger; Alexander Will; Patrick J. Martin (FMAS/ASYDE@SEFM, 2022)

The Beauty and Elegance of Functional Reactive Animation. - Ivan Perez 001 (FARM, 2023)

Types that Change: The Extensible Type Design Pattern. - Ivan Perez 001 (FUNARCH, 2023)

The Essence of Reactivity. - Ivan Perez 001; Frank Dedden (Haskell, 2023)

Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing. - Segev Elazar Mittelman; Aviel Resnick; Ivan Perez 001; Alwyn E. Goodloe; Leonidas Lampropoulos (Haskell, 2023)

Trustworthy Runtime Verification via Bisimulation (Experience Report). - Ryan G. Scott; Mike Dodds; Ivan Perez 001; Alwyn E. Goodloe; Robert Dockins (Proc. ACM Program. Lang., 2023)

Selected extended papers of NFM 2021. - Aaron Dutle; Mariano M. Moscato; Laura Titolo; César A. Muñoz; Ivan Perez 001 (Innov. Syst. Softw. Eng., 2023)

Runtime Verification in Real-Time with the Copilot Language: A Tutorial. - Ivan Perez 001; Alwyn E. Goodloe; Frank Dedden (FM (2), 2024)