Search results for "RT-Lotos"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Iztok Tvrdy	Formal modelling of telematic services using LOTOS.	Microprocess. Microprogramming	1989	DBLP DOI BibTeX RDF
18	Hartmut Ehrig, Ingo Claßen, Paul Boehm, Werner Fey, Martin Korff, Michael Löwe	Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag).	Software-Entwicklung	1989	DBLP DOI BibTeX RDF
18	Carlos A. G. Ferraz, Paulo R. F. Cunha, Silvio R. L. Meira	Simulação de Especificações LOTOS Usando Linguagens Funcionais.	SBES	1989	DBLP DOI BibTeX RDF
18	Maria Teresa Silva de Moura, Paulo Roberto Freire Cunha	Representação Gráfica para LOTOS.	SBES	1989	DBLP DOI BibTeX RDF
18	Rom Langerak	A Testing Theory for LOTOS using Deadlock Detection.	PSTV	1989	DBLP BibTeX RDF
18	Gregor von Bochmann, Michel Deslauriers	Combining ASN1 Support with the LOTOS Language.	PSTV	1989	DBLP BibTeX RDF
18	Norio Shiratori, Hiroaki Kaminaga, Kaoru Takahashi, Shoichi Noguchi	A Verification Method for LOTOS Specifications and its Application.	PSTV	1989	DBLP BibTeX RDF
18	Peter van Eijk	LOTOS Tools Based on the Cornell Synthesizer Generator.	PSTV	1989	DBLP BibTeX RDF
18	Dietmar Wolz, Paul Boehm	Compilation of LOTOS Data Type Specifications.	PSTV	1989	DBLP BibTeX RDF
18	Mohammed Faci, Luigi Logrippo, Bernard Stepien	Formal Specifications of Telephone Systems in LOTOS.	PSTV	1989	DBLP BibTeX RDF
18	Tommaso Bolognesi, Diego Latella	Techniques for the formal definition of the G-LOTOS syntax.	VL	1989	DBLP DOI BibTeX RDF
18	Jian-Ping Wu, Samuel T. Chanson	Translation from LOTOS and Estelle Specifications to Extended Transition System and its Verification.	FORTE	1989	DBLP BibTeX RDF
18	Eric Dubuis	An Algorithm for Translating LOTOS Behavior Expressions into Automata and Ports.	FORTE	1989	DBLP BibTeX RDF
18	Hubert Garavel	Compilation of LOTOS Abstract Data Types.	FORTE	1989	DBLP BibTeX RDF
18	Elspeth Cusack, Steve Rudkin, Chris Smith	An Object Oriented Interpretation of LOTOS.	FORTE	1989	DBLP BibTeX RDF
18	Peter van Eijk	Tools for LOTOS Specification Style Transformation.	FORTE	1989	DBLP BibTeX RDF
18	Kenneth J. Turner	A LOTOS-Based Development Strategy.	FORTE	1989	DBLP BibTeX RDF
18	Gregor von Bochmann, Qiang Gao, Cheng Wu	On the Distributed Implementation of LOTOS.	FORTE	1989	DBLP BibTeX RDF
18	Djaffar Gueraichi, Luigi Logrippo	Derivation of Test Cases for LAP-B from a LOTOS Specification.	FORTE	1989	DBLP BibTeX RDF
18	Gonzalo León, Carlos Delgado Kloos, G. González, M. A. Ruz, Saturnino Marchena Rodriguez, L. Santos, J. Navarro	ASDE: Design of a Transformational Environment for LOTOS.	FORTE	1989	DBLP BibTeX RDF
18	Juan Quemada, Arturo Azcorra, David de Frutos-Escrig	TIC: A Timed Calculus for LOTOS.	FORTE	1989	DBLP BibTeX RDF
18	Wilfried H. P. van Hulzen, Paul A. J. Tilanus, Han Zuidweg	LOTOS Extended with Clocks.	FORTE	1989	DBLP BibTeX RDF
18	Jan Tretmans	Test Case Derivation from LOTOS Specifications.	FORTE	1989	DBLP BibTeX RDF
18	Rob Booth	An Evaluation of the LCF Theorem Prover using LOTOS.	FORTE	1989	DBLP BibTeX RDF
18	Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve	An Expressive Temporal Logic for Basic LOTOS.	FORTE	1989	DBLP BibTeX RDF
18	Ed Brinksma	Specification Modules in LOTOS.	FORTE	1989	DBLP BibTeX RDF
18	Richard C. Cam, Son T. Vuong	A Formal Specification, in LOTOS, of a Simplified Cellular Mobile Communication System.	FORTE	1989	DBLP BibTeX RDF
18	T. Y. Cheung, Y. C. Ye, X. Ye, G. Q. Wang	UO-GLOTOS: A Syntax/System for Representing, Editing and Translating Graphical LOTOS.	FORTE	1989	DBLP BibTeX RDF
18	Hubert Garavel	Compilation et vérification de programmes LOTOS.		1989	RDF
18	Luigi Logrippo, Abdellatif Obaid, J. P. Briand, M. C. Fehri	An Interpreter for LOTOS, a Specification Language for Distributed Systems.	Softw. Pract. Exp.	1988	DBLP DOI BibTeX RDF
18	G. León, S. Marchena	Formal conversion between LOTOS specification and Galileo nets.	Microprocess. Microprogramming	1988	DBLP DOI BibTeX RDF
18	Romi J. Barjaktarevic, Jan Roos, Robert Verkroost	Use of PROLOG as an implementation tool for FDT lotos.	ICCC	1988	DBLP BibTeX RDF
18	José A. Mañas, Tomás de Miguel	From LOTOS to C.	FORTE	1988	DBLP BibTeX RDF
18	Saturnino Marchena Rodriguez, Gonzalo León	Transformation from LOTOS Specifications to Galileo Nets.	FORTE	1988	DBLP BibTeX RDF
18	David R. Gilbert	A LOTOS to PARLOG Translator.	FORTE	1988	DBLP BibTeX RDF
18	Francesco Costa, Daniela Nardi, Roberto Rinaldi	SDS - A LOTOS-Based Tool for Symbolic Debugging.	FORTE	1988	DBLP BibTeX RDF
18	David Freestone, Sukhvinder S. Aujla	Specifying ROSE in LOTOS.	FORTE	1988	DBLP BibTeX RDF
18	Jeroen van de Lagemaat, Giuseppe Scollo	On the Use of LOTOS for the Formal Description of a Transport Protocol.	FORTE	1988	DBLP BibTeX RDF
18	Thomas Mayr	Specification of Object-Oriented Systems in LOTOS.	FORTE	1988	DBLP BibTeX RDF
18	Marten van Sinderen, Ibrahim Ajubi, Fausto Caneschi	The Application of LOTOS for the Formal Description of the ISO Session Layer.	FORTE	1988	DBLP BibTeX RDF
18	Wilfried H. P. van Hulzen	LOTTE - A LOTOS Environment.	FORTE	1988	DBLP BibTeX RDF
18	Renaud Guillemot, Luigi Logrippo	Derivation of Useful Execution Trees from LOTOS by using an Interpreter.	FORTE	1988	DBLP BibTeX RDF
18	Juan Quemada, Santiago Pavón, Angel Fernández	Transforming LOTOS Specifications with LOLA - The Parameterised Expansion.	FORTE	1988	DBLP BibTeX RDF
18	Tommaso Bolognesi, Maurizio Caneve	Squiggles - A Tool for the Analysis of LOTOS Specifications.	FORTE	1988	DBLP BibTeX RDF
18	Günter Karjoth	A LISP-Based LOTOS Environment.	FORTE	1988	DBLP BibTeX RDF
18	Kees Bogaards	LOTOS-Supported System Development.	FORTE	1988	DBLP BibTeX RDF
18	Sukhvinder S. Aujla, Matthew Fletcher	The Boyer-Moore Theorem-Prover and LOTOS.	FORTE	1988	DBLP BibTeX RDF
18	Paul A. J. Tilanus, Yan Yang	Experience with LOTOS and Environment LOTTE on an ISDN Protocol.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
18	Tommaso Bolognesi, Ed Brinksma	Introduction to the ISO Specification Language LOTOS.	Comput. Networks	1987	DBLP DOI BibTeX RDF
18	B. Londeix, K. H. Fan	Specification using lotos on the test facility of a transmission system.	Microprocess. Microprogramming	1987	DBLP DOI BibTeX RDF
18	Guy Leduc	The Intertwining of Data Types and Processes in LOTOS.	PSTV	1987	DBLP BibTeX RDF
18	Juan Quemada, Angel Fernández	Introduction of Quantitative Relative Time into LOTOS.	PSTV	1987	DBLP BibTeX RDF
18	Kenneth J. Turner	An Architectural Semantics for LOTOS.	PSTV	1987	DBLP BibTeX RDF
18	David R. Gilbert	Executable LOTOS: Using PARLOG to Implement an FDT.	PSTV	1987	DBLP BibTeX RDF
18	Elie Najm	A Verification Oriented Specification in LOTOS of the Transport Protocol.	PSTV	1987	DBLP BibTeX RDF
18	Alfio Lombardo	Designing presentation service by Lotos.	FJCC	1987	DBLP BibTeX RDF
18	Vincenza Carchiolo, Alberto Faro, Orazio Mirabella, Giuseppe Pappalardo, Giuseppe Scollo	A LOTOS Specification of the PROWAY Highway Service.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	temporal ordering, Computer communication standards, multicast communication services, formal specifications, local area networks, rapid prototyping, process control, protocol verification
18	Giuseppe Scollo, Chris A. Vissers, Antonella Di Stefano	Lotos in Practice.	IFIP Congress	1986	DBLP BibTeX RDF
18	Hartmut Ehrig	Towards an Algebraic Semantics of the ISO Specification Language LOTOS.	ADT	1986	DBLP BibTeX RDF
18	Ed Brinksma	A tutorial on LOTOS.	PSTV	1985	DBLP BibTeX RDF
18	Ed Brinksma, Günter Karjoth	A Specification of the OSI Transport Service in LOTOS.	PSTV	1984	DBLP BibTeX RDF
18	Vincenza Carchiolo, Alberto Faro, F. Minissale, Giuseppe Scollo	Some Topics in the Design of the Specification Language Lotos.	Symposium on Programming	1984	DBLP DOI BibTeX RDF
17	Martin Weiglhofer, Franz Wotawa	Improving Coverage Based Test Purposes.	QSIC	2009	DBLP DOI BibTeX RDF	coverage based testing, tgv, model-based testing, conformance testing, LOTOS, test purposes
17	John Derrick, Eerke A. Boiten	Combining Component Specifications in Object-Z and CSP.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Components, Refinement, CSP, Viewpoints, LOTOS, Object-Z
17	Tommaso Bolognesi	Toward Constraint-Object-Oriented Development.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Constraint-oriented specification, Co-Notation, constraint-object-oriented design, method decomposition, JAVA programming style, LOTOS, multi-object operation
17	Kentaro Go, Norio Shiratori	A Decomposition of a Formal Specification: An Improved Constraint Oriented Method.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	constraint-oriented method, Formal specification, decomposition, bisimulation, equivalence, LOTOS
17	Celso A. S. Santos, Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat	Revisiting the concept of hypermedia document consistency.	ACM Multimedia (2)	1999	DBLP DOI BibTeX RDF	internal and external non-determinism, formal verification, temporal consistency, RT-LOTOS, hypermedia documents
17	Charles Pecheur	Advanced Modelling and Verification Techniques Applied to a Cluster File System.	ASE	1999	DBLP DOI BibTeX RDF	Compositional Generation, XTL, Model Checking, Formal Method, Specification, Temporal Logic, Distributed File System, LOTOS
17	Ian Pyle	Performance Considerations in COMPLEMENT.	ECBS	1996	DBLP DOI BibTeX RDF	MASCOT, model, performance, annotation, Methodology, LOTOS, HOOD
17	Gregor von Bochmann, Alexandre Petrenko	Protocol Testing: Review of Methods and Relevance for Software Testing.	ISSTA	1994	DBLP DOI BibTeX RDF	Lotos, OSI
17	Paul W. King	Formalization of Protocol Engineering Concepts.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	communication system development, relational notation, complexity, formal specification, Petri nets, Petri nets, protocols, communication protocols, behavioral models, LOTOS, design principles, Object-Z, formal description techniques, Z notation, structural models
17	Vincenza Carchiolo, Alberto Faro, Giuseppe Scollo	A temporal ordering specification of some session services.	Comput. Commun. Rev.	1984	DBLP DOI BibTeX RDF	Lotos
12	Jan Van den Bergh 0001, Kris Luyten, Karin Coninx	CAP3: context-sensitive abstract user interface specification.	EICS	2011	DBLP DOI BibTeX RDF
12	Kenneth J. Turner, Koon Leai Larry Tan	A Rigorous Methodology for Composing Services.	FMICS	2009	DBLP DOI BibTeX RDF
12	Claude Helmstetter, Olivier Ponsini	A Comparison of Two SystemC/TLM Semantics for Formal Verification.	MEMOCODE	2008	DBLP DOI BibTeX RDF
12	Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko	Verification of networks of timed automata using mCRL2.	IPDPS	2008	DBLP DOI BibTeX RDF
12	Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath	Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques.	ISCC	2008	DBLP DOI BibTeX RDF
12	Satish Mishra, Bernd-Holger Schlingloff	Compliance of CMMI Process Area with Specification Based Development.	SERA	2008	DBLP DOI BibTeX RDF	Software Quality Guarantees, Process Models and Process Management, Process Support Tools, Model Driven Engineering, Software Engineering Processes
12	Tian Zhang 0001, Frédéric Jouault, Jean Bézivin, Jianhua Zhao	A MDE Based Approach for Bridging Formal Models.	TASE	2008	DBLP DOI BibTeX RDF	formal methods, MDE
12	Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Boufaïda	Contract-Based Approach to Analyze Software Components.	ICECCS	2008	DBLP DOI BibTeX RDF
12	Gwen Salaün, Wendelin Serwe, Yvain Thonnart, Pascal Vivet	Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip.	ASYNC	2007	DBLP DOI BibTeX RDF
12	María-del-Mar Gallardo, Christophe Joubert, Pedro Merino 0001, David Sanán	C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs.	SPIN	2007	DBLP DOI BibTeX RDF
12	Kenneth J. Turner, Koon Leai Larry Tan	Graphical Composition of Grid Services.	RISE	2006	DBLP DOI BibTeX RDF
12	Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko	Time abstraction in timed μCRL a la regions.	IPDPS	2006	DBLP DOI BibTeX RDF
12	Guang-Ping Qin, Jin-Zhao Wu	Action Refinement for Real-Time Concurrent Processes with Urgency.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	timed event, real-time process algebra, structure, action refinement, urgency
12	Hacène Fouchal, Sébastien Gruson, Ludovic Pierre, Cyril Rabat, Antoine Rollet	Integrated Tool for Testing Timed Systems.	ISSADS	2005	DBLP DOI BibTeX RDF	Validation, Timed Automata, Conformance Testing, Automata Theory, Protocol Engineering
12	Kenneth J. Turner	Formalising Web Services.	FORTE	2005	DBLP DOI BibTeX RDF
12	Mila E. Majster-Cederbaum, Jinzhao Wu	Towards action refinement for true concurrent real time.	Acta Informatica	2003	DBLP DOI BibTeX RDF
12	Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day	Template Semantics for Model-Based Notations.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Model-based specification notations, automated generation of analysis tools, semantics, concurrency, composition
12	Mila E. Majster-Cederbaum, Jinzhao Wu	Adding Action Refinement to Stochastic True Concurrency Models.	ICFEM	2003	DBLP DOI BibTeX RDF
12	Antoine Rollet, Hacène Fouchal	Testing Protocol Robustness.	IICS	2003	DBLP DOI BibTeX RDF
12	Holger Hermanns, Christophe Joubert	A Set of Performance and Dependability Analysis Components for CADP.	TACAS	2003	DBLP DOI BibTeX RDF
12	Betty H. C. Cheng, Enoch Y. Wang	Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	design, formal specification, requirements analysis, Object-oriented modeling, behavior, dynamic model, model integration
12	Hubert Garavel, Holger Hermanns	On Combining Functional Verification and Performance Evaluation Using CADP.	FME	2002	DBLP DOI BibTeX RDF
12	Gwen Salaün, Michel Allemand, J. Christian Attiogbé	A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example.	COMPSAC	2002	DBLP DOI BibTeX RDF
12	Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day	Composable semantics for model-based notations.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	model-based notations, communication, concurrency, composition, operational semantics, formal analysis
12	Hubert Garavel, Frédéric Lang	NTIF: A General Symbolic Model for Communicating Sequential Processes with Data.	FORTE	2002	DBLP DOI BibTeX RDF
12	Kenneth J. Turner	Modelling SIP Services Using CRESS.	FORTE	2002	DBLP DOI BibTeX RDF
12	José Juan Pazos-Arias, Jorge García Duque	SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study.	Formal Aspects Comput.	2001	DBLP DOI BibTeX RDF	Incremental specification, Unspecification, Formal verification, Temporal logic, Formal description techniques, Functional requirements
12	Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla	Automatic Translation of a Timed Process Algebra into Dynamic State Graphs.	APSEC	2001	DBLP DOI BibTeX RDF