| 2024 | FM | Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0. | Laura Titolo, Mariano M. Moscato, Marco A. Feli, Paolo Masci, Csar A. Muoz |
| 2020 | IFM | Automatic Generation of Guard-Stable Floating-Point Code. | Laura Titolo, Mariano M. Moscato, Marco A. Feli, Csar A. Muoz |
| 2019 | FM | Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm. | Mariano M. Moscato, Laura Titolo, Marco A. Feli, Csar A. Muoz |
| 2018 | ITP | Boosting the Reuse of Formal Specifications. | Mariano M. Moscato, Carlos Gustavo Lpez Pombo, Csar A. Muoz, Marco A. Feli |
| 2018 | LOPSTR | Eliminating Unstable Tests in Floating-Point Programs. | Laura Titolo, Csar A. Muoz, Marco A. Feli, Mariano M. Moscato |
| 2018 | VMCAI | An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs. | Laura Titolo, Marco A. Feli, Mariano M. Moscato, Csar A. Muoz |
| 2013 | PEPM | Automatic inference of specifications using matching logic. | Mara Alpuente, Marco A. Feli, Alicia Villanueva |
| 2012 | ICLP | The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. | Giovanni Bacci, Marco Comini, Marco A. Feli, Alicia Villanueva |
| 2009 | LOPSTR | Defining Datalog in Rewriting Logic. | Mara Alpuente, Marco A. Feli, Christophe Joubert, Alicia Villanueva |
| 2008 | FMICS | Using Datalog and Boolean Equation Systems for Program Analysis. | Mara Alpuente, Marco A. Feli, Christophe Joubert, Alicia Villanueva |