8. FORTE 1995: Montreal, Canada

Gregor von Bochmann, Rachida Dssouli, Omar Rafiq (Eds.): Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995. IFIP Conference Proceedings 43 Chapman & Hall 1996, ISBN 0-412-73270-X BibTeX

@proceedings{DBLP:conf/forte/1995,
  editor    = {Gregor von Bochmann and
               Rachida Dssouli and
               Omar Rafiq},
  title     = {Formal Description Techniques VIII, Proceedings of the IFIP TC6
               Eighth International Conference on Formal Description Techniques,
               Montreal, Canada, October 1995},
  booktitle = {FORTE},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {43},
  year      = {1996},
  isbn      = {0-412-73270-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Joseph Sifakis: Specification and Verification of Timed Systems. 3-4 BibTeX
Mohamed G. Gouda: Stabilizing Client/Server Protocols without the Tears. 5-19 BibTeX

Part One: Design Methodologies

Kevin Lano: Distributed System Specification in VDM⁺⁺. 23-38 BibTeX
Viviane Jonckers, Kurt Verschaeve, Bart Wydaeghe, Ludo Cuypers, J. Heirbaut: OMT^*, Bridging the Gap between Analysis and Design. 39-55 BibTeX
Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo: Formal Support for Design Techniques: A Timethreads-LOTOS Approach. 57-72 BibTeX

Part Two: Verification I

Monica Lara de Souza, Robert de Simone: Using PO Methods for Verfying Behavioural Equivalences. 75-90 BibTeX
Boutheina Chetali, Pierre Lescanne: Formal Verfication of a Protocol for Communications over Faulty Channels. 91-108 BibTeX
Carron Kirkwood: Specifying Properties of Basic LOTOS Processes Using Temporal Logic. 109-116 BibTeX
Jean-Pierre Courtiat, Roberto C. de Oliveira: A Reachability Analysis of RT-LOTOS Specifications. 117-124 BibTeX

Part Three: Algebraic Languages

Elie Najm, Jean-Bernard Stefani, Arnaud Février: Towards a Mobile LOTOS. 127-142 BibTeX
Franz Puntigam: Type Specifications with Processes. 143-158 BibTeX
Luming Lai: A Unified Model for CSP-like Languages with Specifications. 159-166 BibTeX

Part Four: System Specification and Z

Pamela Zave: Secrets of Call Forwarding: A Specification Case Study. 169-184 BibTeX
Carsta Petersohn: Formal Method for Event-Triggered Sequential Systems. 185-200 BibTeX
Joaquín Keller: An Extension of GDMO for Formalizing Managed Objects Behaviour. 201-217 BibTeX

Part Five: Industrial Experiences

Aana Robnik: Experiences of Using SDL Collected in IskraTEL SDL Methodology. 221-236 BibTeX
Ulf Behnke, Michael Geipl, Gerd Kurzbach, Ralf Schröder, Nils Fischbeck, Renée Mundstock: Development of Broadband ISDN Telecommunication Services Using SDL'92, ASN.1 and Automatic Code Generation. 237-252 BibTeX
Bjørn Gulla, Joe Gorman: Supporting Evolution of SDL-based Systems: Industrial Experience. 253-268 BibTeX

Part Six: Applying Formal Methods

Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi: A LOTOS Compiler Generating Multi-threaded Object Codes. 271-286 BibTeX
Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher: A Comparison between the Service Addition Language SAL and the ITU-T Recommendation Z.120. 287-294 BibTeX
Jean-Charles Grégoire, Michael J. Ferguson, Lou Pino: Combining Formal Methods: An Exercise in Integration. 295-302 BibTeX
Alain Kerbrat, Slim Ben Atallah: Formal Specification of a Framework for Groupware Development. 303-310 BibTeX

Part Seven: Tools and Testing

Abdelaziz Guerrouat, Hartmut König, Andreas Ulrich: SELEXPERT - A Knowledge-based Tool for Test Case Selection. 313-328 BibTeX
Sandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado, Paulo Cesar Masiero, Márcio Eduardo Delamaro, W. Eric Wong: Mutation Testing Applied to Validate Specifications Based on Petri Nets. 329-337 BibTeX
E. Lallet, S. Fischer, J.-F. Verdier: A New Approach for Distributing Estelle Specifications. 339-348 BibTeX

Part Eight: Real-time and Stochastic Systems

Guy Juanole, Laurent Gallon: Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri Nets. 351-366 BibTeX
Manuel Núñez, David de Frutos-Escrig: Testing Semantics for Probabilistic LOTOS. 367-382 BibTeX
Jim Davies, Jeremy Bryans, Steve Schneider: Real-time LOTOS and Timed Observations. 383-397 BibTeX

Part Nine: Verification II

András L. Oláh, Sonia M. Heemstra de Groot: Assertional Verification of a Connection Management Protocol. 401-416 BibTeX
François Gagnon, Jean-Charles Grégoire, D. Zampuniéris: Sharing Trees for "on-the-fly" Verification. 417-432 BibTeX
Teruo Higashino, Akio Nakata, Tatsuo Itoh, Kenichi Taniguchi: Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers. 433-440 BibTeX
M. Hendaz, Stanislaw Budkowski: A New Approach for Protocols Performance Evaluation Using Estelle Specifications. 441-448 BibTeX