Proceedings of the Eighth 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

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

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

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.

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.