Alicia Villanueva

Fundam. Informaticae, 2024

2023

Automated Synthesis of Software Contracts with KindSpec.

[BibT_eX]

[DOI]

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2022

Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022).

[BibT_eX]

[DOI]

CoRR, 2022

2021

A denotational semantics for PROMELA addressing arbitrary jumps.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Abstract Contract Synthesis and Verification in the Symbolic K Framework.

[BibT_eX]

[DOI]

Daniel Pardo

Fundam. Informaticae, 2020

2017

A program analysis framework for tccp based on abstract interpretation.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2017

2016

Symbolic Abstract Contract Synthesis in a Rewriting Framework.

[BibT_eX]

[DOI]

Daniel Pardo

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

2015

Automatic Inference of Specifications in the K Framework.

[BibT_eX]

[DOI]

Daniel Pardo

Proceedings of the Proceedings XV Jornadas sobre Programación y Lenguajes, 2015

Abstract Analysis of Universal Properties for tccp.

[BibT_eX]

[DOI]

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

2014

Abstract Diagnosis for tccp using a Linear Temporal Logic.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

2013

Towards an Effective Decision Procedure for LTL formulas with Constraints.

[BibT_eX]

[DOI]

CoRR, 2013

Automatic inference of specifications using matching logic.

[BibT_eX]

[DOI]

Marco A. Feliú

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

2012

Automatic synthesis of specifications for first order curry programs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2011

Abstract diagnosis for timed concurrent constraint programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

2010

Bridging the Gap between Two Concurrent Constraint Languages.

[BibT_eX]

[DOI]

Alexei Lescaylle

Proceedings of the Functional and Constraint Logic Programming, 2010

Datalog-Based Program Analysis with BES and RWL.

[BibT_eX]

[DOI]

Proceedings of the Datalog Reloaded - First International Workshop, 2010

2009

The tccp Interpreter.

[BibT_eX]

[DOI]

Alexei Lescaylle

Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009

Defining Datalog in Rewriting Logic.

[BibT_eX]

[DOI]

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

2008

A Tool for Generating a Symbolic Representation of tccp Executions.

[BibT_eX]

[DOI]

Alexei Lescaylle

Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, 2008

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

[BibT_eX]

[DOI]

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

Using Datalog and Boolean Equation Systems for Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007

Verification of Reactive Systems by Klaus Schneider Springer Verlag, 2003, 600pp, ISBN 3-540-00296-0.

[BibT_eX]

[DOI]

J. Funct. Program., 2007

Formal Verification of Websites.

[BibT_eX]

[DOI]

Sonia Flores

Salvador Lucas

Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 2007

An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation.

[BibT_eX]

[DOI]

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

2006

Automatic verification of timed concurrent constraint programs.

[BibT_eX]

[DOI]

Moreno Falaschi

Theory Pract. Log. Program., 2006

Verifying Real-Time Properties of tccp Programs.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2006

A Framework for Timed Concurrent Constraint Programming with External Functions.

[BibT_eX]

[DOI]

Bernhard Gramlich

Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

2005

A semantic framework for the abstract model checking of tccp programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

2004

Abstract Model Checking of tccp programs.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

Model checking for the concurrent constraint paradigm.

[BibT_eX]

[DOI]

AI Commun., 2004

A Symbolic Model Checker for tccp Programs.

[BibT_eX]

[DOI]

Moreno Falaschi

Proceedings of the Rapid Integration of Software Engineering Techniques, 2004

2001

Modeling concurrent systems specified in a temporal concurrent constraint language-I.

[BibT_eX]

[DOI]

Moreno Falaschi

Alberto Policriti