Search results for "LOTOS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
4	Luc Léonard, Guy Leduc	A Formal Definition of Time in LOTOS.	Formal Asp. Comput.	1998	DBLP DOI BibTeX RDF	ET-LOTOS, Negative premises, Real time, Operational semantics, LOTOS
4	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
4	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
4	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
3	Alberto Verdejo, Narciso Martí-Oliet	Two Case Studies of Semantics Execution in Maude: CCS and LOTOS.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	executable semantic framework, internal strategies, Hennessy-Milner modal logic, symbolic semantics for LOTOS, ACT ONE, rewriting logic, CCS, Maude
3	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
3	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
3	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
3	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
3	R. 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
3	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
3	Howard Bowman, Giorgio P. Faconti	Analysing Cognitive Behaviour using LOTOS and Mexitl.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	Cognitive behaviour, Temporal logic, LOTOS, Process calculi
3	Monika Kapus-Kolar	Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOS.	Distributed Computing	1999	DBLP DOI BibTeX RDF	Distributed service implementation, Compositional correctness-preserving transformation, LOTOS, Protocol synthesis
3	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
3	Charles Pecheur	Specification and Verification of the Co4 Distributed Knowledge System using LOTOS. (PDF / PS)	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
3	Byung-Ho Park, Shigetomo Kimura, Eun-Seok Lee, Norio Shiratori	An equivalence algorithm to point out errors for basic LOTOS in a distributed system environment and its prototype. (PDF / PS)	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
3	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
3	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
3	José A. Gallud, José M. García	The Specification of a Generic Multicomputer Using Lotos.	SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	Lotos
3	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
3	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
2	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
2	Rafal Mrowka, Tomasz Szmuc	UML Statecharts Compositional Semantics in LOTOS.	ISPDC	2008	DBLP DOI BibTeX RDF
2	Olivier Ponsini, Wendelin Serwe	A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS.	FM	2008	DBLP DOI BibTeX RDF
2	Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath	Formal automated transformation of SDL specifications to Lotos specifications.	ISCC	2008	DBLP DOI BibTeX RDF
2	Gordon Fraser, 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
2	Tian Zhang, Frédéric Jouault, Jean Bézivin, Xuandong Li	An MDE-based method for bridging different design notations.	ISSE	2008	DBLP DOI BibTeX RDF	UML, Formal methods, LOTOS, MDE
2	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
2	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
2	Nelson Souto Rosa, Paulo Roberto Freire Cunha	A formal framework for middleware behavioural specification.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	middleware, formal specification, framework, LOTOS
2	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
2	Nelson S. Rosa, Paulo Roberto Freire Cunha	A LOTOS Framework for Middleware Specification.	FORTE	2006	DBLP DOI BibTeX RDF
2	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
2	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
2	Malek Mouhoub, Samira Sadaoui	Improving Lotos Simulation Using Constraint Propagation.	ICTAI	2005	DBLP DOI BibTeX RDF
2	Kenneth J. Turner	Test generation for radiotherapy accelerators.	STTT	2005	DBLP DOI BibTeX RDF	Lotos (Language Of Temporal Ordering Specification), Test generation, Accelerator, Radiotherapy
2	Marius C. Bujorianu, Eerke A. Boiten	Towards Correspondence Carrying Specifications.	AMAST	2004	DBLP DOI BibTeX RDF	UML, Z, viewpoints, LOTOS, category theory, partial specification
2	Carron Shankland, Jeremy 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
2	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
2	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
2	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
2	Christophe Lohr, Jean-Pierre Courtiat	From the Specification to the Scheduling of Time-Dependent Systems.	FTRTFT	2002	DBLP DOI BibTeX RDF	Minimal Reachability Graph, Time Labeled Scheduling Automata, Process Algebra, Timed Automata, Temporal Consistency, RT-Lotos
2	W. Hassan	DLOTOS: A LOTOS Extension for Clock Synchronization in Distributed Systems.	APAQS	2001	DBLP DOI BibTeX RDF
2	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
2	Muffy Calder, Savi Maharaj, Carron Shankland	An Adequate Logic for Full LOTOS.	FME	2001	DBLP DOI BibTeX RDF
2	Hubert Garavel, Radu Mateescu, 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
2	Hubert Garavel, César Viho, Massimo Zendri	System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation.	STTT	2001	DBLP DOI BibTeX RDF	Verification, Formal specification, Testing, Formal methods, Validation, Code generation, Computer architecture, Test generation, Rapid prototyping, Process algebra, Conformance testing, Cache coherency, System level design, Co-design, lotos, Hardware design, Co-simulation, numa, cc-numa
2	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
2	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
2	Bhed Bahadur Bista, Y. Ujiie, K. Furuya, Kaoru Takahashi, Norio Shiratori	Support System for Constructing Communication Services and Protocols Based on Compositional Approach. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	communication service design, communication protocol design, compositional approach, sequential composition, protocols, LOTOS, service specifications, protocol specifications, parallel composition
2	Pierre Wodey, Fabrice Baray	Linking Codesign and Verification by Means of E-LOTOS FDT.	EUROMICRO	1999	DBLP DOI BibTeX RDF
2	Mihaela Sighireanu, Radu Mateescu	Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS.	STTT	1998	DBLP DOI BibTeX RDF
2	N. Petalidis, D. S. Gill	The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS. (PDF / PS)	ICFEM	1998	DBLP DOI BibTeX RDF
2	Howard Bowman, Joost-Pieter Katoen	A True Concurrency Semantics for ET-LOTOS.	ACSD	1998	DBLP DOI BibTeX RDF
2	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
2	Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki	Eventuality in LOTOS with a Disjunction Operator.	ASIAN	1998	DBLP DOI BibTeX RDF
2	Mario Marrero, Álvaro Suárez, Elena Carrión, Elsa M. Macías	SGLOT: A Visual Tool for Structural LOTOS Specifications.	FTRTFT	1998	DBLP DOI BibTeX RDF
2	Marie-Claude Gaudel, Perry R. James	Testing Algebraic Data Types and Processes: A Unifying Theory.	Formal Asp. Comput.	1998	DBLP DOI BibTeX RDF	Full LOTOS, Black box testing, Formal testing
2	Maritta Heisel, Nicole Lévy	Using LOTOS Patterns to Characterize Architectural Styles.	TAPSOFT	1997	DBLP DOI BibTeX RDF
2	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
2	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
2	Carlos Carreras, Juan Carlos López, 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
2	Jian Chen, Richard H. Carver	Selecting and mapping test sequences from formal specifications of concurrent programs. (PDF / PS)	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
2	Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori	A flexible protocol synthesis method for adopting requirement changes. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	flexible protocol synthesis method, requirement changes adoption, communicating entities, maintenance issue, protocol synthesis method, formal specification language LOTOS, formal specification, protocols, software maintenance, specification languages, protocol specification
2	Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen	A Framework for Evaluating Specification Methods for Reactive Systems Experience Report.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Modechart, VFSM, Formal methods, specification languages, Z, SDL, industrial applications, LOTOS, ESTEREL, technology assessment
2	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
2	Jeremy Bryans, Jim Davies, Steve Schneider	Towards a denotational semantics for ET-LOTOS.	CONCUR	1995	DBLP DOI BibTeX RDF
2	Keiichi Yasumoto, Teruo Higashino, Toshio Matsuura, Kenichi Taniguchi	Protocol visualization using LOTOS multi-rendezvous mechanism.	ICNP	1995	DBLP DOI BibTeX RDF
2	Ahmed Khoumsi, Gregor von Bochmann	Protocol synthesis using basic Lotos and global variables.	ICNP	1995	DBLP DOI BibTeX RDF
2	Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Andriantsiferana	Specification and Validation of Multimedia Protocols using RT-LOTOS.	FTDCS	1995	DBLP DOI BibTeX RDF
2	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
2	J. William Atwood, Y. Zhang	A definition of the XTP service and its formal specification. (PDF / PS)	LCN	1995	DBLP DOI BibTeX RDF	XTP service, Xpress Transfer Protocol, transport-level protocol, network-level protocol, unicast environment, multicast environment, specification architecture, data type definitions, process structures, distributed systems, real-time systems, real-time systems, formal specification, formal specification, local area networks, transport protocols, multimedia systems, multimedia systems, open systems, LOTOS
2	David W. Bustard, P. J. Lundy	Enhancing soft systems analysis with formal modelling. (PDF / PS)	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
2	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
2	Ursula Martin, M. Thomas	Verification Techniques for LOTOS.	FME	1994	DBLP DOI BibTeX RDF
2	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
2	Peter B. Ladkin, Barbara B. Simons	Static analysis of multiway synchronization.	CASCON	1994	DBLP DOI BibTeX RDF	Lotos, OCCAM
2	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
2	Carron Kirkwood	Automating (Specififation = Implementation) Using Equational Reasoning and LOTOS.	TAPSOFT	1993	DBLP DOI BibTeX RDF
2	Fosca Giannotti, Diego Latella	Gate Splitting in LOTOS Specifications Using Abstract Interpretation.	TAPSOFT	1993	DBLP DOI BibTeX RDF
2	Simon Pickin, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot	Process Instances in LOTOS Simulation.	FME	1993	DBLP DOI BibTeX RDF
2	Mikael Hedlund	The Integration of LOTOS with an Object Oriented Development Method.	FME	1993	DBLP DOI BibTeX RDF
2	Thony van der Vloedt, Kees Bogaards	Integrating SA/RT with LOTOS.	FME	1993	DBLP DOI BibTeX RDF
2	Gonzalo León, Juan C. Yelmo, Carlos Sánchez, F. Javier Carrasco, Juan J. Gil	An Industrial Experience on LOTOS-Based Prototyping for Switching Systems Design.	FME	1993	DBLP DOI BibTeX RDF
2	Ludo Cuypers	Specification Languages and Their Implementations.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF	Lotos
2	Günter Karjoth	Implementing LOTOS Specifications by Communicating State Machines.	CONCUR	1992	DBLP DOI BibTeX RDF
2	Nathalie Rico, Gregor von Bochmann, Omar Cherkaoui	Model-Checking for Real-Time Systems Specified in Lotos.	CAV	1992	DBLP DOI BibTeX RDF
2	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
2	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
2	Tommaso Bolognesi, Diego Latella, Elisabetta Zuppa	Non-standard Interpretations of LOTOS Specifications.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
2	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
2	Michel Barbeau, Gregor von Bochmann	Extension of the Karp and Miller Procedure to Lotos Specifications.	CAV	1990	DBLP DOI BibTeX RDF
2	Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera	Modeling the execution of LOTOS specifications by cooperating extended finite state machines.	SPDP	1990	DBLP DOI BibTeX RDF
2	Ed Brinksma	Constraint-Oriented Specification in a Constructive Formal Description Technique.	REX Workshop	1989	DBLP DOI BibTeX RDF	constraint-oriented specification, multi-way synchronization, specification styles, synchronization by association, formal specification, refinement, process algebra, LOTOS, parallel composition, conjunction
2	J. P. Briand, M. C. Fehri, Luigi Logrippo, Abdellatif Obaid	Structure of a LOTOS interpreter.	SIGCOMM	1986	DBLP DOI BibTeX RDF
1	Jan Bury	Project Kalina: The Lotos Operation Conundrum.	Cryptologia	2012	DBLP DOI BibTeX RDF
1	Fabienne Boyer, Olivier Gruber, Gwen Salaün	Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP.	FM	2011	DBLP DOI BibTeX RDF
1	Jan Van den Bergh, Kris Luyten, Karin Coninx	CAP3: context-sensitive abstract user interface specification.	EICS	2011	DBLP DOI BibTeX RDF
1	Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee	Translating FSP into LOTOS and networks of automata.	Formal Asp. Comput.	2010	DBLP DOI BibTeX RDF