Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
32 | Son T. Vuong, Antonio Alfredo Ferreira Loureiro, Samuel T. Chanson |
A Framework for the Design for Testability of Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, 28-30 September, 1993, pp. 89-108, 1993, North-Holland, 0-444-81697-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
32 | Jan Kroon, Rudolf Jan Heijink, Ed Brinksma (eds.) |
Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![North-Holland, 0-444-89517-5 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Zhang Lidong, Liu Jiren, Huatian Li |
A Further Optimization Technique for Conformance Testing Based on Multiple UIO Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 229-235, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Thomas Walter, Bernhard Plattner |
An Operational Semantics for Concurrent TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 131-143, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | M. Di Concetto, Gennaro Marino, E. Merli, Fabrizio Zizza |
An Approach to the Test of an ATM Based Signalling Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 119-130, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Michel Haulard La Brière |
Testing in Practice - OSI Test Center. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 19-29, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Stan P. van de Burgt, Jan Kroon, A. M. Peeters |
Interactive Test Generation from LOTOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 189-203, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Debra Tang, Jinsheng Liu, Jean Philippe Favreau |
The IS-IS Multi-Party Conformance Test System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 251-262, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Teruo Higashino, Gregor von Bochmann, Xiangdong Li, Keiichi Yasumoto, Kenichi Taniguchi |
Test System for a Restricted Class of LOTOS Expressions with Data Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 205-216, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Abderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann |
Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 105-116, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Tomás Robles 0001, José A. Mañas, Gabriel Huecas |
Specification and Derivation of OSI Conformance Test Suites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 177-188, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma |
On Asynchronous Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 55-66, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Hans Kloosterman |
Test Derivation from Non-Deterministic Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 297-308, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali |
Characterizing and Ordering Errors Detected by Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 67-78, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Marc Phalippou |
The Limited Power of Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 43-54, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | M. McAllister, Son T. Vuong, Jadranka Alilovic-Curgus |
Automated Test Case Selection Based on Test Coverage Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 93-104, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Dermot J. Dwyer |
The Silence of the LANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 147-157, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Michael Koblentz |
Issues in Testing Fast Packet Services over the Broadband ISDN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 3-18, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Perry Sherman |
On Interoperability Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 165-166, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Jean Philippe Favreau |
Interoperability Testing Panel Minutes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 159-160, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Rüdiger Köster, Markus Dicks |
ISO Conformance Testing of the GSM Mobile Network System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 263-273, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Hans Blik, Gert Vermeer |
The Way Towards Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 163-164, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Piyu Tripathy, Kshirasagar Naik |
Generation of Adaptive Test Cases from Nondeterministic Finite State Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 309-320, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Robert L. Probert |
Summary of Panel Presentations and Discussion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 169-173, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | |
Overview of Tool Demonstrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 323-332, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Marc F. Witteman, Ronald C. van Wuijtswinkel, S. Ruud Berkhout |
Non-Deterministic and Default Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 275-288, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Ian C. Davidson |
Position Paper on Interoperability Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 161-162, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Samuel T. Chanson, Qin Li |
On Inconclusive Verdict in Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 81-92, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | Marie-Claude Gaudel |
Test Selection Based on ADT Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 31-40, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
32 | R. J. Helwerda |
Results of the CTS-2 ISDN Basic Access Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 163-177, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | Dieter Hogrefe |
Session on Conformance Requirements and Test Purposes in the Context of Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 289-290, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | Jean Philippe Favreau, J. Stephen Nightingale |
Lessons From the Establishment of U.S. GOSIP Testing Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 3-15, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | Susumu Fujiwara, Gregor von Bochmann |
Testing Non-Deterministic State Machines with Fault Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 267-280, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | D. Rayner |
Status Report on ISO/IEC 9646 Standardization and Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 47-58, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | Roelof Jan Velthuys, Georg Zörntlein |
Relating Events for Conformance Testing - a Pragmatic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 231-253, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | Chan Sheng He, Hua-Xin Zeng, F. Liu |
A Bench Mark on the Design of Ferry Based Test Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 119-130, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | K. Stoettinger |
Session on Equivqlence of Test Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 291-293, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | Michel Hordies, Serge Simonet |
OPEN ITS: An Advanced Concept of an Open Test Environment for the Testing of OSI-based Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 179-193, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | Martin Dubuc, Rachida Dssouli, Gregor von Bochmann |
TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 195-206, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | E. Guarene, P. Marchese |
Advanced Testing Tools For Intelligent Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 219-230, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | M. E. van der Haven, M. G. L. Kockelmans, E. J. Slotboom |
Real Effects Testing of OSI Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 107-117, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo |
Fault Models in Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 17-30, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | Son T. Vuong, Jadranka Alilovic-Curgus |
On Test Coverage Metrics for Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 31-45, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | Hans van Dam, Hans Kloosterman, Erik Kwast |
Text Derivation for Standardised Test Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 69-82, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | Noriyasu Arakawa, Terunao Soneoka |
A Test Case Generation Method for Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 95-106, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | François van den Berghe |
Overview of the Standardisation of Conformance Test Specifications and Tools: European Work, Contribution to ISO/CCITT and Worldwide Harmonisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 297-310, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | G. W. Cowin |
Experiences in Developing a Test Suite Structure and Test Purposes Document for Open Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 151-162, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | Dieter Hogrefe |
On the Development of a Standard for Conformance Testing Based on Formal Specifictations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 59-66, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | Fumiako Sato, Hirosato Tsuji, Kotaro Katsuyama, Tadanori Mizuno |
Parameter Specification Language and Test Data Generation Tools for Communication Software Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 207-218, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | P. Marchese |
Session on Test Suite Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 283-283, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | R. J. Heijnk |
Session on TTCN Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991, pp. 295, 1991, North-Holland, 0-444-89517-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | Bernd Walter |
Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 149-159, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | Richard J. Linn Jr., W. H. McCoy |
Producing Tests for Implementations of OSI Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 505-520, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | S. Aggarwal, Robert P. Kurshan, D. Sharma |
A Language for the Specification and Analysis of Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 35-50, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | Matti Anttila, Harri Eriksson, Jukka Ikonen, Raimo Kujansuu, Leo Ojala, Heikki Tuominen |
Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 139-148, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | George A. Harvey |
The Routing Certification System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 465-476, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | D. Rayner |
Towards an Objective Understanding of Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 493-503, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | Hasan Ural, Robert L. Probert |
User-Guided Test Sequence Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 421-436, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | Hans Eckert, Rainer Prinoth |
A Computation-System Based Method for Automated Proving of Protocols Against Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 213-228, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | Jean-Francois Billiard |
Methodology and Tools for Qualitative Protocols Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 445-454, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | Günter Karjoth |
A Behavioural Description Language for the Formal Treatment of Protocols in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 125-136, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | Heiko Krumm, Oswald Drobnik |
Specification, Implementation, and Verification of Communication Services on the Basis of CIL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 301-316, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | Jean-Michel Ayache, Jean-Pierre Courtiat |
LC/1, A Specification and Implementation Language for Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 333-345, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | Stanislaw Budkowski, Elie Najm |
Structured Finite State Automata - A new approach for modelling distributed communications systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 95-110, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | Alan E. Baratz, Adrian Segall |
A Reliable Link Initialization Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 199-211, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | Jonathan Billington |
Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 173-185, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | Robert E. Strom, Shaula Yemini |
Design, Implementation, and Validation of Secure Communications Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 317-332, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | Alfred Gießler |
Testing and Diagnosis Aids for Higher Level Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 407-420, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | Gerard Florin, Stéphane Natkin, A. Woog, J. Attal |
Quantitative Validation for Industrial Ethernet Local Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 251-256, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | Mohamed G. Gouda |
An Example for Constructing Communicating Machines by Step-Wise Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 63-74, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | Rune Gustavsson, Björn Pehrson |
The Power of some Formal Models of Distributed Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 77-86, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | Robin M. S. Cork |
The Testing of Protocols in SNA Products - An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 455-463, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | Miguel Menasche, Bernard Berthomieu |
Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 161-172, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
32 | Björn Pehrson |
Abstraction by Structural Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 87-94, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
31 | Sheng Xu, Symeon Papavassiliou, Konstantinos Amouris |
On the Performance of a Scalable Single-Tier Position Based Routing Protocol for Mobile Ad-Hoc Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000), 4-6 July 2000, Antibes, France, pp. 575-580, 2000, IEEE Computer Society, 0-7695-0722-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
mobility-based, scalability, mobile ad-hoc networks, routing protocol |
30 | Meng Zhang 0001, Qian Zhang 0001, Lifeng Sun, Shiqiang Yang |
Understanding the Power of Pull-Based Streaming Protocol: Can We Do Better? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 25(9), pp. 1678-1694, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Dalju Lee, Jongmoon Baik |
QoS Protocol Verification using Petri-Net for Seamless Mobility in a Ubiquitous Environment: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8, 2008, Phuket, Thailand, pp. 617-622, 2008, IEEE Computer Society, 978-0-7695-3263-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
QoS Protocol, Petri-Net, Protocol Verification |
30 | Gun Seo, Sun-Moo Kang, Dae Young Kim 0001, Hong-Bum Jeon |
A distributed cycle reset protocol for the high-speed LAN/MAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 20th Conference on Local Computer Networks (LCN'95), Minneapolis, Minnesota, USA, October 16-19, 1995, pp. 159-163, 1995, IEEE Computer Society, 0-8186-7162-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
shared medium access protocol, distributed cycle reset protocol, high-speed LAN/MAN, distributed cycle reset function, token reset, distributed cycle reset, access control, local area networks, access protocols, metropolitan area networks |
30 | Sushil Kumar, Anura P. Jayasumana |
Request based channel access protocol on folded bus topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 20th Conference on Local Computer Networks (LCN'95), Minneapolis, Minnesota, USA, October 16-19, 1995, pp. 174-183, 1995, IEEE Computer Society, 0-8186-7162-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
channel access protocol, folded bus topology, Request Based Channel Access, RBCA protocol, bandwidth request, dedicated monitor node, folded bus, multichannel optical networks, protocols, local area networks, optical communication, data transmission |
30 | Chooi-Tian Lee, Jack W. Harris |
Principle and Technique for Encapsulation of User Control and Data Information in Separate Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 21st Conference on Local Computer Networks, Minneapolis, Minnesota, USA, October 13-16, 1996, pp. 384-393, 1996, IEEE Computer Society, 0-8186-7617-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
real-time interactive multimedia services, data/media integration, separate frames, ATM protocol, application communication services, network communication services, user-data information, network-level, FAL protocol, traffic policing, frame adaptation layer protocol, World Wide Web, network protocols, encapsulation, secure communication, traffic shaping, telecommunication services, reliable communication, user control, communication services |
30 | Dedy Dewanto Tjhie, Helmut Rzehak |
Design and Performance Evaluation of Network Interconnection Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 21st Conference on Local Computer Networks, Minneapolis, Minnesota, USA, October 13-16, 1996, pp. 414-423, 1996, IEEE Computer Society, 0-8186-7617-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
network interconnection architectures, protocol layer, output process, mean values, GI/G/1-K model, GI/G/1 model, performance evaluation, power, local area network, response time, performance metrics, high speed network, gateways, end-to-end delay, queueing network models, LAN interconnection, protocol architectures, service process, protocol stacks, buffer requirement, arrival process |
29 | Qi Zou |
PSOS: A Novel Protocol Simulation Platform for Satellite Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 15th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2007), October 24-26, 2007, Istanbul, Turkey, pp. 246-251, 2007, IEEE Computer Society, 978-1-4244-1854-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
STK, simulation, protocol, OPNET, simulation platform |
29 | Vasily Desnitsky, Igor V. Kotenko |
Design of Entrusting Protocols for Software Protection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IF&GIS ![In: Information Fusion and Geographic Information Systems, Proceedings of the Fourth International Workshop, IF&GIS 2009, 17-20 May 2009, St. Petersburg, Russia, pp. 301-316, 2009, Springer, 978-3-642-00303-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Security protocol design, Remote entrusting, Protocol analysis and verification, Attacks, Software protection |
29 | Wenbo Mao |
An augmentation of BAN-like logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), March 13-15, 1995, Kenmare, County Kerry, Ireland, pp. 44-, 1995, IEEE Computer Society, 0-8186-7033-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
BAN-like logics augmentation, protocol idealization, rule-based technique, protocol syntax, protocols, formal logic, message authentication, authentication protocols, symbolic manipulation |
29 | Z. P. Tao, Gregor von Bochmann, Rachida Dssouli |
An efficient method for protocol conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 40, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
optimized protocol converters, heterogeneous computer networks, message sequences, deterministic service specification, modified channel specifications, internetworking system, protocols, interoperability, efficient algorithm, protocol specifications, observation equivalence, protocol conversion |
28 | Ying Jin 0002 |
Formal Verification of Protocol Properties of Sequential Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 1, pp. 475-482, 2007, IEEE Computer Society, 978-0-7695-2870-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | P. Krishna Reddy, Masaru Kitsuregawa |
Blocking Reduction in Two-phase Commit Protocol with Multiple Backup Sites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNIS ![In: Databases in Networked Information Systems, International Workshop DNIS 2000, Aizu, Japan, December 4-6, 2000, Proceedings, pp. 200-215, 2000, Springer, 3-540-41395-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Stylianos Georgoulas, Klaus Moessner, Bruce Mcaleer, Rahim Tafazolli |
Towards efficient protocol design through protocol profiling and verification of performance and operational metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, IWCMC 2010, Caen, France, June 28 - July 2, 2010, pp. 848-852, 2010, ACM, 978-1-4503-0062-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
protocol profiling, model checking, energy efficiency |
28 | Wanjiun Liao, De-Nian Yang |
Receiver-Initiated Group Membership Protocol (RGMP): A New Group Management Protocol for IP Multicasting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: Seventh Annual International Conference on Network Protocols, ICNP 1999, 31 October - 3 November, 1999, Toronto, Canada, Proceedings, pp. 51-58, 1999, IEEE Computer Society, 0-7695-0412-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
group management protocol, RGMP, IP multicast, IGMP |
28 | Jeanette Tsang, Konstantin Beznosov |
A Security Analysis of the Precise Time Protocol (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings, pp. 50-59, 2006, Springer, 3-540-49496-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
IEEE 1588, Precise Time Protocol, Network Time Protocol, time synchronization, security analysis |
28 | Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka |
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(4), pp. 505-528, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Explicit-state model checking, Protocol verification, Livelock, Sliding-window protocol |
28 | Shamim Begum, Meeta Sharma, Ahmed Helmy, Sandeep Gupta 0001 |
Systematic Testing of Protocol Robustness: Case Studies on Mobile IP and MARS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 27th Conference on Local Computer Networks, Tampa, Florida, USA, 8-10 November, 2000, pp. 369-380, 2000, IEEE Computer Society, 0-7695-0912-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
systematic testing of robustness by evaluation of synthesized scenarios, registration message, MARS server, forward search, multicast address resolution server protocol, protocol robustness, Internet, performance, mobile computing, complexity, protocols, asynchronous transfer mode, ATM, topologies, network topology, error, mobile IP, search problems, multicast communication, STRESS, IP-multicast, network servers, packet radio networks, MIP, MARS, event sequences, land mobile radio, test generation algorithm, home agent, asymptotic complexity |
28 | Kwang-Sik Chung, Kibom Kim, Chong-Sun Hwang, Jin Gon Shon, Heon-Chang Yu |
Hybrid checkpointing protocol based on selective-sender-based message logging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 11-13 December 1997, Seoul, Korea, Proceedings, pp. 788-793, 1997, IEEE Computer Society, 0-8186-8227-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
hybrid checkpointing protocol, selective-sender-based message logging, asynchronous checkpointing protocol, failure-free operation, cascade rollback, message dependency tree, search time, protocols, failure recovery |
28 | Weijia Jia 0001, Jiannong Cao 0001, Edgar Nett, Jörg Kaiser |
A high performance reliable atomic group protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 378-385, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
high performance reliable atomic group protocol, group communication multicast protocol, single logical-clock token ring approach, multicast messages, optimized fault-tolerant algorithms, process failures, message total ordering, atomic delivery, fault tolerant computing, message passing, local area networks, local area network, transport protocols, atomicity, network partitioning, total ordering, token networks |
28 | Hiroaki Higaki, Makoto Takizawa 0001 |
Group communication protocol for flexible distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 1996 International Conference on Network Protocols, ICNP 1996, October 29 - November 1, 1996, Columbus, Ohio, USA, pp. 48-55, 1996, IEEE Computer Society, 0-8186-7453-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
flexible distributed systems, system environments, dynamic upgrading method, protocol error detection, checkpoint-rollback algorithm, distributed processing, computer networks, distributed programs, message transmission, process groups, large-scale distributed systems, group communication protocol |
28 | Nen-Fu Huang, Chi-An Su, Chieh-Wen Cheng, Chuan-Pwu Wang, Jer-Han Fang, Yi-Jang Wu |
The Design and Implementation of a Multicast Real-Time Multimedia Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 21st Conference on Local Computer Networks, Minneapolis, Minnesota, USA, October 13-16, 1996, pp. 136-142, 1996, IEEE Computer Society, 0-8186-7617-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
multicast real-time multimedia protocol, performance contract, multicast function, interconnected ATM switches, QoS guaranteed protocol, quality of service, delay, admission control, transport protocols, group communications, communication networks, bandwidth, multimedia communications, multimedia applications, packet scheduling, routers, high-speed network, resource reservation, data transmission, telecommunication channels, FDDI networks, delay jitter, jitter control |
27 | Arpita Patra, Ashish Choudhary, C. Pandu Rangan |
Simple and efficient asynchronous byzantine agreement with optimal resilience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009, pp. 92-101, 2009, ACM, 978-1-60558-396-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
unbounded computing power, byzantine agreement, asynchronous networks, VSS |
27 | Koji Chida, Katsumi Takahashi |
Privacy Preserving Computations without Public Key Cryptographic Operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSEC ![In: Advances in Information and Computer Security, Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings, pp. 184-200, 2008, Springer, 978-3-540-89597-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Valeria Loscrì, Floriano De Rango, Salvatore Marano |
Performance Evaluation of AODV Protocol over E-TDMA MAC Protocol for Wireless Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICT ![In: Telecommunications and Networking - ICT 2004, 11th International Conference on Telecommunications, Fortaleza, Brazil, August 1-6, 2004, Proceedings, pp. 417-424, 2004, Springer, 3-540-22571-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Yi Shi 0001, Y. Thomas Hou 0001, Jia Liu 0002, Sastry Kompella |
How to correctly use the protocol interference model for multi-hop wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiHoc ![In: Proceedings of the 10th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2009, New Orleans, LA, USA, May 18-21, 2009, pp. 239-248, 2009, ACM, 978-1-60558-531-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
physical model, multi-hop wireless network, cross-layer optimization, interference modeling, protocol model |