Probabilistic testing of protocols
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Experience with formal methods in protocol development
ACM SIGCOMM Computer Communication Review
State space exploration in Markov models
SIGMETRICS '92/PERFORMANCE '92 Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
Computing bounds on steady state availability of repairable computer systems
Journal of the ACM (JACM)
A LOTOS extension for the performance analysis of distributed systems
IEEE/ACM Transactions on Networking (TON)
Timed protocol verification for Estelle-specified protocols
ACM SIGCOMM Computer Communication Review
Efficient exploration of availability models guided by failure distances
Proceedings of the 1996 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
An Improved Method for Constructing Multiphase Communications Protocols
IEEE Transactions on Computers
Using the probabilistic evaluation tool for the analytical solution of large Markov models
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Reliability analysis of safety-related communication architectures
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Research: Probabilistic fuzzy timed protocol verification
Computer Communications
Research: Protocol validation by simultaneous reachability analysis
Computer Communications
PPP (P3): an Estelle-based probabilistic partial protocol verification system
Computer Communications
Hi-index | 0.00 |