2008 |
3 | EE | Minh D. Nguyen,
Max Thalmaier,
Markus Wedler,
J. Bormann,
Dominik Stoffel,
Wolfgang Kunz:
Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants.
IEEE Trans. on CAD of Integrated Circuits and Systems 27(11): 2068-2082 (2008) |
2005 |
2 | | Minh D. Nguyen,
Dominik Stoffel,
Wolfgang Kunz:
Enhancing BMC-based Protocol Verification Using Transition-By-Transition FSM Traversal.
GI Jahrestagung (1) 2005: 303-307 |
1 | | Minh D. Nguyen,
Dominik Stoffel,
Markus Wedler,
Wolfgang Kunz:
Transition-by-transition FSM traversal for reachability analysis in bounded model checking.
ICCAD 2005: 1068-1075 |