Proceedings of the 14th International Symposium of 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

Jayadev Misra, Tobias Nipkow, Emil Sekerinski
Proceedings of the 14th International Symposium of Formal Methods
FM, 2006.

FM
DBLP
Scholar
Full names Links ISxN
@proceedings{FM-2006,
	address       = "Hamilton, Canada",
	editor        = "Jayadev Misra and Tobias Nipkow and Emil Sekerinski",
	isbn          = "3-540-37215-6",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 14th International Symposium of Formal Methods}",
	volume        = 4085,
	year          = 2006,
}

Contents (45 items)

FM-2006-HenzingerS #challenge #design #embedded
The Embedded Systems Design Challenge (TAH, JS), pp. 1–15.
FM-2006-SchellhornGHR #challenge #proving
The Mondex Challenge: Machine Checked Proofs for an Electronic Purse (GS, HG, DH, WR), pp. 16–31.
FM-2006-SchmittHBRM #guidelines #interactive #verification
Interactive Verification of Medical Guidelines (JS, AH, MB, WR, MM), pp. 32–47.
FM-2006-DelahayeED #security #using
Certifying Airport Security Regulations Using the Focal Environment (DD, JFÉ, VDG), pp. 48–63.
FM-2006-UmenoL #automaton #case study #protocol #proving #safety #theorem proving #using
Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study (SU, NAL), pp. 64–80.
FM-2006-Cohen #validation
Validating the Microsoft Hypervisor (EC), p. 81.
FM-2006-LarsenNW #automaton #interface
Interface Input/Output Automata (KGL, UN, AW), pp. 82–97.
FM-2006-BrunetCU #behaviour #model merging
Properties of Behavioural Model Merging (GB, MC, SU), pp. 98–114.
FM-2006-FreitasC #automation #java
Automatic Translation from Circus to Java (AF, AC), pp. 115–130.
FM-2006-McIver #analysis #model checking #probability #refinement
Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems (AM), pp. 131–146.
FM-2006-VerhoefLH #distributed #embedded #modelling #realtime #validation
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ (MV, PGL, JH), pp. 147–162.
FM-2006-BotaschanjanGHKST #distributed #towards #verification
Towards Modularized Verification of Distributed Time-Triggered Systems (JB, AG, AH, LK, MS, DT), pp. 163–178.
FM-2006-BacheriniFTZ #formal method
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer (SB, AF, MT, NZ), pp. 179–189.
FM-2006-ZhengWWX #approach #case study #development #formal method #object-oriented #using
Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach (YZ, JW, KW, JX), pp. 190–204.
FM-2006-McCombS #composition #refinement
Compositional Class Refinement in Object-Z (TM, GS), pp. 205–220.
FM-2006-EvansB
A Proposal for Records in Event-B (NE, MJB), pp. 221–235.
FM-2006-OliveiraR #refinement
Pointfree Factorization of Operation Refinement (JNO, CJR), pp. 236–251.
FM-2006-AmalioSP
A Formal Template Language Enabling Metaproof (NA, SS, FP), pp. 252–267.
FM-2006-Kassios #dependence #strict
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions (ITK), pp. 268–283.
FM-2006-CunhaOV #data transformation #type safety
Type-Safe Two-Level Data Transformation (AC, JNO, JV), pp. 284–299.
FM-2006-HofnerKM #algebra
Feature Algebra (PH, RK, BM), pp. 300–315.
FM-2006-Boute #formal method #independence #problem #using
Using Domain-Independent Problems for Introducing Formal Methods (RTB), pp. 316–331.
FM-2006-Zave #composition #network
Compositional Binding in Network Domains (PZ), pp. 332–347.
FM-2006-LangariT #communication #formal method #graph transformation #modelling #protocol
Formal Modeling of Communication Protocols by Graph Transformation (ZL, RJT), pp. 348–363.
FM-2006-AiguierBG #interactive #specification #static analysis
Feature Specification and Static Analysis for Interaction Resolution (MA, KB, PLG), pp. 364–379.
FM-2006-LundS #diagrams #semantics #sequence chart #uml
A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice (MSL, KS), pp. 380–395.
FM-2006-LiHR #automation #exception #safety #towards #verification
Towards Automatic Exception Safety Verification (XL, HJH, PR), pp. 396–411.
FM-2006-ArthoBH #injection #named #performance
Enforcer — Efficient Failure Injection (CA, AB, SH), pp. 412–427.
FM-2006-BouquetDL #automation #bound #generative #ml #specification #testing
Automated Boundary Test Generation from JML Specifications (FB, FD, BL), pp. 428–443.
FM-2006-Mostowski #java #logic #reasoning
Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic (WM), pp. 444–459.
FM-2006-BlazyDL #c #compilation #verification
Formal Verification of a C Compiler Front-End (SB, ZD, XL), pp. 460–475.
FM-2006-HuynhR #c# #memory management
A Memory Model Sensitive Checker for C# (TQH, AR), pp. 476–491.
FM-2006-BannwartM #refactoring #source code #specification
Changing Programs Correctly: Refactoring with Specifications (FB, PM), pp. 492–507.
FM-2006-Preoteasa #logic #pointer #recursion #using #verification
Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic (VP), pp. 508–523.
FM-2006-JohnstonWBSR #model checking #modelling #order #performance
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking (WJ, KW, LvdB, PAS, PJR), pp. 524–540.
FM-2006-DonaldsonM #approximate #model checking #reduction #symmetry
Exact and Approximate Strategies for Symmetry Reduction in Model Checking (AFD, AM), pp. 541–556.
FM-2006-GenonMM #algorithm #distributed #ltl #monitoring #performance #sequence
Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces (AG, TM, CM), pp. 557–572.
FM-2006-PnueliZ #model checking #runtime #verification
PSL Model Checking and Run-Time Verification Via Testers (AP, AZ), pp. 573–586.
FM-2006-Stephan #formal method #lightweight #plugin #security
Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline (WS), pp. 587–591.
FM-2006-Oheimb #formal method #security
Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche (DvO), pp. 592–597.
FM-2006-Pavlovic #development #protocol
Connector-Based Software Development: Deriving Secure Protocols (DP), pp. 598–599.
FM-2006-Jurjens #modelling #security
Model-Based Security Engineering for Real (JJ), pp. 600–606.
FM-2006-Johnson #effectiveness #re-engineering #security
Cost Effective Software Engineering for Security (DRJ), pp. 607–611.
FM-2006-BackesPW #encryption #formal method
Formal Methods and Cryptography (MB, BP, MW), pp. 612–616.
FM-2006-Woodcock #challenge
Verified Software Grand Challenge (JW), p. 617.

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.