Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Peter van Eijk |
Tool Demonstration: The Lotosphere Integrated Tool Environment Lite. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Santiago Pavón, M. Hulström, Juan Quemada, David de Frutos-Escrig, Y. Ortega |
Inverse Expansion. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Ashley McClenaghan |
Experience of Using LOTOS Within the CIM-OSA Project. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Courtiat, Rosvelter João Coelho da Costa |
A LOTOS Based Calculus with True Concurrency Semantics. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Hans Hansson |
Modeling Timeouts and Unreliable Media with a Timed Probabilistic Calculus. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Benoît Caillaud |
The Superimposition of Estelle Programs: A Tool for the Specification and Implementation of Observation and Control Algorithms. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Eric Madelaine, Didier Vergamini |
Specification and Verification of a Sliding Window Protocol in LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Ralph-Johan Back, Kaisa Sere |
Superposition Refinement of Parallel Algorithms. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | C. T. Nguyen, P. Hunel, Marie-Claude Vialatte |
Formal Specification, Validation and Implementation of an Application Protocol with Estelle. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Hironori Saito, Toru Hasegawa, Yoshiaki Kakuda |
Protocol Verification System for SDL Specifications Based on Acyclic Expansion Algorithm and Temporal Logic. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Martin Kooij |
Linking Specifications with Implementations. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Heinz Saria, Heinrich Nirschl, Carl Binding |
Mixing LOTOS and SDL Specifications. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Myungchul Kim, Samuel T. Chanson, Son T. Vuong |
Protocol Trace Analysis Based on Formal Specifications. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Mark Vigder, Raymond J. A. Buhr |
Using LOTOS in a Design Environment. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Juan Quemada, José A. Mañas, Enrique Vázquez (eds.) |
Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990 |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Peter van Eijk, J. Schot |
An Exercise in Protocol Synthesis. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Cheng Wu, Gregor von Bochmann |
Fairness in LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | John A. Chaves |
Formal Methods at AT&T - An Industrial Usage Report. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Steve Rudkin |
Inheritance in LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Karen Rosenberg |
The Adoption of Formal Methods within OTC. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Eric Madelaine, Didier Vergamini |
Tool Demonstration: Tools for Process Algebras. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Eric Lallemand, Guy Leduc |
A LOTOS Data Facility Compiler (DAFY). |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Colin J. Fidge |
Process Algebra Traces Augmented with Causal Relationships. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Linda Simon, Lynn S. Marshall |
Using VDM to Specify OSI Managed Objects. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Guy Leduc |
An Upward Compatible Timed Extension to LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | José A. Mañas, Joaquín Salvachúa |
Lambda-beta: A Virtual LOTOS Machine. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
1 | Tomás de Miguel, Tomás Robles 0001, Joaquín Salvachúa, Arturo Azcorra |
The SRTS Experience: Using TOPO for LOTOS Design and Realization. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Josef Hinterplattner, Heinrich Nirschl, Heinz Saria |
Process Topology Diagrams. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Gonzalo León |
On the Technology Transfer of Formal Methods: An Experience on LOTOS. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Jean-Bernard Stefani |
ODP: The Next Target for the Applciation of FDTs. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Y. T. Cheung, J. William Atwood |
Specifying the Xpress Transfer Protocol Using Estelle and Valira. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Anders Olsen |
Extending SDL with a Procedural Data Concept. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Santiago Pavón, Martín Llamas Nistal |
The Testing Functionalities of LOLA. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | A. B. Alkhechi, Stanislaw Budkowski |
Automatic Translation of Time Petri Nets into Estelle Description. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi |
A LOTOS Simulator in OBJ. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Kou Miyake, Y. Shigeta, W. Tanaka, H. Hasegawa |
Automatic Code Generation for SDL to C++ for an Integrated Software Development Support System. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | To-Yat Cheung, Yucheng Ye |
An Executor for Graphical LOTOS. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | 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. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Luigi Logrippo |
The University of Ottawa LOTOS Toolkit. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Carron Kirkwood, Kathy Norrie |
Some Experiments Using Term Rewriting Techniques for Concurrency. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Han Zuidweg |
Synchronic Distance in Process Algebra. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Falko Bause, Peter Buchholz 0001 |
Protocol Analysis Using a Timed Version of SDL. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | M. Hakan Erdogmus, Robert de B. Johnston |
An Approach to Specifying and Synthesizing Communicating Processes. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | S. Gallouzi, Luigi Logrippo, Abdellatif Obaid |
A Hoare-style Proof System for LOTOS. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Marc Phalippou, Roland Groz |
From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Michael Sample, Gerald W. Neufeld |
Support for ASN.1 within a Protocol Testing Environment. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Richard L. Tenney |
Adding Interaction Sets to Estelle. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | M. Gamble, C. R. Taylor |
The CCSDS Protocol Validation Programme Inter Agency Testin Using LOTOS. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Mário Baptista, Susanne Graf, Jean-Luc Richier, Luís E. T. Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron |
Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Martine Guilmet, Philippe Thomas, Bruno Traverson |
Desing, Implementation and Validation of a Multi-Peer Protocol Using Estelle. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Colin J. Fidge |
A LOTOS Interpreter for Simulating Real-Time Behaviour. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Woojik Chun, Paul D. Amer |
Test Case Generation for Protocols Specified in Estelle. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Ken R. Parker |
The PROMPT Automatic Implementation Tool - Initial Impressions. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Günter Karjoth |
A Compilation of Algebraic Processes Based on Extended-Action Derivation. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Roger Duke, Gordon A. Rose, Graeme Smith 0001 |
Transferring Formal Techniques to Industry. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Pierre Azéma, Khalil Drira, François Vernadat 0001 |
A Bus Instrumentation Protocol Specified in LOTOS. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Anders Ek, Jan Ellsberger |
TA-2: A Prototype Analysing Dynamic SDL Properties. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | S. Ramanathan, G. Sivakumar |
Rewrite Systems for Protocol Specification and Verification. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Piotr Dembinski |
Interfacing ASN.1 and Estelle: A Practical Approach. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno |
OSI Testing Environment Based on the Standardized Formalisms. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | F. Brady, A. Boshier, D. Pitt, B. Szczygiel |
One2One - A Tool for Translating ASN.1 to ACT ONE. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Martin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba |
Translation from TTCN to LOTOS and the Validation of Test Cases. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Paul de Jager, Willem Jonker, Albert Wammes, Johan Wester |
An Interactive Programming Environment for LOTOS. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Jean-Marc Jézéquel |
Experience in Validating Protocol Integration Using Estelle. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Rachida Dssouli, Reine Fournier, Gregor von Bochmann |
Distributed Observation and FIFO Queues. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Darren New, Paul D. Amer |
Protocol Visualization of Estelle Specifications. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Juan A. Saras, Julio Berocal, Juan Riera |
Use of Estelle, LOTOS and ASN.1 in One Project. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Tommaso Bolognesi, David de Frutos-Escrig, Yolanda Ortega-Mallén |
Graphical Composition Theorems for Parallel and Hiding Operators. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Luís Ferreira Pires, Wanderley Lopes de Souza |
Step-wise Refinement Design Example Using LOTOS. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Josefina Navarro, Pablo San Martin |
Experience in the Development of an ISDN Layer 3 Service in LOTOS. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | J. M. Martin Espinosa, J. M. Robles Roman, L. Fuertes Prieto |
Concurrent Modelling in LOTOS as a Solution to Real Time Problems. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Matthew Hennessy, Tim Regan |
A Temporal Process Algebra. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | J. Queiroz, Ahmed Serhrouchni, P. Cunha, Elie Najm |
PIL: A Tool for Pre-implementation of LOTOS. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini |
How Expressive Are LOTOS Behaviour Expressions? |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Dieter Hogrefe |
Conformance Testing Based on Formal Methods. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Peter van Eijk, Henk Eertink |
Design of the LOTOSPHERE Symbolic LOTOS Simulator. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Gregor von Bochmann, Daniel Ouimet, Gerald W. Neufeld |
ASN.1 and Estelle Implementation Support Tools. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Rachid Sijelmassi, Brett Strausser |
NIST Integrated Tool Set for Estelle. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Clazien D. Wezeman, S. Batley, J. Lynch |
Formal Methods to Assist Conformance Testing. A Case Study. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Ove Faergemand |
Stepwise Production of an SDL Description. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Jean-Claude Fernandez, Laurent Mounier |
Verifying Bisimulations "On the Fly". |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Manfred Broy |
Methodological Objectives for Formal Description Techniques. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Son T. Vuong (eds.) |
Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989 |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Marten van Sinderen, Ing Widya |
On the Design and Formal Specification of a Transaction Processing Protocol. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
1 | Jian-Ping Wu, Samuel T. Chanson |
Translation from LOTOS and Estelle Specifications to Extended Transition System and its Verification. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Eric Dubuis |
An Algorithm for Translating LOTOS Behavior Expressions into Automata and Ports. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Vijay K. Garg |
Modeling of Distributed Systems by Concurrent Regular Expressions. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Muffy Thomas |
From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Pieter S. Kritzinger, Graham Wheeler |
A Protocol Engineering Workstation. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Samuel C. Chamberlain, Paul D. Amer |
A New User's Experiences and Impressions with Estelle. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Hubert Garavel |
Compilation of LOTOS Abstract Data Types. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Elspeth Cusack, Steve Rudkin, Chris Smith |
An Object Oriented Interpretation of LOTOS. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Deepinder P. Sidhu, Anthony Chung |
Experience with Formal Methods in Protocol Development. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Peter van Eijk |
Tools for LOTOS Specification Style Transformation. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith 0001 |
Object-Z: An Object-Oriented Extension to Z. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Michael Atlevi |
SDT - a Real-Time CASE Tool for the CCITT Specification Language SDL. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Kenneth J. Turner |
A LOTOS-Based Development Strategy. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Fumiaki Sato, Kotaro Katsuyama, Tadanori Mizuno |
TENT: Test Sequence Generation Tool for Communication Systems. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Rudie Alderden |
COOPER - The Compositional Construction of a Canonical Tester. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
1 | Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
From the Simulation to the Verification of Estelle Specifications. |
FORTE |
1989 |
DBLP BibTeX RDF |
|