José Nuno Oliveira, Pamela Zave
Proceedings of the International Symposium of Formal Methods Europe: Formal Methods for Increasing Software Productivity
FME, 2001.

@proceedings{FME-2001,
	address       = "Berlin, Germany",
	editor        = "José Nuno Oliveira and Pamela Zave",
	isbn          = "3-540-41791-5",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the International Symposium of Formal Methods Europe: Formal Methods for Increasing Software Productivity}",
	volume        = 2021,
	year          = 2001,
}

Contents (35 items)

5 ×#modelling
5 ×#specification
4 ×#approach
4 ×#validation
3 ×#formal method
3 ×#logic
3 ×#refinement
3 ×#testing
3 ×#verification
2 ×#adaptation

FME-2001-Jackson #formal method #lightweight

Lightweight Formal Methods (DJ), p. 1.

FME-2001-BellegardeDJK #named #refinement

Reformulation: A Way to Combine Dynamic Properties and B Refinement (FB, CD, JJ, OK), pp. 2–19.

FME-2001-HelkeS #analysis #behaviour #consistency #eiffel #library

Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries (SH, TS), pp. 20–42.

FME-2001-StoySA #correctness #protocol #proving

Proofs of Correctness of Cache-Coherence Protocols (JES, XS, A), pp. 43–71.

FME-2001-ChechikEP #logic #model checking #multi

Model-Checking over Multi-valued Logics (MC, SME, VP), pp. 72–98.

FME-2001-LeuschelMC #csp #how #ltl #model checking #refinement

How to Make FDR Spin LTL Model Checking of CSP by Refinement (ML, TM, AC), pp. 99–118.

FME-2001-DerepasGP #distributed #explosion

Avoiding State Explosion for Distributed Systems with Timestamps (FD, PG, DP), pp. 119–134.

FME-2001-Jurjens #refinement

Secrecy-Preserving Refinement (JJ), pp. 135–152.

FME-2001-Mantel #data flow

Information Flow Control and Applications — Bridging a Gap (HM), pp. 153–172.

FME-2001-AlagarX #approach #architecture #e-commerce #modelling

A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures (VSA, ZX), pp. 173–196.

FME-2001-VenkatasubramanianTA #adaptation #formal method #middleware #reasoning

A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware (NV, CLT, GA), pp. 197–221.

FME-2001-Misra #programming

A Programming Model for Wide-Area Computing (JM), p. 222.

FME-2001-FloresMR #design pattern #formal method #object-oriented

A Formal Model of Object-Oriented Design and GoF Design Patterns (AF, RM, LR), pp. 223–241.

FME-2001-Dupuy-ChessaB #modelling #uml #validation

Validation of UML Models Thanks to Z and Lustre (SDC, LdB), pp. 242–258.

FME-2001-Pahl #component #contract #modelling #uml

Components, Contracts, and Connectors for the Unified Modelling Language UML (CP), pp. 259–277.

FME-2001-SherifSC #approach #realtime #specification #validation

An Integrated Approach to Specification and Validation of Real-Time Systems (AS, AS, SC), pp. 278–299.

FME-2001-Paynter #logic #realtime #revisited

Real-Time Logic Revisited (SP), pp. 300–317.

FME-2001-Beyer #analysis #automaton #reachability

Improvements in BDD-Based Reachability Analysis of Timed Automata (DB0), pp. 318–343.

FME-2001-SilvaSJ #clustering #hardware #parallel #process

Serialising Parallel Processes in a Hardware/Software Partitioning Context (LS, AS, GJ), pp. 344–363.

FME-2001-BurtonKP #implementation #verification

Verifying Implementation Relations (JB, MK, GP), pp. 364–383.

FME-2001-CalderMS #logic

An Adequate Logic for Full LOTOS (MC, SM, CS), pp. 384–395.

FME-2001-Airchinnigh #towards

Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (MMaA), pp. 396–418.

FME-2001-Katz #modelling #specification

Faithful Translations among Models and Specifications (SK), pp. 419–434.

FME-2001-Jones #contract

Composing Contracts: An Adventure in Financial Engineering (SLPJ), p. 435.

FME-2001-IglesiasGCNF #case study #protocol #prototype #specification

From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study (MJFI, FJGC, JMPC, MLN, ARF), pp. 436–448.

FME-2001-ArditiBCS #generative #testing #validation

Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System (LA, HB, AC, VS), pp. 449–464.

FME-2001-LaurentMW #simulation #using #verification

Using Formal Verification Techniques to Reduce Simulation and Test Effort (OL, PM, VW), pp. 465–477.

FME-2001-HartelBJL #memory management #smarttech

Transacted Memory for Smart Cards (PHH, MJB, EdJ, ML), pp. 478–499.

FME-2001-FlanaganL #java

Houdini, an Annotation Assistant for ESC/Java (CF, KRML), pp. 500–517.

FME-2001-BosnackiDH #heuristic #reduction #symmetry

A Heuristic for Symmetry Reductions with Scalarsets (DB, DD, LH), pp. 518–533.

FME-2001-JohnsonR #modelling #specification

View Updatability Based on the Models of a Formal Specification (MJ, RDR), pp. 534–549.

FME-2001-Lammel #adaptation

Grammar Adaptation (RL), pp. 550–570.

FME-2001-Aichernig #abstraction #testing

Test-Case Calculation through Abstraction (BKA), pp. 571–589.

FME-2001-DocheVK #approach #composition #specification #validation

A Modular Approach to the Specification and Validation of an Electrical Flight Control System (MD, IVM, FK), pp. 590–610.

FME-2001-SharyginaP #approach #reliability #testing #verification

A Combined Testing and Verification Approach for Software Reliability (NS, DP), pp. 611–628.