Search results for "LOTOS"

Hits ?▲	Authors	Title	Venue	Year	Link
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