- Symbolic Representation of tccp Programs ? M. Alpuente 1 , M. Falaschi 2 , and A. Villanueva 1
- Static Analysis of JAVA Programs in a RuleBased Framework1
- Model Checking for the Concurrent Constraint Paradigm
- Electronic Notes in Theoretical Computer Science 48 (2001) URL: http://www.elsevier.nl/locate/entcs/volume48.html pp. 1 { 14
- DEPARTAMENTO DE SISTEMAS INFORMATICOS Y COMPUTACION UNIVERSIDAD POLITECNICA DE VALENCIA
- Time Limited Model Checking M. Falaschi, A. Policriti, A. Villanueva
- A Framework for Timed Concurrent Constraint Programming with External
- Under consideration for publication in Theory and Practice of Logic Programming 1 Automatic Verification of Timed Concurrent
- Verifying Real--Time Properties of tccp Programs Mara Alpuente
- DEPARTAMENTO DE SISTEMAS INFORMATICOS Y COMPUTACION UNIVERSIDAD POLITECNICA DE VALENCIA
- Abstract of PhD Thesis Author: Alicia Villanueva
- Model Checking for the Concurrent Constraint Paradigm
- Timed Concurrent Constraint Programming with Instantaneous Computations 4
- Using Maude for the Formal Verication of Websites Sonia Flores Salvador Lucas Alicia Villanueva
- Modeling Concurrent systems specified in a Temporal Concurrent Constraint language
- Using tccp for the Specication of Communication Protocols Alexei Lescaylle Alicia Villanueva
- D', B', E'} B = [on|B']),
- Defining Datalog in Rewriting Logic M. Alpuente, M. A. Feliu, C. Joubert, and A. Villanueva
- Verifying RealTime Properties of tccp Programs Maria Alpuente
- Formal Verification of Websites1 Sonia Flores2
- Theoretical Computer Science 346 (2005) 5895 www.elsevier.com/locate/tcs
- Electronic Notes in Theoretical Computer Science 48 (2001) URL: http://www.elsevier.nl/locate/entcs/volume48.html pp. 1 14
- Using tccp for the Specification and Verification of Communication Protocols1
- A Symbolic Model Checker for tccp Programs M. Alpuente1
- Implementing Datalog in Maude1 M. Alpuente M. A. Feliu C. Joubert A. Villanueva 2
- Timed Concurrent Constraint Programming with Instantaneous Computations 4
- Modeling Concurrent systems speci ed in a Temporal Concurrent Constraint language
- A Symbolic Model checker for tccp Programs # M. Alpuente 1 , M. Falaschi 2 , and A. Villanueva 1
- Universit a degli Studi di Udine Dipartimento di Matematica e Informatica
- DEPARTAMENTO DE SISTEMAS INFORMATICOS Y COMPUTACION UNIVERSIDAD POLITECNICA DE VALENCIA
- An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation
- Under consideration for publication in Theory and Practice of Logic Programming 1 Automatic Verification of Timed Concurrent
- Using tccp for the Specification and Verification of Communication Protocols 1
- Symbolic Representation of tccp Programs ? M. Alpuente 1 , M. Falaschi 2 , and A. Villanueva 1
- Time Limited Model Checking M. Falaschi, A. Policriti, A. Villanueva
- The tccp Interpreter Alexei Lescaylle1,2
- Abstract Model Checking of tccp programs
- A tool for Generating a Symbolic Representation of tccp executions1
