Search results for "Estelle"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
109	László Kovács, András Ercsényi	Specification versus implementation based on Estelle.	Comput. Commun. Rev.	1986	DBLP DOI BibTeX RDF	Pascal
98	Son T. Vuong, Allen C. Lau, R. Isaac Chan	Semiautomatic Implementation of Protocols Using an Estelle-C Compiler.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Estelle-C compiler, class-2 transparent protocol, protocols, protocols, specification, modularity, program compilers, ISO
87	Tony Tsang, Richard Lai 0001	Verification Results for a Multimedia Protocol.	ASIAN	1999	DBLP DOI BibTeX RDF
87	Chang-Yu Wang, Kishor S. Trivedi	Integration of Specification for Modeling and Specification for System Design.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
82	Jean-Pierre Courtiat, Michel Diaz	Time in State Based Formal Description Techniques for Distributed Systems.	REX Workshop	1991	DBLP DOI BibTeX RDF	FDTs Formal Description Techniques, Manipulating Explicit Time values, Integrating Time Petri nets and Estelle, Distributed Systems, Verification, Specification, Time Petri nets, Estelle
76	Marcin Czenko, Jean-Luc Raffy	JEstelle novel approach to the distributed Java systems specification and development.	PPPJ	2003	DBLP BibTeX RDF	Java, distributed systems, software engineering, formal description techniques, Estelle
74	Valery A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Sergey P. Mylnikov, E. V. Okunishnikova, P. A. Chubarev, Tatiana G. Churina	Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets.	Program. Comput. Softw.	2001	DBLP DOI BibTeX RDF
74	Luc Hohwiller, Serge Wendling	Fieldbus Network Simulation Using a Time Extended Estelle Formalism.	MASCOTS	2000	DBLP DOI BibTeX RDF
74	Piotr Rolinski, Jean-Luc Raffy	Re-Engineering of Estelle Specifications for Maintenance and Evolution Purposes.	CSMR	2000	DBLP DOI BibTeX RDF
74	Simone do Rócio Senger de Souza, José Carlos Maldonado, Sandra Camargo Pinto Ferraz Fabbri, Wanderley Lopes de Souza	Mutation Testing Applied to Estelle Specifications.	HICSS	2000	DBLP DOI BibTeX RDF
74	Udo Thalmann	Analysis of ESTELLE Specifications.	Concurrency	1988	DBLP DOI BibTeX RDF
70	Tony Tsang, Yong-Soo Kim, Richard Lai 0001	The Design of a Multimedia Protocol Analysis Software Environment.	CIT	2007	DBLP DOI BibTeX RDF
63	Sun-Jen Huang, Richard Lai 0001	Estimating the size of an Estelle specification for a communication protocol.	COMPSAC	1997	DBLP DOI BibTeX RDF	Estelle specification size estimation, software size models, formal communication protocol development, informal specification, formal specification
58	Sun-Jen Huang, Richard Lai 0001	Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	factor-subfactor-metric model, software metrics, Formal description techniques, Estelle, software maintainability
58	Stefan Fischer 0001, Jacek Wytrebowicz, Stanislaw Budkowski	Hardware/Software Co-Design of Communication Protocols.	EUROMICRO	1996	DBLP DOI BibTeX RDF	high performance distributed systems, system design techniques, standardized formal language Estelle, VHDL code, video-on-demand example, multimedia systems, multimedia systems, communication protocols, hardware/software codesign, C code
57	Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny	Verics: A Tool for Verifying Timed Automata and Estelle Specifications.	TACAS	2003	DBLP DOI BibTeX RDF
57	Chung-Ming Huang, Jenq-Muh Hsu	An Estelle-Based Probabilistic Partial Timed Protocol Verification System.	ICPADS	2000	DBLP DOI BibTeX RDF
57	S. Alan Ezust, Gregor von Bochmann	An Automatic Trace Analysis Tool Generator for Estelle Specifications.	SIGCOMM	1995	DBLP DOI BibTeX RDF
52	Henrikas Pranevitchius	Aggregate Approach for Specification, Validation, Simulation and Implementation of Computer Network Protocols.	Baltic Computer Science	1991	DBLP DOI BibTeX RDF
45	Joachim Thees, Reinhard Gotzhein	The experimental Estelle Compiler: automatic generation of implementations from formal specifications.	FMSP	1998	DBLP DOI BibTeX RDF	specification languages, tool support, performance optimization, performance monitoring, Automatic Code Generation, protocol implementation, Estelle, XTP
45	Samuel C. Chamberlain, Paul D. Amer	Broadcast Channels in Estelle.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	ISO 9074 International Standard, specification capabilities, formal specifications, formal specification, protocols, standards, synchronisation, formal semantics, syntax, formal description technique, notation, Estelle, broadcast channels, synchronization mechanism
44	Richard Lai 0001, Tony Tsang	Time-Estelle: An Extended Estelle Capable of Expressing Multimedia QoS Parameters.	ICMCS	1997	DBLP DOI BibTeX RDF
44	Michel Diaz, Jean Dufau, Roland Groz	Experiences Using Estelle Within SEDOS Estelle Demonstrator.	FORTE	1989	DBLP BibTeX RDF
44	Claude Jard, Jean-François Monin, Roland Groz	Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA.	PSTV	1985	DBLP BibTeX RDF
41	Pawel Rychwalski, Jacek Wytrebowicz	UNIX STREAMS Generation from a Formal Specification.	FORTE	2003	DBLP DOI BibTeX RDF	Unix STREAMS, automatic code generation, formal description techniques, Estelle
41	A. Siafa	Flexible multicast protocol.	ICCCN	1997	DBLP DOI BibTeX RDF	flexible multicast protocol, SRM algorithm, reliable multipoint communication, SRM repair/request policies, recovery treatments, failure occurence, multicast applications, multicast transport protocols, formal specification, transport protocols, service selection, reliable multicast, Estelle, application level
41	Claude Jard, Jean-François Monin, Roland Groz	Development of Véda, a Prototyping Tool for Distributed Algorithms.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Veda, International Organisation for Standardization, simulator, protocols, distributed algorithms, distributed processing, software tool, software tools, Prolog, ISO, Estelle, prototyping tool
35	Xu Lei, Yong-Soo Kim, Richard Lai 0001	Modelling and Simulating IPv6 Mobility.	CIT	2007	DBLP DOI BibTeX RDF
35	J. William Atwood, Morteza Ghodrat, Dariusz Tasak	Using Formal Specification and Observers to Specify and Validate the ATM Signaling Protocols.	LCN	1999	DBLP DOI BibTeX RDF	Higher Layer Signaling, SSCOP, Simulation, Formal Specification, Asynchronous Transfer Mode, Validation, Observers
23	Ali Y. Duale, M. Ümit Uyar	A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	test generation, VHDL, Conformance testing, FSM, Estelle, EFSM
23	Richard Lai 0001, Sun-Jen Huang	A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Size model, EDT, regression analysis, formal description techniques, Estelle
23	Stefan Fischer 0001, Stefan Leue	Formal Methods for Broadband and Multimedia Systems (Tutorial).	ICSE	1997	DBLP DOI BibTeX RDF	broadband communication, quality of service, real time, specification, implementation, SDL, formal description techniques, distributed multimedia systems, Estelle
22	Maggie Fieldhouse	Book review: Digital Information: Order or Anarchy? Hazel Woodward and Lorraine Estelle (eds.). London: Facet, 2010. 208pp, £44.95. ISBN 9781856046800.	J. Libr. Inf. Sci.	2010	DBLP DOI BibTeX RDF
22	Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath	Formal Automated Transformation of SDL Specifications to Estelle Specifications.	CATA	2008	DBLP BibTeX RDF
22	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
22	Joachim Thees	Ausdrucksfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle.		2005	RDF
22	Miguel Riesco, Javier Tuya	Synchronous Estelle: Just Another Synchronous Language?	SLAP	2003	DBLP DOI BibTeX RDF
22	Henrikas Pranevicius, Germanas Budnikas	Creation of ESTELLE/Ag Specifications Using Knowledge Bases.	Informatica	2003	DBLP BibTeX RDF
22	Olaf Henniger	Testgenerierung aus Spezifikationen in Estelle und SDL.		2003	RDF
22	Simone do Rócio Senger de Souza, José Carlos Maldonado, Sandra C. P. F. Fabbri	FCCE: Uma Família de Critérios de Teste para Validação de Sistemas Especificados em Estelle.	SBES	2001	DBLP DOI BibTeX RDF
22	Chung-Ming Huang, Jenq-Muh Hsu	PPP (P3): an Estelle-based probabilistic partial protocol verification system.	Comput. Commun.	2000	DBLP DOI BibTeX RDF
22	Mariusz A. Fecko, M. Ümit Uyar, Paul D. Amer, Adarshpal S. Sethi, Theodore Dzik, R. Menell, Michael McMahon	A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220.	Comput. Commun.	2000	DBLP DOI BibTeX RDF
22	Octavian Catrina, Eugen Borcoci	Development of complex communications protocols using Estelle.	Ann. des Télécommunications	2000	DBLP DOI BibTeX RDF
22	Justin Templemore-Finlayson, Eugen Borcoci	Simulating Multicast Transport Protocols in Estelle.	FORTE	2000	DBLP BibTeX RDF
22	Anthony C. C. Lo, Richard Lai 0001	An automatic implementation of the ISO FTAM protocol based on an integrated specification of Estelle and ASN.1.	J. Syst. Softw.	1999	DBLP DOI BibTeX RDF
22	Simone do Rócio Senger de Souza, José Carlos Maldonado, Sandra Camargo Pinto Ferraz Fabbri, Wanderley Lopes de Souza	Mutation Testing Applied to Estelle Specifications.	Softw. Qual. J.	1999	DBLP DOI BibTeX RDF
22	Joachim Thees	Implementierungs- und Optimierungsmodelle des eXperimental Estelle Compilers.	FBT	1999	DBLP BibTeX RDF
22	Sun-Jen Huang, Richard Lai 0001	On measuring the complexity of an estelle specification.	J. Syst. Softw.	1998	DBLP DOI BibTeX RDF
22	Tony Tsang, Richard Lai 0001	Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle.	Softw. Pract. Exp.	1998	DBLP DOI BibTeX RDF
22	Hazem El-Gendy, Hani El-Sayed, Abdel-Wahab Fayez	Transformation of estelle specifications to lotos specifications.	CATA	1998	DBLP BibTeX RDF
22	Justin Templemore-Finlayson, Pieter S. Kritzinger, Jean-Luc Raffy, Stanislaw Budkowski	A graphical representation and prototype editor for the Formal Description Technique Estelle.	FORTE	1998	DBLP BibTeX RDF
22	Piotr Dembinski	Enumeration Protocol in Estelle: an exercise in stepwise development.	FORTE	1998	DBLP BibTeX RDF
22	Joachim Thees, Reinhard Gotzhein	Open Estelle - An FDT for Open Distributed Systems.	FORTE	1998	DBLP BibTeX RDF
22	O. Catrina, A. Nogai	On the Improvement of Estelle Based Automatic Implementations.	FORTE	1998	DBLP BibTeX RDF
22	Ajin Jirachiefpattana, Richard Lai 0001	EVEN: A software environment for Estelle specification verification.	J. Syst. Softw.	1997	DBLP DOI BibTeX RDF
22	Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai, Duen-Tay Huang, Jao-Chiang Pong	An Estelle-Based Incremental Protocol Design System.	J. Syst. Softw.	1997	DBLP DOI BibTeX RDF
22	Richard Lai 0001	An Experience in Using EDT to Process the ISO Transaction Processing Estelle Specification.	J. Syst. Softw.	1997	DBLP DOI BibTeX RDF
22	Richard Lai 0001	From Estelle to Erlang.	J. Syst. Softw.	1997	DBLP DOI BibTeX RDF
22	Jan Bredereke	Communication systems design with Estelle - on style, efficiency, and analysis.		1997	RDF
22	Hazem El-Gendy, Abdel-Wahab Fayez	Towards testability-directed Estelle specification of an OSI-IN interface for universal personal communications and multimedia communications.	ISCC	1997	DBLP DOI BibTeX RDF
22	Hazem El-Gendy, Hoda Baraka	Transformation of Lotos specifications to Estelle specifications.	ISCC	1997	DBLP DOI BibTeX RDF
22	Ralf Henke, Andreas Mitschele-Thiel, Hartmut König	On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications.	FORTE	1997	DBLP BibTeX RDF
22	Reinhard Gotzhein, Jan Bredereke, Wolfgang Effelsberg, Stephan Fischer 0001, Thomas Held, Hartmut König	Improving the efficiency of automated protocol implementation using Estelle.	Comput. Commun.	1996	DBLP DOI BibTeX RDF
22	Richard Lai 0001, Anthony C. C. Lo	Integrated Estelle and ASN.1 specification approach to automatic implementation of application protocol.	Inf. Softw. Technol.	1996	DBLP DOI BibTeX RDF
22	Stefan Fischer 0001	Implementation of Multimedia Systems based on Real-Time Extensions of Estelle.	FORTE	1996	DBLP BibTeX RDF
22	Hubert Högl	Formale Spezifikation mit Estelle und die automatische Implementierung auf Von-Neummann- und Co-Design-Architekturen.		1996	RDF
22	Chung-Ming Huang, Shiun-Wei Lee	Timed protocol verification for Estelle-specified protocols.	Comput. Commun. Rev.	1995	DBLP DOI BibTeX RDF
22	Valery A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Tatiana G. Churina, Sergey P. Mylnikov, E. V. Okunishnikova	Petri Net Modelling of Estelle-specified Communication Protocols.	PaCT	1995	DBLP DOI BibTeX RDF
22	Jacek Wytrebowicz	Hardware specification generated from Estelle.	PSTV	1995	DBLP BibTeX RDF
22	Ralf Plato, Thomas Held, Hartmut König	PARES - a portable parallel Estelle compiler.	PSTV	1995	DBLP BibTeX RDF
22	Stefan Fischer	On the suitability of Estelle for multimedia systems.	PSTV	1995	DBLP BibTeX RDF
22	R. Henke, M. Hübner	Ein Estelle-Compiler für Transputersysteme.	Kommunikation in Verteilten Systemen	1995	DBLP DOI BibTeX RDF
22	M. Hendaz, Stanislaw Budkowski	A New Approach for Protocols Performance Evaluation Using Estelle Specifications.	FORTE	1995	DBLP BibTeX RDF
22	Eric Lallet, Stefan Fischer, Jean-François Verdier	A New Approach for Distributing Estelle Specifications.	FORTE	1995	DBLP BibTeX RDF
22	Richard Lai 0001, Ajin Jirachiefpattana	Verification of ISO ACSE protocol specified in Estelle.	Comput. Commun.	1994	DBLP DOI BibTeX RDF
22	Jan Bredereke	Atomarität in parallel implementierten Estelle-Spezifikationen.	Prax. Inf.verarb. Kommun.	1994	DBLP BibTeX RDF
22	Henrikas Pranevitchius, Vytautas Pilkauskas	Tools for validation and simulation of Estelle/Ag specifications.	SEKE	1994	DBLP BibTeX RDF
22	Reinhard Gotzhein, Gregor von Bochmann	Specialization in Estelle.	PSTV	1994	DBLP BibTeX RDF
22	Ajin Jirachiefpattana, Richard Lai 0001	Verification of the ISO ROSE protocol specified in Estelle.	PSTV	1994	DBLP BibTeX RDF
22	Oliverio González, Victor G. García, Miguel Riesco, Enrique Vázquez	Design of operating systems using the F.D.T. ESTELLE.	FORTE	1994	DBLP BibTeX RDF
22	Marc Phalippou	Test sequence generation using Estelle or SDL structure information.	FORTE	1994	DBLP BibTeX RDF
22	Jan Bredereke, Reinhard Gotzhein	Specification, detection and resolution of IN feature interactions with Estelle.	FORTE	1994	DBLP BibTeX RDF
22	Bernd Hofmann 0002	Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen.		1994	RDF
22	Rachid Sijelmassi, Brett Strausser	The PET and DINGO Tools for Deriving Distributed Implementations from Estelle.	Comput. Networks ISDN Syst.	1993	DBLP DOI BibTeX RDF
22	Paul D. Amer, Darren New	Protocol Visualization in Estelle.	Comput. Networks ISDN Syst.	1993	DBLP DOI BibTeX RDF
22	Michel Hurfin, Noël Plouzeau, Michel Raynal	Debugging tool for distributed Estelle programs.	Comput. Commun.	1993	DBLP DOI BibTeX RDF
22	Olaf Henniger, Behçet Sarikaya, Steve Biedlingmaier	Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle.	Protocol Test Systems	1993	DBLP BibTeX RDF
22	Serge Haddad, Mohamed Taghelit, Belhassen Zouari	Assessment of ESTELLE and EDT Through Real Case Studies.	PSTV	1993	DBLP BibTeX RDF
22	Ajin Jirachiefpattana, Richard Lai 0001	Verifying Estelle specifications: numerical Petri nets approach.	ICNP	1993	DBLP DOI BibTeX RDF
22	Chang-Jia Wang, Ming T. Liu	Automatic test case generation for Estelle.	ICNP	1993	DBLP DOI BibTeX RDF
22	Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai, Jao-Chiang Pong, Duen-Tay Huang	An Estelle interpreter for incremental protocol verification.	ICNP	1993	DBLP DOI BibTeX RDF
22	Bernd Hofmann 0002	Integration von Darstellungs- und Kommunikationssteuerungsschicht in Estelle.	Kommunikation in Verteilten Systemen	1993	DBLP DOI BibTeX RDF
22	Ludger Walther, Hans-Rüdiger Wiehle	Eine Estelle-Spezifikation des Dienstes der ISO-Norm "Distributed Transaction Processing".	Kommunikation in Verteilten Systemen	1993	DBLP DOI BibTeX RDF
22	Anthony C. C. Lo, Richard Lai 0001	Integrating Estelle and ASN.1 for Automatic Implementation.	FORTE	1993	DBLP BibTeX RDF
22	Jan Bredereke, Reinhard Gotzhein	Increasing the Concurrency in Estelle.	FORTE	1993	DBLP BibTeX RDF
22	Stefan Fischer 0001, Bernd Hofmann 0002	An Estelle Compiler for Multiprocessor Platforms.	FORTE	1993	DBLP BibTeX RDF
22	Behdad Forghani, Behçet Sarikaya	Semi-automatic test suite generation from Estelle.	Softw. Eng. J.	1992	DBLP DOI BibTeX RDF
22	Claude Jard, Jean-Marc Jézéquel	Echidna, an estelle compiler to prototype protocols on distributed computers.	Concurr. Pract. Exp.	1992	DBLP DOI BibTeX RDF
22	Stanislaw Budkowski	Estelle Development Toolset (EDT).	Comput. Networks ISDN Syst.	1992	DBLP DOI BibTeX RDF
22	Jean-Pierre Courtiat, Pierre de Saqui-Sannes	ESTIM: An Integrated Environment for the Simulation and Verification of OSI Protocols Specified in Estelle.	Comput. Networks ISDN Syst.	1992	DBLP DOI BibTeX RDF