| Scalable Network Monitoring for Multimedia Applications in Enterprise Networks | 0 | 0.34 | 2004 |
| Model Checking Based on Simultaneous Reachability Analysis | 9 | 0.66 | 2000 |
| Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis | 3 | 0.45 | 2000 |
| Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs | 10 | 0.82 | 1999 |
