Marco A. Feliú

According to our database, Marco A. Feliú authored at least 16 papers between 2008 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Automatic Generation of Guard-Stable Floating-Point Code.

Laura Titolo, Mariano M. Moscato, Marco A. Feliú, César A. Muñoz

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

2019

A Mixed Real and Floating-Point Solver.

Rocco Salvia, Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz, Zvonimir Rakamaric

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm.

Mariano M. Moscato, Laura Titolo, Marco A. Feliú, César A. Muñoz

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs.

Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Towards a Formal Safety Framework for Trajectories.

Marco A. Feliú, Mariano M. Moscato

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Eliminating Unstable Tests in Floating-Point Programs.

Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato

Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

Boosting the Reuse of Formal Specifications.

Mariano M. Moscato, Carlos Gustavo López Pombo, César A. Muñoz, Marco A. Feliú

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study.

Marco A. Feliú, Camilo Rocha, Swee Balachandran

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

2013

Automatic inference of specifications using matching logic.

María Alpuente, Marco A. Feliú, Alicia Villanueva

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

2012

Automatic synthesis of specifications for first order curry programs.

Giovanni Bacci, Marco Comini, Marco Antonio Feliú, Alicia Villanueva

Proceedings of the Principles and Practice of Declarative Programming, 2012

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

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2010

Evaluation Strategies for Datalog-based Points-To Analysis.

Marco A. Feliú, Christophe Joubert, Fernando Tarin

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Datalog-Based Program Analysis with BES and RWL.

María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva

Proceedings of the Datalog Reloaded - First International Workshop, 2010

2009

Defining Datalog in Rewriting Logic.

María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

2008

DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer.

María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

Using Datalog and Boolean Equation Systems for Program Analysis.

María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva

Proceedings of the Formal Methods for Industrial Critical Systems, 2008