Segui
Alicia Villanueva
Alicia Villanueva
Assistant Professor of Computer Science, Universitat Politècnica de València
Email verificata su dsic.upv.es
Titolo
Citata da
Citata da
Anno
Automatic verification of timed concurrent constraint programs
M Falaschi, A Villanueva
Theory and Practice of Logic Programming 6 (03), 265-300, 2006
522006
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. Univers. Comput. Sci. 12 (11), 1551-1573, 2006
24*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
212011
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
21*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
172010
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
162012
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
152013
Defining datalog in rewriting logic
M Alpuente, MA Feliú, C Joubert, A Villanueva
International Symposium on Logic-Based Program Synthesis and Transformation …, 2009
142009
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
132014
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
132008
A Symbolic Model checker for tccp Programs
M Alpuente, M Falaschi, A Villanueva
International Workshop on Rapid Integration of Software Engineering …, 2004
102004
The tccp interpreter
A Lescaylle, A Villanueva
Electronic Notes in Theoretical Computer Science 258 (1), 63-77, 2009
92009
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
92005
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
82008
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
Using tccp for the Specification and Verification of Communication Protocols
A Lescaylle, A Villanueva
Proc. of WFLP 7, 2007
72007
Time limited model checking
M Falaschi, A Policriti, A Villanueva
Proceedings of International Workshop on Specification Analysis and …, 2001
72001
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20