 | 2004 |
|---|
| 5 |       | Bengi Karaçali,
Chandra M. R. Kintala:
Scalable Network Monitoring for Multimedia Applications in Enterprise Networks.
ICCCN 2004: 329-334 |
| 2001 |
|---|
| 4 |  | Kuo-Chung Tai,
Bengi Karaçali:
On Godefroid's Stateless Search Technique for Testing Concurrent Programs.
ISADS 2001: 77-84 |
| 2000 |
|---|
| 3 | | Bengi Karaçali,
Kuo-Chung Tai,
Mladen A. Vouk:
Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis.
DSN 2000: 315- |
| 2 | | Bengi Karaçali,
Kuo-Chung Tai:
Model Checking Based on Simultaneous Reachability Analysis.
SPIN 2000: 34-53 |
| 1999 |
|---|
| 1 | | Bengi Karaçali,
Kuo-Chung Tai:
Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs.
PDSE 1999: 97- |
