More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

WRLA 2012: Tallinn, Estonia (Satellite Event of ETAPS 2012)

> Home > Conferences and Workshops > WRLA
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/wrla/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/2012
Francisco Durán:
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. Lecture Notes in Computer Science 7571, Springer 2012, ISBN 978-3-642-34004-8
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/BasuBBS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/BasuBBS12
Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
Rigorous Component-Based System Design - (Invited Paper). 1-9
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/HillsKV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/HillsKV12
Mark Hills, Paul Klint, Jurgen J. Vinju:
Program Analysis Scenarios in Rascal. 10-30
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/LucanuSR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/LucanuSR12
Dorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu:
K Framework Distilled. 31-53
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/WirsingEMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/WirsingEMM12
Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer:
Design and Analysis of Cloud-Based Architectures with KLAIM and Maude. 54-82
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/ArusoaieSER12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/ArusoaieSER12
Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Grigore Rosu:
Making Maude Definitions More Interactive. 83-98
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/BaeM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/BaeM12
Kyungmin Bae, José Meseguer:
Model Checking LTLR Formulas under Localized Fairness. 99-117
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/BruniCGLV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/BruniCGLV12
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. 118-138
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/FadlisyahOA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/FadlisyahOA12
Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám:
Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude. 139-161
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/GutierrezMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/GutierrezMR12
Raúl Gutiérrez, José Meseguer, Camilo Rocha:
Order-Sorted Equality Enrichments Modulo Axioms. 162-181
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/LepriAO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/LepriAO12
Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky:
Timed CTL Model Checking in Real-Time Maude. 182-200
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/Riesco12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/Riesco12
Adrián Riesco:
Using Narrowing to Test Maude Specifications. 201-220
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/TushkanovaGRK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/TushkanovaGRK12
Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko:
A Rule-Based Framework for Building Superposition-Based Decision Procedures. 221-239

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.