VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection.
Proceedings of the Testing of Software and Communicating Systems, 2008
Network protocol system monitoring: a formal approach with passive testing.
IEEE/ACM Trans. Netw., 2006
Coping with Nondeterminism in Network Protocol Testing.
Proceedings of the Testing of Communicating Systems, 2005
Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004
A Formal Approach for Passive Testing of Protocol Data Portions.
Proceedings of the 10th IEEE International Conference on Network Protocols (ICNP 2002), 2002