Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|