Associate Professor Ugo A. Buy

Ugo A. Buy

My research interests are in the general area of software engineering with emphasis on modeling and analysis of concurrent and real-time systems. In the past, I have investigated various methods for automatic verification of these systems using such models as finite automata and Petri nets. In recent years, I have shifted my main research focus to the automatic generation of control supervisors for discrete manufacturing systems. For instance, I codirected NIST-sponsored project seeking to generate automatically supervisory controllers for discrete manufacturing plants. More generally, I am now interested in techniques for supervisory control and dynamic reconfiguration of discrete event systems. An additional application is the automatic correction of multi-threaded Java programs required to be free of deadlock and to comply with user-specified safety properties. Additional interests include software development for multicore hardware, mobile app development, and sensor networks.

Education

University of Massachusetts, Amherst, 1990

Ph.D. Computer Science

University of Massachusetts, Amherst, 1983

M.S. Computer Science

Politecnico di Milano, 1980

Italy

Teaching

Summary

I usually teach courses on object-oriented programming languages (CS 342 and CS 474), software engineering (CS 342, CS 440, CS 442 and CS 540), and mobile app development (CS 478). In the past, I have also taught introductory computer-science classes (CS 100 and CS 101), data structures (CS 201), and theory classes (CS 301 and CS 401).

List of courses that I taught

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.

Miscellaneous

  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.

Professional Activities

  • Organization committee member for Petri Nets '93, 14th International Conference on Application and Theory of Petri Nets, Chicago, Illinois, June, 1993.
  • Program committee member for ICCI'93 Fifth International Conference on Computing and Information, Sudbury, Ontario, May, 1993.
  • Program committee member for IWSSD-7 IEEE Seventh International Workshop on Software Specification and Design, Redondo Beach, California, December, 1993.

  • Program committee member for IWSSD-8 IEEE Eighth International Workshop on Software Specification and Design, Paderborn, Germany, March, 1996.

Teaching Awards

  • The Teaching Award, College of Engineering, University of Illinois at Chicago, 2013.
  • Award For Excellence In Teaching, University of Illinois at Chicago, 2006.
  • Teaching Recognition Program Award, University of Illinois at Chicago, 2005.
  • The Harold A. Simon Award for Excellence in Teaching, College of Engineering, University of Illinois at Chicago, 1995.
  • Best Advisors Award, Professional Engineers Societies Council, University of Illinois at Chicago, 1993.

Contact

Mailing Address:

Associate Professor Ugo A. Buy
Department of Computer Science
851 S. Morgan (M/C 152)
Room 1120 SEO
Chicago, IL 60607-7053

Office 1139 SEO
Email: buy AT uic DOT edu
Phone: (312) 413-2296
Fax (312) 413-0024
Department Phone (312) 996-3422
Topic attachments
I AttachmentSorted ascending Action Size Date Who Comment
JPEGjpg buy.jpg manage 15.2 K 2009-07-10 - 20:13 UnknownUser  
 
Copyright 2016 The Board of Trustees
of the University of Illinois.webmaster@cs.uic.edu
WISEST
Helping Women Faculty Advance
Funded by NSF