Search results for "LOTOS"

Hits ?▲	Authors	Title	Venue	Year	Link
18	Hazem El-Gendy, Hani El-Sayed, Abdel-Wahab Fayez	Transformation of estelle specifications to lotos specifications.	CATA	1998	DBLP BibTeX RDF
18	Lisandro Zambenedetti Granville, Maria Janilce B. Almeida	Specification of E-LOTOS Systems in the E-DART Environment.	COMPSAC	1998	DBLP DOI BibTeX RDF
18	Luciano Paschoal Gaspary, Maria Janilce B. Almeida	Authoring and E-LOTOS conception of interactive networked multimedia applications in MUSE environment.	PICS	1998	DBLP BibTeX RDF
18	Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi	Hardware synthesis from protocol specifications in LOTOS.	FORTE	1998	DBLP BibTeX RDF
18	Kenneth J. Turner	Validating Architectural Feature Descriptions using LOTOS.	FIW	1998	DBLP BibTeX RDF
18	Zbigniew Huzar, Jan Magott	Syntax and Semantics of Real-Time and Performance Evaluation Extensions of Specification Language LOTOS.	Fundam. Informaticae	1997	DBLP DOI BibTeX RDF
18	Luc Léonard, Guy Leduc	An Introduction to ET-LOTOS for the Description of Time-Sensitive Systems.	Comput. Networks ISDN Syst.	1997	DBLP DOI BibTeX RDF
18	Kenneth J. Turner	Incremental Requirements Specification with LOTOS.	Requir. Eng.	1997	DBLP DOI BibTeX RDF
18	Hans van der Schoot, Hasan Ural	Data Flow Analysis of System Specifications in Lotos.	Int. J. Softw. Eng. Knowl. Eng.	1997	DBLP DOI BibTeX RDF
18	Zbigniew Huzar, Jan Kwiatkowski, Jan Magott	Dataflow Processing Modeling in Performance Extension of LOTOS.	Euro-PDS	1997	DBLP BibTeX RDF
18	Carron Shankland, Muffy Thomas	Symbolic Bisimulation for Full LOTOS.	AMAST	1997	DBLP DOI BibTeX RDF
18	Hazem El-Gendy, Hoda Baraka	Transformation of Lotos specifications to Estelle specifications.	ISCC	1997	DBLP DOI BibTeX RDF
18	Jean-Pierre Krimm, Laurent Mounier	Compositional State Space Generation from Lotos Programs.	TACAS	1997	DBLP DOI BibTeX RDF
18	L. Andriantsiferana, Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Picci	An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System.	FORTE	1997	DBLP BibTeX RDF
18	Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten	Disjunction of LOTOS Specifications.	FORTE	1997	DBLP BibTeX RDF
18	Giovanny F. Lucero, Juan Quemada	Specifying the ODP Trader: An Introduction to E-LOTOS.	FORTE	1997	DBLP BibTeX RDF
18	Christian Hernalsteen	A Timed Automaton Model for ET-LOTOS Verification.	FORTE	1997	DBLP BibTeX RDF
18	Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi	Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks.	FORTE	1997	DBLP BibTeX RDF
18	Christian Hernalsteen, Arnaud Février	Introduction of a Suspend/Resume Operator in ET-LOTOS.	ARTS	1997	DBLP DOI BibTeX RDF
18	Howard Bowman, John Derrick	Extending LOTOS with Time: A True Concurrency Perspective.	ARTS	1997	DBLP DOI BibTeX RDF
18	Richard O. Sinnott	An architecture based approach to specifying distributed systems in LOTOS and Z.		1997	RDF
18	Christian Kant, Teruo Higashino, Gregor von Bochmann	Deriving Protocol Specifications from Service Specifications Written in LOTOS.	Distributed Comput.	1996	DBLP DOI BibTeX RDF
18	Atsushi Togashi, Glenn Mansfield, Norio Shiratori	Animating LOTOS Specifications Using Amlog.	Int. J. Softw. Eng. Knowl. Eng.	1996	DBLP DOI BibTeX RDF
18	Laurence Pierre	Formal Specification of a Reactive System: An Exercise in VHDL, LOTOS and UNITY.	ED&TC	1996	DBLP DOI BibTeX RDF
18	Ricardo Ferreira Martins, Murilo Silva de Camargo, Jean-Marie Farines	Uma ferramenta para auxílio no processo de verificação de especificações em RT-LOTOS.	SBES	1996	DBLP DOI BibTeX RDF
18	Mario Marrero, Álvaro Suárez Sarmiento	EVGC: A Tool for Visualizing LOTOS Behavioural Specifications.	FTRTFT	1996	DBLP DOI BibTeX RDF
18	John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen	Comparing LOTOS and Z Refinement Relations.	FORTE	1996	DBLP BibTeX RDF
18	Hubert Garavel, Mihaela Sighireanu	On the Introduction of Exceptions in E-LOTOS.	FORTE	1996	DBLP BibTeX RDF
18	David Larrabeiti, Juan Quemada, Santiago Pavón	From LOTOS to Petri Nets through Iexpansion.	FORTE	1996	DBLP BibTeX RDF
18	Akio Nakata, Teruo Higashino, Kenichi Taniguchi	Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence.	FORTE	1996	DBLP BibTeX RDF
18	Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian	Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS.	FORTE	1996	DBLP BibTeX RDF
18	Abderrahmane Lakas, Gordon S. Blair, Amanda G. Chetwynd	Specification and Verification of Real-Time Properties Using LOTOS and SQTL.	IWSSD	1996	DBLP BibTeX RDF
18	Jeremy William Bryans	Denotational semantic models for real-time LOTOS.		1996	RDF
18	Hans van der Schoot, Hasan Ural	Data Flow Oriented Test Selection for Lotos.	Comput. Networks ISDN Syst.	1995	DBLP DOI BibTeX RDF
18	Piyu Tripathy, Behçet Sarikaya	Analysis and representation of test cases generated from LOTOS.	Comput. Commun.	1995	DBLP DOI BibTeX RDF
18	Richard Lai 0001, Anthony C. C. Lo	An Analysis of the ISO FTAM Basic File Protocol Specified in LOTOS.	Aust. Comput. J.	1995	DBLP BibTeX RDF
18	Jean-Pierre Courtiat, Roberto C. de Oliveira, Luiz F. Rust da Costa Carmo	The RT-LOTOS Formal Specification of the Conditional Delivery Mechanism.	Inf. Syst.	1995	DBLP DOI BibTeX RDF
18	Antti Valmari, Martti Tienari	Compositional Failure-based Semantics Models for Basic LOTOS.	Formal Aspects Comput.	1995	DBLP DOI BibTeX RDF
18	Andreas Willig, Ina Schieferdecker	Specifying and Verifying the Steam-Boiler Control System with Time Extended LOTOS.	Formal Methods for Industrial Applications	1995	DBLP DOI BibTeX RDF
18	Zbigniew Huzar, Jan Magott	Real-Time and Performance Evaluation Extensions of Specification Language LOTOS.	MASCOTS	1995	DBLP DOI BibTeX RDF
18	Carron Kirkwood, Muffy Thomas	Experiences with specification and verification in LOTOS: a report on two case studies.	WIFT	1995	DBLP DOI BibTeX RDF
18	Jean-Pierre Courtiat, Roberto C. de Oliveira	RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation.	MMNET	1995	DBLP BibTeX RDF
18	Maarten Steen, Howard Bowman, John Derrick	Composition of LOTOS specifications.	PSTV	1995	DBLP BibTeX RDF
18	David de Frutos-Escrig, Manuel Núñez 0001, Juan Quemada	Characterizing termination in LOTOS via testing.	PSTV	1995	DBLP BibTeX RDF
18	Hubert Garavel	On the introduction of gate typing in E-LOTOS.	PSTV	1995	DBLP BibTeX RDF
18	Riccardo Sisto	A method to build symbolic representations of LOTOS specifications.	PSTV	1995	DBLP BibTeX RDF
18	Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann	Modeling basic LOTOS by FSMs for conformance testing.	PSTV	1995	DBLP BibTeX RDF
18	Kshirasagar Naik	Distributed Implementation of Multi-Rendezvous in LOTOS Using the Orthogonal Communication Structure in Linda.	ICDCS	1995	DBLP DOI BibTeX RDF
18	Elie Najm, Jean-Bernard Stefani, Arnaud Février	Towards a Mobile LOTOS.	FORTE	1995	DBLP BibTeX RDF
18	Carron Kirkwood	Specifying Properties of Basic LOTOS Processes Using Temporal Logic.	FORTE	1995	DBLP BibTeX RDF
18	Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo	Formal Support for Design Techniques: A Timethreads-LOTOS Approach.	FORTE	1995	DBLP BibTeX RDF
18	Jim Davies, Jeremy W. Bryans, Steve A. Schneider	Real-time LOTOS and Timed Observations.	FORTE	1995	DBLP BibTeX RDF
18	Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi	A LOTOS Compiler Generating Multi-threaded Object Codes.	FORTE	1995	DBLP BibTeX RDF
18	Jean-Pierre Courtiat, Roberto C. de Oliveira	A Reachability Analysis of RT-LOTOS Specifications.	FORTE	1995	DBLP BibTeX RDF
18	Manuel Núñez 0001, David de Frutos-Escrig	Testing Semantics for Probabilistic LOTOS.	FORTE	1995	DBLP BibTeX RDF
18	Volkmar Pleßer	Automatische Herleitung von effektiven Testsequenzen aus LOTOS-Spezifikationen mittels Fehlermodellen.		1995	RDF
18	Luca Durante, Riccardo Sisto, Adriano Valenzano	Implementation of static semantic analysis of LOTOS specifications.	Softw. Eng. J.	1994	DBLP DOI BibTeX RDF
18	Tommaso Bolognesi, Elie Najm, Paul A. J. Tilanus	G-LOTOS: A Graphical Language for Concurrent Systems.	Comput. Networks ISDN Syst.	1994	DBLP DOI BibTeX RDF
18	Volkmar Pleßer	Generierung von kurzen Testsequenzen für LOTOS-Verhaltensspezifikationen mit Hilfe von Fehlermodellen.	Prax. Inf.verarb. Kommun.	1994	DBLP BibTeX RDF
18	Andreas Rinkel	TOOPS: ein Werkzeug zur objektorientierten Protokollentwicklung auf der Basis von LOTOS-Dienstspezifikation.	Prax. Inf.verarb. Kommun.	1994	DBLP DOI BibTeX RDF
18	Fosca Giannotti, Diego Latella	Gate Splitting in LOTOS Specifications Using Abstract Interpretation.	Sci. Comput. Program.	1994	DBLP DOI BibTeX RDF
18	Tsuyoshi Ando, Masataka Ohta, Kaoru Takahashi	Interpretation of SDL specification in LOTOS.	Syst. Comput. Jpn.	1994	DBLP DOI BibTeX RDF
18	Marco Ajmone Marsan, Andrea Bianco, Luigi Ciminiera, Riccardo Sisto, Adriano Valenzano	Integrating Peforamnce Analysis in the Context of LOTOS-Based Design.	MASCOTS	1994	DBLP DOI BibTeX RDF
18	Luca Durante, Riccardo Sisto, Adriano Valenzano	A LOTOS specification of the SERCOS field-bus protocol.	SEKE	1994	DBLP BibTeX RDF
18	Atsushi Togashi, Glenn Mansfield, Norio Shiratori	An Intelligent LOTOS interpreter in AMLOG.	ICLP Workshop: Applications of Logic Programming to Software Engineering	1994	DBLP BibTeX RDF
18	Antonio Martínez Maz, Carlos Miguel, E. Pérez, Angel Fernández	FDDI Performance Evaluation Based on LOTOS Formal Description Tecnique.	HPN	1994	DBLP BibTeX RDF
18	Teruo Higashino, Keiichi Yasumoto, Junji Kitamichi, Kenichi Taniguchi	Hardware synthesis from a restricted class of LOTOS expressions.	PSTV	1994	DBLP BibTeX RDF
18	Bernard Stepien, Luigi Logrippo	Feature interaction detection using backward reasoning with LOTOS.	PSTV	1994	DBLP BibTeX RDF
18	Jean-Pierre Courtiat, Roberto C. de Oliveira	About time nondeterminism and exception handling in a temporal extension of LOTOS.	PSTV	1994	DBLP BibTeX RDF
18	Hacène Fouchal, Ana R. Cavalli	A Compositional Verification Method for LOTOS.	PODC	1994	DBLP DOI BibTeX RDF
18	Hacène Fouchal, Ana R. Cavalli	A modal based verification for LOTOS.	FORTE	1994	DBLP BibTeX RDF
18	Alain Kerbrat	Reachable state space analysis of LOTOS specifications.	FORTE	1994	DBLP BibTeX RDF
18	B. Botma, Rom Langerak	Simulator for LOTOS to study the independence and causality of events.	FORTE	1994	DBLP BibTeX RDF
18	Conrado Daws, Alfredo Olivero, Sergio Yovine	Verifying ET-LOTOS programmes with KRONOS.	FORTE	1994	DBLP BibTeX RDF
18	Zixue Cheng, Tongjun Huang, Norio Shiratori	A new distributed algorithm for implementation of LOTOS.	FORTE	1994	DBLP BibTeX RDF
18	Franco Fiore, Fosca Giannotti	An abstract interpreter for the specification language LOTOS.	FORTE	1994	DBLP BibTeX RDF
18	Kenneth J. Turner, Ashley McClenaghan	Visual animation of LOTOS using SOLVE.	FORTE	1994	DBLP BibTeX RDF
18	Alessandro Fantechi, Stefania Gnesi, R. Sacchelli	Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling.	FORTE	1994	DBLP BibTeX RDF
18	Mohammed Faci, Luigi Logrippo	Specifying features and analysing their interactions in a LOTOS environment.	FIW	1994	DBLP BibTeX RDF
18	Mark A. Ardis	Lessons from Using Basic LOTOS.	ICSE	1994	DBLP BibTeX RDF
18	Carron Elizabeth Kirkwood	Verification of LOTOS specifications using term rewriting techniques.		1994	RDF
18	Carlos Miguel, Angel Fernández, J. M. Ortuño, Leon Vidaller	A LOTOS Based Performance Evaluation Tool.	Comput. Networks ISDN Syst.	1993	DBLP DOI BibTeX RDF
18	Günter Karjoth, Carl Binding, Jan Gustafsson	LOEWE: A LOTOS Engineering Workbench.	Comput. Networks ISDN Syst.	1993	DBLP DOI BibTeX RDF
18	José A. Mañas, Tomás de Miguel, Joaquín Salvachúa, Arturo Azcorra	Tool Support to Implement LOTOS Formal Specifications.	Comput. Networks ISDN Syst.	1993	DBLP DOI BibTeX RDF
18	Rezki Boumezbeur, Luigi Logrippo	Specifying telephone systems in LOTOS.	IEEE Commun. Mag.	1993	DBLP DOI BibTeX RDF
18	Carlos Miguel, Angel Fernández, Leon Vidaller	LOTOS Extended with Probablistic Behaviours.	Formal Aspects Comput.	1993	DBLP DOI BibTeX RDF
18	Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera	Rapid Prototyping of Protocols from LOTOS Specifications.	Softw. Pract. Exp.	1993	DBLP DOI BibTeX RDF
18	Carlos Delgado Kloos, Tomás Pedro de Miguel Moro, Tomás Robles Valladares, Guadalberto Rabay Filho, Andrés Marín López	VHDL generation from a timed extension of the formal description technique LOTOS within the FORMAT project.	Microprocess. Microprogramming	1993	DBLP DOI BibTeX RDF
18	Andreas Ulrich, Hartmut König	Test Derivation from LOTOS Using Structure Information.	Protocol Test Systems	1993	DBLP BibTeX RDF
18	David de Frutos-Escrig	A Characterization of LOTOS Representable Networks of Parallel Processes.	AMAST	1993	DBLP BibTeX RDF
18	Thony van der Vloedt	The LOTOS Toolbox.	AMAST	1993	DBLP BibTeX RDF
18	Ing Widya, Gert-Jan van der Heijden	Towards an Implementation-oriented Specification of TP Protocol in LOTOS.	FME	1993	DBLP DOI BibTeX RDF
18	Mohammed Faci, Luigi Logrippo	Specifying Hardware Systems in LOTOS.	CHDL	1993	DBLP BibTeX RDF
18	Arturo Azcorra, Enrique Vázquez, Manuel Alvarez-Campana, Juan Vinyes	Formal Description Techniques at Work: An ISDN Q.931 Implementation Using LOTOS.	PSTV	1993	DBLP BibTeX RDF
18	Charles Pecheur	VLib: Infinite Virtual Libraries for LOTOS.	PSTV	1993	DBLP BibTeX RDF
18	Brahim Ghribi, Luigi Logrippo	A Validation Environment for LOTOS.	PSTV	1993	DBLP BibTeX RDF
18	Ed Brinksma, Henk Eertink	Goal-Driven LOTOS Execution.	PSTV	1993	DBLP BibTeX RDF
18	Jean-Pierre Courtiat, Djamel-Eddine Saïdouni	Action Refinement in LOTOS.	PSTV	1993	DBLP BibTeX RDF
18	Tim Regan	Multimedia in Temporal LOTOS: A Lip-Synchronization Algorithm.	PSTV	1993	DBLP BibTeX RDF
18	Kentaro Go, Norio Shiratori	Modularization of a specification in LOTOS.	ICNP	1993	DBLP DOI BibTeX RDF