Publikace
- Software Component Verification: On Translating Behavior Protocols to Promela (2006)
- Extending Behavior Protocols With Data and Multisynchronization (2006)
- Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker (2006)
- Enhancing Behavior Protocols with Atomic Actions (2005)