Telecommunication networks: protocols, modeling and analysis
Telecommunication networks: protocols, modeling and analysis
Fault detection with multiple observers
IEEE INFOCOM '92 Proceedings of the eleventh annual joint conference of the IEEE computer and communications societies on One world through communications (Vol. 3)
Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)
Automated repair of complex systems by fault compensation
IEEE/ACM Transactions on Networking (TON)
Finding investigator tours in telecommunication networks using genetic algorithms
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Coding-based schemes for fault identification in communication networks
International Journal of Network Management
Improving the dependability of network management systems
International Journal of Network Management
Closed Partition Lattice and Machine Decomposition
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
Model-Based Fault Detection in Powerline Networking
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Assume-Guarantee Supervisor for Concurrent Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Assume-Guarantee Algorithms for Automatic Detection of Software Failures
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Algebraic techniques for the optimization of control flow checking
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Hierarchical Supervisors For Automatic Detection Of Software Failures
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Distributed testing without encountering controllability and observability problems
Information Processing Letters
Probabilistic fault localization in communication systems using belief networks
IEEE/ACM Transactions on Networking (TON)
Automated Online Monitoring of Distributed Applications through External Monitors
IEEE Transactions on Dependable and Secure Computing
Network protocol system monitoring: a formal approach with passive testing
IEEE/ACM Transactions on Networking (TON)
NetDiagnoser: troubleshooting network unreachabilities using end-to-end probes and routing data
CoNEXT '07 Proceedings of the 2007 ACM CoNEXT conference
International Journal of Network Management
Research: Signature-based method for run-time fault detection in communication protocols 1
Computer Communications
A scheduling-based event correlation scheme for fault identification in communications network
Computer Communications
Formal passive testing of timed systems: theory and tools
Software Testing, Verification & Reliability
Hi-index | 0.04 |