Search results for "lotos"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
151	Luc Léonard, Guy Leduc	A Formal Definition of Time in LOTOS.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	ET-LOTOS, Negative premises, Real time, Operational semantics, LOTOS
117	Yong Sun, Hongji Yang, Alan J. Dix	TDL: A Language for Transition Diagrams in the Derivation of LOTOS Specifications.	APAQS	2000	DBLP DOI BibTeX RDF
92	Howard Bowman, Joost-Pieter Katoen	A True Concurrency Semantics for ET-LOTOS.	ACSD	1998	DBLP DOI BibTeX RDF
92	Keiichi Yasumoto, Teruo Higashino, Toshio Matsuura, Kenichi Taniguchi	Protocol visualization using LOTOS multi-rendezvous mechanism.	ICNP	1995	DBLP DOI BibTeX RDF
92	Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Andriantsiferana	Specification and Validation of Multimedia Protocols using RT-LOTOS.	FTDCS	1995	DBLP DOI BibTeX RDF
84	Alberto Verdejo	Building Tools for LOTOS Symbolic Semantics in Maude.	FORTE	2002	DBLP DOI BibTeX RDF	Full LOTOS, symbolic semantics, rewriting logic, Maude, meta-language
84	Byung-Ho Park, Shigetomo Kimura, Eun-Seok Lee 0001, Norio Shiratori	An equivalence algorithm to point out errors for basic LOTOS in a distributed system environment and its prototype.	ICPADS	1997	DBLP DOI BibTeX RDF	equivalence algorithm, OSI protocol layers, equivalence relation verification, educational support system, distributed system, specification, prototype, specification languages, error detection, error correction, mathematical model, LOTOS, formal description technique
80	Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath	Formal automated transformation of SDL specifications to Lotos specifications.	ISCC	2008	DBLP DOI BibTeX RDF
80	Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat	Mapping RT-LOTOS Specifications into Time Petri Nets.	ICFEM	2006	DBLP DOI BibTeX RDF
80	Mihaela Sighireanu, Radu Mateescu 0001	Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF
80	Michel Barbeau, Gregor von Bochmann	A Subset of Lotos with the Computational Power of Place/Transition-Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
80	Michel Barbeau, Gregor von Bochmann	The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach.	CAV	1991	DBLP DOI BibTeX RDF
80	Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera	Modeling the execution of LOTOS specifications by cooperating extended finite state machines.	SPDP	1990	DBLP DOI BibTeX RDF
77	Zdzislaw Splawski	Synchronization mechanisms for multimedia streams and their specification in timed LOTOS.	EUROMICRO	1997	DBLP DOI BibTeX RDF	Timed LOTOS specification, temporal event ordering, TE-LOTOS, intra stream synchronization, dynamic inter stream synchronization strategies, Time Stream Petri Nets, multimedia synchronization scenarios, synchronization requirements, formal specifications, multimedia streams, multimedia computing, distributed multimedia applications, synchronization mechanisms, synchronization constraints
77	Teruo Higashino, Gregor von Bochmann	Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	test case derivation, LOTOS expressions, data parameters, automatic analysis method, P-LOTOS expressions, Boolean types, integer linear programming problems, deadlock detection problem, nonexecutable branch detection, nondeterministic behavior detection, simplified Session protocol, formal specification, linear programming, concurrency control, integer programming, specification languages, specification language, comparison, decision procedure, data types, addition, test selection, Presburger arithmetic, subtraction, integer, data values
77	David H. Pitt, David Freestone	The Derivation of Conformance Tests from LOTOS Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	formal description technique LOTOS, International Standards Organization, basic LOTOS operators, theoretical notion, canonical testers, finite test suites, test suite design, formal specification, protocols, standards, communication protocols, open systems, formal languages, conformance tests, conformance testing, OSI, protocol specifications, test processes
74	Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni	Hardware/software synthesis of formal specifications in codesign of embedded systems.	ACM Trans. Design Autom. Electr. Syst.	2000	DBLP DOI BibTeX RDF	hardware and software synthesis, embedded system, codesign
72	Gwen Salaün, Andrea Ferrara, Antonella Chirichiello	Negotiation Among Web Services Using LOTOS/CADP.	ECOWS	2004	DBLP DOI BibTeX RDF	CADP, Web Services, Formal Methods, Negotiation, BPEL, LOTOS
72	Pascal Poizat, Christine Choppy, Jean-Claude Royer	Concurrency and Data Types: A Specification Method: An Example with LOTOS.	WADT	1998	DBLP DOI BibTeX RDF	constraint oriented, state oriented, specification, method, LOTOS, automaton
72	José A. Gallud, José M. García 0001	The Specification of a Generic Multicomputer Using Lotos.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	Lotos
67	Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat	Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets.	FORTE	2006	DBLP DOI BibTeX RDF
67	Malek Mouhoub, Samira Sadaoui	Improving Lotos Simulation Using Constraint Propagation.	ICTAI	2005	DBLP DOI BibTeX RDF
67	Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat	From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform.	SEFM	2005	DBLP DOI BibTeX RDF
67	Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, Richard Hersemeule, Jean-Philippe Cousin	LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect.	MEMOCODE	2003	DBLP DOI BibTeX RDF
67	Cléver Ricardo Guareis de Farias, Luís Ferreira Pires, Wanderley Lopes de Souza, Célio Estevan Morón	Specification and Validation of a Real-Time Parallel Kernel Using LOTOS.	MASCOTS	2001	DBLP DOI BibTeX RDF
67	Fosca Giannotti, Diego Latella	Gate Splitting in LOTOS Specifications Using Abstract Interpretation.	TAPSOFT	1993	DBLP DOI BibTeX RDF
67	Nathalie Rico, Gregor von Bochmann, Omar Cherkaoui	Model-Checking for Real-Time Systems Specified in Lotos.	CAV	1992	DBLP DOI BibTeX RDF
67	J. P. Briand, M. C. Fehri, Luigi Logrippo, Abdellatif Obaid	Structure of a LOTOS interpreter.	SIGCOMM	1986	DBLP DOI BibTeX RDF
64	Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat	A formal approach for the presentation of interactive multimedia documents.	ACM Multimedia	2000	DBLP DOI BibTeX RDF	multimedia and hypermedia documents, formal methods, LOTOS, Lotos, RT-LOTOS
62	Ludovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, Pierre de Saqui-Sannes	TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
62	Takaaki Umedu, Yoshiki Terashima, Keiichi Yasumoto, Akio Nakata, Teruo Higashino, Kenichi Taniguchi	A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels.	FME	2002	DBLP DOI BibTeX RDF
60	Alberto Verdejo, Narciso Martí-Oliet	Two Case Studies of Semantics Execution in Maude: CCS and LOTOS.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	executable semantic framework, internal strategies, Hennessy-Milner modal logic, symbolic semantics for LOTOS, ACT ONE, rewriting logic, CCS, Maude
60	Francisco Isidro Massetto, Wanderley Lopes de Souza, Sérgio Donizetti Zorzo	Simulator for E-LOTOS Specifications.	Annual Simulation Symposium	2002	DBLP DOI BibTeX RDF	E-LOTOS, Simulation, Multimedia, Formal Specification
60	Motoshi Saeki	Behavioral specification of GOF design patterns with LOTOS.	APSEC	2000	DBLP DOI BibTeX RDF	gang-of-four design patterns, LOTOS simulator, composite and command patterns, formal specification, object-oriented programming, specification languages, object-oriented methods, software patterns, behavioral specification
60	Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen	Viewpoint Consistency in Z and LOTOS: A Case Study.	FME	1997	DBLP DOI BibTeX RDF	Consistency, Z, Viewpoints, LOTOS, ODP
60	Charles Pecheur	Specification and Verification of the Co4 Distributed Knowledge System using LOTOS.	ASE	1997	DBLP DOI BibTeX RDF	Co/sub 4/ distributed knowledge system, consensual decision protocol, distributed knowledge base, ISO formal description technique, knowledge consistency, verification, formal specification, formal specification, safety, LOTOS, liveness properties
55	Rafal Mrowka, Tomasz Szmuc	UML Statecharts Compositional Semantics in LOTOS.	ISPDC	2008	DBLP DOI BibTeX RDF
55	Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee	Translating FSP into LOTOS and Networks of Automata.	IFM	2007	DBLP DOI BibTeX RDF
55	Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki	Eventuality in LOTOS with a Disjunction Operator.	ASIAN	1998	DBLP DOI BibTeX RDF
55	Péter Wolkensdorfer, József Harangozó	The Application of the Formal Description Language LOTOS for the Design of Process Control Systems.	EUROMICRO	1997	DBLP DOI BibTeX RDF
55	Thony van der Vloedt, Kees Bogaards	Integrating SA/RT with LOTOS.	FME	1993	DBLP DOI BibTeX RDF
55	Mikael Hedlund	The Integration of LOTOS with an Object Oriented Development Method.	FME	1993	DBLP DOI BibTeX RDF
55	Michel Barbeau, Gregor von Bochmann	Extension of the Karp and Miller Procedure to Lotos Specifications.	CAV	1990	DBLP DOI BibTeX RDF
54	Carron Shankland, Jeremy W. Bryans, Lionel Morel	Expressing Iterative Properties Logically in a Symbolic Setting.	AMAST	2004	DBLP DOI BibTeX RDF	formal verification, temporal logics, LOTOS, infinite state systems, symbolic representation
54	Perfecto Mariño, Francisco Poza, Miguel Angel Domínguez, Juan B. Nogueira	Formal specification applied to industrial LAN's design.	EUROMICRO	1997	DBLP DOI BibTeX RDF	industrial LAN design, real-time field bus, PROFIBUS, industrial communication networks, data link layer, FDL, formal specification, formal specification, prototyping, software tools, methodology, LOTOS, data types, performance tests, formal specification language
54	Akio Nakata, Teruo Higashino, Kenichi Taniguchi	Protocol synthesis from timed and structured specifications.	ICNP	1995	DBLP DOI BibTeX RDF	LOTOS/T+, Presburger formulas, parallelism, protocols, specification languages, synchronisation, interruption, time-constraints, service specifications, protocol specifications, bisimulation equivalent
52	Riccardo Sisto, Luigi Ciminiera, Adriano Valenzano	A Protocol for Multirendezvous of LOTOS Processes.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	LOTOS processes, multiway rendezvous mechanism, International Standards Organization, LOTOS specification language, global knowledge, distributed execution model, hierarchical topology, performance evaluation, performance, formal specification, formal specification, protocol, protocols, standards, distributed environment, distributed agreement
49	Jean-Pierre Courtiat	Formal Design of Interactive Multimedia Documents.	FORTE	2003	DBLP DOI BibTeX RDF
49	Juan Quemada, Santiago Pavón, Angel Fernández	State Exploration by Transformation with LOLA.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
47	Monika Kapus-Kolar	Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOS.	Distributed Comput.	1999	DBLP DOI BibTeX RDF	Distributed service implementation, Compositional correctness-preserving transformation, LOTOS, Protocol synthesis
47	Howard Bowman, Giorgio P. Faconti	Analysing Cognitive Behaviour using LOTOS and Mexitl.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Cognitive behaviour, Temporal logic, LOTOS, Process calculi
47	Monika Kapus-Kolar	Employing disruptions for more efficient functionality decomposition in LOTOS.	EUROMICRO	1997	DBLP DOI BibTeX RDF	functionality decomposition transformation, Basic LOTOS specifications, external behaviour, expected service, specified service actions, pairwise communication, common actions, unbounded reliable first in first out channels, inter component communication, synchronisation message receptions, specification languages, disruptions
47	Rachid Ben Abbou, Amine Benkiran, Jean-Pierre Courtiat	Formal Validation of a Multicast Transport Protocol.	ISCC	2001	DBLP DOI BibTeX RDF	SPRM protocol, Reliability, Formal methods, Multicast, RTL, LOTOS, RT-LOTOS, Protocol validation
47	Paulo Nazareno Maia Sampaio, Christophe Lohr, Jean-Pierre Courtiat	An integrated environment for the presentation of consistent SMIL 2.0 documents.	ACM Symposium on Document Engineering	2001	DBLP DOI BibTeX RDF	SMIL 2.0, interactive multimedia documents, formal methods, LOTOS, temporal consistency, RT-LOTOS
47	David W. Bustard, Adam C. Winstanley	Making Changes to Formal Specifications: Requirements and an Example.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	change technique, formal notation LOTOS, SCAFFOLD project, process-oriented notations, software engineering, formal specification, formal specifications, formal specification, software maintenance, tool, specification languages, process algebra, configuration management, concurrent systems, LOTOS, change control
42	N. Petalidis, D. S. Gill	The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS.	ICFEM	1998	DBLP DOI BibTeX RDF
42	Mario Marrero, Álvaro Suárez Sarmiento, Elena Carrión, Elsa M. Macías	SGLOT: A Visual Tool for Structural LOTOS Specifications.	FTRTFT	1998	DBLP DOI BibTeX RDF
42	Maritta Heisel, Nicole Lévy	Using LOTOS Patterns to Characterize Architectural Styles.	TAPSOFT	1997	DBLP DOI BibTeX RDF
42	Ahmed Khoumsi, Gregor von Bochmann	Protocol synthesis using basic Lotos and global variables.	ICNP	1995	DBLP DOI BibTeX RDF
42	Jeremy W. Bryans, Jim Davies, Steve A. Schneider	Towards a denotational semantics for ET-LOTOS.	CONCUR	1995	DBLP DOI BibTeX RDF
42	Ursula Martin, Muffy Thomas	Verification Techniques for LOTOS.	FME	1994	DBLP DOI BibTeX RDF
42	Gonzalo León, Juan C. Yelmo, Carlos Sánchez 0002, F. Javier Carrasco, Juan J. Gil	An Industrial Experience on LOTOS-Based Prototyping for Switching Systems Design.	FME	1993	DBLP DOI BibTeX RDF
42	Simon Pickin 0001, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot	Process Instances in LOTOS Simulation.	FME	1993	DBLP DOI BibTeX RDF
42	Günter Karjoth	Implementing LOTOS Specifications by Communicating State Machines.	CONCUR	1992	DBLP DOI BibTeX RDF
42	Tommaso Bolognesi, Diego Latella, Elisabetta Zuppa	Non-standard Interpretations of LOTOS Specifications.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
42	Gordon Fraser 0001, Martin Weiglhofer, Franz Wotawa	Coverage Based Testing with Test Purposes.	QSIC	2008	DBLP DOI BibTeX RDF	input-output conformance, Session Initiation Protocol, model-based testing, LOTOS, coverage criteria, test purposes
42	Ludovic Apvrille, Pierre de Saqui-Sannes, Patrick Sénac, Christophe Lohr	Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	real-time UML, dynamic reconfiguration, satellite, formal validation, RT-LOTOS
42	Kenneth J. Turner	Formalising Graphical Behaviour Descriptions.	AMAST	2004	DBLP DOI BibTeX RDF	Graphical Specification, Lotos (Language Of Temporal Ordering Specification), SDL (Specification and Description Language), Voice Service
42	Hubert Garavel, Radu Mateescu 0001, Irina M. Smarandache	Parallel State Space Construction for Model-Checking.	SPIN	2001	DBLP DOI BibTeX RDF	state space construction, model-checking, verification, distributed algorithms, labeled transition system, LOTOS
42	Marie-Claude Gaudel, Perry R. James	Testing Algebraic Data Types and Processes: A Unifying Theory.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Full LOTOS, Black box testing, Formal testing
42	Jian Chen, Richard H. Carver	Selecting and mapping test sequences from formal specifications of concurrent programs.	HASE	1996	DBLP DOI BibTeX RDF	test sequence selection, incremental testing, specification partitioning, constraint-style Lotos specification, abstract test sequences, concrete test sequences, Ada implementation, formal specification, formal specifications, concurrent programs, specification-based testing, state explosion problem
42	Carlos Carreras, Juan Carlos López 0001, María Luisa López Vallejo, Luis Sánchez, Carlos Delgado Kloos, Natividad Martínez Madrid	A Co-Design Methodology Based on Formal Specification and High-level Estimation.	CODES	1996	DBLP DOI BibTeX RDF	formal specification, partitioning, estimation, Co-design, LOTOS
42	David W. Bustard, P. J. Lundy	Enhancing soft systems analysis with formal modelling.	RE	1995	DBLP DOI BibTeX RDF	soft systems analysis, initial requirements definition, informal SSM models, computing oriented analysis techniques, book ordering data processing, software requirements engineering method, formal specification, formal specification, software tools, software tools, specification languages, systems analysis, formal modelling, LOTOS, formal techniques, formal descriptions, Soft Systems Methodology, RACE
37	Ludovic Apvrille, Pierre de Saqui-Sannes, Ferhat Khendek	TURTLE-P: a UML profile for the formal validation of critical and distributed systems.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF
37	Kenneth J. Turner, Qian Bing	Protocol Techniques for Testing Radiotherapy Accelerators.	FORTE	2002	DBLP DOI BibTeX RDF
37	Ludovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat	A New UML Profile for Real-Time System Formal Design and Validation.	UML	2001	DBLP DOI BibTeX RDF
37	Daniel Amyot, Luigi Logrippo, Raymond J. A. Buhr, Tom Gray	Use Case Maps for the Capture and Validation of Distributed Systems Requirements.	RE	1999	DBLP DOI BibTeX RDF
37	Ina Schieferdecker	Performance-Oriented Formal Specifications - the LotoTis Approach.	TAPSOFT	1995	DBLP DOI BibTeX RDF
35	Monika Kapus-Kolar	A generalization of the E-LOTOS trapping operator: towards reconciliation with LOTOS.	Comput. Stand. Interfaces	2002	DBLP DOI BibTeX RDF
35	Christophe Lohr	Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-Lotos. (Contribution to the design of real-time systems based on the RT-Lotos formal description technique).		2002	RDF
35	Jean-Pierre Courtiat, Celso A. S. Santos, Christophe Lohr, B. Outtaj	Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique.	Comput. Commun.	2000	DBLP DOI BibTeX RDF
35	Thomas Lambolais	Modélisation du développement de spécifications LOTOS. (Modeling the development of LOTOS specification).		1997	RDF
35	Pim Kars	Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach.	FORTE	1994	DBLP BibTeX RDF
35	Ashley McClenaghan	Mapping Time-Extended LOTOS to Standard LOTOS.	FORTE	1991	DBLP BibTeX RDF
35	Guy A. T'Hooft	Timer description in CCS (Milner), LOTOS (ISO) and timed LOTOS (Quemada-Fernandez). A case analysis.	Comput. Commun. Rev.	1988	DBLP DOI BibTeX RDF
35	Valentin Chimisliu, Christian Schwarzl, Bernhard Peischl	From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation.	QSIC	2009	DBLP DOI BibTeX RDF	test case generation, LOTOS, UML Statechart
35	Riccardo Sisto, Adriano Valenzano	Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF	Concurrent systems design, Petri nets, LOTOS, formal description techniques, protocol engineering
35	Marco Ajmone Marsan, Andrea Bianco, Luigi Ciminiera, Riccardo Sisto, Adriano Valenzano	A LOTOS extension for the performance analysis of distributed systems.	IEEE/ACM Trans. Netw.	1994	DBLP DOI BibTeX RDF	Lotos
35	Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi	Software Process Description Using LOTOS and Its Enaction.	ICSE	1994	DBLP BibTeX RDF	distributed system, software process, LOTOS, software development environment, formal description technique
35	Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis	A Toolbox for the Verification of LOTOS Programs.	ICSE	1992	DBLP DOI BibTeX RDF	Lotos
35	Piyu Tripathy, Behçet Sarikaya	Test Generation from LOTOS Specifications.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	LOTOS specifications, formal specification, protocols, finite state machine, specification languages, program testing, program testing, transformation rules, chart, protocol conformance testing
34	Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi	Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization.	DAC	2000	DBLP DOI BibTeX RDF	concurrent EFSMs, mutli-way synchronization, high-level synthesis, communication protocols, LOTOS, Lotos
34	Celso A. S. Santos, Luiz Fernando Gomes Soares, Guido L. De Souza, Jean-Pierre Courtiat	Design Methodology and Formal Validation of Hypermedia Documents.	ACM Multimedia	1998	DBLP DOI BibTeX RDF	LOTOS & RT-LOTOS, NCM, intrinsic and extrinsic consistency properties, formal verification, hypermedia document
30	Olivier Ponsini, Wendelin Serwe	A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS.	FM	2008	DBLP DOI BibTeX RDF
30	Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat	Designing Consistent Multimedia Documents: The RT-LOTOS Methodology.	FORMATS	2007	DBLP DOI BibTeX RDF
30	Nelson S. Rosa, Paulo Roberto Freire Cunha	A LOTOS Framework for Middleware Specification.	FORTE	2006	DBLP DOI BibTeX RDF
30	Muffy Calder, Savi Maharaj, Carron Shankland	An Adequate Logic for Full LOTOS.	FME	2001	DBLP DOI BibTeX RDF
30	Wassem Hassan	DLOTOS: A LOTOS Extension for Clock Synchronization in Distributed Systems.	APAQS	2001	DBLP DOI BibTeX RDF
30	Pierre Wodey, Fabrice Baray	Linking Codesign and Verification by Means of E-LOTOS FDT.	EUROMICRO	1999	DBLP DOI BibTeX RDF
30	Luciano Paschoal Gaspary, Maria Janilce B. Almeida	MUSE - An Interactive Networked Multimedia Applications Specification Environment with E-LOTOS Translator.	CAiSE	1998	DBLP DOI BibTeX RDF