Bengi Karaçali

2004
5		Bengi Karaçali, Chandra M. R. Kintala: Scalable Network Monitoring for Multimedia Applications in Enterprise Networks. ICCCN 2004: 329-334
2001
4	EE	Kuo-Chung Tai, Bengi Karaçali: On Godefroid's Stateless Search Technique for Testing Concurrent Programs. ISADS 2001: 77-84
2000
3	EE	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	EE	Bengi Karaçali, Kuo-Chung Tai: Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs. PDSE 1999: 97-

Coauthor Index

1	Chandra M. R. Kintala	[5]
2	Kuo-Chung Tai	[1] [2] [3] [4]
3	Mladen A. Vouk	[3]

Colors in the list of coauthors