World Congress on Formal Methods

Keyphrases

Publications

1999

Dusko Pavlovic
Semantics of First Order Parametric Specifications. World Congress on Formal Methods (1999)
Leonid Mikhajlov, Emil Sekerinski, Linas Laibinis
Developing Components in the Presence of Re-entrance. World Congress on Formal Methods (1999)
Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor
Cronos: A Separate Compilation Toolset for Modular Esterel Applications. World Congress on Formal Methods (1999)
Andre Wong, Marsha Chechik
Formal Modeling in a Commercial Setting: A Case Study. World Congress on Formal Methods (1999)
Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov
Probabilistic Polynomial-Time Equivalence and Security Analysis. World Congress on Formal Methods (1999)
Denis Sabatier, Pierre Lartigue
The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications. World Congress on Formal Methods (1999)
Michael Jackson
The Role of Formalism in Method. World Congress on Formal Methods (1999)
Stephan Merz
A More Complete TLA. World Congress on Formal Methods (1999)
John C. Knight, P. Thomas Fletcher, Brian R. Hicks
Tool Support for Production Use of Formal Techniques. World Congress on Formal Methods (1999)
Salimeh Behnia, Hélène Waeselynck
Test Criteria Definition for B Models. World Congress on Formal Methods (1999)
John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou
A Formalization of Software Architecture. World Congress on Formal Methods (1999)
Xia Yong, Chris George
An Operational Semantics for Timed RAISE. World Congress on Formal Methods (1999)
Loe M. G. Feijs
Modelling Microsoft COM Using pi-Calculus. World Congress on Formal Methods (1999)
Rosa M. Jiménez, Fernando Orejas
An Algebraic Framework for Higher-Order Modules. World Congress on Formal Methods (1999)
Riccardo Focardi, Fabio Martinelli
A Uniform Approach for the Definition of Security Properties. World Congress on Formal Methods (1999)
Jean-François Monin, Francis Klay
Correctness Proof of the Standardized Algorithm for ABR Conformance. World Congress on Formal Methods (1999)
Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach. World Congress on Formal Methods (1999)
Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida
Component-Based Algebraic Specification and Verification in CafeOBJ. World Congress on Formal Methods (1999)
Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita
Formal Specification and Validation of a Vital Communication Protocol. World Congress on Formal Methods (1999)
Jifeng He
A Behavioral Model for Co-design. World Congress on Formal Methods (1999)
Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier
Météor: A Successful Application of B in a Large Project. World Congress on Formal Methods (1999)
Anamaria Martins Moreira
Proof Preservation in Component Generalization. World Congress on Formal Methods (1999)
Eric Meyer, Jeanine Souquières
A Systematic Approach to Transform OMT Diagrams to a B Specification. World Congress on Formal Methods (1999)
H. B. M. Jonkers
Communication and Synchronisation Using Interaction Objects. World Congress on Formal Methods (1999)
Stavros Tripakis, Karine Altisen
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. World Congress on Formal Methods (1999)
Bernhard Schätz, Franz Huber
Integrating Formal Description Techniques. World Congress on Formal Methods (1999)
Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright
Reasoning About Interactive Systems. World Congress on Formal Methods (1999)
Volkmar Lotz, Volker Kessler, Georg Walter
A Formal Security Model for Microprocessor Hardware. World Congress on Formal Methods (1999)
Ian MacColl, David A. Carrington
A Model of Specification-Based Testing of Interactive Systems. World Congress on Formal Methods (1999)
Michel Charpentier, K. Mani Chandy
Towards a Compositional Approach to the Design and Verification of Distributed Systems. World Congress on Formal Methods (1999)
Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor
The Value of Verification: Positive Experience of Industrial Proof. World Congress on Formal Methods (1999)
Farn Wang
Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. World Congress on Formal Methods (1999)
Marine Tabourier, Ana R. Cavalli, Melania Ionescu
A GSM-MAP Protocol Experiment Using Passive Testing. World Congress on Formal Methods (1999)
Brian Matthews, Elvira Locuratolo
Formal Development of Databases in ASSO and B. World Congress on Formal Methods (1999)
Andrew P. Martin
Relating Z and First-Order Logic. World Congress on Formal Methods (1999)
Fred Gilham, Robert A. Riemenschneider, Victoria Stavridou
Secure Interoperation of Secure Distributed Databases. World Congress on Formal Methods (1999)
David Déharbe, Anamaria Martins Moreira
Symbolic Model Checking with Fewer Fixpoint Computations. World Congress on Formal Methods (1999)
Heike Wehrheim
Data Abstraction for CSP-OZ. World Congress on Formal Methods (1999)
Rajeev Alur, Joel M. Esposito, MinJun Kim, Vijay Kumar, Insup Lee
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination. World Congress on Formal Methods (1999)
Jin Song Dong, Brendan P. Mahony, Neale Fulton
Modeling Aircraft Mission Computer Task Rates. World Congress on Formal Methods (1999)
Anne E. Haxthausen, Jan Peleska
Formal Development and Verification of a Distributed Railway Control System. World Congress on Formal Methods (1999)
Pertti Kellomäki, Tommi Mikkonen
Archived Design Steps in Temporal Logic. World Congress on Formal Methods (1999)
Jean-Michel Couvreur
On-the-Fly Verification of Linear Temporal Logic. World Congress on Formal Methods (1999)
Erich Grädel, Marc Spielmann
Logspace Reducibility via Abstract State Machines. World Congress on Formal Methods (1999)
Steve A. Schneider
Abstraction and Testing. World Congress on Formal Methods (1999)
Richard F. Paige, Eric C. R. Hehner
Bunches for Object-Oriented, Concurrent, and Real-Time Specification. World Congress on Formal Methods (1999)
Eric C. R. Hehner, Andrew M. Gravell
Refinement Semantics and Loop Rules. World Congress on Formal Methods (1999)
Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer
The UniForM Workbench, a Universal Development Environment for Formal Methods. World Congress on Formal Methods (1999)

volume 1709, 1999

FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II World Congress on Formal Methods 1709 (1999)

volume 1708, 1999

FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I World Congress on Formal Methods 1708 (1999)