Marco A. Feliú

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 9

Top Topics

Provably Correct

Formal Specification

Reachability Analysis

Top Venues

Publications

Laura Titolo, Mariano M. Moscato, Marco A. Feliú, César A. Muñoz
Automatic Generation of Guard-Stable Floating-Point Code. IFM (2020)
Mariano M. Moscato, Laura Titolo, Marco A. Feliú, César A. Muñoz
Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm. FM (2019)
Rocco Salvia, Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz, Zvonimir Rakamaric
A Mixed Real and Floating-Point Solver. NFM (2019)
Marco A. Feliú, Mariano M. Moscato
Towards a Formal Safety Framework for Trajectories. NFM (2018)
Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato
Eliminating Unstable Tests in Floating-Point Programs. CoRR (2018)
Mariano M. Moscato, Carlos Gustavo López Pombo, César A. Muñoz, Marco A. Feliú
Boosting the Reuse of Formal Specifications. ITP (2018)
Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato
Eliminating Unstable Tests in Floating-Point Programs. LOPSTR (2018)
Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz
An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs. VMCAI (2018)
Marco A. Feliú, Camilo Rocha, Swee Balachandran
Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study. SPIN (2017)
María Alpuente, Marco A. Feliú, Alicia Villanueva
Automatic inference of specifications using matching logic. PEPM (2013)
Giovanni Bacci, Marco Comini, Marco A. Feliú, Alicia Villanueva
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. ICLP (Technical Communications) (2012)
Marco A. Feliú, Christophe Joubert, Fernando Tarin
Evaluation Strategies for Datalog-based Points-To Analysis. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010)
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
Defining Datalog in Rewriting Logic. LOPSTR (2009)
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. Electron. Notes Theor. Comput. Sci. 248 (2009)
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
Using Datalog and Boolean Equation Systems for Program Analysis. FMICS (2008)