Ugo A. Buy

Assistant Professor

Education:

University of Massachusetts, Amherst, 1990

Ph.D. Computer Science

University of Massachusetts, Amherst, 1983

M.S. Computer Science

Politecnico di Milano, 1980

Italy

Laurea Electrical Engineering

Back to Ugo A. Buy home page.

Publications 1990 - Present :

  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." Proceedings 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 Methds in System Design, 1994.

  5. R. Sloan and U.A. Buy, Reduction rules for time Petri nets. Accepted for publication by Acta Informatica.

  6. 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.

  7. 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.

  8. 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.

  9. U.A. Buy and R. Moll. A Specification-based approach to concurrency analysis. Journal of Automated Software Engineering. Accepted for publication.

  10. U.A. Buy and R. Sloan, "A Petri-net-based Approach to Real-time Program Analysis", Proceedings of the 7th International Workshop on Software Specification and Design (IWSSD), pp. 56-61, Redondo Beach, California, December, 1993.

  11. U.A. Buy and R. Sloan, Analysis of real-time programs with simple time Petri nets. In Proc. 1994 internat. sympos. on Software Testing and Analysis, pp. 228-239, Seattle, Washington, August, 1994.

  12. 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.

  13. U.A. Buy and S. Shatz, "Distributed Software Engineering". In J. Marciniak, (Editor), Encyclopedia of Software Engineering, John Wiley & Sons, 1994.

Back to Ugo A. Buy home page.

Courses taught

EECS 474: Object-oriented programming languages and environments

This is a class at the senior and junior-graduate-student level. It covers the object-oriented paradigm and programming languages. Languages Smalltalk (VW2) and C++ are covered in detail.

Issues in Computer Science Education

This class covers recent advances in computer science education. The two main topics are contemporary educational materials, such as visual programming and the object-oriented paradigm, and new delivery techniques, such as the Internet and the world-wide web. The languages Smalltalk, Supercard, and HTML are covered in some detail. The courses also discusses Computer Science curricula at UIC and elsewhere in the US, and accreditation criteria for Computer Science programs in the US.

Back to Ugo A. Buy home page.

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.

Back to Ugo A. Buy home page.

Teaching Awards:

Best Advisors Award, Professional Engineers Societies Council, University of Illinois at Chicago, 1993.

The Harold A. Simon Award for Excellence in Teaching, College of Engineering, University of Illinois at Chicago, 1995.

Back to Ugo A. Buy home page.