FME 2003:
Pisa,
Italy
Keijiro Araki, Stefania Gnesi, Dino Mandrioli (Eds.):
FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings.
Lecture Notes in Computer Science 2805 Springer 2003, ISBN 3-540-40828-2 BibTeX
@proceedings{DBLP:conf/fm/2003,
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
title = {FME 2003: Formal Methods, International Symposium of Formal Methods
Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
booktitle = {FME},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2805},
year = {2003},
isbn = {3-540-40828-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Speakers
I-Day
- Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl:
Proving the Shalls.
75-93
Electronic Edition (link) BibTeX
- Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin:
Adaptable Translator of B Specifications to Embedded C Programs.
94-113
Electronic Edition (link) BibTeX
- Daniele Compare, Paola Inverardi, Patrizio Pelliccione, Alessandra Sebastiani:
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle.
114-132
Electronic Edition (link) BibTeX
- Alan Wassyng, Mark Lawford:
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project.
133-153
Electronic Edition (link) BibTeX
Control Systems and Industrial Applications
Communications System Verification
Co-specification and Compilers
Composition
Java,
Object Orientation and Modularity
Model Checking
- Arie Gurfinkel, Marsha Chechik:
Generating Counterexamples for Multi-valued Model-Checking.
503-521
Electronic Edition (link) BibTeX
- Andreas Schäfer:
Combining Real-Time Model-Checking and Fault Tree Analysis.
522-541
Electronic Edition (link) BibTeX
- Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini:
Model-Checking TRIO Specifications in SPIN.
542-561
Electronic Edition (link) BibTeX
- Julien Musset, Michaël Rusinowitch:
Computing Meta-transitions for Linear Transition Systems with Polynomials.
562-581
Electronic Edition (link) BibTeX
- Fei Xie, James C. Browne, Robert P. Kurshan:
Translation-Based Compositional Reasoning for Software Systems.
582-599
Electronic Edition (link) BibTeX
- Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin:
Watchdog Transformations for Property-Oriented Model-Checking.
600-616
Electronic Edition (link) BibTeX
Parallel Process
- Diyaa-Addein Atiya, Steve King, Jim Woodcock:
A Circus Semantics for Ravenscar Protected Objects.
617-635
Electronic Edition (link) BibTeX
- Pascal Fenkam, Harald Gall, Mehdi Jazayeri:
Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach.
636-657
Electronic Edition (link) BibTeX
- Alessandro Aldini, Marco Bernardo:
A General Approach to Deadlock Freedom Verification for Software Architectures.
658-677
Electronic Edition (link) BibTeX
- Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum:
Taking Alloy to the Movies.
678-697
Electronic Edition (link) BibTeX
- Thomas A. Kuhn, David von Oheimb:
Interacting State Machines for Mobility.
698-718
Electronic Edition (link) BibTeX
- Jei-Wen Teng, Yih-Kuen Tsay:
Composing Temporal-Logic Specifications with Machine Assistance.
719-738
Electronic Edition (link) BibTeX
Program Checking and Testing
B Method
Security
Copyright © Sat May 16 23:12:15 2009
by Michael Ley (ley@uni-trier.de)
