Laura Titolo

Mauricio Ayala-Rincón

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

A compositional proof framework for FRETish requirements.

[BibT_eX]

[DOI]

Esther Conrad

Dimitra Giannakopoulou

Thomas Pressburger

Aaron Dutle

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

Formal analysis of the compact position reporting algorithm.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2021

2020

From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project.

[BibT_eX]

[DOI]

Dimitra Giannakopoulou

Anastasia Mavridou

Thomas Pressburger

Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

Automatic generation and verification of test-stable floating-point code.

[BibT_eX]

[DOI]

Mariano M. Moscato

César A. Muñoz

CoRR, 2020

Automatic Generation of Guard-Stable Floating-Point Code.

[BibT_eX]

[DOI]

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

2019

A Mixed Real and Floating-Point Solver.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Eliminating Unstable Tests in Floating-Point Programs.

[BibT_eX]

[DOI]

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

A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

A constraint-based language for modelling intelligent environments.

[BibT_eX]

[DOI]

Leticia Lavado

Laura Panizo

J. Reliab. Intell. Environ., 2017

A program analysis framework for tccp based on abstract interpretation.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2017

A Formal Analysis of the Compact Position Reporting Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2017

2015

Abstract Analysis of Universal Properties for tccp.

[BibT_eX]

[DOI]

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

2014

An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages.

[BibT_eX]

[DOI]

PhD thesis, 2014

Abstract Diagnosis for tccp using a Linear Temporal Logic.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

Modeling Hybrid Systems in the Concurrent Constraint Paradigm.

[BibT_eX]

[DOI]

Damián Adalid

Proceedings of the Proceedings XIV Jornadas sobre Programación y Lenguajes, 2014

Modeling Hybrid Systems in Hy-tccp.

[BibT_eX]

[DOI]

Damián Adalid

CoRR, 2014

2013

An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Towards an Effective Decision Procedure for LTL formulas with Constraints.

[BibT_eX]

[DOI]

CoRR, 2013

2011

Abstract diagnosis for timed concurrent constraint programs.

[BibT_eX]

[DOI]