University of Illinois Chicago — United States
Computer Science · Physical Sciences
17h-index2.0kcitations64works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(27), Petri Nets in System Modeling(22), Real-Time Systems Scheduling(21), Software Testing and Debugging Techniques(8), Software Engineering Research(7)
Publications64 total
2021· 6 citedOpen Access
IEEE Access·2020· 22 citedOpen Access
2016· 4 cited
The Journal of Urology·2016· 1 citedOpen Access
DEADLOCK DETECTION WITH STUBBORN UNFOLDINGS
2015
Social Network Analysis and Mining·2015· 46 citedOpen Access
A Framework for Testing Object-Oriented Components
2015· 5 cited
2014· 2 cited
2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2014)·2014· 21 cited
Lecture notes in social networks·2014· 4 cited
2013· 83 cited
2013· 26 cited
page 1 of 4Next →
Frequent Co-authors
Robert H. Sloan(7), Houshang Darabi(7), Jalal S. Alowibdi(5), Philip S. Yu(5), George S. Avrunin(4), James C. Corbett(4), Sol M. Shatz(4), Plamen Petrov(4), Alessandro Orso(3), Mauro Pezzè(3), Sastry Duri(3), Ramesh Devarapalli(3), Haisheng Wang(3), Liviu Grigore(3), Robert L. Nord(3), Bharath Sundararaman(2), Ajay D. Kshemkalyani(2), Laura K. Dillon(2), Jack C. Wileden(2), Mark Grechanik(2)