Daniel Romero

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