BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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


Contributed to:

ISSTA 20002000
ICSE 19981998
ISSTA 19941994
ISSTA 19931993
CAV 19911991
ISSTA 19911991
CAV 19901990

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.