Dominique Méry, Stephan Merz
Proceedings of the Eighth International Conference on Integrated Formal Methods
IFM, 2010.

@proceedings{IFM-2010,
	address       = "Nancy, France",
	doi           = "10.1007/978-3-642-16265-7",
	editor        = "Dominique Méry and Stephan Merz",
	isbn          = "978-3-642-16264-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Eighth International Conference on Integrated Formal Methods}",
	volume        = 6396,
	year          = 2010,
}

Contents (23 items)

4 ×#verification
3 ×#modelling
3 ×#source code
2 ×#approach
2 ×#composition
2 ×#model checking
2 ×#model transformation
2 ×#probability
2 ×#specification

IFM-2010-Baier #distributed #model checking #on the #random

On Model Checking Techniques for Randomized Distributed Systems (CB), pp. 1–11.

IFM-2010-FitzgeraldLPVW #collaboration #development #embedded #modelling

Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems (JSF, PGL, KGP, MV, SW), pp. 12–26.

IFM-2010-Joshi #programming

Programming with Miracles (RJ), p. 27.

IFM-2010-ArenasABW #approach

An Event-B Approach to Data Sharing Agreements (AEA, BA, JB, MDW), pp. 28–42.

IFM-2010-AsirelliBFG #framework #logic #variability

A Logical Framework to Deal with Variability (PA, MHtB, AF, SG), pp. 43–58.

IFM-2010-AutexierL #c #impact analysis #source code #verification

Adding Change Impact Analysis to the Formal Verification of C Programs (SA, CL), pp. 59–73.

IFM-2010-Bostrom #modelling #source code

Creating Sequential Programs from Event-B Models (PB), pp. 74–88.

IFM-2010-BouchenebIN #algorithm #model checking #replication

Symbolic Model-Checking of Optimistic Replication Algorithms (HB, AI, MN), pp. 89–104.

IFM-2010-DaumSS #correctness

From Operating-System Correctness to Pervasively Verified Applications (MD, NS, MS), pp. 105–120.

IFM-2010-Dimovski #composition #equivalence #nondeterminism #source code #termination

A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs (AD), pp. 121–135.

IFM-2010-Faber #architecture #composition #realtime #reasoning #verification

Verification Architectures: Compositional Reasoning for Real-Time Systems (JF), pp. 136–151.

IFM-2010-FaberIJS #automation #parametricity #specification #verification

Automatic Verification of Parametric Specifications with Complex Topologies (JF, CI, SJ, VSS), pp. 152–167.

IFM-2010-FranzleTE #hybrid #probability #smt

Satisfaction Meets Expectations — Computing Expected Values of Probabilistic Hybrid Systems with SMT (MF, TT, AE), pp. 168–182.

IFM-2010-HulsbuschKRSSW #comparison #model transformation #semantics

Showing Full Semantics Preservation in Model Transformation — A Comparison of Techniques (MH, BK, AR, MS, CS, HW), pp. 183–198.

IFM-2010-LanoR #model transformation #specification #uml #using #verification

Specification and Verification of Model Transformations Using UML-RSDS (KL, SKR), pp. 199–214.

IFM-2010-MarronePV #analysis #dependence #inheritance #multi

Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems (SM, CP, VV), pp. 215–228.

IFM-2010-MateescuS #π-calculus

Translating π-Calculus into LOTOS NT (RM, GS), pp. 229–244.

IFM-2010-MilhauFGL

Systematic Translation Rules from astd to Event-B (JM, MF, FG, RL), pp. 245–259.

IFM-2010-SchneiderTW #approach #csp

A CSP Approach to Control in Event-B (SS, HT, HW), pp. 260–274.

IFM-2010-TarasyukTL #modelling #probability #towards

Towards Probabilistic Modelling in Event-B (AT, ET, LL), pp. 275–289.

IFM-2010-TranS #commit #java #transaction

Safe Commits for Transactional Featherweight Java (TMTT, MS), pp. 290–304.

IFM-2010-DiosMP #pointer

Certified Absence of Dangling Pointers in a Language with Explicit Deallocation (JdD, MM, RP), pp. 305–319.

IFM-2010-Stratulat #induction #proving

Integrating Implicit Induction Proofs into Certified Proof Environments (SS), pp. 320–335.