The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Conferences in DBLP

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

  1. Manfred Broy
    Methodological Objectives for Formal Description Techniques. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:1-16 [Conf]
  2. Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini
    How Expressive Are LOTOS Behaviour Expressions? [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:17-32 [Conf]
  3. Matthew Hennessy, Tim Regan
    A Temporal Process Algebra. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:33-48 [Conf]
  4. S. Gallouzi, Luigi Logrippo, Abdellatif Obaid
    A Hoare-style Proof System for LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:49-62 [Conf]
  5. Han Zuidweg
    Synchronic Distance in Process Algebra. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:63-77 [Conf]
  6. S. Ramanathan, G. Sivakumar
    Rewrite Systems for Protocol Specification and Verification. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:79-94 [Conf]
  7. Jean-Claude Fernandez, Laurent Mounier
    Verifying Bisimulations "On the Fly". [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:95-110 [Conf]
  8. M. Hakan Erdogmus, Robert de B. Johnston
    An Approach to Specifying and Synthesizing Communicating Processes. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:111-126 [Conf]
  9. Günter Karjoth
    A Compilation of Algebraic Processes Based on Extended-Action Derivation. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:127-140 [Conf]
  10. Martin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba
    Translation from TTCN to LOTOS and the Validation of Test Cases. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:141-155 [Conf]
  11. Clazien D. Wezeman, S. Batley, J. Lynch
    Formal Methods to Assist Conformance Testing. A Case Study. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:157-174 [Conf]
  12. Marc Phalippou, Roland Groz
    From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:175-190 [Conf]
  13. Woojik Chun, Paul D. Amer
    Test Case Generation for Protocols Specified in Estelle. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:191-206 [Conf]
  14. Dieter Hogrefe
    Conformance Testing Based on Formal Methods. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:207-222 [Conf]
  15. E. Jane Cameron, David M. Cohen, Timothy M. Guinther, William M. Keese II, Linda A. Ness, Cynthia Norman, Hassan N. Srinidhi
    L.0: A Language for Modeling and Prototyping Communications Software. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:223-238 [Conf]
  16. Falko Bause, Peter Buchholz
    Protocol Analysis Using a Timed Version of SDL. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:239-254 [Conf]
  17. Luís Ferreira Pires, Wanderley Lopes de Souza
    Step-wise Refinement Design Example Using LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:255-262 [Conf]
  18. Pierre Azéma, Khalil Drira, François Vernadat
    A Bus Instrumentation Protocol Specified in LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:263-269 [Conf]
  19. Jean-Marc Jézéquel
    Experience in Validating Protocol Integration Using Estelle. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:271-278 [Conf]
  20. Roger Duke, Gordon A. Rose, Graeme Smith
    Transferring Formal Techniques to Industry. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:279-286 [Conf]
  21. Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno
    OSI Testing Environment Based on the Standardized Formalisms. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:287-294 [Conf]
  22. Michael Sample, Gerald W. Neufeld
    Support for ASN.1 within a Protocol Testing Environment. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:295-302 [Conf]
  23. Rachida Dssouli, Reine Fournier, Gregor von Bochmann
    Distributed Observation and FIFO Queues. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:303-310 [Conf]
  24. J. M. Martin Espinosa, J. M. Robles Roman, L. Fuertes Prieto
    Concurrent Modelling in LOTOS as a Solution to Real Time Problems. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:311-318 [Conf]
  25. M. Gamble, C. R. Taylor
    The CCSDS Protocol Validation Programme Inter Agency Testin Using LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:319-326 [Conf]
  26. Josefina Navarro, Pablo San Martin
    Experience in the Development of an ISDN Layer 3 Service in LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:327-336 [Conf]
  27. Juan A. Saras, Julio Berocal, Juan Riera
    Use of Estelle, LOTOS and ASN.1 in One Project. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:337-343 [Conf]
  28. M. Baptista, Susanne Graf, Jean-Luc Richier, Luís Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron
    Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:345-352 [Conf]
  29. Anders Olsen
    Extending SDL with a Procedural Data Concept. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:353-360 [Conf]
  30. Piotr Dembinski
    Interfacing ASN.1 and Estelle: A Practical Approach. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:361-368 [Conf]
  31. A. B. Alkhechi, Stanislaw Budkowski
    Automatic Translation of Time Petri Nets into Estelle Description. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:369-376 [Conf]
  32. Richard L. Tenney
    Adding Interaction Sets to Estelle. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:377-382 [Conf]
  33. Tomás de Miguel, Tomás Robles, Joaquín Salvachúa, Arturo Azcorra
    The SRTS Experience: Using TOPO for LOTOS Design and Realization. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:383-394 [Conf]
  34. Ove Faergemand
    Stepwise Production of an SDL Description. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:395-410 [Conf]
  35. Marten van Sinderen, Ing Widya
    On the Design and Formal Specification of a Transaction Processing Protocol. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:411-426 [Conf]
  36. Jean-Bernard Stefani
    ODP: The Next Target for the Applciation of FDTs. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:427-442 [Conf]
  37. Josef Hinterplattner, Heinrich Nirschl, Heinz Saria
    Process Topology Diagrams. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:443-458 [Conf]
  38. Tommaso Bolognesi, David de Frutos-Escrig, Yolanda Ortega-Mallén
    Graphical Composition Theorems for Parallel and Hiding Operators. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:459-470 [Conf]
  39. Gonzalo León
    On the Technology Transfer of Formal Methods: An Experience on LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:471-486 [Conf]
  40. Martine Guilmet, Philippe Thomas, Bruno Traverson
    Desing, Implementation and Validation of a Multi-Peer Protocol Using Estelle. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:487-502 [Conf]
  41. Y. T. Cheung, J. William Atwood
    Specifying the Xpress Transfer Protocol Using Estelle and Valira. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:503-517 [Conf]
  42. Anders Ek, Jan Ellsberger
    TA-2: A Prototype Analysing Dynamic SDL Properties. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:519-522 [Conf]
  43. Colin J. Fidge
    A LOTOS Interpreter for Simulating Real-Time Behaviour. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:523-526 [Conf]
  44. Carron Kirkwood, Kathy Norrie
    Some Experiments Using Term Rewriting Techniques for Concurrency. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:527-530 [Conf]
  45. Gregor von Bochmann, Daniel Ouimet, Gerald W. Neufeld
    ASN.1 and Estelle Implementation Support Tools. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:531-534 [Conf]
  46. Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi
    A LOTOS Simulator in OBJ. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:535-538 [Conf]
  47. F. Brady, A. Boshier, D. Pitt, B. Szczygiel
    One2One - A Tool for Translating ASN.1 to ACT ONE. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:539-542 [Conf]
  48. Rachid Sijelmassi, Brett Strausser
    NIST Integrated Tool Set for Estelle. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:543-546 [Conf]
  49. To-Yat Cheung, Yucheng Ye
    An Executor for Graphical LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:547-550 [Conf]
  50. Darren New, Paul D. Amer
    Protocol Visualization of Estelle Specifications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:551-554 [Conf]
  51. Kou Miyake, Y. Shigeta, W. Tanaka, H. Hasegawa
    Automatic Code Generation for SDL to C++ for an Integrated Software Development Support System. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:555-558 [Conf]
  52. Santiago Pavón, Martín Llamas Nistal
    The Testing Functionalities of LOLA. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:559-562 [Conf]
  53. Luigi Logrippo
    The University of Ottawa LOTOS Toolkit. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:563-566 [Conf]
  54. J. Queiroz, Ahmed Serhrouchni, P. Cunha, Elie Najm
    PIL: A Tool for Pre-implementation of LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:567-570 [Conf]
  55. Ken R. Parker
    The PROMPT Automatic Implementation Tool - Initial Impressions. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:571-576 [Conf]
  56. Peter van Eijk, Henk Eertink
    Design of the LOTOSPHERE Symbolic LOTOS Simulator. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:577-580 [Conf]
  57. Paul de Jager, Willem Jonker, Albert Wammes, Johan Wester
    An Interactive Programming Environment for LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:581-584 [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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002