default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th FORTE / 17th PSTV 1997: Osaka, Japan
- Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino:
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. IFIP Conference Proceedings 107, Chapman & Hall 1998, ISBN 0-412-82060-9
Invited Talk I
- Ichiroh Sakakibara:
Network and Application for New Generation. FORTE 1997: 1
Part One - Testing Theory for Concurrent Systems
- Andreas Ulrich, Hartmut König:
Specification-based Testing of Concurrent Systems. FORTE 1997: 7-22 - Lex Heerink, Jan Tretmans:
Refusal Testing for Classes of Transition Systems with Inputs and Outputs. FORTE 1997: 23-38 - Alan C. Y. Wong, Samuel T. Chanson, Shing-Chi Cheung, Holger Fuchs:
A Framework for Distributed Object-Oriented Testing. FORTE 1997: 39-56 - Sungwon Kang, Myungchul Kim:
Interoperability Test Suite Derivation for Symmetric Communication Protocols. FORTE 1997: 57-72
Part Two - MSC and ODP
- André Engels, Sjouke Mauw, Michel A. Reniers:
A Hierarchy of Communication Models for Message Sequence Charts. FORTE 1997: 75-90 - Hanêne Ben-Abdallah, Stefan Leue:
Timing Constraints in Message Sequence Chart Specifications. FORTE 1997: 91-106 - Joubine Dustzadeh, Elie Najm:
Consistent Semantics for ODP Information and Computational Models. FORTE 1997: 107-126 - Giovanny F. Lucero, Juan Quemada:
Specifying the ODP Trader: An Introduction to E-LOTOS. FORTE 1997: 127-142
Part Three - LOTOS and Extension
- François Germeau, Guy Leduc:
A Computer Aided Design of a Secure Registration Protocol. FORTE 1997: 145-160 - Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi:
Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks. FORTE 1997: 161-176 - Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten:
Disjunction of LOTOS Specifications. FORTE 1997: 177-192 - Christian Hernalsteen:
A Timed Automaton Model for ET-LOTOS Verification. FORTE 1997: 193-204
Part Four - Verification Technique
- Seungjoon Park, Satyaki Das, David L. Dill:
Automatic Checking of Aggregation Abstractions Through State Enumeration. FORTE 1997: 207-222 - Guy Juanole, Laurent Gallon:
Concept of Quantified Abstract Quotient Automaton and its Advantage. FORTE 1997: 223-238 - Gurdip Singh, Hong Liu:
Validating Protocol Composition for Progress by Parallel Step Reachability Analysis. FORTE 1997: 239-250 - Parosh Aziz Abdulla, Mats Kindahl, Doron A. Peled:
An Improved Search Strategy for Lossy Channel Systems. FORTE 1997: 251-264
Part Five - Conformance Testing
- Deukyoon Kang, Sungwon Kang, Myungchul Kim, Sangjo Yoo:
A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines. FORTE 1997: 267-282 - David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez:
Friendly Testing as a Conformance Relation. FORTE 1997: 283-298 - Jinsong Zhu, Son T. Vuong:
Generalized Metric Based Test Selection and Coverage Measure for Communication Protocols. FORTE 1997: 299-314
Invited Talk II
- Shoichi Noguchi:
The Future Information Technology and its Impact to the Society. FORTE 1997: 317
Part Six - Real Time Systems
- Girish Bhat, Rance Cleaveland, Gerald Lüttgen:
Dynamic Priorities for Modeling Real-Time. FORTE 1997: 321-336 - Marek Musial:
On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions. FORTE 1997: 337-352
Part Seven - Languages and Applications
- Manuel J. Fernández-Iglesias, Martín Llamas Nistal:
Algebraic Specification through Expression Transformation. FORTE 1997: 355-366 - Gyula Csopaki, Kenneth J. Turner:
Modelling Digital Logic in SDL. FORTE 1997: 367-382 - Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu:
A Methodology for the Description of System Requirements and the Derivation of Formal Specifications. FORTE 1997: 383-398 - Ralf Henke, Andreas Mitschele-Thiel, Hartmut König:
On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications. FORTE 1997: 399-414
Part Eigth - Industrial Usage Reports
- James H. Andrews, Nancy A. Day, Jeffrey J. Joyce:
Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. FORTE 1997: 417-432 - L. Andriantsiferana, Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Picci:
An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System. FORTE 1997: 433-448 - Toshihiko Kato, Tomohiko Ogishi, Akira Idoue, Kenji Suzuki:
Intelligent Protocol Analyzer with TCP Behavior Emulation for Interoperability Testing of TCP/IP Protocols. FORTE 1997: 449-464 - Roland Groz, Nathalie Risser:
Eight Years of Experience in Test Generation from FDTs using TVEDA. FORTE 1997: 465-480
Invited Talk III
- Henry Chang:
Distributed Object Consistency in Mobile Environments. FORTE 1997: 483
Part Nine - Concurrent Systems
- Yong Sun, Shaoying Liu, Mitsuru Ohba:
Self-independent Petri Nets for Distributed Systems. FORTE 1997: 487-502 - Clemens Fischer, Graeme Smith:
Combining CSP and Object-Z: Finite or Infinite Trace Semantics? FORTE 1997: 503-518 - Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. FORTE 1997: 519-534 - Toshihiko Ando, Kaoru Takahashi, Yasushi Kato:
On a Concurrency Calculus for Design of Mobile Telecommunication Systems. FORTE 1997: 535-546
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-15 22:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
