U
Ugo Buy
Researcher at University of Illinois at Chicago
Publications - 54
Citations - 1991
Ugo Buy is an academic researcher from University of Illinois at Chicago. The author has contributed to research in topics: Petri net & Concurrency. The author has an hindex of 16, co-authored 54 publications receiving 1882 citations. Previous affiliations of Ugo Buy include University of Illinois at Urbana–Champaign.
Papers
More filters
Proceedings ArticleDOI
A Petri-net-based approach to real-time program analysis
Ugo Buy,Robert H. Sloan +1 more
TL;DR: The goal is to create a fully automated system, which starts from code in a higher level language for real-time programming, and answers programmers' queries about timing properties of the code.
Proceedings ArticleDOI
The Need for a Multilevel Context-Aware Software Architecture Analysis and Design Method with Enterprise and System Architecture Concerns as First Class Entities
TL;DR: A multilevel, context-aware approach to software architecture that treats contextual environment concerns as first class entities and groups concerns and techniques of different abstraction, scope and grain into separate explicit levels.
Proceedings ArticleDOI
Enforcing transition deadlines in time Petri nets
TL;DR: Preliminary empirical results show that the automatically synthesize supervisory controllers that force a system to perform a certain operation by a given deadline are both relatively general and more tractable from a computational standpoint than most other real-time analysis methods.
Proceedings ArticleDOI
Experiments with an improved constrained expression toolset
TL;DR: Several experiments are described with the new version of the constrained expression toolset, including preliminary experiments with a technique for analyzing systems that include an essentially arbitrary number of identical components.