## Santiago Escobar

*Revised Selected Papers of the 10th International Workshop on Rewriting Logic and its Applications*

WRLA, 2014.

@proceedings{WRLA-2014, address = "Grenoble, France", doi = "10.1007/978-3-319-12904-4", editor = "Santiago Escobar", isbn = "978-3-319-12903-7", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Revised Selected Papers of the 10th International Workshop on Rewriting Logic and its Applications}", volume = 8663, year = 2014, }

### Contents (16 items)

- WRLA-2014-Duran #composition #domain-specific language
- Composition of Graph-Transformation-Based DSL Definitions by Amalgamation (FD), pp. 1–20.
- WRLA-2014-AlrahmanABL #concurrent #maude #memory management #modelling #question #source code
- Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? (YAA, MA, AB, ALL), pp. 21–41.
- WRLA-2014-Olveczky #maude #realtime
- Real-Time Maude and Its Applications (PCÖ), pp. 42–79.
- WRLA-2014-AguirreMPP #logic #maude
- Conditional Narrowing Modulo in Rewriting Logic and Maude (LA, NMO, MP, IP), pp. 80–96.
- WRLA-2014-ArusoaieLRSSR
- Language Definitions as Rewrite Theories (AA, DL, VR, TFS, AS, GR), pp. 97–112.
- WRLA-2014-BaeM #infinity #model checking #using
- Infinite-State Model Checking of LTLR Formulas Using Narrowing (KB, JM), pp. 113–129.
- WRLA-2014-BartolettiMSZ #maude #modelling #verification
- Modelling and Verifying Contract-Oriented Systems in Maude (MB, MM, AS, RZ), pp. 130–146.
- WRLA-2014-Genet #automaton #functional #source code #static analysis #towards #using
- Towards Static Analysis of Functional Programs Using Tree Automata Completion (TG), pp. 147–161.
- WRLA-2014-LiuOM #ad hoc #framework #maude #mobile #network #realtime
- A Framework for Mobile Ad hoc Networks in Real-Time Maude (SL, PCÖ, JM), pp. 162–177.
- WRLA-2014-LucasM #order #termination
- Strong and Weak Operational Termination of Order-Sorted Rewrite Theories (SL, JM), pp. 178–194.
- WRLA-2014-LucasM14a #2d #dependence #proving #termination
- 2D Dependency Pairs for Proving Operational Termination of CTRSs (SL, JM), pp. 195–212.
- WRLA-2014-MossesV #component #named #semantics
- FunKons: Component-Based Semantics in K (PDM, FV), pp. 213–229.
- WRLA-2014-Riesco #integration #maude
- An Integration of CafeOBJ into Full Maude (AR), pp. 230–246.
- WRLA-2014-RochaMM #analysis #smt
- Rewriting Modulo SMT and Open System Analysis (CR, JM, CAM), pp. 247–262.
- WRLA-2014-SunM #fault tolerance #specification
- Formal Specification of Button-Related Fault-Tolerance Micropatterns (MS, JM), pp. 263–279.
- WRLA-2014-ZhangCO #framework #semantics #standard #𝕂
- A Formal Semantics of the OSEK/VDX Standard in 𝕂 Framework and Its Applications (MZ, YC, KO), pp. 280–296.