Modeling concurrent systems specified in a temporal concurrent constraint language-I. - Moreno Falaschi; Alberto Policriti; Alicia Villanueva (APPIA-GULP-PRODE, 2001)

A Symbolic Model Checker for tccp Programs. - María Alpuente; Moreno Falaschi; Alicia Villanueva (RISE, 2004)

Model checking for the concurrent constraint paradigm. - Alicia Villanueva (AI Commun., 2004)

Abstract Model Checking of tccp programs. - María Alpuente; María-del-Mar Gallardo; Ernesto Pimentel 001; Alicia Villanueva (QAPL, 2004)

A semantic framework for the abstract model checking of tccp programs. - María Alpuente; María-del-Mar Gallardo; Ernesto Pimentel 001; Alicia Villanueva (Theor. Comput. Sci., 2005)

A Framework for Timed Concurrent Constraint Programming with External Functions. - María Alpuente; Bernhard Gramlich; Alicia Villanueva (PROLE, 2006)

Verifying Real-Time Properties of tccp Programs. - María Alpuente; María-del-Mar Gallardo; Ernesto Pimentel 001; Alicia Villanueva (J. Univers. Comput. Sci., 2006)

Automatic verification of timed concurrent constraint programs. - Moreno Falaschi; Alicia Villanueva (Theory Pract. Log. Program., 2006)

An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. - María Alpuente; María-del-Mar Gallardo; Ernesto Pimentel 001; Alicia Villanueva (PROLE, 2007)

Formal Verification of Websites. - Sonia Flores; Salvador Lucas; Alicia Villanueva (WWV, 2007)

Verification of Reactive Systems by Klaus Schneider Springer Verlag, 2003, 600pp, ISBN 3-540-00296-0. - Alicia Villanueva (J. Funct. Program., 2007)

Using Datalog and Boolean Equation Systems for Program Analysis. - María Alpuente; Marco A. Feliú; Christophe Joubert; Alicia Villanueva (FMICS, 2008)

DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. - María Alpuente; Marco A. Feliú; Christophe Joubert; Alicia Villanueva (PROLE, 2008)

A Tool for Generating a Symbolic Representation of tccp Executions. - Alexei Lescaylle; Alicia Villanueva (WFLP, 2008)

Defining Datalog in Rewriting Logic. - María Alpuente; Marco A. Feliú; Christophe Joubert; Alicia Villanueva (LOPSTR, 2009)

The tccp Interpreter. - Alexei Lescaylle; Alicia Villanueva (PROLE, 2009)

Datalog-Based Program Analysis with BES and RWL. - María Alpuente; Marco Antonio Feliú; Christophe Joubert; Alicia Villanueva (Datalog, 2010)

Bridging the Gap between Two Concurrent Constraint Languages. - Alexei Lescaylle; Alicia Villanueva (WFLP, 2010)

Abstract diagnosis for timed concurrent constraint programs. - Marco Comini; Laura Titolo; Alicia Villanueva (Theory Pract. Log. Program., 2011)

The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. - Giovanni Bacci 001; Marco Comini; Marco A. Feliú; Alicia Villanueva (ICLP (Technical Communications), 2012)

Automatic synthesis of specifications for first order curry programs. - Giovanni Bacci 001; Marco Comini; Marco Antonio Feliú; Alicia Villanueva (PPDP, 2012)

Automatic inference of specifications using matching logic. - María Alpuente; Marco A. Feliú; Alicia Villanueva (PEPM, 2013)

Towards an Effective Decision Procedure for LTL formulas with Constraints. - Marco Comini; Laura Titolo; Alicia Villanueva (CoRR, 2013)

Abstract Diagnosis for tccp using a Linear Temporal Logic. - Marco Comini; Laura Titolo; Alicia Villanueva (Theory Pract. Log. Program., 2014)

Abstract Analysis of Universal Properties for tccp. - Marco Comini; María-del-Mar Gallardo; Laura Titolo; Alicia Villanueva (LOPSTR, 2015)

Automatic Inference of Specifications in the K Framework. - María Alpuente; Daniel Pardo 002; Alicia Villanueva (PROLE, 2015)

Symbolic Abstract Contract Synthesis in a Rewriting Framework. - María Alpuente; Daniel Pardo 002; Alicia Villanueva (LOPSTR, 2016)

A program analysis framework for tccp based on abstract interpretation. - Marco Comini; María-del-Mar Gallardo; Laura Titolo; Alicia Villanueva (Formal Aspects Comput., 2017)

Abstract Contract Synthesis and Verification in the Symbolic K Framework. - María Alpuente; Daniel Pardo 002; Alicia Villanueva (Fundam. Informaticae, 2020)

A denotational semantics for PROMELA addressing arbitrary jumps. - Marco Comini; María-del-Mar Gallardo; Alicia Villanueva (CoRR, 2021)

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

Automated Synthesis of Software Contracts with KindSpec. - María Alpuente; Alicia Villanueva (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)

Preface. - Maurizio Proietti; Alicia Villanueva (Fundam. Informaticae, 2024)