| 1997 | Self-independent Petri Nets for Distributed Systems. | Yong Sun, Shaoying Liu, Mitsuru Ohba |
| 1997 | Disjunction of LOTOS Specifications. | Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten |
| 1997 | Validating Protocol Composition for Progress by Parallel Step Reachability Analysis. | Gurdip Singh, Hong Liu |
| 1997 | Network and Application for New Generation. | Ichiroh Sakakibara |
| 1997 | Automatic Checking of Aggregation Abstractions Through State Enumeration. | Seungjoon Park, Satyaki Das, David L. Dill |
| 1997 | The Future Information Technology and its Impact to the Society. | Shoichi Noguchi |
| 1997 | On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions. | Marek Musial |
| 1997 | Specifying the ODP Trader: An Introduction to E-LOTOS. | Giovanny F. Lucero, Juan Quemada |
| 1997 | Intelligent Protocol Analyzer with TCP Behavior Emulation for Interoperability Testing of TCP/IP Protocols. | Toshihiko Kato, Tomohiko Ogishi, Akira Idoue, Kenji Suzuki |
| 1997 | A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines. | Deukyoon Kang, Sungwon Kang, Myungchul Kim, Sangjo Yoo |
| 1997 | Interoperability Test Suite Derivation for Symmetric Communication Protocols. | Sungwon Kang, Myungchul Kim |
| 1997 | Concept of Quantified Abstract Quotient Automaton and its Advantage. | Guy Juanole, Laurent Gallon |
| 1997 | Algebraic Specification through Expression Transformation. | Manuel J. Fernndez-Iglesias, Martn Llamas Nistal |
| 1997 | A Timed Automaton Model for ET-LOTOS Verification. | Christian Hernalsteen |
| 1997 | On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications. | Ralf Henke, Andreas Mitschele-Thiel, Hartmut Knig |
| 1997 | Refusal Testing for Classes of Transition Systems with Inputs and Outputs. | Lex Heerink, Jan Tretmans |
| 1997 | Eight Years of Experience in Test Generation from FDTs using TVEDA. | Roland Groz, Nathalie Risser |
| 1997 | A Computer Aided Design of a Secure Registration Protocol. | Franois Germeau, Guy Leduc |
| 1997 | Friendly Testing as a Conformance Relation. | David de Frutos-Escrig, Luis Fernando Llana Daz, Manuel Nez |
| 1997 | Combining CSP and Object-Z: Finite or Infinite Trace Semantics? | Clemens Fischer, Graeme Smith |
| 1997 | A Hierarchy of Communication Models for Message Sequence Charts. | Andr Engels, Sjouke Mauw, Michel A. Reniers |
| 1997 | Consistent Semantics for ODP Information and Computational Models. | Joubine Dustzadeh, Elie Najm |
| 1997 | Modelling Digital Logic in SDL. | Gyula Csopaki, Kenneth J. Turner |
| 1997 | Distributed Object Consistency in Mobile Environments. | Henry Chang |
| 1997 | Dynamic Priorities for Modeling Real-Time. | Girish Bhat, Rance Cleaveland, Gerald Lttgen |