Alicia Villanueva

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 7

Top Topics

Program Synthesis

Abstract Interpretation

Top Venues

Fundam. Informaticae

Publications

María Alpuente, Alicia Villanueva
Automated Synthesis of Software Contracts with KindSpec. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Alicia Villanueva
Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022). CoRR (2022)
Marco Comini, María-del-Mar Gallardo, Alicia Villanueva
A denotational semantics for PROMELA addressing arbitrary jumps. CoRR (2021)
María Alpuente, Daniel Pardo, Alicia Villanueva
Abstract Contract Synthesis and Verification in the Symbolic K Framework. Fundam. Informaticae 177 (3-4) (2020)
Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva
A program analysis framework for tccp based on abstract interpretation. Formal Aspects Comput. 29 (3) (2017)
María Alpuente, Daniel Pardo, Alicia Villanueva
Symbolic Abstract Contract Synthesis in a Rewriting Framework. CoRR (2016)
María Alpuente, Daniel Pardo, Alicia Villanueva
Symbolic Abstract Contract Synthesis in a Rewriting Framework. LOPSTR (2016)
Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva
Abstract Analysis of Universal Properties for tccp. LOPSTR (2015)
María Alpuente, Daniel Pardo, Alicia Villanueva
Automatic Inference of Specifications in the K Framework. PROLE (2015)
Marco Comini, Laura Titolo, Alicia Villanueva
Abstract Diagnosis for tccp using a Linear Temporal Logic. Theory Pract. Log. Program. 14 (4-5) (2014)
Marco Comini, Laura Titolo, Alicia Villanueva
Abstract Diagnosis for tccp using a Linear Temporal Logic. CoRR (2014)
Marco Comini, Laura Titolo, Alicia Villanueva
Towards an Effective Decision Procedure for LTL formulas with Constraints. CoRR (2013)
María Alpuente, Marco A. Feliú, Alicia Villanueva
Automatic inference of specifications using matching logic. PEPM (2013)
Giovanni Bacci, Marco Comini, Marco A. Feliú, Alicia Villanueva
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. ICLP (Technical Communications) (2012)
Giovanni Bacci, Marco Comini, Marco Antonio Feliú, Alicia Villanueva
Automatic synthesis of specifications for first order curry programs. PPDP (2012)
Marco Comini, Laura Titolo, Alicia Villanueva
Abstract Diagnosis for Timed Concurrent Constraint programs CoRR (2011)
Marco Comini, Laura Titolo, Alicia Villanueva
Abstract diagnosis for timed concurrent constraint programs. Theory Pract. Log. Program. 11 (4-5) (2011)
Alexei Lescaylle, Alicia Villanueva
Bridging the Gap between Two Concurrent Constraint Languages. WFLP (2010)
María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva
Datalog-Based Program Analysis with BES and RWL. Datalog (2010)
Alexei Lescaylle, Alicia Villanueva
The tccp Interpreter. Electron. Notes Theor. Comput. Sci. 258 (1) (2009)
Alexei Lescaylle, Alicia Villanueva
A Tool for Generating a Symbolic Representation of tccp Executions. Electron. Notes Theor. Comput. Sci. 246 (2009)
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
Defining Datalog in Rewriting Logic. LOPSTR (2009)
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. Electron. Notes Theor. Comput. Sci. 248 (2009)
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
Using Datalog and Boolean Equation Systems for Program Analysis. FMICS (2008)
Sonia Flores, Salvador Lucas, Alicia Villanueva
Formal Verification of Websites. Electron. Notes Theor. Comput. Sci. 200 (3) (2008)
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. Electron. Notes Theor. Comput. Sci. 206 (2008)
Alicia Villanueva
Verification of Reactive Systems by Klaus Schneider Springer Verlag, 2003, 600pp, ISBN 3-540-00296-0. J. Funct. Program. 17 (6) (2007)
María Alpuente, Bernhard Gramlich, Alicia Villanueva
A Framework for Timed Concurrent Constraint Programming with External Functions. Electron. Notes Theor. Comput. Sci. 188 (2007)
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
Verifying Real-Time Properties of tccp Programs. J. Univers. Comput. Sci. 12 (11) (2006)
Moreno Falaschi, Alicia Villanueva
Automatic verification of timed concurrent constraint programs. Theory Pract. Log. Program. 6 (3) (2006)
Moreno Falaschi, Alicia Villanueva
Automatic Verification of Timed Concurrent Constraint Programs CoRR (2005)
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
Abstract Model Checking of tccp programs. Electron. Notes Theor. Comput. Sci. 112 (2005)
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
A semantic framework for the abstract model checking of tccp programs. Theor. Comput. Sci. 346 (1) (2005)
Alicia Villanueva
Model checking for the concurrent constraint paradigm. AI Commun. 17 (2) (2004)
María Alpuente, Moreno Falaschi, Alicia Villanueva
A Symbolic Model Checker for tccp Programs. RISE (2004)
Moreno Falaschi, Alberto Policriti, Alicia Villanueva
Modeling concurrent systems specified in a temporal concurrent constraint language-I. APPIA-GULP-PRODE 48 (2001)