Person:739627

Available identifiers

zbMath Open ballis.demisMaRDI QIDQ739627

List of research outcomes

Publication	Date of Publication	Type
Symbolic Specialization of Rewriting Logic Theories with Presto	2023-12-12	Paper
Optimizing Maude programs via program specialization	2023-08-17	Paper
Variant-based equational anti-unification	2023-06-02	Paper
Safety enforcement via programmable strategies in Maude	2023-03-20	Paper
Optimization of rewrite theories by equational partial evaluation	2021-11-24	Paper
Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system	2020-10-30	Paper
Symbolic Analysis of Maude Theories with Narval	2020-05-04	Paper
\({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance	2020-02-18	Paper
Inferring safe Maude programs with ÁTAME	2018-08-17	Paper
Assertion-based analysis via slicing withABETS(system description)	2017-11-09	Paper
Debugging Maude programs via runtime assertion checking and trace slicing	2016-08-18	Paper
Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis	2015-09-14	Paper
Exploring conditional rewriting logic computations	2015-01-14	Paper
A Rule-based Method to Match Software Patterns Against UML Models	2014-05-13	Paper
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)	2014-03-25	Paper
Rewriting-based repairing strategies for XML repositories	2014-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q2844058	2013-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q2844059	2013-08-27	Paper
Backward Trace Slicing for Conditional Rewrite Theories	2012-06-15	Paper
Backward Trace Slicing for Rewriting Logic Theories	2011-07-29	Paper
An Access Control Language Based on Term Rewriting and Description Logic	2011-05-27	Paper
An integrated framework for the diagnosis and correction of rule-based programs	2010-11-11	Paper
Transformation and Debugging of Functional Logic Programs	2010-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4417882	2003-07-30	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Demis Ballis