31 citations · 90 across the 6 of their papers we have counts for
7 papers
Generalization and Completeness of Stochastic Local Search Algorithms
Daniel Loscos, Narciso Marti-Oliet, Ismael Rodriguez
We generalize Stochastic Local Search (SLS) heuristics into a unique formal model. This model has two key components: a common structure designed to be as large as possible and a p…
The Maude strategy language
Steven Eker, Narciso Martí-Oliet, José Meseguer +2
Rewriting logic is a natural and expressive framework for the specification of concurrent systems and logics. The Maude specification language provides an implementation of this fo…
Metalevel transformation of strategies
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita +1
In the reflective Maude specification language, based on rewriting logic, a strategy language has been introduced to control rule rewriting while avoiding complex and verbose metal…
Simulating and model checking membrane systems using strategies in Maude
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita +1
Membrane systems are a biologically-inspired computational model based on the structure of biological cells and the way chemicals interact and traverse their membranes. Although th…
Strategies, model checking and branching-time properties in Maude
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita +1
Rewriting logic and its implementation Maude are a natural and expressive framework for the specification of concurrent systems and logics. Its nondeterministic local transformatio…
Model checking strategy-controlled systems in rewriting logic
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita +1
Rewriting logic and its implementation Maude are an expressive framework for the formal specification and verification of software and other kinds of systems. Concurrency is natura…