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