Francisco Durán
Revised Selected Papers of the Ninth International Workshop on Rewriting Logic and its Applications
WRLA, 2012.

@proceedings{WRLA-2012,
	address       = "Tallinn, Estonia",
	doi           = "10.1007/978-3-642-34005-5",
	editor        = "Francisco Durán",
	isbn          = "978-3-642-34004-8",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the Ninth International Workshop on Rewriting Logic and its Applications}",
	volume        = 7571,
	year          = 2012,
}

Contents (12 items)

5 ×#maude
2 ×#analysis
2 ×#design
2 ×#framework
2 ×#model checking
2 ×#modelling

WRLA-2012-BasuBBS #component #design

Rigorous Component-Based System Design — (AB, SB, MB, JS), pp. 1–9.

WRLA-2012-HillsKV #program analysis #rascal

Program Analysis Scenarios in Rascal (MH, PK, JJV), pp. 10–30.

WRLA-2012-LucanuSR #framework #𝕂

𝕂 Framework Distilled (DL, TFS, GR), pp. 31–53.

WRLA-2012-WirsingEMM #analysis #architecture #design #maude

Design and Analysis of Cloud-Based Architectures with KLAIM and Maude (MW, JE, TM, JM), pp. 54–82.

WRLA-2012-ArusoaieSER #interactive #maude

Making Maude Definitions More Interactive (AA, TFS, CE, GR), pp. 83–98.

WRLA-2012-BaeM #locality #model checking

Model Checking LTLR Formulas under Localized Fairness (KB, JM), pp. 99–117.

WRLA-2012-BruniCGLV #adaptation #maude #modelling #self

Modelling and Analyzing Adaptive Self-assembly Strategies with Maude (RB, AC, FG, ALL, AV), pp. 118–138.

WRLA-2012-FadlisyahOA #analysis #formal method #modelling

Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude (MF, PCÖ, EÁ), pp. 139–161.

WRLA-2012-GutierrezMR #axiom #order #similarity

Order-Sorted Equality Enrichments Modulo Axioms (RG, JM, CR), pp. 162–181.

WRLA-2012-LepriAO #maude #model checking #realtime

Timed CTL Model Checking in Real-Time Maude (DL, EÁ, PCÖ), pp. 182–200.

WRLA-2012-Riesco #maude #specification #using

Using Narrowing to Test Maude Specifications (AR), pp. 201–220.

WRLA-2012-TushkanovaGRK #framework #rule-based

A Rule-Based Framework for Building Superposition-Based Decision Procedures (ET, AG, CR, OK), pp. 221–239.