Publications

Automatic Verification of Concurrent and Real Time Software

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