The SCEAS System
Navigation Menu

Conferences in DBLP

Formal Techniques for Networked and Distributed Systems / (forte)
1989 (conf/forte/1989)

  1. Fumiaki Sato, Kotaro Katsuyama, Tadanori Mizuno
    TENT: Test Sequence Generation Tool for Communication Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:1-5 [Conf]
  2. Behdad Forghani, Srinivas Eswara, Vassilios N. Koukoulidis, Behçet Sarikaya
    An Estelle Based Test Generation Tool for Modular Specifications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:7-11 [Conf]
  3. Rudie Alderden
    COOPER - The Compositional Construction of a Canonical Tester. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:13-17 [Conf]
  4. Joaquín Seoane
    A Tool for Encoding and Decoding Big ASN.1 Messages. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:19-23 [Conf]
  5. P. Li, M. von Thun, Tharam S. Dillon
    Semiautomatic Implementation of Communication Protocols from a Petri Net Based Specification Language Description. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:25-29 [Conf]
  6. T. Y. Cheung, Y. C. Ye, X. Ye, G. Q. Wang
    UO-GLOTOS: A Syntax/System for Representing, Editing and Translating Graphical LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:31-36 [Conf]
  7. Michael Atlevi
    SDT - a Real-Time CASE Tool for the CCITT Specification Language SDL. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:37-41 [Conf]
  8. Peter van Eijk
    Tools for LOTOS Specification Style Transformation. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:43-51 [Conf]
  9. Pieter S. Kritzinger, Graham Wheeler
    A Protocol Engineering Workstation. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:53-59 [Conf]
  10. Eric Madelaine, Didier Vergamini
    AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:61-66 [Conf]
  11. Reinhard Gotzhein
    The Formal Definition of the Architectural Concept "Interaction Point". [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:67-81 [Conf]
  12. Rob Booth
    An Evaluation of the LCF Theorem Prover using LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:83-99 [Conf]
  13. Ed Brinksma
    Specification Modules in LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:101-115 [Conf]
  14. Kenneth J. Turner
    A LOTOS-Based Development Strategy. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:117-132 [Conf]
  15. Gregor von Bochmann, Qiang Gao, Cheng Wu
    On the Distributed Implementation of LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:133-146 [Conf]
  16. Hubert Garavel
    Compilation of LOTOS Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:147-162 [Conf]
  17. Eric Dubuis
    An Algorithm for Translating LOTOS Behavior Expressions into Automata and Ports. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:163-177 [Conf]
  18. Wilfried H. P. van Hulzen, Paul A. J. Tilanus, Han Zuidweg
    LOTOS Extended with Clocks. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:179-193 [Conf]
  19. Juan Quemada, Arturo Azcorra, David de Frutos-Escrig
    TIC: A Timed Calculus for LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:195-209 [Conf]
  20. Elspeth Cusack, Steve Rudkin, Chris Smith
    An Object Oriented Interpretation of LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:211-226 [Conf]
  21. Hans Hansson, Bengt Jonsson, Fredrik Orava, Björn Pehrson
    Specification for Verification. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:227-244 [Conf]
  22. David Gilbert
    Specifying Concurrent Systems Using Logic. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:245-260 [Conf]
  23. Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve
    An Expressive Temporal Logic for Basic LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:261-276 [Conf]
  24. David Lorge Parnas
    Documentation of Communications Services and Protocols. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:277-280 [Conf]
  25. David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith
    Object-Z: An Object-Oriented Extension to Z. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:281-296 [Conf]
  26. Ansgar Bergmann, Uwe Janßen
    Yet another FDT ? An Introduction to CHILL-S. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:297-311 [Conf]
  27. Vijay K. Garg
    Modeling of Distributed Systems by Concurrent Regular Expressions. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:313-327 [Conf]
  28. Piyu Tripathy, Behçet Sarikaya
    Test Generation from Protocol Specification. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:329-343 [Conf]
  29. Jan Tretmans
    Test Case Derivation from LOTOS Specifications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:345-359 [Conf]
  30. Djaffar Gueraichi, Luigi Logrippo
    Derivation of Test Cases for LAP-B from a LOTOS Specification. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:361-374 [Conf]
  31. Jean Philippe Favreau, Richard J. Linn Jr., J. Stephen Nightingale
    A Formal Multi-Layer Test Methodology and its Applications to OSI. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:375-392 [Conf]
  32. Pierre de Saqui-Sannes, Jean-Pierre Courtiat
    From the Simulation to the Verification of Estelle Specifications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:393-407 [Conf]
  33. Kong E. Cheng, Lindsay N. Jackson
    Automatic Translation of SDL Specifications to Implementation Based on Syntactic Transformation. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:409-419 [Conf]
  34. Jürgen M. Schneider, Iris B. Neumeier-Mackert, Lothar F. Mackert, Roelof Jan Velthuys
    Executable Communicating Rule Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:421-436 [Conf]
  35. Deepinder P. Sidhu, Anthony Chung
    Experience with Formal Methods in Protocol Development. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:437-453 [Conf]
  36. Michel Diaz, Jean Dufau, Roland Groz
    Experiences Using Estelle Within SEDOS Estelle Demonstrator. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:455-470 [Conf]
  37. Samuel C. Chamberlain, Paul D. Amer
    A New User's Experiences and Impressions with Estelle. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:471-484 [Conf]
  38. Richard C. Cam, Son T. Vuong
    A Formal Specification, in LOTOS, of a Simplified Cellular Mobile Communication System. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:485-499 [Conf]
  39. Gonzalo León, Carlos Delgado Kloos, G. González, M. A. Ruz, Saturnino Marchena Rodriguez, L. Santos, J. Navarro
    ASDE: Design of a Transformational Environment for LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:501-515 [Conf]
  40. Muffy Thomas
    From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:517-531 [Conf]
  41. Jian-Ping Wu, Samuel T. Chanson
    Translation from LOTOS and Estelle Specifications to Extended Transition System and its Verification. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:533-549 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002