Marco A. Feliú
Orcid: 0009-0002-6943-9479
According to our database1,
Marco A. Feliú
authored at least 17 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
1
1
2
4
1
1
2
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Formal Methods - 26th International Symposium, 2024
2020
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020
2019
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
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.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018
Proceedings of the Logic-Based Program Synthesis and Transformation, 2018
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.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017
2013
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013
2012
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.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Proceedings of the Datalog Reloaded - First International Workshop, 2010
2009
Proceedings of the Logic-Based Program Synthesis and Transformation, 2009
2008
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008
Proceedings of the Formal Methods for Industrial Critical Systems, 2008