Ivan Perez

25 papers B 1C 6Journal 6Unranked 10
YearRankTypeTitle / Venue / Authors
2025 B conf
Logic Programming with Extensible Types.
ICLP
Ivan Perez, Ángel Herranz
2024 — conf
Runtime Verification in Real-Time with the Copilot Language: A Tutorial.
FM (2)
Ivan Perez, Alwyn E. Goodloe, Frank Dedden
2023 C conf
Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing.
Haskell
Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, Leonidas Lampropoulos
2023 J jnl
Selected extended papers of NFM 2021.
Innov. Syst. Softw. Eng.
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
2023 — conf
The Beauty and Elegance of Functional Reactive Animation.
FARM
Ivan Perez
2023 C conf
The Essence of Reactivity.
Haskell
Ivan Perez, Frank Dedden
2023 J jnl
Trustworthy Runtime Verification via Bisimulation (Experience Report).
Proc. ACM Program. Lang.
Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, Robert Dockins
2023 — conf
Types that Change: The Extensible Type Design Pattern.
FUNARCH
Ivan Perez
2022 — conf
Automated Translation of Natural Language Requirements to Runtime Monitors.
TACAS (1)
Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou
2022 — conf
Monitoring ROS2: from Requirements to Autonomous Robots.
FMAS/ASYDE@SEFM
Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alexander Will, Patrick J. Martin
2022 — ed.
NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
NFM
Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez
2021 — ed.
NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings
NFM
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
2020 J jnl
Fault-tolerant functional reactive programming (extended version).
J. Funct. Program.
Ivan Perez, Alwyn Goodloe
2020 — conf
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project.
FMAS
Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger
2020 J jnl
Runtime verification and validation of functional reactive systems.
J. Funct. Program.
Ivan Perez, Henrik Nilsson
2018 J jnl
Fault tolerant functional reactive programming (functional pearl).
Proc. ACM Program. Lang.
Ivan Perez
2018 — conf
Rhine: FRP with type-level clocks.
Haskell@ICFP
Manuel Bärenz, Ivan Perez
2017 C conf
Back to the future: time travel in FRP.
Haskell
Ivan Perez
2017 J jnl
Testing and debugging functional reactive programming.
Proc. ACM Program. Lang.
Ivan Perez, Henrik Nilsson
2016 C conf
Functional reactive programming, refactored.
Haskell
Ivan Perez, Manuel Bärenz, Henrik Nilsson
2015 C conf
Bridging the GUI gap with reactive values and relations.
Haskell
Ivan Perez, Henrik Nilsson
2014 C conf
Declarative Game Programming: Distilled Tutorial.
PPDP
Henrik Nilsson, Ivan Perez
2009 — conf
Pattern Definitions and Semantically Annotated Instances.
WOP
Ivan Perez, Óscar Corcho
2009 — conf
Pattern-based OWL Ontology Debugging Guidelines.
WOP
Óscar Corcho, Catherine Roussey, Luis Manuel Vilches Blázquez, Ivan Perez
2008 — conf
Modelling Mash-up Resources.
JISBD
Ivan Perez, Ángel Herranz-Nieva, Susana Muñoz-Hernández, Juan José Moreno-Navarro