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. |
Protocol Test Systems |
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 |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Zhang Lidong, Liu Jiren, Huatian Li |
A Further Optimization Technique for Conformance Testing Based on Multiple UIO Sequences. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Thomas Walter, Bernhard Plattner |
An Operational Semantics for Concurrent TTCN. |
Protocol Test Systems |
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. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Michel Haulard La Brière |
Testing in Practice - OSI Test Center. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Stan P. van de Burgt, Jan Kroon, A. M. Peeters |
Interactive Test Generation from LOTOS Specifications. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Debra Tang, Jinsheng Liu, Jean Philippe Favreau |
The IS-IS Multi-Party Conformance Test System. |
Protocol Test Systems |
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. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Abderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann |
Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Tomás Robles 0001, José A. Mañas, Gabriel Huecas |
Specification and Derivation of OSI Conformance Test Suites. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma |
On Asynchronous Testing. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Hans Kloosterman |
Test Derivation from Non-Deterministic Finite State Machines. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali |
Characterizing and Ordering Errors Detected by Conformance Testing. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Marc Phalippou |
The Limited Power of Testing. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | M. McAllister, Son T. Vuong, Jadranka Alilovic-Curgus |
Automated Test Case Selection Based on Test Coverage Metrics. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Dermot J. Dwyer |
The Silence of the LANs. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Michael Koblentz |
Issues in Testing Fast Packet Services over the Broadband ISDN. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Perry Sherman |
On Interoperability Testing. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Jean Philippe Favreau |
Interoperability Testing Panel Minutes. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Rüdiger Köster, Markus Dicks |
ISO Conformance Testing of the GSM Mobile Network System. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Hans Blik, Gert Vermeer |
The Way Towards Interoperability. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Piyu Tripathy, Kshirasagar Naik |
Generation of Adaptive Test Cases from Nondeterministic Finite State Models. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Robert L. Probert |
Summary of Panel Presentations and Discussion. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | |
Overview of Tool Demonstrations. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Marc F. Witteman, Ronald C. van Wuijtswinkel, S. Ruud Berkhout |
Non-Deterministic and Default Behaviour. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Ian C. Davidson |
Position Paper on Interoperability Testing. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Samuel T. Chanson, Qin Li |
On Inconclusive Verdict in Conformance Testing. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | Marie-Claude Gaudel |
Test Selection Based on ADT Specifications. |
Protocol Test Systems |
1992 |
DBLP BibTeX RDF |
|
32 | R. J. Helwerda |
Results of the CTS-2 ISDN Basic Access Project. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
32 | Dieter Hogrefe |
Session on Conformance Requirements and Test Purposes in the Context of Formal Methods. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
32 | Jean Philippe Favreau, J. Stephen Nightingale |
Lessons From the Establishment of U.S. GOSIP Testing Program. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
32 | Susumu Fujiwara, Gregor von Bochmann |
Testing Non-Deterministic State Machines with Fault Coverage. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
32 | D. Rayner |
Status Report on ISO/IEC 9646 Standardization and Extension. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
32 | Roelof Jan Velthuys, Georg Zörntlein |
Relating Events for Conformance Testing - a Pragmatic Approach. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
32 | Chan Sheng He, Hua-Xin Zeng, F. Liu |
A Bench Mark on the Design of Ferry Based Test Systems. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
32 | K. Stoettinger |
Session on Equivqlence of Test Tools. |
Protocol Test Systems |
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. |
Protocol Test Systems |
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. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
32 | E. Guarene, P. Marchese |
Advanced Testing Tools For Intelligent Network. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
32 | M. E. van der Haven, M. G. L. Kockelmans, E. J. Slotboom |
Real Effects Testing of OSI Applications. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
32 | Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo |
Fault Models in Testing. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
32 | Son T. Vuong, Jadranka Alilovic-Curgus |
On Test Coverage Metrics for Communication Protocols. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
32 | Hans van Dam, Hans Kloosterman, Erik Kwast |
Text Derivation for Standardised Test Methods. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
32 | Noriyasu Arakawa, Terunao Soneoka |
A Test Case Generation Method for Concurrent Programs. |
Protocol Test Systems |
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. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
32 | G. W. Cowin |
Experiences in Developing a Test Suite Structure and Test Purposes Document for Open Systems. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
32 | Dieter Hogrefe |
On the Development of a Standard for Conformance Testing Based on Formal Specifictations. |
Protocol Test Systems |
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. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
32 | P. Marchese |
Session on Test Suite Development. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
32 | R. J. Heijnk |
Session on TTCN Compilers. |
Protocol Test Systems |
1991 |
DBLP BibTeX RDF |
|
32 | Bernd Walter |
Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | Richard J. Linn Jr., W. H. McCoy |
Producing Tests for Implementations of OSI Protocols. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | S. Aggarwal, Robert P. Kurshan, D. Sharma |
A Language for the Specification and Analysis of Protocols. |
Protocol Specification, Testing, and Verification |
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. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | George A. Harvey |
The Routing Certification System. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | D. Rayner |
Towards an Objective Understanding of Conformance. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | Hasan Ural, Robert L. Probert |
User-Guided Test Sequence Generation. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | Hans Eckert, Rainer Prinoth |
A Computation-System Based Method for Automated Proving of Protocols Against Services. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | Jean-Francois Billiard |
Methodology and Tools for Qualitative Protocols Validation. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | Günter Karjoth |
A Behavioural Description Language for the Formal Treatment of Protocols in Distributed Systems. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | Heiko Krumm, Oswald Drobnik |
Specification, Implementation, and Verification of Communication Services on the Basis of CIL. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | Jean-Michel Ayache, Jean-Pierre Courtiat |
LC/1, A Specification and Implementation Language for Protocols. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | Stanislaw Budkowski, Elie Najm |
Structured Finite State Automata - A new approach for modelling distributed communications systems. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | Alan E. Baratz, Adrian Segall |
A Reliable Link Initialization Procedure. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | Jonathan Billington |
Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | Robert E. Strom, Shaula Yemini |
Design, Implementation, and Validation of Secure Communications Systems. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | Alfred Gießler |
Testing and Diagnosis Aids for Higher Level Protocols. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | Gerard Florin, Stéphane Natkin, A. Woog, J. Attal |
Quantitative Validation for Industrial Ethernet Local Networks. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | Mohamed G. Gouda |
An Example for Constructing Communicating Machines by Step-Wise Refinement. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | Rune Gustavsson, Björn Pehrson |
The Power of some Formal Models of Distributed Computing. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | Robin M. S. Cork |
The Testing of Protocols in SNA Products - An Overview. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | Miguel Menasche, Bernard Berthomieu |
Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
32 | Björn Pehrson |
Abstraction by Structural Reduction. |
Protocol Specification, Testing, and Verification |
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. |
ISCC |
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? |
IEEE J. Sel. Areas Commun. |
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. |
SNPD |
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. |
LCN |
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. |
LCN |
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. |
LCN |
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. |
LCN |
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. |
MASCOTS |
2007 |
DBLP DOI BibTeX RDF |
STK, simulation, protocol, OPNET, simulation platform |
29 | Vasily Desnitsky, Igor V. Kotenko |
Design of Entrusting Protocols for Software Protection. |
IF&GIS |
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. |
CSFW |
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. |
ICCCN |
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. |
COMPSAC (1) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | P. Krishna Reddy, Masaru Kitsuregawa |
Blocking Reduction in Two-phase Commit Protocol with Multiple Backup Sites. |
DNIS |
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. |
IWCMC |
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. |
ICNP |
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). |
ICICS |
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. |
Int. J. Softw. Tools Technol. Transf. |
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. |
LCN |
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. |
ICPADS |
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. |
ICPADS |
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. |
ICNP |
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. |
LCN |
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. |
PODC |
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. |
IWSEC |
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. |
ICT |
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. |
MobiHoc |
2009 |
DBLP DOI BibTeX RDF |
physical model, multi-hop wireless network, cross-layer optimization, interference modeling, protocol model |