Follow
Alicia Villanueva
Alicia Villanueva
Assistant Professor of Computer Science, Universitat Politècnica de València
Verified email at dsic.upv.es
Title
Cited by
Cited by
Year
Automatic verification of timed concurrent constraint programs
M Falaschi, A Villanueva
Theory and Practice of Logic Programming 6 (03), 265-300, 2006
502006
A semantic framework for the abstract model checking of tccp programs
M Alpuente, M del Mar Gallardo, E Pimentel, A Villanueva
Theoretical Computer Science 346 (1), 58-95, 2005
282005
Verifying Real-Time Properties of tccp Programs.
M Alpuente, María-del-Mar Gallardo, E Pimentel, A Villanueva
J. UCS 12 (11), 1551-1573, 2006
23*2006
Abstract diagnosis for timed concurrent constraint programs
M Comini, L Titolo, A Villanueva
Theory and Practice of Logic Programming 11 (4-5), 487-502, 2011
222011
Modeling concurrent systems specified in a temporal concurrent constraint language-i
M Falaschi, A Policriti, A Villanueva
Electronic Notes in Theoretical Computer Science 48, 197-210, 2001
20*2001
Formal verification of websites
S Flores, S Lucas, A Villanueva
Electronic Notes in Theoretical Computer Science 200 (3), 103-118, 2008
182008
Datalog-based program analysis with BES and RWL
M Alpuente, MA Feliú, C Joubert, A Villanueva
International Datalog 2.0 Workshop, 1-20, 2010
162010
Automatic synthesis of specifications for first order curry programs
G Bacci, M Comini, MA Feliú, A Villanueva
Proceedings of the 14th symposium on Principles and practice of declarative …, 2012
142012
Defining datalog in rewriting logic
M Alpuente, MA Feliú, C Joubert, A Villanueva
International Symposium on Logic-Based Program Synthesis and Transformation …, 2009
142009
Automatic inference of specifications using matching logic
M Alpuente, MA Feliú, A Villanueva
Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013
132013
Using datalog and boolean equation systems for program analysis
M Alpuente, MA Feliú, C Joubert, A Villanueva
International Workshop on Formal Methods for Industrial Critical Systems …, 2008
122008
Abstract Diagnosis for tccp using a Linear Temporal Logic
M Comini, L Titolo, A Villanueva
Theory and Practice of Logic Programming 14 (4-5), 787-801, 2014
102014
A Symbolic Model checker for tccp Programs
M Alpuente, M Falaschi, A Villanueva
International Workshop on Rapid Integration of Software Engineering …, 2004
102004
Using tccp for the Specification and Verification of Communication Protocols
A Lescaylle, A Villanueva
Proc. of WFLP 7, 2007
82007
Abstract Model Checking of tccp programs
M Alpuente, M del Mar Gallardo, E Pimentel, A Villanueva
Electronic Notes in Theoretical Computer Science 112, 19-36, 2005
82005
The tccp interpreter
A Lescaylle, A Villanueva
Electronic Notes in Theoretical Computer Science 258 (1), 63-77, 2009
72009
A tool for Generating a Symbolic Representation of tccp executions
A Lescaylle, A Villanueva
Electronic Notes in Theoretical Computer Science 246, 131-145, 2009
72009
Uso de wikis en ingeniería informática
A Villanueva
Red U Revista de Docencia Universitaria, Número Monográfico V, 2009
72009
Implementing Datalog in Maude
M Alpuente, MA Feliú, C Joubert, A Villanueva
PROLE, 2009
72009
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source–to–source Transformation
M Alpuente, MM Gallardo, E Pimentel, A Villanueva
Electronic Notes in Theoretical Computer Science 206, 3-21, 2008
72008
The system can't perform the operation now. Try again later.
Articles 1–20