| 1996 | Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 Gregor von Bochmann, Rachida Dssouli, Omar Rafiq |
| 1995 | A Comparison between the Service Addition Language SAL and the ITU-T Recommendation Z.120. Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher |
| 1995 | A LOTOS Compiler Generating Multi-threaded Object Codes. Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi |
| 1995 | A New Approach for Distributing Estelle Specifications. Eric Lallet, Stefan Fischer, Jean-François Verdier |
| 1995 | A New Approach for Protocols Performance Evaluation Using Estelle Specifications. M. Hendaz, Stanislaw Budkowski |
| 1995 | A Reachability Analysis of RT-LOTOS Specifications. Jean-Pierre Courtiat, Roberto C. de Oliveira |
| 1995 | A Unified Model for CSP-like Languages with Specifications. Luming Lai |
| 1995 | An Extension of GDMO for Formalizing Managed Objects Behaviour. Joaquín Keller |
| 1995 | Assertional Verification of a Connection Management Protocol. András L. Oláh, Sonia M. Heemstra de Groot |
| 1995 | Combining Formal Methods: An Exercise in Integration. Jean-Charles Grégoire, Michael J. Ferguson, Lou Pino |
| 1995 | Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri Nets. Guy Juanole, Laurent Gallon |
| 1995 | Development of Broadband ISDN Telecommunication Services Using SDL'92, ASN.1 and Automatic Code Generation. Ulf Behnke, Michael Geipl, Gerd Kurzbach, Ralf Schröder, Nils Fischbeck, Renée Mundstock |
| 1995 | Distributed System Specification in VDM Kevin Lano |
| 1995 | Experiences of Using SDL Collected in IskraTEL SDL Methodology. Aana Robnik |
| 1995 | Formal Method for Event-Triggered Sequential Systems. Carsta Petersohn |
| 1995 | Formal Specification of a Framework for Groupware Development. Alain Kerbrat, Slim Ben Atallah |
| 1995 | Formal Support for Design Techniques: A Timethreads-LOTOS Approach. Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo |
| 1995 | Formal Verfication of a Protocol for Communications over Faulty Channels. Boutheina Chetali, Pierre Lescanne |
| 1995 | Mutation Testing Applied to Validate Specifications Based on Petri Nets. Sandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado, Paulo César Masiero, Márcio Eduardo Delamaro, W. Eric Wong |
| 1995 | OMT Viviane Jonckers, Kurt Verschaeve, Bart Wydaeghe, Ludo Cuypers, J. Heirbaut |
| 1995 | Real-time LOTOS and Timed Observations. Jim Davies, Jeremy W. Bryans, Steve A. Schneider |
| 1995 | SELEXPERT - A Knowledge-based Tool for Test Case Selection. Abdelaziz Guerrouat, Hartmut König, Andreas Ulrich |
| 1995 | Secrets of Call Forwarding: A Specification Case Study. Pamela Zave |
| 1995 | Sharing Trees for "on-the-fly" Verification. François Gagnon, Jean-Charles Grégoire, D. Zampuniéris |
| 1995 | Specification and Verification of Timed Systems. Joseph Sifakis |
| 1995 | Specifying Properties of Basic LOTOS Processes Using Temporal Logic. Carron Kirkwood |
| 1995 | Stabilizing Client/Server Protocols without the Tears. Mohamed G. Gouda |
| 1995 | Supporting Evolution of SDL-based Systems: Industrial Experience. Bjørn Gulla, Joe Gorman |
| 1995 | Testing Semantics for Probabilistic LOTOS. Manuel Núñez, David de Frutos-Escrig |
| 1995 | Towards a Mobile LOTOS. Elie Najm, Jean-Bernard Stefani, Arnaud Février |
| 1995 | Type Specifications with Processes. Franz Puntigam |
| 1995 | Using PO Methods for Verfying Behavioural Equivalences. Monica Lara de Souza, Robert de Simone |
| 1995 | Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers. Teruo Higashino, Akio Nakata, Tatsuo Itoh, Kenichi Taniguchi |