A. Villanueva

Available identifiers

Publication	Date of Publication	Type
Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework	2021-05-20	Paper
Symbolic abstract contract synthesis in a rewriting framework	2017-10-13	Paper
A program analysis framework for \textit{tccp} based on abstract interpretation	2017-06-01	Paper
Abstract Analysis of Universal Properties for tccp	2016-02-05	Paper
Abstract Diagnosis for tccp using a Linear Temporal Logic	2014-11-25	Paper
The tccp Interpreter	2014-07-22	Paper
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages	2014-02-25	Paper
An abstract analysis framework for synchronous concurrent languages based on source-to-source transformation	2014-01-10	Paper
A framework for timed concurrent constraint programming with external functions	2013-12-20	Paper
Abstract model checking of \textsf{tccp} programs	2013-09-20	Paper
Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I	2013-05-24	Paper
Abstract diagnosis for timed concurrent constraint programs	2011-08-16	Paper
Bridging the Gap between Two Concurrent Constraint Languages	2011-05-27	Paper
Automatic verification of timed concurrent constraint programs	2006-07-14	Paper
A semantic framework for the abstract model checking of tccp programs	2005-12-29	Paper
https://portal.mardi4nfdi.de/entity/Q4823428	2004-10-28	Paper

This page was built for person: A. Villanueva