Selected Publications

Software Testing and Analysis

  1. Mark Grechanik, B. M. Mainul Hossain, and Ugo A. Buy. "Testing Database-Centric Applications for Causes of Database Deadlocks," In Proc. 6th IEEE Int. Conf. on Software Testing, Verification and Validation (ICST 2013), pp. 174--183, Luxembourg, March 2013.
  2. Mark Grechanik, B. M. Mainul Hossain, Ugo A. Buy, and Haisheng Wang. "Preventing Database Deadlocks in Applications," In Proc. 9th Joint Meeting of European Software Engineering Conf. and ACM SIGSOFT Symp. on Foundations of Software Engineering (ESEC/FSE 2013), pp. 174--183, St. Petersburg, Russia, August 2013.
  3. Ugo A. Buy, Alessandro Orso, and Mauro Pezz, "Automated Testing of Classes," In Proc. 2000 ACM/SIGSOFT Int. Symp. on Software Testing and Analysis (ISSTA 2000), pp. 39-48, Portland, Oregon, August 2000.
  4. Ugo A. Buy, Carlo Ghezzi, Alessandro Orso, Mauro Pezz and Matteo Valsasna. "A Framework for Testing Object-Oriented Components." In Proc. of the 1st International ICSE Workshop on Testing Distributed Component-Based Systems (WTDCS 99), Los Angeles, California, May 1999.

Social Network Analysis

  1. Jalal S. Alowibidi, Ugo A. Buy, Philip S. Yu, and Leon Stenneth. "Detecting Deception in Online Social Networks." In Proc. 2014 IEEE/ACM Int. Conf. on Advances in Social Networks Analysis and Mining (ASONAM 2014), Bejing, China, August 2014.
  2. Jalal S. Alowibidi, Ugo A. Buy, and Philip S. Yu. "Say It with Colors: Language-Independent Gender Classification on Twitter."InProc. Online Social Media Analysis and Visualization, pp. 47-62, J. Kawash, editor, Lecture Notes in Social Networks, Springer International Publishing, Switzerland, 2014.
  3. Jalal S. Alowibidi, Ugo A. Buy, and Philip S. Yu. "Empirical Evaluation of Profile Characteristics for Gender Classification on Twitter." InProc. 12th IEEE Int. Conf. on Machine Learning and Applications (ICMLA 13), pp. 365-369, Miami, Florida, December 2013.
  4. Jalal S. Alowibidi, Ugo A. Buy, and Philip S. Yu. "Language Independent Gender Classification on Twitter" In Proc. 2013 IEEE/ACM Int. Conf. on Advances in Social Networks Analysis and Mining (ASONAM 2013), pp. 739--743, Niagara Falls, Ontario, August 2013.
  5. Jalal S. Alowibidi, Ugo A. Buy, Philip S. Yu, Sohaib Ghani and Mohamad Mokbel. "Detecting Deception in Twitter." Submitted, 2015.

Wireless Sensor Networks

  1. B. Sundararaman, U.A. Buy, and A. D. Kshemkalyani. "Clock Synchronization for Wireless Sensor Networks: A Survey." Ad-Hoc Networks, vol. 3(3), pp. 281-323, May 2005.

Formal Modeling and Verification of Concurrent and Real-Time Systems

  1. G.S. Avrunin , U.A. Buy and J.C. Corbett. "Integer Programming in the Analysis of Concurrent Systems." In K.G. Larsen and A Skou, Editors, Computer Aided Verification , Lecture Notes in Computer Science 575, Springer Verlag, New York, New York, 1991.
  2. G.S. Avrunin , U.A. Buy, J.C. Corbett, L.K. Dillon and J.C. Wileden. "Experiments with an Improved Constrained Expression Toolset." Proc. of the Fourth IEEE Symposium on Testing, Analysis, and Verification . Victoria, British Columbia, pp, 178-187, October, 1991.
  3. G.S. Avrunin , U.A. Buy, J.C. Corbett, L.K. Dillon and J.C. Wileden. "Automated Analysis of Concurrent Systems with the Constrained Expression Toolset." IEEE Transactions of Software Engineering ., Vol. 17, No. 11, pp. 1204-1222, November, 1991.
  4. R. Sloan and U.A. Buy. "Stubborn sets for real-time Petri nets." Submitted for publication to Formal Methods in System Design , 1994.
  5. R. Sloan and U.A. Buy. "Reduction rules for time Petri nets." Accepted for publication by Acta Informatica .
  6. U.A. Buy and R. Sloan. "A Petri-net-based Approach to Real-time Program Analysis." Proc. of the 7th International Workshop on Software Specification and Design (IWSSD) , pp. 56-61, Redondo Beach, California, December, 1993.
  7. U.A. Buy and R. Sloan. "Analysis of real-time programs with simple time Petri nets." In Proc. 1994 International Symposium on Software Testing and Analysis, pp. 228-239 , Seattle, Washington, August, 1994.
  8. S. Duri, U.A. Buy, R. Nevarapalli and S. Shatz. "Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada." ACM Transactions on Software Engineering and Methodology , Vol. 3, No. 4, pp. 340-380, October, 1994.
  9. U.A. Buy and R. Sloan. "Automatic real-time analysis of Ada tasking programs for embedded systems." Submitted for publication to Real Time Systems . Available as Technical Report 95-1, Department of Electrical Engineering and Computer Science, University of Illinois at Chicago.
  10. H. Wang and U.A. Buy. "Deadlock Detection With Stubborn Unfoldings." Proc. of the 12th IASTED Internation Conference on Software Engineering and Applications (SEA 2008), pp. 27-32, Orlando, Florida, Nov. 2008.

Automatic Synthesis of Concurrency Code

  1. U. Buy and R. Moll. "Liveness Analysis and the Automatic Generation of Concurrent Programs." In E.M. Clarke and R.P. Kurshan (Editors), Computer-Aided Verification 90. Series in Discrete Mathematics and Theoretical Computer Science, Vol. 3, American Mathematical Society, Providence, Rhode Island, 1991.
  2. U. Buy and R. Moll. "A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers." Proceedings 2nd Int. Workshop on Computer-Aided Verification, LNCS 531, Springer-Verlag, New York, New York, pp. 292-301, 1991.
  3. U.A. Buy and R. Moll. "A Specification-based approach to concurrency analysis." Journal of Automated Software Engineering. Accepted for publication.

Supervisory Control of Discrete Event Systems

  1. H. Wang, L. Grigore, U.A. Buy, and H. Darabi. "Enforcing Transition Deadlines in Time Petri Nets." Pro. of the 2007 IEEE Emerging Technologies and Factory Automation (IEEE EFTA) , pp. 606-611, Patras, Greece, September 2007.
  2. R. Sampath, H. Darabi, U. Buy, and J. Liu. "Control Reconfiguration of Discrete Event Systems with Dynamic Control Specifications." IEEE Trans. on Automation Science and Engineering (IEEE TASE) , pp. 84-100, vol 5(1), Jan. 2008.
  3. 3. L. Grigore and U.A. Buy. "Enforcing Safety Properties in Web Applications Using Petri Nets." Proc. of the 9th IASTED International Conference on Software Engineering and Applications (SEA 2008) , pp. 33--38, Orlando, Florida, Nov. 2008.
  4. 4. H. Darabi, W. L. Galanter, J.Y-Y. Lin, U.A. Buy, and R. Sampath. "Modeling and Integration of Hospital Information Systems with Petri Nets." Proc. of the IEEE/INFORMS Int. Conf. on Service Operations, Logistics and Informatics, 2009 (SOLI '09) , pp. 190-195, Chicago, Illinois, July 2009.


  1. U.A. Buy. "Debunking some common misconceptions on e-learning." Proc. of the IEEE International Conference on Computer Software and Applications (COMPSAC 2001) , pp. 342-343, Chicago, Illinois, Oct. 2001.
  2. U.A. Buy and S. Shatz. "Distributed Software Engineering." In J. Marciniak, (Editor), Encyclopedia of Software Engineering, John Wiley & Sons, 2002.
  3. Nicholas Green, Ugo A. Buy, and Redge Bartholomew. "Assessing Performance of Software-Defined Radios on Multicore Hardware". In Proc. 2013 Wireless Innovation Forum European Conf. on Communications Technologies and Software Defined Radio (SDR-WinnComm-Europe 2013) , Munich, Germany, June 2013.
Copyright 2016 The Board of Trustees
of the University of
Helping Women Faculty Advance
Funded by NSF