Demis Ballis

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 15

Top Topics

Formal Specification

Top Venues

J. Log. Algebraic Methods Program.

Theory Pract. Log. Program.

Sci. Comput. Program.

Publications

María Alpuente, Demis Ballis, Santiago Escobar, D. Galán, Julia Sapiña
Safety enforcement via programmable strategies in Maude. J. Log. Algebraic Methods Program. 132 (2023)
María Alpuente, Demis Ballis, Santiago Escobar, José Meseguer, Julia Sapiña
Optimizing Maude Programs via Program Specialization. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
Variant-Based Equational Anti-unification. LOPSTR (2022)
María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
Optimization of rewrite theories by equational partial evaluation. J. Log. Algebraic Methods Program. 124 (2022)
María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis
Symbolic Specialization of Rewriting Logic Theories with Presto. Theory Pract. Log. Program. 22 (3) (2022)
María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
Symbolic Specialization of Rewriting Logic Theories with Presto. CoRR (2021)
María Alpuente, Demis Ballis, Julia Sapiña
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System. Math. Comput. Sci. 14 (3) (2020)
María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis
Symbolic Analysis of Maude Theories with Narval. Theory Pract. Log. Program. 19 (5-6) (2019)
María Alpuente, Demis Ballis, Julia Sapiña
Static correction of Maude programs with assertions. J. Syst. Softw. 153 (2019)
María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. JELIA (2019)
María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
Symbolic Analysis of Maude Theories with Narval. CoRR (2019)
María Alpuente, Demis Ballis, Julia Sapiña
Inferring Safe Maude Programs with ÁTAME. ICMS (2018)
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
Debugging Maude programs via runtime assertion checking and trace slicing. J. Log. Algebraic Methods Program. 85 (5) (2016)
María Alpuente, Francisco Frechina, Julia Sapiña, Demis Ballis
Assertion-based analysis via slicing with ABETS. Theory Pract. Log. Program. 16 (5-6) (2016)
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
Assertion-based Analysis via Slicing with ABETS (System Description). CoRR (2016)
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
Exploring conditional rewriting logic computations. J. Symb. Comput. 69 (2015)
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis. Logic, Rewriting, and Concurrency (2015)
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
Using conditional trace slicing for improving Maude programs. Sci. Comput. Program. 80 (2014)
María Alpuente, Demis Ballis, Daniel Romero
A rewriting logic approach to the formal specification and verification of web applications. Sci. Comput. Program. 81 (2014)
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way). Specification, Algebra, and Software (2014)
María Alpuente, Demis Ballis, Moreno Falaschi, Francisco Frechina, Daniel Romero
Rewriting-based repairing strategies for XML repositories. J. Log. Algebraic Methods Program. 82 (8) (2013)
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. ESOP (2013)
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
Parametric Exploration of Rewriting Logic Computations. SCSS (2013)
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
Backward Trace Slicing for Conditional Rewrite Theories. LPAR (2012)
María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
Julienne: A Trace Slicer for Conditional Rewrite Theories. FM (2012)
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
Backward Trace Slicing for Rewriting Logic Theories. CADE (2011)
María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero
Debugging of Web Applications with Web-TLR WWV (2011)
Demis Ballis, Temur Kutsia
Foreword. J. Symb. Comput. 46 (2) (2011)
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
Dynamic Backward Slicing of Rewriting Logic Computations CoRR (2011)
María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi
An integrated framework for the diagnosis and correction of rule-based programs. Theor. Comput. Sci. 411 (47) (2010)
María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi
A fold/unfold transformation framework for rewrite theories extended to CCT. PEPM (2010)
María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis
Completeness of Unfolding for Rewriting Logic Theories. SYNASC (2010)
Michele Baggi, Demis Ballis, Moreno Falaschi
An Access Control Language Based on Term Rewriting and Description Logic. WFLP (2010)
María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
Model-Checking Web Applications with Web-TLR. ATVA (2010)
María Alpuente, Demis Ballis, Daniel Romero
Specification and Verification of Web Applications in Rewriting Logic. FM (2009)
Michele Baggi, Demis Ballis, Moreno Falaschi
Quantitative Pathway Logic for Computational Biology. CMSB (2009)
Demis Ballis, Santiago Escobar
Preface. Electron. Notes Theor. Comput. Sci. 235 (2009)
Demis Ballis, Santiago Escobar, Massimo Marchiori
Preface. Electron. Notes Theor. Comput. Sci. 200 (3) (2008)
Michele Baggi, Demis Ballis
Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents. Electron. Notes Theor. Comput. Sci. 216 (2008)
María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi
Semantic Verification of Web System Contents. ER Workshops (2008)
María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi
An Abstract Generic Framework for Web Site Verification. SAINT (2008)
Michele Baggi, Moreno Falaschi, Demis Ballis
XML Semantic Filtering via Ontology Reasoning. ICIW (2008)
Demis Ballis, Andrea Baruzzo, Marco Comini
A Rule-based Method to Match Software Patterns Against UML Models. Electron. Notes Theor. Comput. Sci. 219 (2008)
Demis Ballis, Andrea Baruzzo, Marco Comini
A Minimalist Visual Notation for Design Patterns and Antipatterns. ITNG (2008)
María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero
A Fast Algebraic Web Verification Service. RR (2007)
María Alpuente, Demis Ballis, Moreno Falaschi
Rule-based verification of Web sites. Int. J. Softw. Tools Technol. Transf. 8 (6) (2006)
María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero
A Semi-Automatic Methodology for Repairing FaultyWeb Sites. SEFM (2006)
Demis Ballis, Javier García-Vivó
A Rule-based System for Web site Verification. Electron. Notes Theor. Comput. Sci. 157 (2) (2006)
María Alpuente, Demis Ballis, Moreno Falaschi
A Rewriting-based Framework for Web Sites Verification. Electron. Notes Theor. Comput. Sci. 124 (1) (2005)
Demis Ballis, Javier García-Vivó
A Rewriting-based system for Web site Verification. WWV (2005)
María Alpuente, Demis Ballis, Moreno Falaschi
Verdi: An Automated Tool for Web Sites Verification. JELIA (2004)
María Alpuente, Demis Ballis, Moreno Falaschi
Automated Verification of Web Sites Using Partial Rewriting. ISoLA (Preliminary proceedings) (2004)
María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi
Correction of Functional Logic Programs. ESOP (2003)
María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE (2003)
María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
Abstract correction of first-order functional programs. Electron. Notes Theor. Comput. Sci. 86 (3) (2003)
Demis Ballis, Moreno Falaschi, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana
Cost-sensitive diagnosis of declarative programs. Electron. Notes Theor. Comput. Sci. 86 (3) (2003)