The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Lotos with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1984-1987 (18) 1988 (20) 1989 (31) 1990 (37) 1991 (38) 1992 (32) 1993 (45) 1994 (35) 1995 (36) 1996 (19) 1997 (26) 1998 (23) 1999 (19) 2000 (19) 2001 (22) 2002 (18) 2003 (15) 2004-2005 (23) 2006-2007 (16) 2008-2009 (20) 2010-2017 (16) 2018-2021 (2)
Publication types (Num. hits)
article(121) incollection(1) inproceedings(395) phdthesis(13)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 379 occurrences of 213 keywords

Results
Found 530 publication records. Showing 530 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
151Luc Léonard, Guy Leduc A Formal Definition of Time in LOTOS. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF ET-LOTOS, Negative premises, Real time, Operational semantics, LOTOS
117Yong Sun, Hongji Yang, Alan J. Dix TDL: A Language for Transition Diagrams in the Derivation of LOTOS Specifications. Search on Bibsonomy APAQS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
92Howard Bowman, Joost-Pieter Katoen A True Concurrency Semantics for ET-LOTOS. Search on Bibsonomy ACSD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
92Keiichi Yasumoto, Teruo Higashino, Toshio Matsuura, Kenichi Taniguchi Protocol visualization using LOTOS multi-rendezvous mechanism. Search on Bibsonomy ICNP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
92Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Andriantsiferana Specification and Validation of Multimedia Protocols using RT-LOTOS. Search on Bibsonomy FTDCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
84Alberto Verdejo Building Tools for LOTOS Symbolic Semantics in Maude. Search on Bibsonomy FORTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Full LOTOS, symbolic semantics, rewriting logic, Maude, meta-language
84Byung-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. Search on Bibsonomy ICPADS The full citation details ... 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
80Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath Formal automated transformation of SDL specifications to Lotos specifications. Search on Bibsonomy ISCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
80Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat Mapping RT-LOTOS Specifications into Time Petri Nets. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
80Mihaela Sighireanu, Radu Mateescu 0001 Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
80Michel Barbeau, Gregor von Bochmann A Subset of Lotos with the Computational Power of Place/Transition-Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
80Michel Barbeau, Gregor von Bochmann The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach. Search on Bibsonomy CAV The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
80Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera Modeling the execution of LOTOS specifications by cooperating extended finite state machines. Search on Bibsonomy SPDP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
77Zdzislaw Splawski Synchronization mechanisms for multimedia streams and their specification in timed LOTOS. Search on Bibsonomy EUROMICRO The full citation details ... 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
77Teruo Higashino, Gregor von Bochmann Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
77David H. Pitt, David Freestone The Derivation of Conformance Tests from LOTOS Specifications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
74Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni Hardware/software synthesis of formal specifications in codesign of embedded systems. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF hardware and software synthesis, embedded system, codesign
72Gwen Salaün, Andrea Ferrara, Antonella Chirichiello Negotiation Among Web Services Using LOTOS/CADP. Search on Bibsonomy ECOWS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF CADP, Web Services, Formal Methods, Negotiation, BPEL, LOTOS
72Pascal Poizat, Christine Choppy, Jean-Claude Royer Concurrency and Data Types: A Specification Method: An Example with LOTOS. Search on Bibsonomy WADT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF constraint oriented, state oriented, specification, method, LOTOS, automaton
72José A. Gallud, José M. García 0001 The Specification of a Generic Multicomputer Using Lotos. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Lotos
67Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. Search on Bibsonomy FORTE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
67Malek Mouhoub, Samira Sadaoui Improving Lotos Simulation Using Constraint Propagation. Search on Bibsonomy ICTAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
67Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
67Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, Richard Hersemeule, Jean-Philippe Cousin LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect. Search on Bibsonomy MEMOCODE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
67Clé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. Search on Bibsonomy MASCOTS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
67Fosca Giannotti, Diego Latella Gate Splitting in LOTOS Specifications Using Abstract Interpretation. Search on Bibsonomy TAPSOFT The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
67Nathalie Rico, Gregor von Bochmann, Omar Cherkaoui Model-Checking for Real-Time Systems Specified in Lotos. Search on Bibsonomy CAV The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
67J. P. Briand, M. C. Fehri, Luigi Logrippo, Abdellatif Obaid Structure of a LOTOS interpreter. Search on Bibsonomy SIGCOMM The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
64Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat A formal approach for the presentation of interactive multimedia documents. Search on Bibsonomy ACM Multimedia The full citation details ... 2000 DBLP  DOI  BibTeX  RDF multimedia and hypermedia documents, formal methods, LOTOS, Lotos, RT-LOTOS
62Ludovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, Pierre de Saqui-Sannes TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
62Takaaki 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. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
60Alberto Verdejo, Narciso Martí-Oliet Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF executable semantic framework, internal strategies, Hennessy-Milner modal logic, symbolic semantics for LOTOS, ACT ONE, rewriting logic, CCS, Maude
60Francisco Isidro Massetto, Wanderley Lopes de Souza, Sérgio Donizetti Zorzo Simulator for E-LOTOS Specifications. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 2002 DBLP  DOI  BibTeX  RDF E-LOTOS, Simulation, Multimedia, Formal Specification
60Motoshi Saeki Behavioral specification of GOF design patterns with LOTOS. Search on Bibsonomy APSEC The full citation details ... 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
60Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen Viewpoint Consistency in Z and LOTOS: A Case Study. Search on Bibsonomy FME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Consistency, Z, Viewpoints, LOTOS, ODP
60Charles Pecheur Specification and Verification of the Co4 Distributed Knowledge System using LOTOS. Search on Bibsonomy ASE The full citation details ... 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
55Rafal Mrowka, Tomasz Szmuc UML Statecharts Compositional Semantics in LOTOS. Search on Bibsonomy ISPDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee Translating FSP into LOTOS and Networks of Automata. Search on Bibsonomy IFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki Eventuality in LOTOS with a Disjunction Operator. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
55Péter Wolkensdorfer, József Harangozó The Application of the Formal Description Language LOTOS for the Design of Process Control Systems. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
55Thony van der Vloedt, Kees Bogaards Integrating SA/RT with LOTOS. Search on Bibsonomy FME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
55Mikael Hedlund The Integration of LOTOS with an Object Oriented Development Method. Search on Bibsonomy FME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
55Michel Barbeau, Gregor von Bochmann Extension of the Karp and Miller Procedure to Lotos Specifications. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
54Carron Shankland, Jeremy W. Bryans, Lionel Morel Expressing Iterative Properties Logically in a Symbolic Setting. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF formal verification, temporal logics, LOTOS, infinite state systems, symbolic representation
54Perfecto Mariño, Francisco Poza, Miguel Angel Domínguez, Juan B. Nogueira Formal specification applied to industrial LAN's design. Search on Bibsonomy EUROMICRO The full citation details ... 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
54Akio Nakata, Teruo Higashino, Kenichi Taniguchi Protocol synthesis from timed and structured specifications. Search on Bibsonomy ICNP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF LOTOS/T+, Presburger formulas, parallelism, protocols, specification languages, synchronisation, interruption, time-constraints, service specifications, protocol specifications, bisimulation equivalent
52Riccardo Sisto, Luigi Ciminiera, Adriano Valenzano A Protocol for Multirendezvous of LOTOS Processes. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
49Jean-Pierre Courtiat Formal Design of Interactive Multimedia Documents. Search on Bibsonomy FORTE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
49Juan Quemada, Santiago Pavón, Angel Fernández State Exploration by Transformation with LOLA. Search on Bibsonomy Automatic Verification Methods for Finite State Systems The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
47Monika Kapus-Kolar Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOS. Search on Bibsonomy Distributed Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Distributed service implementation, Compositional correctness-preserving transformation, LOTOS, Protocol synthesis
47Howard Bowman, Giorgio P. Faconti Analysing Cognitive Behaviour using LOTOS and Mexitl. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Cognitive behaviour, Temporal logic, LOTOS, Process calculi
47Monika Kapus-Kolar Employing disruptions for more efficient functionality decomposition in LOTOS. Search on Bibsonomy EUROMICRO The full citation details ... 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
47Rachid Ben Abbou, Amine Benkiran, Jean-Pierre Courtiat Formal Validation of a Multicast Transport Protocol. Search on Bibsonomy ISCC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF SPRM protocol, Reliability, Formal methods, Multicast, RTL, LOTOS, RT-LOTOS, Protocol validation
47Paulo Nazareno Maia Sampaio, Christophe Lohr, Jean-Pierre Courtiat An integrated environment for the presentation of consistent SMIL 2.0 documents. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2001 DBLP  DOI  BibTeX  RDF SMIL 2.0, interactive multimedia documents, formal methods, LOTOS, temporal consistency, RT-LOTOS
47David W. Bustard, Adam C. Winstanley Making Changes to Formal Specifications: Requirements and an Example. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
42N. Petalidis, D. S. Gill The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS. Search on Bibsonomy ICFEM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
42Mario Marrero, Álvaro Suárez Sarmiento, Elena Carrión, Elsa M. Macías SGLOT: A Visual Tool for Structural LOTOS Specifications. Search on Bibsonomy FTRTFT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
42Maritta Heisel, Nicole Lévy Using LOTOS Patterns to Characterize Architectural Styles. Search on Bibsonomy TAPSOFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
42Ahmed Khoumsi, Gregor von Bochmann Protocol synthesis using basic Lotos and global variables. Search on Bibsonomy ICNP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
42Jeremy W. Bryans, Jim Davies, Steve A. Schneider Towards a denotational semantics for ET-LOTOS. Search on Bibsonomy CONCUR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
42Ursula Martin, Muffy Thomas Verification Techniques for LOTOS. Search on Bibsonomy FME The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
42Gonzalo 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. Search on Bibsonomy FME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
42Simon Pickin 0001, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot Process Instances in LOTOS Simulation. Search on Bibsonomy FME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
42Günter Karjoth Implementing LOTOS Specifications by Communicating State Machines. Search on Bibsonomy CONCUR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
42Tommaso Bolognesi, Diego Latella, Elisabetta Zuppa Non-standard Interpretations of LOTOS Specifications. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
42Gordon Fraser 0001, Martin Weiglhofer, Franz Wotawa Coverage Based Testing with Test Purposes. Search on Bibsonomy QSIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF input-output conformance, Session Initiation Protocol, model-based testing, LOTOS, coverage criteria, test purposes
42Ludovic Apvrille, Pierre de Saqui-Sannes, Patrick Sénac, Christophe Lohr Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF real-time UML, dynamic reconfiguration, satellite, formal validation, RT-LOTOS
42Kenneth J. Turner Formalising Graphical Behaviour Descriptions. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Graphical Specification, Lotos (Language Of Temporal Ordering Specification), SDL (Specification and Description Language), Voice Service
42Hubert Garavel, Radu Mateescu 0001, Irina M. Smarandache Parallel State Space Construction for Model-Checking. Search on Bibsonomy SPIN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF state space construction, model-checking, verification, distributed algorithms, labeled transition system, LOTOS
42Marie-Claude Gaudel, Perry R. James Testing Algebraic Data Types and Processes: A Unifying Theory. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Full LOTOS, Black box testing, Formal testing
42Jian Chen, Richard H. Carver Selecting and mapping test sequences from formal specifications of concurrent programs. Search on Bibsonomy HASE The full citation details ... 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
42Carlos 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. Search on Bibsonomy CODES The full citation details ... 1996 DBLP  DOI  BibTeX  RDF formal specification, partitioning, estimation, Co-design, LOTOS
42David W. Bustard, P. J. Lundy Enhancing soft systems analysis with formal modelling. Search on Bibsonomy RE The full citation details ... 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
37Ludovic Apvrille, Pierre de Saqui-Sannes, Ferhat Khendek TURTLE-P: a UML profile for the formal validation of critical and distributed systems. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Kenneth J. Turner, Qian Bing Protocol Techniques for Testing Radiotherapy Accelerators. Search on Bibsonomy FORTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
37Ludovic 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. Search on Bibsonomy UML The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
37Daniel Amyot, Luigi Logrippo, Raymond J. A. Buhr, Tom Gray Use Case Maps for the Capture and Validation of Distributed Systems Requirements. Search on Bibsonomy RE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
37Ina Schieferdecker Performance-Oriented Formal Specifications - the LotoTis Approach. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
35Monika Kapus-Kolar A generalization of the E-LOTOS trapping operator: towards reconciliation with LOTOS. Search on Bibsonomy Comput. Stand. Interfaces The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Christophe 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). Search on Bibsonomy 2002   RDF
35Jean-Pierre Courtiat, Celso A. S. Santos, Christophe Lohr, B. Outtaj Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. Search on Bibsonomy Comput. Commun. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Thomas Lambolais Modélisation du développement de spécifications LOTOS. (Modeling the development of LOTOS specification). Search on Bibsonomy 1997   RDF
35Pim Kars Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach. Search on Bibsonomy FORTE The full citation details ... 1994 DBLP  BibTeX  RDF
35Ashley McClenaghan Mapping Time-Extended LOTOS to Standard LOTOS. Search on Bibsonomy FORTE The full citation details ... 1991 DBLP  BibTeX  RDF
35Guy A. T'Hooft Timer description in CCS (Milner), LOTOS (ISO) and timed LOTOS (Quemada-Fernandez). A case analysis. Search on Bibsonomy Comput. Commun. Rev. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
35Valentin Chimisliu, Christian Schwarzl, Bernhard Peischl From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation. Search on Bibsonomy QSIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF test case generation, LOTOS, UML Statechart
35Riccardo Sisto, Adriano Valenzano Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Concurrent systems design, Petri nets, LOTOS, formal description techniques, protocol engineering
35Marco Ajmone Marsan, Andrea Bianco, Luigi Ciminiera, Riccardo Sisto, Adriano Valenzano A LOTOS extension for the performance analysis of distributed systems. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Lotos
35Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi Software Process Description Using LOTOS and Its Enaction. Search on Bibsonomy ICSE The full citation details ... 1994 DBLP  BibTeX  RDF distributed system, software process, LOTOS, software development environment, formal description technique
35Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis A Toolbox for the Verification of LOTOS Programs. Search on Bibsonomy ICSE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Lotos
35Piyu Tripathy, Behçet Sarikaya Test Generation from LOTOS Specifications. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
34Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization. Search on Bibsonomy DAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF concurrent EFSMs, mutli-way synchronization, high-level synthesis, communication protocols, LOTOS, Lotos
34Celso A. S. Santos, Luiz Fernando Gomes Soares, Guido L. De Souza, Jean-Pierre Courtiat Design Methodology and Formal Validation of Hypermedia Documents. Search on Bibsonomy ACM Multimedia The full citation details ... 1998 DBLP  DOI  BibTeX  RDF LOTOS & RT-LOTOS, NCM, intrinsic and extrinsic consistency properties, formal verification, hypermedia document
30Olivier Ponsini, Wendelin Serwe A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat Designing Consistent Multimedia Documents: The RT-LOTOS Methodology. Search on Bibsonomy FORMATS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Nelson S. Rosa, Paulo Roberto Freire Cunha A LOTOS Framework for Middleware Specification. Search on Bibsonomy FORTE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Muffy Calder, Savi Maharaj, Carron Shankland An Adequate Logic for Full LOTOS. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
30Wassem Hassan DLOTOS: A LOTOS Extension for Clock Synchronization in Distributed Systems. Search on Bibsonomy APAQS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
30Pierre Wodey, Fabrice Baray Linking Codesign and Verification by Means of E-LOTOS FDT. Search on Bibsonomy EUROMICRO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
30Luciano Paschoal Gaspary, Maria Janilce B. Almeida MUSE - An Interactive Networked Multimedia Applications Specification Environment with E-LOTOS Translator. Search on Bibsonomy CAiSE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 530 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license