Mrio Pereira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IFM | Unfolding Iterators: Specification and Verification of Higher-Order Iterators in OCaml. | Ion Chirica, Mrio Pereira |
| 2024 | FM | Practical Deductive Verification of OCaml Programs. | Mrio Pereira |
| 2024 | ISoLA | Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem. | Tiago Lopes Soares, Ion Chirica, Mrio Pereira |
| 2021 | CAV | Cameleer: A Deductive Verification Tool for OCaml. | Mrio Pereira, Antnio Ravara |
| 2020 | CADE | Animated Logic: Correct Functional Conversion to Conjunctive Normal Form. | Pedro Barroso, Mrio Pereira, Antnio Ravara |
| 2019 | CIBCB | GameAAL - an AAL solution based on Gamification and Machine Learning Techniques. | Marta Pinto, Mrio Pereira, Diana Raposo, Marco Simes, Miguel Castelo-Branco |
| 2019 | FM | GOSPEL - Providing OCaml with a Formal Specification Language. | Arthur Charguraud, Jean-Christophe Fillitre, Cludio Loureno, Mrio Pereira |
| 2014 | SAC | Complexity checking of ARM programs, by deduction. | Mrio Pereira, Simo Melo de Sousa |