Search results for "LOTOS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Kenneth J. Turner, Ji He	Formally-Based Design Evaluation.	CHARME	2001	DBLP DOI BibTeX RDF
12	Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat	Scheduling and Presenting Interactive Multimedia Documents.	ICME	2001	DBLP DOI BibTeX RDF
12	Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori	Composition of Service and Protocol Specifications.	ICOIN	2001	DBLP DOI BibTeX RDF
12	Mila E. Majster-Cederbaum, Jinzhao Wu	Action Refinement for True Concurrent Real Time.	ICECCS	2001	DBLP DOI BibTeX RDF	timed event structure, timed process algebra, action refinement, true concurrency
12	Marie-Claude Gaudel	Testing from Formal Specifications, a Generic Approach.	Ada-Europe	2001	DBLP DOI BibTeX RDF
12	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier	IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
12	Martin Leucker, Thomas Noll 0001	Rapid Prototyping of Specification Language Implementations.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF
12	Giorgio P. Faconti, Mieke Massink	Modelling and Verification of PREMO Synchronisable Objects.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Media synchronisation, Model checking, Refinement, Formal modelling, Multimedia presentation, Process Calculi
12	Wanderley Lopes de Souza, Paulo Nazareno Maia Sampaio, Jean-Marie Farines, Roberto Milton Scheffel, Maria Janilce B. Almeida, Luciano Paschoal Gaspary, Lisandro Zambenedetti Granville, Roberto Willrich, Murilo S. de Camargo, Marcelo Domingos	Design of Distributed Multimedia Applications (DAMD).	FM-Trends	1998	DBLP DOI BibTeX RDF
12	Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero	TPAL: A Timed-Probabilistic Model for Concurrent Processes.	APSEC	1997	DBLP DOI BibTeX RDF
12	Pedro Merino 0001, José M. Troya	EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols.	CAV	1996	DBLP DOI BibTeX RDF
12	Alessandro Fantechi, Stefania Gnesi, Diego Latella	Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation.	CONCUR	1996	DBLP DOI BibTeX RDF
12	Bhed Bahadur Bista, Atsushi Togashi, Norio Shiratori	Extension of protocol synthesis to structured entities.	ICNP	1995	DBLP DOI BibTeX RDF
12	Ed Brinksma, Arend Rensink, Walter Vogler	Fair Testing.	CONCUR	1995	DBLP DOI BibTeX RDF
12	Satoshi Yamane	Formal Timing Verification Techniques for Distributed System .	FTDCS	1995	DBLP DOI BibTeX RDF	language inclusion algorithm, formal specification, timing verification, timed automaton
12	Bernard Cousin, Jean-Michel Hélary	Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions.	CAV	1994	DBLP DOI BibTeX RDF
12	Ana M. D. Moreira, Robert G. Clark	Combining Object-Oriented Analysis and Formal Description Techniques.	ECOOP	1994	DBLP DOI BibTeX RDF
12	Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier	Symbolic Equivalence Checking.	CAV	1993	DBLP DOI BibTeX RDF
12	Ed Brinksma, Rom Langerak, Peter Broekroelofs	Functionality Decomposition by Compositional Correstness Preserving Transformation.	CAV	1993	DBLP DOI BibTeX RDF
12	Guillaume Doumenc, Jean-François Monin	The Parallel Abstract Machine: A Common Execution Model for FDTs.	FME	1993	DBLP DOI BibTeX RDF
12	Joachim Fischer, Andreas Prinz 0001, Andreas Vogel 0003	Different FDT's Confronted with Different ODP-Viewpoints of the Trader.	FME	1993	DBLP DOI BibTeX RDF
12	Antti Valmari, Jukka Kemppainen, Matthew Clegg, Mikko Levanto	Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool.	FME	1993	DBLP DOI BibTeX RDF
12	Nikolay A. Anisimov	A Disabling of Event Structures.	PARLE	1993	DBLP DOI BibTeX RDF
12	Ed Brinksma	On the Uniqueness of Fixpoints Modulo Observation Congruence.	CONCUR	1992	DBLP DOI BibTeX RDF
12	Colin Boyd	A Formal Framework for Authentication.	ESORICS	1992	DBLP DOI BibTeX RDF	security standards, formal models, Authentication protocols
12	Tommaso Bolognesi, Ferdinando Lucidi	Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator.	REX Workshop	1991	DBLP DOI BibTeX RDF	timed process algebra, timed Petri Net
12	Antti Valmari, Matthew Clegg	Reduced Labelled Transition Systems Save Verification Effort.	CONCUR	1991	DBLP DOI BibTeX RDF
12	Ferroudj Cherief	An Algebraic Model for the Parallel Interpretation of Equationally Defined Functions (abstract).	ISSAC	1990	DBLP DOI BibTeX RDF
12	F. Caneschi	Hints for the interpretation of the ISO session layer.	Comput. Commun. Rev.	1986	DBLP DOI BibTeX RDF	ECS
12	Chris A. Vissers, Giuseppe Scollo	Formal Specification in OSI.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF