Abstract Correction of OBJ-like Programs. - María Alpuente; Demis Ballis; Santiago Escobar 001; Moreno Falaschi; Salvador Lucas (APPIA-GULP-PRODE, 2003)

Correction of Functional Logic Programs. - María Alpuente; Demis Ballis; Francisco J. Correa; Moreno Falaschi (ESOP, 2003)

Abstract correction of first-order functional programs. - María Alpuente; Demis Ballis; Santiago Escobar 001; Moreno Falaschi; Salvador Lucas (WFLP, 2003)

Cost-sensitive diagnosis of declarative programs. - Demis Ballis; Moreno Falaschi; César Ferri; José Hernández-Orallo; M. José Ramírez-Quintana (WFLP, 2003)

Automated Verification of Web Sites Using Partial Rewriting. - María Alpuente; Demis Ballis; Moreno Falaschi (ISoLA (Preliminary proceedings), 2004)

Verdi: An Automated Tool for Web Sites Verification. - María Alpuente; Demis Ballis; Moreno Falaschi (JELIA, 2004)

A Rewriting-based Framework for Web Sites Verification. - María Alpuente; Demis Ballis; Moreno Falaschi (RULE@RDP, 2004)

A Rewriting-based system for Web site Verification. - Demis Ballis; Javier García-Vivó (WWV, 2005)

A Rule-based System for Web site Verification. - Demis Ballis; Javier García-Vivó (WWV, 2005)

Rule-Based Software Verification and Correction. - Demis Ballis (2005)

A Semi-Automatic Methodology for Repairing FaultyWeb Sites. - María Alpuente; Demis Ballis; Moreno Falaschi; Daniel Romero 001 (SEFM, 2006)

Rule-based verification of Web sites. - María Alpuente; Demis Ballis; Moreno Falaschi (Int. J. Softw. Tools Technol. Transf., 2006)

A Fast Algebraic Web Verification Service. - María Alpuente; Demis Ballis; Moreno Falaschi; Pedro Ojeda; Daniel Romero 001 (RR, 2007)

Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents. - Michele Baggi; Demis Ballis (WFLP@RDP, 2007)

A Rule-based Method to Match Software Patterns Against UML Models. - Demis Ballis; Andrea Baruzzo; Marco Comini (RULE@RDP, 2007)

Preface. - Demis Ballis; Santiago Escobar 001; Massimo Marchiori (WWV, 2007)

Semantic Verification of Web System Contents. - María Alpuente; Michele Baggi; Demis Ballis; Moreno Falaschi (ER Workshops, 2008)

XML Semantic Filtering via Ontology Reasoning. - Michele Baggi; Moreno Falaschi; Demis Ballis (ICIW, 2008)

A Minimalist Visual Notation for Design Patterns and Antipatterns. - Demis Ballis; Andrea Baruzzo; Marco Comini (ITNG, 2008)

An Abstract Generic Framework for Web Site Verification. - María Alpuente; Pedro Ojeda; Daniel Romero 001; Demis Ballis; Moreno Falaschi (SAINT, 2008)

Preface. - Demis Ballis; Santiago Escobar 001 (WWV, 2008)

Quantitative Pathway Logic for Computational Biology. - Michele Baggi; Demis Ballis; Moreno Falaschi (CMSB, 2009)

Specification and Verification of Web Applications in Rewriting Logic. - María Alpuente; Demis Ballis; Daniel Romero 001 (FM, 2009)

Transformation and Debugging of Functional Logic Programs. - María Alpuente; Demis Ballis; Moreno Falaschi (25 Years GULP, 2010)

Model-Checking Web Applications with Web-TLR. - María Alpuente; Demis Ballis; Javier Espert; Daniel Romero 001 (ATVA, 2010)

A fold/unfold transformation framework for rewrite theories extended to CCT. - María Alpuente; Demis Ballis; Michele Baggi; Moreno Falaschi (PEPM, 2010)

Completeness of Unfolding for Rewriting Logic Theories. - María Alpuente; Michele Baggi; Moreno Falaschi; Demis Ballis (SYNASC, 2010)

An Access Control Language Based on Term Rewriting and Description Logic. - Michele Baggi; Demis Ballis; Moreno Falaschi (WFLP, 2010)

An integrated framework for the diagnosis and correction of rule-based programs. - María Alpuente; Demis Ballis; Francisco J. Correa; Moreno Falaschi (Theor. Comput. Sci., 2010)

Backward Trace Slicing for Rewriting Logic Theories. - María Alpuente; Demis Ballis; Javier Espert; Daniel Romero 001 (CADE, 2011)

Dynamic Backward Slicing of Rewriting Logic Computations - María Alpuente; Demis Ballis; Javier Espert; Daniel Romero 001 (CoRR, 2011)

Debugging of Web Applications with Web-TLR - María Alpuente; Demis Ballis; Javier Espert; Francisco Frechina; Daniel Romero 001 (WWV, 2011)

Foreword. - Demis Ballis; Temur Kutsia (J. Symb. Comput., 2011)

Julienne: A Trace Slicer for Conditional Rewrite Theories. - María Alpuente; Demis Ballis; Francisco Frechina; Daniel Romero 001 (FM, 2012)

Backward Trace Slicing for Conditional Rewrite Theories. - María Alpuente; Demis Ballis; Francisco Frechina; Daniel Romero 001 (LPAR, 2012)

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (ESOP, 2013)

Parametric Exploration of Rewriting Logic Computations. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (SCSS, 2013)

Rewriting-based repairing strategies for XML repositories. - María Alpuente; Demis Ballis; Moreno Falaschi; Francisco Frechina; Daniel Romero 001 (J. Log. Algebraic Methods Program., 2013)

Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way). - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (Specification, Algebra, and Software, 2014)

Using conditional trace slicing for improving Maude programs. - María Alpuente; Demis Ballis; Francisco Frechina; Daniel Romero 001 (Sci. Comput. Program., 2014)

A rewriting logic approach to the formal specification and verification of web applications. - María Alpuente; Demis Ballis; Daniel Romero 001 (Sci. Comput. Program., 2014)

Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (Logic, Rewriting, and Concurrency, 2015)

Exploring conditional rewriting logic computations. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (J. Symb. Comput., 2015)

Assertion-based Analysis via Slicing with ABETS (System Description). - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (CoRR, 2016)

Debugging Maude programs via runtime assertion checking and trace slicing. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (J. Log. Algebraic Methods Program., 2016)

Assertion-based analysis via slicing with ABETS. - María Alpuente; Francisco Frechina; Julia Sapiña; Demis Ballis (Theory Pract. Log. Program., 2016)

Inferring Safe Maude Programs with ÁTAME. - María Alpuente; Demis Ballis; Julia Sapiña (ICMS, 2018)

ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. - María Alpuente; Demis Ballis; Angel Cuenca-Ortega; Santiago Escobar 001; José Meseguer 001 (JELIA, 2019)

Static correction of Maude programs with assertions. - María Alpuente; Demis Ballis; Julia Sapiña (J. Syst. Softw., 2019)

Symbolic Analysis of Maude Theories with Narval. - María Alpuente; Santiago Escobar 001; Julia Sapiña; Demis Ballis (Theory Pract. Log. Program., 2019)

Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System. - María Alpuente; Demis Ballis; Julia Sapiña (Math. Comput. Sci., 2020)

Variant-Based Equational Anti-unification. - María Alpuente; Demis Ballis; Santiago Escobar 001; Julia Sapiña (LOPSTR, 2022)

Optimization of rewrite theories by equational partial evaluation. - María Alpuente; Demis Ballis; Santiago Escobar 001; Julia Sapiña (J. Log. Algebraic Methods Program., 2022)

Symbolic Specialization of Rewriting Logic Theories with Presto. - María Alpuente; Santiago Escobar 001; Julia Sapiña; Demis Ballis (Theory Pract. Log. Program., 2022)

Optimizing Maude Programs via Program Specialization. - María Alpuente; Demis Ballis; Santiago Escobar 001; José Meseguer 001; Julia Sapiña (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)

Safety enforcement via programmable strategies in Maude. - María Alpuente; Demis Ballis; Santiago Escobar 001; D. Galán; Julia Sapiña (J. Log. Algebraic Methods Program., 2023)

Process Calculi and Rewriting Techniques for Analyzing Reaction Systems. - Demis Ballis; Linda Brodo; Moreno Falaschi; Carlos Olarte (CMSB, 2024)

ccReact: a rewriting framework for the formal analysis of reaction systems. - Demis Ballis; Linda Brodo; Moreno Falaschi; Carlos Olarte (Int. J. Softw. Tools Technol. Transf., 2024)