A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers. - Ugo A. Buy; Robert Moll (CAV, 1990)

Liveness Analysis and the Automatic Generation of Concurrent Programs. - Ugo A. Buy; Robert Moll (CAV (DIMACS/AMS volume), 1990)

Integer Programming in the Analysis of Concurrent Systems. - George S. Avrunin; Ugo A. Buy; James C. Corbett (CAV, 1991)

Experiments with an Improved Constrained Expression Toolset. - George S. Avrunin; Ugo A. Buy; James C. Corbett; Laura K. Dillon; Jack C. Wileden (Symposium on Testing, Analysis, and Verification, 1991)

Automated Analysis of Concurrent Systems With the Constrained Expression Toolset. - George S. Avrunin; Ugo A. Buy; James C. Corbett; Laura K. Dillon; Jack C. Wileden (IEEE Trans. Software Eng., 1991)

Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. - Sastry Duri; Ugo A. Buy; R. Devarapalli; Sol M. Shatz (ISSTA, 1993)

A Petri-Net -Based Approach to Real-Time Program Analysis. - Ugo A. Buy; Robert Sloan 001 (IWSSD, 1993)

Analysis of Real-Time Programs with Simple Time Petri Nets. - Ugo A. Buy; Robert H. Sloan (ISSTA, 1994)

Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada. - Sastry Duri; Ugo A. Buy; R. Devarapalli; Sol M. Shatz (ACM Trans. Softw. Eng. Methodol., 1994)

A Specification-Based Approach to Concurrency Analysis. - Ugo A. Buy; Robert Moll (Autom. Softw. Eng., 1995)

Reduction Rules for Time Petri Nets. - Robert H. Sloan; Ugo A. Buy (Acta Informatica, 1996)

Compiling process algebraic specifications into timed automata. - Carl K. Chang; Yi-Te Tseng; Ugo A. Buy (COMPSAC, 1997)

Stubborn Sets for Real-Time Petri Nets. - Robert H. Sloan; Ugo A. Buy (Formal Methods Syst. Des., 1997)

Modeling and Analysis of a Virtual Reality System with Time Petri Nets. - Rajesh Mascarenhas; Dinkar Karumuri; Ugo A. Buy; Robert V. Kenyon (ICSE, 1998)

Automated Testing of Classes. - Ugo A. Buy; Alessandro Orso; Mauro Pezzè (ISSTA, 2000)

Debunking some Common Misconceptions on E-Learning. - Ugo A. Buy (COMPSAC, 2001)

Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset. - Ugo A. Buy; Robert H. Sloan (Autom. Softw. Eng., 2001)

Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems. - Ugo A. Buy; Gaurav Singal (COMPSAC, 2002)

A Framework for the Efficient Production of Web Applications. - Jia Zhang; Ugo A. Buy (ISCC, 2003)

A Framework for the Efficient Production of Web Applications. - Jia Zhang 001; Ugo A. Buy; Xian Liu (Modelling and Simulation, 2003)

Supervisory Control of Time Petri Nets Using Net Unfolding. - Ugo A. Buy; Houshang Darabi; Mihai Lehene; Vikram Venepally (COMPSAC (2), 2005)

Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. - Ugo A. Buy; Mihai Lehene; Houshang Darabi (SEW, 2005)

Clock synchronization for wireless sensor networks: a survey. - Bharath Sundararaman; Ugo A. Buy; Ajay D. Kshemkalyani (Ad Hoc Networks, 2005)

Enforcing transition deadlines in time Petri nets. - Haisheng Wang; Liviu Grigore; Ugo A. Buy; Houshang Darabi (ETFA, 2007)

Control Reconfiguration of Discrete Event Systems With Dynamic Control Specifications. - Rupa Sampath; Houshang Darabi; Ugo A. Buy; Liu Jing (IEEE Trans Autom. Sci. Eng., 2008)

Modeling and integration of hospital information systems with Petri nets. - Houshang Darabi; William L. Galanter; Janet Yueh-Yun Lin; Ugo A. Buy; Rupa Sampath (SOLI, 2009)

Trajectory Data Reduction in Wireless Sensor Networks. - Oliviu Ghica; Goce Trajcevski; Ouri Wolfson; Ugo A. Buy; Peter Scheuermann; Fan Zhou 002; Dennis Vaccaro (Int. J. Next Gener. Comput., 2010)

A Systemic Methodology for Software Architecture Analysis and Design. - Plamen Petrov 002; Ugo A. Buy (ITNG, 2011)

The Need for a Multilevel Context-Aware Software Architecture Analysis and Design Method with Enterprise and System Architecture Concerns as First Class Entities. - Plamen Petrov 002; Ugo A. Buy; Robert L. Nord (WICSA, 2011)

Formal Modeling of Sequential Function Charts With Time Petri Nets. - Nicholas Wightkin; Ugo A. Buy; Houshang Darabi (IEEE Trans. Control. Syst. Technol., 2011)

Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings. - Haisheng Wang; Liviu Grigore; Ugo A. Buy; Mihai Lehene; Houshang Darabi (IEEE Trans. Syst. Man Cybern. Part A, 2011)

Enhancing the software architecture analysis and design process with inferred macro-architectural requirements. - Plamen Petrov 002; Ugo A. Buy; Robert L. Nord (TwinPeaks@RE, 2012)

Language independent gender classification on Twitter. - Jalal S. Alowibdi; Ugo A. Buy; Philip S. Yu (ASONAM, 2013)

Empirical Evaluation of Profile Characteristics for Gender Classification on Twitter. - Jalal S. Alowibdi; Ugo A. Buy; Philip S. Yu (ICMLA (1), 2013)

Testing Database-Centric Applications for Causes of Database Deadlocks. - Mark Grechanik; B. M. Mainul Hossain; Ugo A. Buy (ICST, 2013)

Preventing database deadlocks in applications. - Mark Grechanik; B. M. Mainul Hossain; Ugo A. Buy; Haisheng Wang (ESEC/SIGSOFT FSE, 2013)

REDACT: preventing database deadlocks from application-based transactions. - B. M. Mainul Hossain; Mark Grechanik; Ugo A. Buy; Haisheng Wang (ESEC/SIGSOFT FSE, 2013)

Detecting deception in Online Social Networks. - Jalal S. Alowibdi; Ugo A. Buy; Philip S. Yu; Leon Stenneth (ASONAM, 2014)

Probabilistic Macro-Architectural Decision Framework. - Plamen Petrov 002; Robert L. Nord; Ugo A. Buy (ECSA Workshops, 2014)

Say It with Colors: Language-Independent Gender Classification on Twitter. - Jalal S. Alowibdi; Ugo A. Buy; Philip S. Yu (Online Social Media Analysis and Visualization, 2014)

Deception detection in Twitter. - Jalal S. Alowibdi; Ugo A. Buy; Philip S. Yu; Sohaib Ghani; Mohamed F. Mokbel (Soc. Netw. Anal. Min., 2015)

From video games to debugging code. - Sean Deitz; Ugo A. Buy (GAS@ICSE, 2016)

DDS: Deadlock Detector and Solver. - Eman Aldakheel; Ugo A. Buy; Simran Kaur 005 (ISSRE Workshops, 2018)

AppSeer: discovering flawed interactions among Android components. - Vincenzo Chiaramida; Francesco Pinci; Ugo A. Buy; Rigel Gjomemo (A-Mobile@ASE, 2018)

Automated Test Selection for Android Apps Based on APK and Activity Classification. - Luca Ardito; Riccardo Coppola; Simone Leonardi; Maurizio Morisio; Ugo A. Buy (IEEE Access, 2020)

Toward Gesture Recognition in Robot-Assisted Surgical Procedures. - Hoangminh Huynhnguyen; Ugo A. Buy (SA, 2021)

Early Detection of Mental and Behavioral Health Issues from High-School Academic Performance. - Davide Porello; Ugo A. Buy; Kyle W. Boerke; M. Pieta Keller (ICMLA, 2023)

Detection of Behavioral Health Challenges in High School Students. - Thiru Radhakrishnan; Emilio Ingenito; Ugo A. Buy; M. Pieta Keller; Kyle W. Boerke (ICMLA, 2024)