Demo Data from EDBT 2026 / reviewers in the wild / expert
Daniel Romero 0001
dblp:55/4650-1 · also Daniel Omar Romero
· DBLP profile ↗
8ranked-venue papers
0as first author
0since 2021 · last 2014
0000-0003-0411-7436ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 6Theory of computation · 4Artificial intelligence and machine learning · 2
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
2 papers |
Logic in computer science · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Program verification · 100% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Logic in computer science › rewriting
rewriting logic |
0.2 | 2 | 2012 | Julienne: A Trace Slicer for Conditional Rewrite Theories · FM 2012 Specification and Verification of Web Applications in Rewriting Logic · FM 2009 |
Program verification
web application verification |
0.1 | 1 | 2009 | Specification and Verification of Web Applications in Rewriting Logic · FM 2009 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2014 | Using conditional trace slicing for improving Maude programs
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero 0001 |
Sci. Comput. Program. | 4 |
| 2014 | A rewriting logic approach to the formal specification and verification of web applications
María Alpuente, Demis Ballis, Daniel Romero 0001 |
Sci. Comput. Program. | 3 |
| 2012 | Julienne: A Trace Slicer for Conditional Rewrite Theories
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero 0001 |
FM | 4 |
| 2012 | Backward Trace Slicing for Conditional Rewrite Theories
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero 0001 |
LPAR | 4 |
| 2011 | Backward Trace Slicing for Rewriting Logic Theories
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero 0001 |
CADE | 4 |
| 2010 | Model-Checking Web Applications with Web-TLR
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero 0001 |
ATVA | 4 |
| 2009 | Specification and Verification of Web Applications in Rewriting Logic
María Alpuente, Demis Ballis, Daniel Romero 0001 |
FM | 3 |
| 2006 | A Semi-Automatic Methodology for Repairing FaultyWeb SitesabstractThe development and maintenance of Web sites are difficult tasks. To maintain the consistency of ever-larger, complex Web sites, Web administrators need effective mechanisms that assist them in fixing every possible inconsistency. In this paper, we present a novel methodology for semi-automatically repairing faulty Web sites which can be integrated on top of an existing rewriting-based verification technique developed in a previous work. Starting from a categorization of the kinds of errors that can be found during the Web verification activities, we formulate a stepwise transformation procedure that achieves correctness and completeness of the Web site w.r.t. its formal specification while respecting the structure of the document (e.g. the schema of an XML document). Finally, we shortly describe a prototype implementation of the repairing tool which we used for an experimental evaluation of our method María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero 0001 |
SEFM | 4 |