Michael Leuschel, Heike Wehrheim
Proceedings of the Seventh International Conference on Integrated Formal Methods
IFM, 2009.

@proceedings{IFM-2009,
	address       = "Düsseldorf, Germany",
	doi           = "10.1007/978-3-642-00255-7",
	editor        = "Michael Leuschel and Heike Wehrheim",
	isbn          = "978-3-642-00254-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Seventh International Conference on Integrated Formal Methods}",
	volume        = 5423,
	year          = 2009,
}

Contents (24 items)

3 ×#process
3 ×#reduction
3 ×#verification
2 ×#contract
2 ×#csp
2 ×#fault
2 ×#ltl
2 ×#model checking
2 ×#modelling
2 ×#refinement

IFM-2009-HoangKBA

Developing Topology Discovery in Event-B (TSH, HK, DAB, JRA), pp. 1–19.

IFM-2009-Butler #composition

Decomposition Structures for Event-B (MJB), pp. 20–38.

IFM-2009-Cook #bound #hardware #synthesis

Taming the Unbounded for Hardware Synthesis (BC), p. 39.

IFM-2009-CabotCR #contract #ocl #uml #verification

Verifying UML/OCL Operation Contracts (JC, RC, DR), pp. 40–55.

IFM-2009-WongG #modelling #specification #workflow

Property Specifications for Workflow Modelling (PYHW, JG), pp. 56–71.

IFM-2009-BuiN #random #verification

Formal Verification Based on Guided Random Walks (THB, AN), pp. 72–87.

IFM-2009-StockerLG #parallel #process #realtime

Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (JS, FL, HG), pp. 88–102.

IFM-2009-SchneiderT #csp #interface #refinement

Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B (SS, HT), pp. 103–117.

IFM-2009-ColvinH #csp

CSP with Hierarchical State (RC, IJH), pp. 118–135.

IFM-2009-Weiss #abstraction #calculus #logic

Predicate Abstraction in a Program Logic Calculus (BW), pp. 136–150.

IFM-2009-ZeydaC #diagrams

Mechanised Translation of Control Law Diagrams into Circus (FZ, AC), pp. 151–166.

IFM-2009-SalaunB #algebra #encoding #process #using

Realizability of Choreographies Using Process Algebra Encodings (GS, TB), pp. 167–182.

IFM-2009-BoitenD #concurrent #modelling #refinement #relational

Modelling Divergence in Relational Concurrent Refinement (EAB, JD), pp. 183–199.

IFM-2009-VossSE #network #scheduling

SAL-Based Symbolic Scheduling in Time-Triggered Networks (SV, MS, KE), pp. 200–214.

IFM-2009-DovlandJOS #incremental #inheritance #multi #reasoning

Incremental Reasoning for Multiple Inheritance (JD, EBJ, OO, MS), pp. 215–230.

IFM-2009-VargasGTG #ltl #model checking

Model Checking LTL Formulae in RAISE with FDR (APV, AGG, SLTT, CG), pp. 231–245.

IFM-2009-LammelZ #convergence

An Introduction to Grammar Convergence (RL, VZ), pp. 246–260.

IFM-2009-LangariT #graph transformation #verification

Application of Graph Transformation in Verification of Dynamic Systems (ZL, RJT), pp. 261–276.

IFM-2009-HasanAT #analysis #array #configuration management #fault #memory management #probability

Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays (OH, NA, ST), pp. 277–291.

IFM-2009-PaceS #challenge #contract #specification

Challenges in the Specification of Full Contracts (GJP, GS), pp. 292–306.

IFM-2009-BenesBCSVZ #ltl #partial order #reduction

Partial Order Reduction for State/Event LTL (NB, LB, IC, JS, PV, BZ), pp. 307–321.

IFM-2009-YangASHSG #model checking #reduction

Dynamic Path Reduction for Software Model Checking (ZY, BAR, KAS, XH, SAS, RG), pp. 322–336.

IFM-2009-MilhauFF #automation #error message #execution #fault #generative #process #symbolic computation

Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions (JM, BF, MF), pp. 337–351.

IFM-2009-Rakow #petri net #reduction

Decompositional Petri Net Reductions (AR), pp. 352–366.