Marco A. Feliú

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