Daniel Romero

Publication Activity (10 Years)

Years Active: 2006-2014
Publications (10 Years): 0

Top Topics

Random Field Model

Formal Specification

Web Applications

Top Venues

Sci. Comput. Program.

J. Log. Algebraic Methods Program.

Publications

María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
Using conditional trace slicing for improving Maude programs. Sci. Comput. Program. 80 (2014)
María Alpuente, Demis Ballis, Daniel Romero
A rewriting logic approach to the formal specification and verification of web applications. Sci. Comput. Program. 81 (2014)
María Alpuente, Demis Ballis, Moreno Falaschi, Francisco Frechina, Daniel Romero
Rewriting-based repairing strategies for XML repositories. J. Log. Algebraic Methods Program. 82 (8) (2013)
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
Backward Trace Slicing for Conditional Rewrite Theories. LPAR (2012)
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
Julienne: A Trace Slicer for Conditional Rewrite Theories. FM (2012)
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
Backward Trace Slicing for Rewriting Logic Theories. CADE (2011)
María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero
Debugging of Web Applications with Web-TLR WWV (2011)
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
Dynamic Backward Slicing of Rewriting Logic Computations CoRR (2011)
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
Model-Checking Web Applications with Web-TLR. ATVA (2010)
María Alpuente, Daniel Romero
A Tool for Computing the Visual Similarity of Web Pages. SAINT (2010)
María Alpuente, Demis Ballis, Daniel Romero
Specification and Verification of Web Applications in Rewriting Logic. FM (2009)
Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero
A Tool for Automated Certification of Java Source Code in Maude. Electron. Notes Theor. Comput. Sci. 248 (2009)
María Alpuente, Daniel Romero
A Visual Technique for Web Pages Comparison. Electron. Notes Theor. Comput. Sci. 235 (2009)
María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi
An Abstract Generic Framework for Web Site Verification. SAINT (2008)
María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero
A Fast Algebraic Web Verification Service. RR (2007)
María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero
A Semi-Automatic Methodology for Repairing FaultyWeb Sites. SEFM (2006)