The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Ugo A. Buy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. George S. Avrunin, Ugo A. Buy, James C. Corbett
    Integer Programming in the Analysis of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:92-102 [Conf]
  2. Ugo A. Buy, Robert Moll
    A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:292-301 [Conf]
  3. Ugo A. Buy, Gaurav Singal
    Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:717-722 [Conf]
  4. Ugo A. Buy
    Debunking some Common Misconceptions on E-Learning. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:342-343 [Conf]
  5. Rajesh Mascarenhas, Dinkar Karumuri, Ugo A. Buy, Robert V. Kenyon
    Modeling and Analysis of a Virtual Reality System with Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICSE, 1998, pp:33-42 [Conf]
  6. George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden
    Experiments with an Improved Constrained Expression Toolset. [Citation Graph (0, 0)][DBLP]
    Symposium on Testing, Analysis, and Verification, 1991, pp:178-187 [Conf]
  7. Ugo A. Buy, Alessandro Orso, Mauro Pezzè
    Automated Testing of Classes. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2000, pp:39-48 [Conf]
  8. Ugo A. Buy, Robert H. Sloan
    Analysis of Real-Time Programs with Simple Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1994, pp:228-239 [Conf]
  9. Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz
    Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:51-60 [Conf]
  10. Ugo A. Buy, Robert H. Sloan
    A Petri-Net -Based Approach to Real-Time Program Analysis. [Citation Graph (0, 0)][DBLP]
    IWSSD, 1993, pp:56-61 [Conf]
  11. Robert H. Sloan, Ugo A. Buy
    Reduction Rules for Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1996, v:33, n:7, pp:687-706 [Journal]
  12. Ugo A. Buy, Robert Moll
    A Specification-Based Approach to Concurrency Analysis. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1995, v:2, n:4, pp:265-309 [Journal]
  13. Ugo A. Buy, Robert H. Sloan
    Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2001, v:8, n:3-4, pp:227-273 [Journal]
  14. Robert H. Sloan, Ugo A. Buy
    Stubborn Sets for Real-Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1997, v:11, n:1, pp:23-40 [Journal]
  15. Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz
    Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1994, v:3, n:4, pp:340-380 [Journal]
  16. George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden
    Automated Analysis of Concurrent Systems With the Constrained Expression Toolset. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1991, v:17, n:11, pp:1204-1222 [Journal]

Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002