| Clock synchronization for wireless sensor networks: a survey B Sundararaman, U Buy, AD Kshemkalyani Ad hoc networks 3 (3), 281-323, 2005 | 1406 | 2005 |
| Automated analysis of concurrent systems with the constrained expression toolset GS Avrunin, UA Buy, JC Corbett, LK Dillon, JC Wileden IEEE Transactions on Software Engineering 17 (11), 1204-1222, 1991 | 153 | 1991 |
| Automated testing of classes U Buy, A Orso, M Pezze ACM SIGSOFT Software Engineering Notes 25 (5), 39-48, 2000 | 137 | 2000 |
| Reduction rules for time Petri nets RH Sloan, U Buy Acta Informatica 33 (7), 687-706, 1996 | 117 | 1996 |
| Language independent gender classification on Twitter JS Alowibdi, UA Buy, P Yu Proceedings of the 2013 IEEE/ACM international conference on advances in …, 2013 | 116 | 2013 |
| Empirical evaluation of profile characteristics for gender classification on twitter JS Alowibdi, UA Buy, P Yu 2013 12th international conference on machine learning and applications 1 …, 2013 | 98 | 2013 |
| Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada S Duri, U Buy, R Devarapalli, SM Shatz ACM Transactions on Software Engineering and Methodology (TOSEM) 3 (4), 340-380, 1994 | 78 | 1994 |
| Control reconfiguration of discrete event systems with dynamic control specifications R Sampath, H Darabi, U Buy, J Liu IEEE Transactions on Automation Science and Engineering 5 (1), 84-100, 2008 | 52 | 2008 |
| Detecting deception in online social networks JS Alowibdi, UA Buy, SY Philip, L Stenneth 2014 IEEE/ACM International Conference on Advances in Social Networks …, 2014 | 48 | 2014 |
| Using state space reduction methods for deadlock analysis in Ada tasking S Duri, U Buy, R Devarapalli, SM Shatz ACM SIGSOFT Software Engineering Notes 18 (3), 51-60, 1993 | 46 | 1993 |
| Formal modeling of sequential function charts with time Petri nets N Wightkin, U Buy, H Darabi IEEE Transactions on Control Systems Technology 19 (2), 455-464, 2010 | 45 | 2010 |
| Deception detection in Twitter JS Alowibdi, UA Buy, PS Yu, S Ghani, M Mokbel Social network analysis and mining 5 (1), 32, 2015 | 43 | 2015 |
| Modeling and integration of hospital information systems with Petri nets H Darabi, WL Galanter, JYY Lin, U Buy, R Sampath 2009 IEEE/INFORMS International Conference on Service Operations, Logistics …, 2009 | 33 | 2009 |
| Analysis of real-time programs with simple time Petri nets U Buy, RH Sloan Proceedings of the 1994 ACM SIGSOFT international symposium on Software …, 1994 | 33 | 1994 |
| Preventing database deadlocks in applications M Grechanik, BMM Hossain, U Buy, H Wang Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 32 | 2013 |
| A framework for testing object-oriented components U Buy, C Ghezzi, A Orso, M Pezze, M Valsasna Proc. of the 1st International Workshop on Testing Distributed Component …, 1999 | 31 | 1999 |
| Automated test selection for Android apps based on APK and activity classification L Ardito, R Coppola, S Leonardi, M Morisio, U Buy IEEE Access 8, 187648-187670, 2020 | 29 | 2020 |
| Modeling and analysis of a virtual reality system with time Petri nets R Mascarenhas, D Karumuri, U Buy, R Kenyon Proceedings of the 20th international conference on Software engineering, 33-42, 1998 | 26 | 1998 |
| Testing database-centric applications for causes of database deadlocks M Grechanik, BMM Hossain, U Buy 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 23 | 2013 |
| Stubborn sets for real-time Petri nets RH Sloan, U Buy Formal Methods in System Design 11 (1), 23-40, 1997 | 23 | 1997 |
Philip S. YuProfessor of Computer Science, University of Illinons at ChicagoVerified email at cs.uic.edu
