Search the dblp DataBase

Publications of Author

1. María Alpuente, Moreno Falaschi, Alicia Villanueva
   A Symbolic Model Checker for tccp Programs. [Citation Graph (0, 0)][DBLP]
   RISE, 2004, pp:45-56 [Conf]
   
2. Alicia Villanueva
   Model checking for the concurrent constraint paradigm. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2004, v:17, n:2, pp:93-94 [Journal]
   
3. María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
   Abstract Model Checking of tccp programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:19-36 [Journal]
   
4. Moreno Falaschi, Alberto Policriti, Alicia Villanueva
   Modeling concurrent systems specified in a temporal concurrent constraint language-I. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal]
   
5. María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
   Verifying Real-Time Properties of tccp Programs. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2006, v:12, n:11, pp:1551-1573 [Journal]
   
6. María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
   A semantic framework for the abstract model checking of tccp programs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:346, n:1, pp:58-95 [Journal]
   
7. Moreno Falaschi, Alicia Villanueva
   Automatic verification of timed concurrent constraint programs. [Citation Graph (0, 0)][DBLP]
   TPLP, 2006, v:6, n:3, pp:265-300 [Journal]
   
8. María Alpuente, Bernhard Gramlich, Alicia Villanueva
   A Framework for Timed Concurrent Constraint Programming with External Functions. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:188, n:, pp:143-155 [Journal]
   
9. 
   Defining Datalog in Rewriting Logic. [Citation Graph (, )][DBLP]
   
   
10. 
    Using Datalog and Boolean Equation Systems for Program Analysis. [Citation Graph (, )][DBLP]
    
    
11. 
    Automatic Verification of Timed Concurrent Constraint Programs [Citation Graph (, )][DBLP]
    
    
12. 
    Formal Verification of Websites. [Citation Graph (, )][DBLP]
    
    
13. 
    An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. [Citation Graph (, )][DBLP]
    
    
14. 
    A Tool for Generating a Symbolic Representation of tccp Executions. [Citation Graph (, )][DBLP]
    
    
15. 
    DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. [Citation Graph (, )][DBLP]
    
    
16. 
    The tccp Interpreter. [Citation Graph (, )][DBLP]