Lars-Henrik Eriksson, Peter A. Lindsay
Proceedings of the 11th International Symposium of Formal Methods Europe: Getting IT Right
FME, 2002.

@proceedings{FME-2002,
	address       = "Copenhagen, Denmark",
	editor        = "Lars-Henrik Eriksson and Peter A. Lindsay",
	isbn          = "3-540-43928-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 11th International Symposium of Formal Methods Europe: Getting IT Right}",
	volume        = 2391,
	year          = 2002,
}

Contents (34 items)

6 ×#using
6 ×#verification
4 ×#testing
3 ×#abstraction
3 ×#analysis
3 ×#development
3 ×#process
3 ×#refinement
2 ×#case study
2 ×#java

FME-2002-Shankar #proving

Little Engines of Proof (NS), pp. 1–20.

FME-2002-LegeardPU #automation #bound #testing

Automated Boundary Testing from Z and B (BL, FP, MU), pp. 21–40.

FME-2002-RatsabySU #analysis

Improvements in Coverability Analysis (GR, BS, SU), pp. 41–56.

FME-2002-Burguillo-RialIGN #case study #heuristic #specification #testing

Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study (JCBR, MJFI, FJGC, MLN), pp. 57–76.

FME-2002-BourdonovKKP #architecture #testing

UniTesK Test Suite Architecture (IBB, AK, VVK, AKP), pp. 77–88.

FME-2002-OheimbN #hoare #logic #revisited

Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited (DvO, TN), pp. 89–105.

FME-2002-Bicarregui

Do Not Read This (JB), pp. 106–125.

FME-2002-Jorgensen #incremental

Safeness of Make-Based Incremental Recompilation (NJ), pp. 126–145.

FME-2002-BarnerBGSW #algorithm #approach #design

An Algorithmic Approach to Design Exploration (SB, SBD, AG, BS, YW), pp. 146–162.

FME-2002-MotaBS #abstraction #process

Mechanical Abstraction of CSPZ Processes (AM, PB, AS), pp. 163–183.

FME-2002-ArtsED #case study #erlang #verification

Verifying Erlang Code: A Resource Locker Case-Study (TA, CBE, JD), pp. 184–203.

FME-2002-HuberK #model checking #towards

Towards an Integrated Model Checker for Railway Signalling Data (MH, SK), pp. 204–223.

FME-2002-Hall #correctness #development #process

Correctness by Construction: Integrating Formality into a Commercial Development Process (AH), pp. 224–233.

FME-2002-MarinovK #named #relational

VAlloy — Virtual Functions Meet a Relational Language (DM, SK), pp. 234–251.

FME-2002-Rusu #generative #testing #using #verification

Verification Using Test Generation Techniques (VR), pp. 252–271.

FME-2002-CatanoH #java #specification #static analysis #using

Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java (NC, MH), pp. 272–289.

FME-2002-Casset #development #embedded #formal method #java #using #verification

Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods (LC), pp. 290–309.

FME-2002-BackesJP #bisimulation #composition #encryption #implementation #using

Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation (MB, CJ, BP), pp. 310–329.

FME-2002-Pahl #abstraction #analysis #refinement #using

Interference Analysis for Dependable Systems Using Refinement and Abstraction (CP), pp. 330–349.

FME-2002-HendersonP #classification #communication #verification

The Formal Classification and Verification of Simpson’s 4-Slot Asynchronous Communication Mechanism (NH, SP), pp. 350–369.

FME-2002-Fidge #analysis #assembly #control flow

Timing Analysis of Assembler Code Control-Flow Paths (CJF), pp. 370–389.

FME-2002-CengarleK #ocl #towards

Towards OCL/RT (MVC, AK), pp. 390–409.

FME-2002-GaravelH #evaluation #functional #on the #performance #using #verification

On Combining Functional Verification and Performance Evaluation Using CADP (HG, HH), pp. 410–429.

FME-2002-Basin #calculus #synthesis

The Next 700 Synthesis Calculi (DAB), p. 430.

FME-2002-WhalenSF

Synthesizing Certified Code (MWW, JS, BF), pp. 431–450.

FME-2002-SampaioWC #refinement

Refinement in Circus (AS, JW, AC), pp. 451–470.

FME-2002-CavalcantiN #refinement #simulation

Forward Simulation for Data Refinement of Classes (AC, DAN), pp. 471–490.

FME-2002-Wildman #compilation #proving

A Formal Basis for a Program Compilation Proof Tool (LW), pp. 491–510.

FME-2002-FirleyG #abstraction #verification

Property Dependent Abstraction of Control Structure for Software Verification (TF, UG), pp. 511–530.

FME-2002-IoustinovaSS #model checking

Closing Open SDL-Systems for Model Checking with DTSpin (NI, NS, MS), pp. 531–548.

FME-2002-KristensenM #safety

A Generalised Sweep-Line Method for Safety Properties (LMK, TM), pp. 549–567.

FME-2002-Treharne #development #process #uml

Supplementing a UML Development Process with B (HT), pp. 568–586.

FME-2002-DongSW #semantics #web

Semantic Web for Extending and Linking Formalisms (JSD, JS, HHW), pp. 587–606.

FME-2002-UmeduTYNHT #mobile #multi

A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels (TU, YT, KY, AN, TH, KT), pp. 607–624.