`Travelled to:`

1 × Canada

1 × Denmark

1 × Japan

4 × USA

`Collaborated with:`

G.S.Avrunin J.C.Corbett R.H.Sloan R.Moll A.Orso M.Pezzè R.Mascarenhas D.Karumuri R.V.Kenyon S.Duri R.Devarapalli S.M.Shatz L.K.Dillon J.C.Wileden

`Talks about:`

analysi (4) time (3) program (2) system (2) petri (2) net (2) constrain (1) techniqu (1) deadlock (1) virtual (1)

## Person: Ugo A. Buy

### DBLP: Buy:Ugo_A=

### Contributed to:

### Wrote 7 papers:

- ISSTA-2000-BuyOP #automation #testing
- Automated Testing of Classes (UAB, AO, MP), pp. 39–48.
- ICSE-1998-MascarenhasKBK #analysis #artificial reality #modelling #petri net
- Modeling and Analysis of a Virtual Reality System with Time Petri Nets (RM, DK, UAB, RVK), pp. 33–42.
- ISSTA-1994-BuyS #analysis #petri net #realtime #source code
- Analysis of Real-Time Programs with Simple Time Petri Nets (UAB, RHS), pp. 228–239.
- ISSTA-1993-DuriBDS #ada #analysis #concurrent #reduction #using
- Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking (SD, UAB, RD, SMS), pp. 51–60.
- CAV-1991-AvruninBC #analysis #concurrent #integer #programming
- Integer Programming in the Analysis of Concurrent Systems (GSA, UAB, JCC), pp. 92–102.
- TAV-1991-AvruninBCDW #tool support
- Experiments with an Improved Constrained Expression Toolset (GSA, UAB, JCC, LKD, JCW), pp. 178–187.
- CAV-1990-BuyM #liveness #proving
- A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers (UAB, RM), pp. 292–301.