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
Journal ArticleDOI
Clock synchronization for wireless sensor networks: a survey
TL;DR: In this paper, a survey and evaluation of clock synchronization protocols based on a palette of factors such as precision, accuracy, cost, and complexity is presented, which can help developers either in choosing an existing synchronization protocol or in defining a new protocol that is best suited to the specific needs of a sensor network application.
Journal ArticleDOI
Automated analysis of concurrent systems with the constrained expression toolset
TL;DR: In this article, the authors present a toolset for automating the main constrained expression analysis techniques and the results of experiments with that toolset are reported. The toolset is capable of carrying out completely automated analyses of a variety of concurrent systems, starting from source code in an Ada-like design language and producing system traces displaying the properties represented by the analysts queries.
Proceedings ArticleDOI
Language independent gender classification on Twitter
TL;DR: The approach is independent of the user's language, efficient, and scalable, while attaining a good level of accuracy, and proves the validity of the approach by examining different classifiers over a large dataset of Twitter profiles.
Proceedings ArticleDOI
Automated Testing of Classes
TL;DR: The method proposed in this paper can automatically generate information relevant to testing even when symbolic execution and automated deduction cannot be completed successfully, and is used to produce sequences of method invocations exercising a class under test.
Proceedings ArticleDOI
Empirical Evaluation of Profile Characteristics for Gender Classification on Twitter
TL;DR: This work explores profile characteristics for gender classification on Twitter and provides a novel technique to reduce the number of features of text-based profile characteristics from the order of millions to a few thousands and, in some cases, to only 40 features.