| 2024 | ICMLA | Detection of Behavioral Health Challenges in High School Students. | Thiru Radhakrishnan, Emilio Ingenito, Ugo A. Buy, M. Pieta Keller, Kyle W. Boerke |
| 2023 | ICMLA | Early Detection of Mental and Behavioral Health Issues from High-School Academic Performance. | Davide Porello, Ugo A. Buy, Kyle W. Boerke, M. Pieta Keller |
| 2018 | ISSRE | DDS: Deadlock Detector and Solver. | Eman Aldakheel, Ugo A. Buy, Simran Kaur |
| 2016 | ICSE | From video games to debugging code. | Sean Deitz, Ugo A. Buy |
| 2014 | ECSA | Probabilistic Macro-Architectural Decision Framework. | Plamen Petrov, Robert L. Nord, Ugo A. Buy |
| 2013 | ICMLA | Empirical Evaluation of Profile Characteristics for Gender Classification on Twitter. | Jalal S. Alowibdi, Ugo A. Buy, Philip S. Yu |
| 2013 | ICST | Testing Database-Centric Applications for Causes of Database Deadlocks. | Mark Grechanik, B. M. Mainul Hossain, Ugo A. Buy |
| 2012 | RE | Enhancing the software architecture analysis and design process with inferred macro-architectural requirements. | Plamen Petrov, Ugo A. Buy, Robert L. Nord |
| 2007 | ETFA | Enforcing transition deadlines in time Petri nets. | Haisheng Wang, Liviu Grigore, Ugo A. Buy, Houshang Darabi |
| 2005 | COMPSAC | Supervisory Control of Time Petri Nets Using Net Unfolding. | Ugo A. Buy, Houshang Darabi, Mihai Lehene, Vikram Venepally |
| 2005 | SEW | Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. | Ugo A. Buy, Mihai Lehene, Houshang Darabi |
| 2003 | ISCC | A Framework for the Efficient Production of Web Applications. | Jia Zhang, Ugo A. Buy |
| 2002 | COMPSAC | Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems. | Ugo A. Buy, Gaurav Singal |
| 2001 | COMPSAC | Debunking some Common Misconceptions on E-Learning. | Ugo A. Buy |
| 2000 | ISSTA | Automated Testing of Classes. | Ugo A. Buy, Alessandro Orso, Mauro Pezz |
| 1998 | ICSE | Modeling and Analysis of a Virtual Reality System with Time Petri Nets. | Rajesh Mascarenhas, Dinkar Karumuri, Ugo A. Buy, Robert V. Kenyon |
| 1997 | COMPSAC | Compiling process algebraic specifications into timed automata. | Carl K. Chang, Yi-Te Tseng, Ugo A. Buy |
| 1994 | ISSTA | Analysis of Real-Time Programs with Simple Time Petri Nets. | Ugo A. Buy, Robert H. Sloan |
| 1993 | ISSTA | Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. | Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz |
| 1991 | CAV | Integer Programming in the Analysis of Concurrent Systems. | George S. Avrunin, Ugo A. Buy, James C. Corbett |
| 1991 | ISSTA | Experiments with an Improved Constrained Expression Toolset. | George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden |
| 1990 | CAV | A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers. | Ugo A. Buy, Robert Moll |