FM 1999:
Toulouse,
France,
Volume 1
Jeannette M. Wing, Jim Woodcock, Jim Davies (Eds.):
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I.
Lecture Notes in Computer Science 1708 Springer 1999, ISBN 3-540-66587-0 BibTeX
@proceedings{DBLP:conf/fm/1999-1,
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {FM'99 - Formal Methods, World Congress on Formal Methods in the
Development of Computing Systems, Toulouse, France, September
20-24, 1999, Proceedings, Volume I},
booktitle = {World Congress on Formal Methods},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1708},
year = {1999},
isbn = {3-540-66587-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Papers
Integration into the Development Process
Software Architecture
European Association for Theoretical Computer Science (EATCS)
Model Checking
- Yonit Kesten, Amit Klein, Amir Pnueli, Gil Raanan:
A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software.
173-194
Electronic Edition (Springer LINK) BibTeX
- Frank Reffel, Stefan Edelkamp:
Error Detection with Directed Symbolic Model Checking.
195-211
Electronic Edition (Springer LINK) BibTeX
- Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar, Insup Lee:
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination.
212-232
Electronic Edition (Springer LINK) BibTeX
- Stavros Tripakis, Karine Altisen:
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems.
233-252
Electronic Edition (Springer LINK) BibTeX
- Jean-Michel Couvreur:
On-the-Fly Verification of Linear Temporal Logic.
253-271
Electronic Edition (Springer LINK) BibTeX
- David Déharbe, Anamaria Martins Moreira:
Symbolic Model Checking with Fewer Fixpoint Computations.
272-288
Electronic Edition (Springer LINK) BibTeX
- Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Formula Based Abstractions of Transition Systems for Real-Time Model Checking.
289-306
Electronic Edition (Springer LINK) BibTeX
- Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier:
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems.
307-327
Electronic Edition (Springer LINK) BibTeX
- Farn Wang:
Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes.
328-347
Electronic Edition (Springer LINK) BibTeX
The B Method
Composition and Synthesis
Telecommunications
Security
- Fred Gilham, Robert A. Riemenschneider, Victoria Stavridou:
Secure Interoperation of Secure Distributed Databases.
701-717
Electronic Edition (Springer LINK) BibTeX
- Volkmar Lotz, Volker Kessler, Georg Walter:
A Formal Security Model for Microprocessor Hardware.
718-737
Electronic Edition (Springer LINK) BibTeX
- Steve Schneider:
Abstraction and Testing.
738-757
Electronic Edition (Springer LINK) BibTeX
- Dan Zhou, Shiu-Kai Chin:
Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol.
758-775
Electronic Edition (Springer LINK) BibTeX
- Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov:
Probabilistic Polynomial-Time Equivalence and Security Analysis.
776-793
Electronic Edition (Springer LINK) BibTeX
- Riccardo Focardi, Fabio Martinelli:
A Uniform Approach for the Definition of Security Properties.
794-813
Electronic Edition (Springer LINK) BibTeX
- Paul F. Syverson, Stuart G. Stubblebine:
Group Principals and the Formalization of Anonymity.
814-833
Electronic Edition (Springer LINK) BibTeX
Object-Orientation
Testing
Copyright © Sat May 16 23:12:15 2009
by Michael Ley (ley@uni-trier.de)
