Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
30 | Carron Kirkwood |
Automating (Specififation = Implementation) Using Equational Reasoning and LOTOS. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
30 | Tian Zhang 0001, Frédéric Jouault, Jean Bézivin, Xuandong Li |
An MDE-based method for bridging different design notations. |
Innov. Syst. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
UML, Formal methods, LOTOS, MDE |
30 | Nelson Souto Rosa, Paulo Roberto Freire Cunha |
A formal framework for middleware behavioural specification. |
ACM SIGSOFT Softw. Eng. Notes |
2007 |
DBLP DOI BibTeX RDF |
middleware, formal specification, framework, LOTOS |
30 | Kenneth J. Turner |
Test generation for radiotherapy accelerators. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Lotos (Language Of Temporal Ordering Specification), Test generation, Accelerator, Radiotherapy |
30 | Marius C. Bujorianu, Eerke A. Boiten |
Towards Correspondence Carrying Specifications. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
UML, Z, viewpoints, LOTOS, category theory, partial specification |
30 | 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 |
30 | 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. |
Int. J. Softw. Tools Technol. Transf. |
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 |
30 | Bhed Bahadur Bista, Y. Ujiie, K. Furuya, Kaoru Takahashi, Norio Shiratori |
Support System for Constructing Communication Services and Protocols Based on Compositional Approach. |
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 |
30 | 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 |
30 | Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori |
A flexible protocol synthesis method for adopting requirement changes. |
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 |
30 | J. William Atwood, Y. Zhang |
A definition of the XTP service and its formal specification. |
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 |
30 | Peter B. Ladkin, Barbara B. Simons |
Static analysis of multiway synchronization. |
CASCON |
1994 |
DBLP BibTeX RDF |
Lotos, OCCAM |
30 | Ludo Cuypers |
Specification Languages and Their Implementations. |
ACM Conference on Computer Science |
1993 |
DBLP DOI BibTeX RDF |
Lotos |
30 | 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 |
25 | Gwen Salaün, Tevfik Bultan |
Realizability of Choreographies Using Process Algebra Encodings. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
25 | J. Christian Attiogbé, Pascal André, Gilles Ardourel |
Checking Component Composability. |
SC@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
Behavioural Interface Description, Behavioural Verification, Components, Services, Composability |
25 | Frédéric Lang |
Refined Interfaces for Compositional Verification. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Frédéric Lang |
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni |
From Specification to Hardware Device: A Synthesis Algorithm. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
Rapid System Prototyping, Synthesis, Hardware Design |
25 | Frederic Tronel, Frédéric Lang, Hubert Garavel |
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
New Operators for the TURTLE Real-Time UML Profile. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Kenneth J. Turner |
Specifying and Realising Interactive Voice Services. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Manuel J. Fernández-Iglesias, Francisco J. González-Castaño, José M. Pousada Carballo, Martín Llamas Nistal, Alberto Romero Feijoo |
From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Ji He, Kenneth J. Turner |
Specifying Hardware Timing with ET-L OTOS. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Perfecto Mariño, Miguel Angel Domínguez, Francisco Poza, Juan B. Nogueira |
Design of Distributed System Protocols based on Standard FDL's. |
EUROMICRO |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Celso A. S. Santos, Jean-Pierre Courtiat, Luiz Fernando Gomes Soares, Guido L. De Souza |
Formal Specification and Verification of Hypermedia Documents based on the Nested Context Model. |
MMM |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Diego Latella, Paola Quaglia |
A Fully Parallel Calculus of Synchronizing Processes. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Jan de Meer, Axel Rennoch, Jörg Burmeister |
Formal approach to QoS specification and verification. |
CASCON |
1993 |
DBLP BibTeX RDF |
|
18 | Toufik Messaoud Maarouk, Mohammed El Habib Souidi, Nadia Hoggas |
Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS. |
Comput. Informatics |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui |
Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach. |
Int. J. Embed. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Hubert Garavel, Frédéric Lang, Wendelin Serwe |
From LOTOS to LNT. |
ModelEd, TestEd, TrustEd |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Tommaso Bolognesi |
LOTOS-Like Composition of Boolean Nets and Causal Set Construction. |
ModelEd, TestEd, TrustEd |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui |
A New Approach for Generating LOTOS Specifications from UML Dynamic Models. |
C3S2E |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui |
From UML Statecharts to LOTOS Expressions Using Graph Transformation. |
ICIST |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Maarouk Toufik Messaoud, Djamel-Eddine Saïdouni, Mahdaoui Rafik, Houassi Hichem |
Interpretation of DD-LOTOS Specification by C-DATA. |
ADBIS (Short Papers and Workshops) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni |
Formalizing Timed BPEL by D-LOTOS. |
Int. J. Embed. Real Time Commun. Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Giuseppe De Ruvo, Antonella Santone |
An Eclipse-Based Editor to Support LOTOS Newcomers. |
WETICE |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Jan Bury |
Project Kalina: The Lotos Operation Conundrum. |
Cryptologia |
2012 |
DBLP DOI BibTeX RDF |
|
18 | 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 |
|
18 | Valentin Chimisliu, Franz Wotawa |
Abstracting timing information in UML state charts via temporal ordering and LOTOS. |
AST |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Jan Bury |
Operation Lotos: An Unsuccessful Attempt on U.S. Government Communications. |
Cryptologia |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee |
Translating FSP into LOTOS and networks of automata. |
Formal Aspects Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Abdelhafid Zitouni, Mahmoud Boufaïda, Lionel Seinturier |
Specifying Components with Compositional Patterns, LOTOS and Design By Contract. |
SEDE |
2010 |
DBLP BibTeX RDF |
|
18 | Radu Mateescu 0001, Gwen Salaün |
Translating Pi-Calculus into LOTOS NT. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Pedro Losco Takecian, João Eduardo Ferreira, Simon Malkowski, Calton Pu |
Using LOTOS for rigorous specifications of workflow patterns. |
CollaborateCom |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Monika Kapus-Kolar |
An action refinement operator for E-LOTOS with true concurrency. |
Comput. Stand. Interfaces |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Monika Kapus-Kolar |
Reversible enhanced event structures: Towards reversible E-LOTOS. |
Comput. Stand. Interfaces |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Hubert Garavel, Gwen Salaün, Wendelin Serwe |
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Samira Sadaoui, Malek Mouhoub, Bo Chen |
An Efficient LOTOS-Based Framework for Describing and Solving (Temporal) CSPs. |
Int. J. Softw. Eng. Knowl. Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe |
Verification of an industrial SystemC/TLM model using LOTOS and CADP. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Monika Kapus-Kolar |
Enhanced event structures: Towards a true concurrency semantics for E-LOTOS. |
Comput. Stand. Interfaces |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Tarek Sadani |
Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temps-réel décrits en RT-LOTOS. |
|
2007 |
RDF |
|
18 | Nicolas Gorse, Luigi Logrippo, Jacques Sincennes |
Formal detection of feature interactions with logic programming and LOTOS. |
Softw. Syst. Model. |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Monika Kapus-Kolar |
Towards weak sequencing for E-LOTOS. |
Comput. Stand. Interfaces |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Hazem El-Gendy, Nabil El-Kadhi |
Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos. |
J. Comput. Methods Sci. Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Hazem El-Gendy, Nabil El-Kadhi |
Formal Method for Automated Transformation of Lotos Specifications to Estelle Specifications. |
Int. J. Softw. Eng. Knowl. Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Grzegorz Rogus, Tomasz Szmuc |
Modeling and Verification of Reactive Software Using LOTOS. |
Software Engineering: Evolution and Emerging Technologies |
2005 |
DBLP BibTeX RDF |
|
18 | Gwen Salaün, Wendelin Serwe |
Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Paulo Nazareno Maia Sampaio |
Conception formelle de documents multimédia interactifs: une approche s' appuyant sur RT-LOTOS |
|
2005 |
RDF |
|
18 | Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat |
An Approach for the Automatic Generation of RT-LOTOS Specifications from SMIL 2.0 Documents. |
J. Braz. Comput. Soc. |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Perfecto Mariño, Miguel Angel Domínguez, Francisco Poza, Fernando Vázquez |
Using LOTOS in the specification of industrial bus communication protocols. |
Comput. Networks |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Monika Kapus-Kolar |
A generalization of the E-LOTOS renaming operator: a convenience for specification of new forms of process composition. |
Comput. Stand. Interfaces |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Monika Kapus-Kolar |
Deriving Self-Stabilizing Protocols for Services Specified in LOTOS. |
Informatica (Slovenia) |
2003 |
DBLP BibTeX RDF |
|
18 | Antonella Santone, Gigliola Vaglini |
Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. |
J. Autom. Reason. |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni |
Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol. |
IEEE International Workshop on Rapid System Prototyping |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri |
Using Lotos in Workflow Specification. |
ICEIS (3) |
2003 |
DBLP BibTeX RDF |
|
18 | Bernard Stepien, Luigi Logrippo |
Graphic visualization and animation of LOTOS execution traces. |
Comput. Networks |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Keiichi Yasumoto, Takaaki Umedu, Hirozumi Yamaguchi, Akio Nakata, Teruo Higashino |
Protocol animation based on event-driven visualization scenarios in real-time LOTOS. |
Comput. Networks |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Muffy Calder, Savi Maharaj, Carron Shankland |
A Modal Logic for Full LOTOS based on Symbolic Transition Systems. |
Comput. J. |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Hubert Garavel, Frédéric Lang, Radu Mateescu 0001 |
Compiler Construction Using LOTOS NT. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi |
A compiler to implement LOTOS specifications in distributed environments. |
Comput. Networks |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Carron Shankland, Alberto Verdejo |
A case study in abstraction using E-LOTOS and the FireWire. |
Comput. Networks |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Antonella Santone, Gigliola Vaglini |
Reusing LOTOS specifications. |
Microprocess. Microsystems |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Ahmed Khoumsi |
Synthesizing distributed real-time systems modeled by a timed version of a subset of LOTOS. |
ISSS |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Muffy Calder, Carron Shankland |
A Symbolic Semantics and Bisimulation for Full LOTOS. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
18 | Kenneth J. Turner |
The N-Body Problem in LOTOS. |
FM-Everywhere@FORTE/PSTV |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Q. Fu, P. Harnois, Luigi Logrippo, Jacques Sincennes |
Feature interaction detection: a LOTOS-based approach. |
Comput. Networks |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Daniel Amyot, Luigi Logrippo |
Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system. |
Comput. Commun. |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Guy Leduc, François Germeau |
Verification of security protocols using LOTOS-method and application. |
Comput. Commun. |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Robert G. Clark, Ana M. D. Moreira |
Use of E-LOTOS in Adding Formality to UML. |
J. Univers. Comput. Sci. |
2000 |
DBLP BibTeX RDF |
|
18 | Maarten van Loon, Peter J. H. Builtjes, Arjo J. Segers |
Data assimilation of ozone in the atmospheric transport chemistry model LOTOS. |
Environ. Model. Softw. |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Daniel Amyot, Luigi Logrippo |
Structural Coverage For LOTOS - a Probe Insertion Technique. |
TestCom |
2000 |
DBLP BibTeX RDF |
|
18 | Ji He, Kenneth J. Turner |
Verifying and Testing Asynchronous Circuits using LOTOS. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
18 | Daniel Amyot, Leïla Charfi, Nicolas Gorse, Tom Gray, Luigi Logrippo, Jacques Sincennes, Bernard Stepien, Tom Ware |
Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS. |
FIW |
2000 |
DBLP BibTeX RDF |
|
18 | Ji He |
Formal specification and analysis of digital hardware circuits in LOTOS. |
|
2000 |
RDF |
|
18 | Samira Sadaoui |
Aide à la réutilisation de spécifications formelles en LOTOS. |
|
2000 |
RDF |
|
18 | Monika Kapus-Kolar |
More Efficient Functionality Decomposition in LOTOS. |
Informatica (Slovenia) |
1999 |
DBLP BibTeX RDF |
|
18 | Kshirasagar Naik, Zixue Cheng, David S. L. Wei |
Distributed implementation of the disabling operator in LOTOS. |
Inf. Softw. Technol. |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Perry R. James, Markus Endler, Marie-Claude Gaudel |
Development of an Atomic-Broadcast Protocol Using LOTOS. |
Softw. Pract. Exp. |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. |
Softw. Pract. Exp. |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Richard O. Sinnott |
Modelling Dynamic Distributed Systems in LOTOS. |
FBT |
1999 |
DBLP BibTeX RDF |
|
18 | Wen Li, Ye Xinming, Zhiyong Liu |
A Formal Description Technology: Graphics E-LOTOS. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
18 | Ji He, Kenneth J. Turner |
Specification and Verification of Synchronous Hardware using LOTOS. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
18 | Monika Kapus-Kolar |
Supporting Service Parameters in E-LOTOS-Based Protocol Derivation. |
Applied Informatics |
1999 |
DBLP BibTeX RDF |
|
18 | Yoonsik Cheon, Kangho Kim, Chulhong Kim, Youngbae Oh |
From LOTOS to C++, Issues and Tool Development. |
Applied Informatics |
1999 |
DBLP BibTeX RDF |
|
18 | Luis Sánchez Fernández 0001, Gernot Koch, Natividad Martínez Madrid, María Luisa López Vallejo, Carlos Delgado Kloos, Wolfgang Rosenstiel |
Hardware-Software Prototyping from LOTOS. |
Des. Autom. Embed. Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella |
Partial Order Models for Quantitative Extensions of LOTOS. |
Comput. Networks |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis |
Stochastic Process Algebras - Between LOTOS and Markov Chains. |
Comput. Networks |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Howard Bowman |
A LOTOS Based Tutorial on Formal Methods for Object-Oriented Distributed Systems. |
New Gener. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Chulhong Kim, Kangho Kim, Cheoljoo Jeong, Youngbae Oh |
Automatically Generating C++ Programs from LOTOS Behavior Specifications. |
APSEC |
1998 |
DBLP DOI BibTeX RDF |
|