Search the dblp DataBase

Publications of Author

1. María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero
   A Semi-Automatic Methodology for Repairing FaultyWeb Sites. [Citation Graph (0, 0)][DBLP]
   SEFM, 2006, pp:31-40 [Conf]
   
2. María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero
   A Fast Algebraic Web Verification Service. [Citation Graph (0, 0)][DBLP]
   RR, 2007, pp:239-248 [Conf]
   
3. 
   Supporting the SPEM with a UML Extended Workflow Metamodel. [Citation Graph (, )][DBLP]
   
   
4. 
   Model-Checking Web Applications with Web-TLR. [Citation Graph (, )][DBLP]
   
   
5. 
   Specification and Verification of Web Applications in Rewriting Logic. [Citation Graph (, )][DBLP]
   
   
6. 
   An Abstract Generic Framework for Web Site Verification. [Citation Graph (, )][DBLP]
   
   
7. 
   A Visual Technique for Web Pages Comparison. [Citation Graph (, )][DBLP]
   
   
8. 
   A Tool for Automated Certification of Java Source Code in Maude. [Citation Graph (, )][DBLP]