default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWRLA 2014: Grenoble, France (Satellite Event of ETAPS 2014)
- Santiago Escobar
:
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. Lecture Notes in Computer Science 8663, Springer 2014, ISBN 978-3-319-12903-7 - Francisco Durán:
Composition of Graph-Transformation-Based DSL Definitions by Amalgamation. 1-20 - Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch-Lafuente:
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? 21-41 - Peter Csaba Ölveczky:
Real-Time Maude and Its Applications. 42-79 - Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita:
Conditional Narrowing Modulo in Rewriting Logic and Maude. 80-96 - Andrei Arusoaie, Dorel Lucanu, Vlad Rusu, Traian-Florin Serbanuta, Andrei Stefanescu, Grigore Rosu:
Language Definitions as Rewrite Theories. 97-112 - Kyungmin Bae, José Meseguer:
Infinite-State Model Checking of LTLR Formulas Using Narrowing. 113-129 - Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino:
Modelling and Verifying Contract-Oriented Systems in Maude. 130-146 - Thomas Genet:
Towards Static Analysis of Functional Programs Using Tree Automata Completion. 147-161 - Si Liu, Peter Csaba Ölveczky, José Meseguer:
A Framework for Mobile Ad hoc Networks in Real-Time Maude. 162-177 - Salvador Lucas, José Meseguer:
Strong and Weak Operational Termination of Order-Sorted Rewrite Theories. 178-194 - Salvador Lucas, José Meseguer:
2D Dependency Pairs for Proving Operational Termination of CTRSs. 195-212 - Peter D. Mosses, Ferdinand Vesely:
FunKons: Component-Based Semantics in K. 213-229 - Adrián Riesco:
An Integration of CafeOBJ into Full Maude. 230-246 - Camilo Rocha, José Meseguer, César A. Muñoz:
Rewriting Modulo SMT and Open System Analysis. 247-262 - Mu Sun, José Meseguer:
Formal Specification of Button-Related Fault-Tolerance Micropatterns. 263-279 - Min Zhang, Yunja Choi, Kazuhiro Ogata:
A Formal Semantics of the OSEK/VDX Standard in $${\mathbb {K}}$$ Framework and Its Applications. 280-296
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-15 22:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
