Alicia Villanueva

40 papers C 7Journal 17Unranked 14

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Preface. Fundam. Informaticae Maurizio Proietti, Alicia Villanueva
2023	—	`conf`	Automated Synthesis of Software Contracts with KindSpec. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems María Alpuente, Alicia Villanueva
2022	J	`jnl`	Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022). CoRR Alicia Villanueva
2022	C	`ed.`	Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings LOPSTR Alicia Villanueva
2021	J	`jnl`	A denotational semantics for PROMELA addressing arbitrary jumps. CoRR Marco Comini, María-del-Mar Gallardo, Alicia Villanueva
2020	J	`jnl`	Abstract Contract Synthesis and Verification in the Symbolic K Framework. Fundam. Informaticae María Alpuente, Daniel Pardo, Alicia Villanueva
2019	—	`ed.`	Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. ICLP Technical Communications Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang
2017	J	`jnl`	A program analysis framework for tccp based on abstract interpretation. Formal Aspects Comput. Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva
2017	—	`ed.`	Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016. PROLE Alicia Villanueva
2016	C	`conf`	Symbolic Abstract Contract Synthesis in a Rewriting Framework. LOPSTR María Alpuente, Daniel Pardo, Alicia Villanueva
2016	J	`jnl`	Symbolic Abstract Contract Synthesis in a Rewriting Framework. CoRR María Alpuente, Daniel Pardo, Alicia Villanueva
2015	C	`conf`	Abstract Analysis of Universal Properties for tccp. LOPSTR Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva
2015	—	`conf`	Automatic Inference of Specifications in the K Framework. PROLE María Alpuente, Daniel Pardo, Alicia Villanueva
2014	J	`jnl`	Abstract Diagnosis for tccp using a Linear Temporal Logic. CoRR Marco Comini, Laura Titolo, Alicia Villanueva
2014	J	`jnl`	Abstract Diagnosis for tccp using a Linear Temporal Logic. Theory Pract. Log. Program. Marco Comini, Laura Titolo, Alicia Villanueva
2013	C	`conf`	Automatic inference of specifications using matching logic. PEPM María Alpuente, Marco A. Feliú, Alicia Villanueva
2013	J	`jnl`	Towards an Effective Decision Procedure for LTL formulas with Constraints. CoRR Marco Comini, Laura Titolo, Alicia Villanueva
2012	C	`conf`	Automatic synthesis of specifications for first order curry programs. PPDP Giovanni Bacci, Marco Comini, Marco Antonio Feliú, Alicia Villanueva
2012	—	`conf`	The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. ICLP (Technical Communications) Giovanni Bacci, Marco Comini, Marco A. Feliú, Alicia Villanueva
2011	J	`jnl`	Abstract Diagnosis for Timed Concurrent Constraint programs CoRR Marco Comini, Laura Titolo, Alicia Villanueva
2011	J	`jnl`	Abstract diagnosis for timed concurrent constraint programs. Theory Pract. Log. Program. Marco Comini, Laura Titolo, Alicia Villanueva
2010	—	`conf`	Bridging the Gap between Two Concurrent Constraint Languages. WFLP Alexei Lescaylle, Alicia Villanueva
2010	—	`conf`	Datalog-Based Program Analysis with BES and RWL. Datalog María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva
2009	C	`conf`	Defining Datalog in Rewriting Logic. LOPSTR María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
2009	—	`conf`	The tccp Interpreter. PROLE Alexei Lescaylle, Alicia Villanueva
2008	—	`conf`	A Tool for Generating a Symbolic Representation of tccp Executions. WFLP Alexei Lescaylle, Alicia Villanueva
2008	—	`conf`	DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. PROLE María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
2008	C	`conf`	Using Datalog and Boolean Equation Systems for Program Analysis. FMICS María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva
2007	—	`conf`	An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. PROLE María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
2007	—	`conf`	Formal Verification of Websites. WWV Sonia Flores, Salvador Lucas, Alicia Villanueva
2007	J	`jnl`	Verification of Reactive Systems by Klaus Schneider Springer Verlag, 2003, 600pp, ISBN 3-540-00296-0. J. Funct. Program. Alicia Villanueva
2006	—	`conf`	A Framework for Timed Concurrent Constraint Programming with External Functions. PROLE María Alpuente, Bernhard Gramlich, Alicia Villanueva
2006	J	`jnl`	Automatic verification of timed concurrent constraint programs. Theory Pract. Log. Program. Moreno Falaschi, Alicia Villanueva
2006	J	`jnl`	Verifying Real-Time Properties of tccp Programs. J. Univers. Comput. Sci. María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
2005	J	`jnl`	A semantic framework for the abstract model checking of tccp programs. Theor. Comput. Sci. María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
2005	J	`jnl`	Automatic Verification of Timed Concurrent Constraint Programs CoRR Moreno Falaschi, Alicia Villanueva
2004	—	`conf`	A Symbolic Model Checker for tccp Programs. RISE María Alpuente, Moreno Falaschi, Alicia Villanueva
2004	—	`conf`	Abstract Model Checking of tccp programs. QAPL María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
2004	J	`jnl`	Model checking for the concurrent constraint paradigm. AI Commun. Alicia Villanueva
2001	—	`conf`	Modeling concurrent systems specified in a temporal concurrent constraint language-I. APPIA-GULP-PRODE Moreno Falaschi, Alberto Policriti, Alicia Villanueva