Demis Ballis

Julia Sapiña

Math. Comput. Sci., 2020

2019

Symbolic Analysis of Maude Theories with Narval.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Static correction of Maude programs with assertions.

[BibT_eX]

[DOI]

Julia Sapiña

J. Syst. Softw., 2019

ACUOS<sup>2</sup>: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018

Inferring Safe Maude Programs with ÁTAME.

[BibT_eX]

[DOI]

Julia Sapiña

Proceedings of the Mathematical Software - ICMS 2018, 2018

2016

Assertion-based analysis via slicing with ABETS.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Debugging Maude programs via runtime assertion checking and trace slicing.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2016

Assertion-based Analysis via Slicing with ABETS (System Description).

[BibT_eX]

[DOI]

CoRR, 2016

2015

Exploring conditional rewriting logic computations.

[BibT_eX]

[DOI]

J. Symb. Comput., 2015

Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

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

[BibT_eX]

[DOI]

Daniel Romero

Sci. Comput. Program., 2014

Using conditional trace slicing for improving Maude programs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way).

[BibT_eX]

[DOI]

Proceedings of the Specification, Algebra, and Software, 2014

2013

Rewriting-based repairing strategies for XML repositories.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2013

Parametric Exploration of Rewriting Logic Computations.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2013

2012

Backward Trace Slicing for Conditional Rewrite Theories.

[BibT_eX]

[DOI]

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

Julienne: A Trace Slicer for Conditional Rewrite Theories.

[BibT_eX]

[DOI]

Proceedings of the FM 2012: Formal Methods, 2012

2011

Foreword.

[BibT_eX]

[DOI]

Temur Kutsia

J. Symb. Comput., 2011

Debugging of Web Applications with Web-TLR

[BibT_eX]

[DOI]

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

Dynamic Backward Slicing of Rewriting Logic Computations

[BibT_eX]

[DOI]

CoRR, 2011

Backward Trace Slicing for Rewriting Logic Theories.

[BibT_eX]

[DOI]

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

2010

An integrated framework for the diagnosis and correction of rule-based programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

An Access Control Language Based on Term Rewriting and Description Logic.

[BibT_eX]

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2010

Completeness of Unfolding for Rewriting Logic Theories.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

A fold/unfold transformation framework for rewrite theories extended to CCT.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Model-Checking Web Applications with Web-TLR.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2010

Transformation and Debugging of Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009

Specification and Verification of Web Applications in Rewriting Logic.

[BibT_eX]

[DOI]

Daniel Romero

Proceedings of the FM 2009: Formal Methods, 2009

Quantitative Pathway Logic for Computational Biology.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2008

Preface.

[BibT_eX]

[DOI]

Santiago Escobar

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

An Abstract Generic Framework for Web Site Verification.

[BibT_eX]

[DOI]

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

A Minimalist Visual Notation for Design Patterns and Antipatterns.

[BibT_eX]

[DOI]

Andrea Baruzzo

Marco Comini

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

XML Semantic Filtering via Ontology Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

Semantic Verification of Web System Contents.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling - Challenges and Opportunities, 2008

2007

Preface.

[BibT_eX]

[DOI]

Santiago Escobar

Massimo Marchiori

Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 2007

A Rule-based Method to Match Software Patterns Against UML Models.

[BibT_eX]

[DOI]

Andrea Baruzzo

Marco Comini

Proceedings of the Eighth International Workshop on Rule Based Programming, 2007

Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents.

[BibT_eX]

[DOI]

Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, 2007

A Fast Algebraic Web Verification Service.

[BibT_eX]

[DOI]

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

2006

Rule-based verification of Web sites.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2006

A Semi-Automatic Methodology for Repairing FaultyWeb Sites.

[BibT_eX]

[DOI]

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

2005

Rule-based.

[BibT_eX]

[DOI]

PhD thesis, 2005

A Rule-based System for Web site Verification.

[BibT_eX]

[DOI]

Javier García-Vivó

Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005

A Rewriting-based system for Web site Verification.

[BibT_eX]

Javier García-Vivó

Proceedings of the First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), 2005

2004

A Rewriting-based Framework for Web Sites Verification.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Rule-Based Programming, 2004

Verdi: An Automated Tool for Web Sites Verification.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Automated Verification of Web Sites Using Partial Rewriting.

[BibT_eX]

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2003

Cost-sensitive diagnosis of declarative programs.

[BibT_eX]

[DOI]