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

Invited Papers

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

Part One: Design Methodologies

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

Part Two: Verification I

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

Part Three: Algebraic Languages

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

Part Four: System Specification and Z

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

Part Five: Industrial Experiences

Aana Robnik: Experiences of Using SDL Collected in IskraTEL SDL Methodology. 221-236
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
Bjørn Gulla, Joe Gorman: Supporting Evolution of SDL-based Systems: Industrial Experience. 253-268

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
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
Jean-Charles Grégoire, Michael J. Ferguson, Lou Pino: Combining Formal Methods: An Exercise in Integration. 295-302
Alain Kerbrat, Slim Ben Atallah: Formal Specification of a Framework for Groupware Development. 303-310

Part Seven: Tools and Testing

Abdelaziz Guerrouat, Hartmut König, Andreas Ulrich: SELEXPERT - A Knowledge-based Tool for Test Case Selection. 313-328
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
E. Lallet, S. Fischer, J.-F. Verdier: A New Approach for Distributing Estelle Specifications. 339-348

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
Manuel Núñez, David de Frutos-Escrig: Testing Semantics for Probabilistic LOTOS. 367-382
Jim Davies, Jeremy Bryans, Steve Schneider: Real-time LOTOS and Timed Observations. 383-397

Part Nine: Verification II

András L. Oláh, Sonia M. Heemstra de Groot: Assertional Verification of a Connection Management Protocol. 401-416
François Gagnon, Jean-Charles Grégoire, D. Zampuniéris: Sharing Trees for "on-the-fly" Verification. 417-432
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
M. Hendaz, Stanislaw Budkowski: A New Approach for Protocols Performance Evaluation Using Estelle Specifications. 441-448

Last update Sat May 18 18:31:11 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page