Abstract Reaction Systems (RSs) are a successful computational framework inspired by
biological systems. RSs can involve a large number of reactions and entities, which makes it …

In this paper we propose a dynamic analysis methodology for improving the diagnosis of
erroneous Maude programs. The key idea is to combine runtime checking and dynamic …

Understanding the behavior of software is important for the existing software to be improved.
In this paper, we present a trace slicing technique that is suitable for analyzing complex …

Reaction systems (RSs) are a computational framework inspired by biochemical
mechanisms. A RS defines a finite set of reactions over a finite set of entities. Typically each …

Cause/effect analysis of complex systems is instrumental in better understanding many
natural phenomena. Moreover, formal analysis requires the availability of suitable abstract …

A formal executable semantics of a programming language has the necessary information to
develop program debugging and reasoning techniques. In this paper we choose such a …

This paper develops a Rewriting Logic framework for the automatic specification and
verification of Web applications that considers the critical aspects of concurrent Web …

In this paper, we present a trace slicing technique for rewriting logic that is suitable for
analyzing complex, textually-large system computations in rewrite theories that may contain …

We present i Julienne, a trace analyzer for conditional rewriting logic theories that can be
used to compute abstract views of Maude executions that help users understand and debug …

Abstract Concurrent Constraint Programming (CCP) is a declarative model for concurrency
where agents interact by telling and asking constraints (pieces of information) in a shared …