A Semi-Automatic Methodology for Repairing FaultyWeb Sites. - María Alpuente; Demis Ballis; Moreno Falaschi; Daniel Romero 001 (SEFM, 2006)

A Fast Algebraic Web Verification Service. - María Alpuente; Demis Ballis; Moreno Falaschi; Pedro Ojeda; Daniel Romero 001 (RR, 2007)

An Abstract Generic Framework for Web Site Verification. - María Alpuente; Pedro Ojeda; Daniel Romero 001; Demis Ballis; Moreno Falaschi (SAINT, 2008)

A Tool for Automated Certification of Java Source Code in Maude. - Mauricio Alba-Castro; María Alpuente; Santiago Escobar 001; Pedro Ojeda; Daniel Romero 001 (PROLE, 2008)

A Visual Technique for Web Pages Comparison. - María Alpuente; Daniel Romero 001 (WWV, 2008)

Specification and Verification of Web Applications in Rewriting Logic. - María Alpuente; Demis Ballis; Daniel Romero 001 (FM, 2009)

Model-Checking Web Applications with Web-TLR. - María Alpuente; Demis Ballis; Javier Espert; Daniel Romero 001 (ATVA, 2010)

A Tool for Computing the Visual Similarity of Web Pages. - María Alpuente; Daniel Romero 001 (SAINT, 2010)

Backward Trace Slicing for Rewriting Logic Theories. - María Alpuente; Demis Ballis; Javier Espert; Daniel Romero 001 (CADE, 2011)

Dynamic Backward Slicing of Rewriting Logic Computations - María Alpuente; Demis Ballis; Javier Espert; Daniel Romero 001 (CoRR, 2011)

Debugging of Web Applications with Web-TLR - María Alpuente; Demis Ballis; Javier Espert; Francisco Frechina; Daniel Romero 001 (WWV, 2011)

Julienne: A Trace Slicer for Conditional Rewrite Theories. - María Alpuente; Demis Ballis; Francisco Frechina; Daniel Romero 001 (FM, 2012)

Backward Trace Slicing for Conditional Rewrite Theories. - María Alpuente; Demis Ballis; Francisco Frechina; Daniel Romero 001 (LPAR, 2012)

Rewriting-based repairing strategies for XML repositories. - María Alpuente; Demis Ballis; Moreno Falaschi; Francisco Frechina; Daniel Romero 001 (J. Log. Algebraic Methods Program., 2013)

Using conditional trace slicing for improving Maude programs. - María Alpuente; Demis Ballis; Francisco Frechina; Daniel Romero 001 (Sci. Comput. Program., 2014)

A rewriting logic approach to the formal specification and verification of web applications. - María Alpuente; Demis Ballis; Daniel Romero 001 (Sci. Comput. Program., 2014)