| 1998 | Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino |
| 1997 | A Computer Aided Design of a Secure Registration Protocol. François Germeau, Guy Leduc |
| 1997 | A Framework for Distributed Object-Oriented Testing. Alan C. Y. Wong, Samuel T. Chanson, Shing-Chi Cheung, Holger Fuchs |
| 1997 | A Hierarchy of Communication Models for Message Sequence Charts. André Engels, Sjouke Mauw, Michel A. Reniers |
| 1997 | A Methodology for the Description of System Requirements and the Derivation of Formal Specifications. Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu |
| 1997 | A Timed Automaton Model for ET-LOTOS Verification. Christian Hernalsteen |
| 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 | Algebraic Specification through Expression Transformation. Manuel J. Fernández-Iglesias, Martín Llamas Nistal |
| 1997 | An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System. L. Andriantsiferana, Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Picci |
| 1997 | An Improved Search Strategy for Lossy Channel Systems. Parosh Aziz Abdulla, Mats Kindahl, Doron A. Peled |
| 1997 | Automatic Checking of Aggregation Abstractions Through State Enumeration. Seungjoon Park, Satyaki Das, David L. Dill |
| 1997 | Combining CSP and Object-Z: Finite or Infinite Trace Semantics? Clemens Fischer, Graeme Smith |
| 1997 | Concept of Quantified Abstract Quotient Automaton and its Advantage. Guy Juanole, Laurent Gallon |
| 1997 | Consistent Semantics for ODP Information and Computational Models. Joubine Dustzadeh, Elie Najm |
| 1997 | Disjunction of LOTOS Specifications. Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten |
| 1997 | Distributed Object Consistency in Mobile Environments. Henry Chang |
| 1997 | Dynamic Priorities for Modeling Real-Time. Girish Bhat, Rance Cleaveland, Gerald Lüttgen |
| 1997 | Eight Years of Experience in Test Generation from FDTs using TVEDA. Roland Groz, Nathalie Risser |
| 1997 | Friendly Testing as a Conformance Relation. David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez |
| 1997 | Generalized Metric Based Test Selection and Coverage Measure for Communication Protocols. Jinsong Zhu, Son T. Vuong |
| 1997 | Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks. Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi |
| 1997 | Intelligent Protocol Analyzer with TCP Behavior Emulation for Interoperability Testing of TCP/IP Protocols. Toshihiko Kato, Tomohiko Ogishi, Akira Idoue, Kenji Suzuki |
| 1997 | Interoperability Test Suite Derivation for Symmetric Communication Protocols. Sungwon Kang, Myungchul Kim |
| 1997 | Modelling Digital Logic in SDL. Gyula Csopaki, Kenneth J. Turner |
| 1997 | Network and Application for New Generation. Ichiroh Sakakibara |
| 1997 | On a Concurrency Calculus for Design of Mobile Telecommunication Systems. Toshihiko Ando, Kaoru Takahashi, Yasushi Kato |
| 1997 | On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications. Ralf Henke, Andreas Mitschele-Thiel, Hartmut König |
| 1997 | On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions. Marek Musial |
| 1997 | Refusal Testing for Classes of Transition Systems with Inputs and Outputs. Lex Heerink, Jan Tretmans |
| 1997 | Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
| 1997 | Self-independent Petri Nets for Distributed Systems. Yong Sun, Shaoying Liu, Mitsuru Ohba |
| 1997 | Specification-based Testing of Concurrent Systems. Andreas Ulrich, Hartmut König |
| 1997 | Specifying the ODP Trader: An Introduction to E-LOTOS. Giovanny F. Lucero, Juan Quemada |
| 1997 | The Future Information Technology and its Impact to the Society. Shoichi Noguchi |
| 1997 | Timing Constraints in Message Sequence Chart Specifications. Hanêne Ben-Abdallah, Stefan Leue |
| 1997 | Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. James H. Andrews, Nancy A. Day, Jeffrey J. Joyce |
| 1997 | Validating Protocol Composition for Progress by Parallel Step Reachability Analysis. Gurdip Singh, Hong Liu |