|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 120 occurrences of 89 keywords
|
|
|
Results
Found 792 publication records. Showing 645 according to the selection in the facets
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 |
|
Displaying result #1 - #100 of 645 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|