Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Omar Hjiej, Abdelmalek Benzekri, Alberto Valderruten |
From Annotated LOTOS Specifications to Queueing Networks: Automating Performance Models Derivation. |
Decentralized and Distributed Systems |
1993 |
DBLP BibTeX RDF |
|
18 | Juan Quemada, David Larrabeiti, Santiago Pavón |
Compressing the State Space Representation of LOTOS Specifications. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
18 | Ole Christian Dahl, Elie Najm |
Specification & Detection of IN Service Interference Using LOTOS. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
18 | Kenneth J. Turner, Richard O. Sinnott |
DILL: Specifying Digital Logic in LOTOS. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
18 | Ana R. Cavalli, Sung Un Kim, Patrick Maigron |
Improving Conformance Testing for LOTOS. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
18 | Luc Léonard, Guy Leduc |
An Enhanced Version of Timed LOTOS and its Application to a Case Study. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
18 | Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
18 | Gonzalo León, J. Carracedo, J. C. Moreno, Juan C. Yelmo, Juan J. Gil, Carlos Sánchez 0002, F. Javier Carrasco |
An Industrial Experience on Development with LOTOS and SDL. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
18 | Ashley McClenaghan |
Distributed systems : architecture-driven specification using extended LOTOS. |
|
1993 |
RDF |
|
18 | J. Paul Gibson |
Formal object oriented development of software systems using LOTOS. |
|
1993 |
RDF |
|
18 | Michele Boreale, Paola Inverardi, Monica Nesi |
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences. |
Inf. Process. Lett. |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Guy Leduc |
A Framework Based on Implementation Relations for Implementing LOTOS Specifications. |
Comput. Networks ISDN Syst. |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Luigi Logrippo, Mohammed Faci, Mazen Haj-Hussein |
An Introduction to LOTOS: Learning by Examples. |
Comput. Networks ISDN Syst. |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Charles Pecheur |
Using LOTOS for specifying the CHORUS distributed operating system kernel. |
Comput. Commun. |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Lynne Drayton, Amanda G. Chetwynd, Gordon S. Blair |
Introduction to LOTOS through a worked example. |
Comput. Commun. |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Robert G. Clark, Valerie M. Jones |
Use of LOTOS in the formal development of an OSI protocol. |
Comput. Commun. |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Carl Binding, Wiet Bouma, Michel Dauphin, Günter Karjoth, Yan Yang |
A Common Compiler for LOTOS and SDL Specifications. |
IBM Syst. J. |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Ludo Cuypers |
Automated implementations of Lotos specification. |
Microprocess. Microprogramming |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Stan P. van de Burgt, Jan Kroon, A. M. Peeters |
Interactive Test Generation from LOTOS Specifications. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
18 | Teruo Higashino, Gregor von Bochmann, Xiangdong Li, Keiichi Yasumoto, Kenichi Taniguchi |
Test System for a Restricted Class of LOTOS Expressions with Data Parameters. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
18 | Ana R. Cavalli, Patrick Maigron, Sung Un Kim |
Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
18 | Fosca Giannotti, Diego Latella |
Using Abstract Interpretation for Gate splitting in LOTOS Specifications. |
WSA |
1992 |
DBLP BibTeX RDF |
|
18 | Angel Fernández, Carlos Miguel, Leon Vidaller, Juan Quemada |
Development of Satellite Communication Networks Based on LOTOS. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
18 | Juan Quemada, Arturo Azcorra |
Structuring Protocols Using Exceptions in a LOTOS Extension. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
18 | Rosvelter João Coelho da Costa, Jean-Pierre Courtiat |
A true concurrency semantics for LOTOS. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
18 | Mazen Haj-Hussein, Luigi Logrippo, Jacques Sincennes |
Goal oriented execution for LOTOS. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
18 | Francisco Javier Carrasco, J. J. Gil |
A method for specifying and validating communication protocols in LOTOS. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
18 | Patrik Ernberg, Thomas Hovander, Francisco Monfort |
Specification and implementation of an ISDN telephone system using LOTOS. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
18 | Tommaso Bolognesi |
The electric power of LOTOS - Results of a joint academic/industrial experiment. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
18 | Rom Langerak |
Bundle event structures: a non-interleaving semantics for LOTOS. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
18 | Heinrich Nirschl, Jacqueline Blanchard, Bernard Loyer |
LOTOS in Alcatel. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
18 | Günter Karjoth |
Generating transition graphs from LOTOS specifications. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
18 | Harro Kremer, Jeroen van de Lagemaat, Axel Rennoch, Giuseppe Scollo |
Protocol design using LOTOS: A critical synthesis of a standardization experience. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
18 | Guy Leduc, Luc Léonard |
A timed LOTOS supporting a dense time domain and including new timed operators. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
18 | Henk Eertink, Dietmar Wolz |
Symbolic execution of LOTOS specifications. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
18 | Muffy Thomas |
A translator for ASN.1 into LOTOS. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
18 | Carlos Miguel, Angel Fernández, Leon Vidaller |
Extending LOTOS towards performance evaluation. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
18 | Tommaso Bolognesi, Olof Hagsand, Diego Latella, Björn Pehrson |
The Definition of a Graphical G-LOTOS Editor Using the Meta-Tool LOGGIE. |
Comput. Networks ISDN Syst. |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Susan C. Murphy, Per Gunningberg, John P. J. Kelly |
Experiences with Estelle, LOTOS and SDL: A Protocol Implementation Experiment. |
Comput. Networks ISDN Syst. |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Mohammed Faci, Luigi Logrippo, Bernard Stepien |
Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach. |
Comput. Networks ISDN Syst. |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Hiroaki Kaminaga, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi |
An equivalence in lotos and its decision method. |
Syst. Comput. Jpn. |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Deddo Wiersma, Kazuhito Ohmaki, Kokichi Futatsugi |
Specifications of a general user interface in LOTOS and OBJ. |
COMPSAC |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Nathalie Rico, Gregor von Bochmann |
Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
18 | S. Gallouzi, Luigi Logrippo, Abdellatif Obaid |
An expressive trace theory for LOTOS. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
18 | Juan Quemada |
Compressed State Space Representation in LOTOS with the Interleaved Expansion. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
18 | Guy Leduc |
Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOS. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
18 | Luís Ferreira Pires, Jeroen Schot |
Systematic Design of a Network Gateway Using the FDT LOTOS. |
INFOCOM |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Lars-Åke Fredlund, Fredrik Orava |
Modelling Dynamic Communication Structures in LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
18 | Thierry Massart |
A Calculus to Define Correct Tranformations of LOTOS Specifications. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
18 | Kazuhito Ohmaki, Hirosato Tsuji, Kenjiroh Yamanaka, Yoshikazu Sato, Yoshinori Itabashi, Toshihiko Shimizu |
Design and Implementation of an Application Interface for LOTOS Processors. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
18 | Ing Widya, Franck Sadoun, Gert-Jan van der Heijden |
Specification of a Distributed Coordination Function in LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
18 | José A. Mañas, Joaquín Salvachúa, Tomás de Miguel |
Tool Demonstration: A Cross Compiling Experiment: A PC Implementation of a LOTOS Spec. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
18 | Rom Langerak |
Event Structures for Design and Transformation in LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
18 | Patrik Ernberg, Lars-Åke Fredlund, Bengt Jonsson 0001 |
Specification and Validation of a Simple Overtaking Protokol using LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
18 | Tommaso Bolognesi, Ferdinando Lucidi |
LOTOS-like Process Algebras with Urgent or Timed Interactions. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
18 | Elie Najm, Jean-Bernard Stefani |
Dynamic Configuration in LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
18 | Ashley McClenaghan |
Experience of Using LOTOS Within the CIM-OSA Project. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
18 | Jean-Pierre Courtiat, Rosvelter João Coelho da Costa |
A LOTOS Based Calculus with True Concurrency Semantics. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
18 | Eric Madelaine, Didier Vergamini |
Specification and Verification of a Sliding Window Protocol in LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
18 | Heinz Saria, Heinrich Nirschl, Carl Binding |
Mixing LOTOS and SDL Specifications. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
18 | Mark Vigder, Raymond J. A. Buhr |
Using LOTOS in a Design Environment. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
18 | Cheng Wu, Gregor von Bochmann |
Fairness in LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
18 | Steve Rudkin |
Inheritance in LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
18 | Eric Lallemand, Guy Leduc |
A LOTOS Data Facility Compiler (DAFY). |
FORTE |
1991 |
DBLP BibTeX RDF |
|
18 | Guy Leduc |
An Upward Compatible Timed Extension to LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
18 | José A. Mañas, Joaquín Salvachúa |
Lambda-beta: A Virtual LOTOS Machine. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
18 | Rocco De Nicola, Paola Inverardi, Monica Nesi |
Equational reasoning about LOTOS specifications: a rewriting approach. |
IWSSD |
1991 |
DBLP BibTeX RDF |
|
18 | Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera |
An abstract execution model for basic LOTOS. |
Softw. Eng. J. |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Carlos Delgado Kloos, Gregorio González Martínez |
Expansion of LOTOS behaviour expressions as an exercise in transformational design. |
Microprocessing and Microprogramming |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Elspeth Cusack, Michael Lai |
Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented! |
REX Workshop |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Luigi Logrippo, Tim Melanchuk, Robert J. Du Wors |
The algebraic specification language LOTOS: an industrial experience. |
Formal Methods in Software Development |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Tommaso Bolognesi |
On the soundness of graphical representations of interconnected processes in LOTOS. |
Formal Methods in Software Development |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Michel Barbeau, Gregor von Bochmann |
Extension of the Karp and Miller Procedure to LOTOS Specifications. |
CAV (DIMACS/AMS volume) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Peter van Eijk |
Attribute Grammar Applications in Prototyping LOTOS Tools. |
WAGA |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Tommaso Bolognesi, Ferdinando Lucidi, Sebastiano Trigila |
From timed Petri nets to timed LOTOS. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
18 | Alessandro Fantechi, Stefania Gnesi, Gioia Ristori |
Compositional logic semantics and LOTOS. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
18 | Haruhisa Ichikawa, Kenjiroh Yamanaka, June Kato |
Incremental specification in LOTOS. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
18 | Peter van Eijk, Harro Kremer, Marten van Sinderen |
On the use of specification styles for automated protocol implementation from LOTOS to C. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
18 | Shingo Nomura, Toru Hasegawa, Takashi Takizuka |
A LOTOS compiler and process synchronization manager. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
18 | Hubert Garavel, Joseph Sifakis |
Compilation and verification of LOTOS specifications. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
18 | Rom Langerak |
Decomposition of functionality: a correctness-preserving LOTOS transformation. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
18 | Tommaso Bolognesi |
A Graphical Composition Theorem for Networks of Lotos Processes. |
ICDCS |
1990 |
DBLP DOI BibTeX RDF |
|
18 | 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 |
|
18 | Gonzalo León |
On the Technology Transfer of Formal Methods: An Experience on LOTOS. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
18 | Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi |
A LOTOS Simulator in OBJ. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
18 | To-Yat Cheung, Yucheng Ye |
An Executor for Graphical LOTOS. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
18 | Luigi Logrippo |
The University of Ottawa LOTOS Toolkit. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
18 | S. Gallouzi, Luigi Logrippo, Abdellatif Obaid |
A Hoare-style Proof System for LOTOS. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
18 | M. Gamble, C. R. Taylor |
The CCSDS Protocol Validation Programme Inter Agency Testin Using LOTOS. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
18 | Colin J. Fidge |
A LOTOS Interpreter for Simulating Real-Time Behaviour. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
18 | Pierre Azéma, Khalil Drira, François Vernadat 0001 |
A Bus Instrumentation Protocol Specified in LOTOS. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
18 | 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 |
|
18 | Paul de Jager, Willem Jonker, Albert Wammes, Johan Wester |
An Interactive Programming Environment for LOTOS. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
18 | Juan A. Saras, Julio Berocal, Juan Riera |
Use of Estelle, LOTOS and ASN.1 in One Project. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
18 | Luís Ferreira Pires, Wanderley Lopes de Souza |
Step-wise Refinement Design Example Using LOTOS. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
18 | Josefina Navarro, Pablo San Martin |
Experience in the Development of an ISDN Layer 3 Service in LOTOS. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
18 | 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 |
|
18 | J. Queiroz, Ahmed Serhrouchni, P. Cunha, Elie Najm |
PIL: A Tool for Pre-implementation of LOTOS. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
18 | Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini |
How Expressive Are LOTOS Behaviour Expressions? |
FORTE |
1990 |
DBLP BibTeX RDF |
|
18 | Peter van Eijk, Henk Eertink |
Design of the LOTOSPHERE Symbolic LOTOS Simulator. |
FORTE |
1990 |
DBLP BibTeX RDF |
|