Concepedia

Ugo Buy

UB

25

Publications

1.8K

Citations

17

H-Index

1991

Active since

Affiliations

University of Illinois Chicago(Current)

University of Illinois Urbana-Champaign

Politecnico di Milano

University of Chicago

Oracle (United States)

Ugo Buy is an author at University of Illinois Chicago specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisSystems EngineeringComputer EngineeringSoftware EngineeringSystem Software

Publications per year

1991–2020

25

Publications

25

Clock synchronization for wireless sensor networks: a survey

Bharath Sundararaman, Ugo Buy, Ajay D. Kshemkalyani · Ad Hoc Networks · 2005 · 987 citations

Sensor Networks, Engineering, Synchronization Protocol +4

Automated analysis of concurrent systems with the constrained expression toolset

George S. Avrunin, Ugo Buy, James C. Corbett et al. · IEEE Transactions on Software Engineering · 1991 · 115 citations

Engineering, Software Systems, Software Engineering +23

Language independent gender classification on Twitter

Jalal S. Alowibdi, Ugo Buy, Philip S. Yu · 2013 · 83 citations

Engineering, Social Medium Monitoring, Communication +20

Automated Testing of Classes

Ugo Buy, Alessandro Orso, Mauro Pezzè · 2000 · 75 citations

Engineering, Traditional Software, Verification +20

Empirical Evaluation of Profile Characteristics for Gender Classification on Twitter

Jalal S. Alowibdi, Ugo Buy, Philip S. Yu · 2013 · 60 citations

Engineering, Social Medium Monitoring, Communication +18

Rows per page

1–5 of 25