Daniel Romero

According to our database, Daniel Romero authored at least 16 papers between 2006 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

A rewriting logic approach to the formal specification and verification of web applications.

María Alpuente, Demis Ballis, Daniel Romero

Sci. Comput. Program., 2014

Using conditional trace slicing for improving Maude programs.

María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero

Sci. Comput. Program., 2014

2013

Rewriting-based repairing strategies for XML repositories.

María Alpuente, Demis Ballis, Moreno Falaschi, Francisco Frechina, Daniel Romero

J. Log. Algebraic Methods Program., 2013

2012

Backward Trace Slicing for Conditional Rewrite Theories.

María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Julienne: A Trace Slicer for Conditional Rewrite Theories.

María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero

Proceedings of the FM 2012: Formal Methods, 2012

2011

Debugging of Web Applications with Web-TLR

María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero

Proceedings of the Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, 2011

Dynamic Backward Slicing of Rewriting Logic Computations

María Alpuente, Demis Ballis, Javier Espert, Daniel Romero

CoRR, 2011

Backward Trace Slicing for Rewriting Logic Theories.

María Alpuente, Demis Ballis, Javier Espert, Daniel Romero

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

A Tool for Computing the Visual Similarity of Web Pages.

María Alpuente, Daniel Romero

Proceedings of the Tenth Annual International Symposium on Applications and the Internet, 2010

Model-Checking Web Applications with Web-TLR.

María Alpuente, Demis Ballis, Javier Espert, Daniel Romero

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Specification and Verification of Web Applications in Rewriting Logic.

María Alpuente, Demis Ballis, Daniel Romero

Proceedings of the FM 2009: Formal Methods, 2009

2008

A Visual Technique for Web Pages Comparison.

María Alpuente, Daniel Romero

Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, 2008

A Tool for Automated Certification of Java Source Code in Maude.

Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

An Abstract Generic Framework for Web Site Verification.

María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi

Proceedings of the 2008 International Symposium on Applications and the Internet, 2008

2007

A Fast Algebraic Web Verification Service.

María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero

Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

2006

A Semi-Automatic Methodology for Repairing FaultyWeb Sites.

María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006