| 1995 | A New Approach for Distributing Estelle Specifications. | Eric Lallet, Stefan Fischer, Jean-Franois Verdier |
| 1995 | A Unified Model for CSP-like Languages with Specifications. | Luming Lai |
| 1995 | Specifying Properties of Basic LOTOS Processes Using Temporal Logic. | Carron Kirkwood |
| 1995 | Formal Specification of a Framework for Groupware Development. | Alain Kerbrat, Slim Ben Atallah |
| 1995 | An Extension of GDMO for Formalizing Managed Objects Behaviour. | Joaqun Keller |
| 1995 | Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri Nets. | Guy Juanole, Laurent Gallon |
| 1995 | OMT | Viviane Jonckers, Kurt Verschaeve, Bart Wydaeghe, Ludo Cuypers, J. Heirbaut |
| 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 |
| 1995 | A New Approach for Protocols Performance Evaluation Using Estelle Specifications. | M. Hendaz, Stanislaw Budkowski |
| 1995 | Supporting Evolution of SDL-based Systems: Industrial Experience. | Bjrn Gulla, Joe Gorman |
| 1995 | SELEXPERT - A Knowledge-based Tool for Test Case Selection. | Abdelaziz Guerrouat, Hartmut Knig, Andreas Ulrich |
| 1995 | Combining Formal Methods: An Exercise in Integration. | Jean-Charles Grgoire, Michael J. Ferguson, Lou Pino |
| 1995 | Stabilizing Client/Server Protocols without the Tears. | Mohamed G. Gouda |
| 1995 | Sharing Trees for "on-the-fly" Verification. | Franois Gagnon, Jean-Charles Grgoire, D. Zampuniris |
| 1995 | Mutation Testing Applied to Validate Specifications Based on Petri Nets. | Sandra Camargo Pinto Ferraz Fabbri, Jos Carlos Maldonado, Paulo Csar Masiero, Mrcio Eduardo Delamaro, W. Eric Wong |
| 1995 | Real-time LOTOS and Timed Observations. | Jim Davies, Jeremy W. Bryans, Steve A. Schneider |
| 1995 | A Reachability Analysis of RT-LOTOS Specifications. | Jean-Pierre Courtiat, Roberto C. de Oliveira |
| 1995 | Formal Verfication of a Protocol for Communications over Faulty Channels. | Boutheina Chetali, Pierre Lescanne |
| 1995 | Development of Broadband ISDN Telecommunication Services Using SDL'92, ASN.1 and Automatic Code Generation. | Ulf Behnke, Michael Geipl, Gerd Kurzbach, Ralf Schrder, Nils Fischbeck, Rene Mundstock |
| 1995 | Formal Support for Design Techniques: A Timethreads-LOTOS Approach. | Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo |
| 1994 | The formalization and analysis of CCR protocol and service. | Bairong Zhang, Alistair Munro, Michael Barton |
| 1994 | Automatic verification of real-time communicating systems by constraint-solving. | Wang Yi, Paul Pettersson, Mats Daniels |
| 1994 | FDT based development of an interworking unit between LANs and X.25 networks. | Juan C. Yelmo, F. Javier Carrasco, Carlos Snchez, Juan J. Gil, C. Ramos, M. I. Felipe |
| 1994 | A structural analysis approach to the evaluation of fault coverage for protocol conformance testing. | Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann |
| 1994 | Semantic-oriented description techniques for network management information modelling. | Deh-Min Wu |