| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Vlad Rusu, Andrei Arusoaie |
Proving Reachability-Logic Formulas Incrementally.  |
WRLA  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet |
Egalitarian State-Transition Systems. |
WRLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet |
Labelled Graph Rewriting Meets Social Networks. |
WRLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Moreno-Delgado, Francisco Durán 0001, José Meseguer 0001 |
Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications. |
WRLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohan Boichut, Vivien Pelletier, Pierre Réty |
Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems. |
WRLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
A Maude Framework for Cache Coherent Multicore Architectures. |
WRLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Lucas |
Use of Logical Models for Proving Operational Termination in General Logics. |
WRLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Skeirik, José Meseguer 0001 |
Metalevel Algorithms for Variant Satisfiability. |
WRLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi E. Fonseca, Vivek Nigam |
Formal Specification and Verification of a Selective Defense for TDoS Attacks. |
WRLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Traian-Florin Serbanuta, Liviu P. Dinu |
Maximally Parallel Contextual String Rewriting. |
WRLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorel Lucanu (eds.) |
Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers |
WRLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch-Lafuente |
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? |
WRLA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky |
Real-Time Maude and Its Applications. |
WRLA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Maurizio Murgia 0001, Alceste Scalas, Roberto Zunino |
Modelling and Verifying Contract-Oriented Systems in Maude. |
WRLA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco 0001 |
An Integration of CafeOBJ into Full Maude. |
WRLA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Lucas, José Meseguer 0001 |
Strong and Weak Operational Termination of Order-Sorted Rewrite Theories. |
WRLA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Si Liu 0003, Peter Csaba Ölveczky, José Meseguer 0001 |
A Framework for Mobile Ad hoc Networks in Real-Time Maude. |
WRLA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae, José Meseguer 0001 |
Infinite-State Model Checking of LTLR Formulas Using Narrowing. |
WRLA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001 |
Composition of Graph-Transformation-Based DSL Definitions by Amalgamation. |
WRLA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Arusoaie, Dorel Lucanu, Vlad Rusu, Traian-Florin Serbanuta, Andrei Stefanescu, Grigore Rosu |
Language Definitions as Rewrite Theories. |
WRLA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Genet |
Towards Static Analysis of Functional Programs Using Tree Automata Completion. |
WRLA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Lucas, José Meseguer 0001 |
2D Dependency Pairs for Proving Operational Termination of CTRSs. |
WRLA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar 0001 (eds.) |
Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers |
WRLA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mu Sun, José Meseguer 0001 |
Formal Specification of Button-Related Fault-Tolerance Micropatterns. |
WRLA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter D. Mosses, Ferdinand Vesely |
FunKons: Component-Based Semantics in K. |
WRLA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Zhang 0002, Yunja Choi, Kazuhiro Ogata 0001 |
A Formal Semantics of the OSEK/VDX Standard in $${\mathbb {K}}$$ Framework and Its Applications. |
WRLA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Aguirre 0001, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita |
Conditional Narrowing Modulo in Rewriting Logic and Maude. |
WRLA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Camilo Rocha, José Meseguer 0001, César A. Muñoz |
Rewriting Modulo SMT and Open System Analysis. |
WRLA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Raúl Gutiérrez, José Meseguer 0001, Camilo Rocha |
Order-Sorted Equality Enrichments Modulo Axioms. |
WRLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer 0001 |
Design and Analysis of Cloud-Based Architectures with KLAIM and Maude. |
WRLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko |
A Rule-Based Framework for Building Superposition-Based Decision Procedures. |
WRLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky |
Timed CTL Model Checking in Real-Time Maude. |
WRLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae, José Meseguer 0001 |
Model Checking LTLR Formulas under Localized Fairness. |
WRLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis |
Rigorous Component-Based System Design - (Invited Paper). |
WRLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám |
Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude. |
WRLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Hills 0001, Paul Klint, Jurgen J. Vinju |
Program Analysis Scenarios in Rascal. |
WRLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Andrea Corradini 0001, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin |
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. |
WRLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001 (eds.) |
Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers |
WRLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Grigore Rosu |
Making Maude Definitions More Interactive. |
WRLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco 0001 |
Using Narrowing to Test Maude Specifications. |
WRLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu |
K Framework Distilled. |
WRLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, José Meseguer 0001 |
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Natarajan Shankar |
Rewriting, Inference, and Proof. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Rosa-Velardo |
Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mu Sun, José Meseguer 0001, Lui Sha |
A Formal Pattern Architecture for Safe Medical Systems. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Beatriz Alarcón, Salvador Lucas, José Meseguer 0001 |
A Dependency Pair Framework for A OR C-Termination. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Raúl Gutiérrez, Salvador Lucas |
Proving Termination in the Context-Sensitive Dependency Pair Framework. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Katelman, Sean Keller, José Meseguer 0001 |
Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Irina Mariuca Asavoae, Mihail Asavoae |
Collecting Semantics under Predicate Abstraction in the K Framework. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae, José Meseguer 0001 |
The Linear Temporal Logic of Rewriting Maude Model Checker. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | José Eduardo Rivera, Francisco Durán 0001, Antonio Vallecillo |
On the Behavioral Semantics of Real-Time Domain Specific Visual Languages. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, Manuel Roldán, Jean-Christophe Bach, Emilie Balland, Mark van den Brand, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Eelco Visser |
The Third Rewrite Engines Competition. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet |
Enhancing the Debugging of Maude Specifications. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar 0001, Ralf Sasse, José Meseguer 0001 |
Folding Variant Narrowing and Optimal Variant Termination. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer 0001 |
Twenty Years of Rewriting Logic. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, José Meseguer 0001 |
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Traian-Florin Serbanuta, Grigore Rosu |
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky (eds.) |
Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu (eds.) |
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008 |
WRLA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Francisco Durán 0001, Manuel Roldán, Emilie Balland, Mark van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Schevchenko, Eelco Visser |
The Second Rewrite Engines Competition. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Escobar 0001, José Meseguer 0001, Ralf Sasse |
Variant Narrowing and Equational Unification. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Lucas, José Meseguer 0001 |
Operational Termination of Membership Equational Programs: the Order-Sorted Way. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero 0001, Narciso Martí-Oliet, Adrián Riesco 0001, Alberto Verdejo |
A Declarative Debugger for Maude Functional Modules. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oana Agrigoroaiei, Gabriel Ciobanu |
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bjarne Holen, Einar Broch Johnsen, Arild Waaler |
Proof Search for the First-Order Connection Calculus in Maude. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, Peter Csaba Ölveczky |
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dilia E. Rodríguez |
Combining Techniques to Reduce State Space and Prove Strong Properties. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias M. Hölzl, Max Meier, Martin Wirsing |
Which Soft Constraints do you Prefer? |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Narciso Martí-Oliet, José Meseguer 0001, Alberto Verdejo |
A Rewriting Semantics for Maude Strategies. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco 0001, Alberto Verdejo |
Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Helge Haß, Thomas Noll 0001 |
Equational Abstractions for Reducing the State Space of Rewrite Theories. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oana Andrei, Dorel Lucanu |
Strategy-Based Proof Calculus for Membrane Systems. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras |
Patterns for Maude Metalanguage Applications. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Hills 0001 |
Memory Representations in Rewriting Logic Semantics Definitions. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari |
Hierarchical Design Rewriting with Maude. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu |
Preface. |
WRLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Grit Denker, Carolyn L. Talcott (eds.) |
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006 |
WRLA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mark Hills 0001, Traian Serbanuta, Grigore Rosu |
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin R. Neuhäußer, Thomas Noll 0001 |
Abstraction and Model Checking of Core Erlang Programs in Maude. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dilia E. Rodríguez |
On Modelling Sensor Networks in Maude. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Katelman, José Meseguer 0001 |
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Reilles |
Canonical Abstract Syntax Trees. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta |
Rewriting Logic Systems. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Azadeh Farzan, José Meseguer 0001 |
Partial Order Reduction for Rewriting Semantics of Programming Languages. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Santos-García, Miguel Palomino |
Solving Sudoku Puzzles with Rewriting Rules. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Horatiu Cirstea, Clément Houtmann, Benjamin Wack |
Distributive rho-calculus. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán 0001, Adrián Riesco 0001, Alberto Verdejo |
A Distributed Implementation of Mobile Maude. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister |
A Rewriting Logic Framework for Soft Constraints. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Sasse, José Meseguer 0001 |
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Csaba Ölveczky, José Meseguer 0001 |
Abstraction and Completeness for Real-Time Maude. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Grit Denker, Carolyn L. Talcott |
Preface. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabricio Chalub, Christiano Braga |
Maude MSOS Tool. |
WRLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Narciso Martí-Oliet (eds.) |
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, WRLA 2004, Barcelona, Spain, March 27-28, 2004 |
WRLA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
Constraint Functional Logic Programming Revisited. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Grit Denker, Carolyn L. Talcott |
Formal Checklists for Remote Agent Dependability. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Narciso Martí-Oliet |
Preface. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Stump, Ryan Besand, James C. Brodman, Jonathan Hseu, Bill Kinnersley |
From Rogue to MicroRogue. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Cenciarelli, Ivano Talamo, Alessandro Tiberi |
Ambient Graph Rewriting. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Narciso Martí-Oliet, José Meseguer 0001, Alberto Verdejo |
Towards a Strategy Language for Maude. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Arrighi, Gilles Dowek |
A Computational Definition of the Notion of Vectorial Space. |
WRLA |
2004 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license