Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Daniel Romero 0001

dblp:55/4650-1 · also Daniel Omar Romero · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Logic in computer science › rewriting
rewriting logic
0.222012
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.112009
Specification and Verification of Web Applications in Rewriting Logic · FM 2009
YearPublicationVenuePosition
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
FM4
2012 Backward Trace Slicing for Conditional Rewrite Theories
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero 0001
LPAR4
2011 Backward Trace Slicing for Rewriting Logic Theories
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero 0001
CADE4
2010 Model-Checking Web Applications with Web-TLR
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero 0001
ATVA4
2009 Specification and Verification of Web Applications in Rewriting Logic
María Alpuente, Demis Ballis, Daniel Romero 0001
FM3
2006 A Semi-Automatic Methodology for Repairing FaultyWeb Sites
abstract
The 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
SEFM4