Proceedings of the Seventh International Conference on Integrated Formal Methods
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

FM
DBLP
Scholar
DOI
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.