Automatic verification of timed concurrent constraint programs M Falaschi, A Villanueva Theory and Practice of Logic Programming 6 (03), 265-300, 2006 | 49 | 2006 |
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 | 28 | 2005 |
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 | 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 | 21 | 2011 |
Datalog-based program analysis with BES and RWL M Alpuente, MA Feliú, C Joubert, A Villanueva International Datalog 2.0 Workshop, 1-20, 2010 | 20 | 2010 |
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 | 19 | 2008 |
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 | 16 | 2012 |
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 | 15 | 2013 |
Defining datalog in rewriting logic M Alpuente, MA Feliú, C Joubert, A Villanueva International Symposium on Logic-Based Program Synthesis and Transformation …, 2009 | 14 | 2009 |
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 | 13 | 2014 |
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 | 13 | 2008 |
The tccp interpreter A Lescaylle, A Villanueva Electronic Notes in Theoretical Computer Science 258 (1), 63-77, 2009 | 10 | 2009 |
A Symbolic Model checker for tccp Programs M Alpuente, M Falaschi, A Villanueva International Workshop on Rapid Integration of Software Engineering …, 2004 | 10 | 2004 |
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 | 8 | 2008 |
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 | 8 | 2005 |
A tool for Generating a Symbolic Representation of tccp executions A Lescaylle, A Villanueva Electronic Notes in Theoretical Computer Science 246, 131-145, 2009 | 7 | 2009 |
Uso de wikis en ingeniería informática A Villanueva Red U Revista de Docencia Universitaria, Número Monográfico V, 2009 | 7 | 2009 |
Implementing Datalog in Maude M Alpuente, MA Feliú, C Joubert, A Villanueva PROLE, 2009 | 7 | 2009 |
Using tccp for the Specification and Verification of Communication Protocols A Lescaylle, A Villanueva Proc. of WFLP 7, 2007 | 7 | 2007 |