Search results for "LOTOS"

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