Ugo A. Buy

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 7

Top Topics

Online Social Networks

Deception Detection

Probabilistic Approaches

Top Venues

Soc. Netw. Anal. Min.

ISSRE Workshops

Publications

Davide Porello, Ugo A. Buy, Kyle W. Boerke, M. Pieta Keller
Early Detection of Mental and Behavioral Health Issues from High-School Academic Performance. ICMLA (2023)
Hoangminh Huynhnguyen, Ugo A. Buy
Toward Gesture Recognition in Robot-Assisted Surgical Procedures. SA (2021)
Luca Ardito, Riccardo Coppola, Simone Leonardi, Maurizio Morisio, Ugo A. Buy
Automated Test Selection for Android Apps Based on APK and Activity Classification. IEEE Access 8 (2020)
Eman Aldakheel, Ugo A. Buy, Simran Kaur
DDS: Deadlock Detector and Solver. ISSRE Workshops (2018)
Vincenzo Chiaramida, Francesco Pinci, Ugo A. Buy, Rigel Gjomemo
AppSeer: discovering flawed interactions among Android components. A-Mobile@ASE (2018)
Sean Deitz, Ugo A. Buy
From video games to debugging code. GAS@ICSE (2016)
Jalal S. Alowibdi, Ugo A. Buy, Philip S. Yu, Sohaib Ghani, Mohamed F. Mokbel
Deception detection in Twitter. Soc. Netw. Anal. Min. 5 (1) (2015)
Jalal S. Alowibdi, Ugo A. Buy, Philip S. Yu, Leon Stenneth
Detecting deception in Online Social Networks. ASONAM (2014)
Plamen Petrov, Robert L. Nord, Ugo A. Buy
Probabilistic Macro-Architectural Decision Framework. ECSA Workshops (2014)
Mark Grechanik, B. M. Mainul Hossain, Ugo A. Buy, Haisheng Wang
Preventing database deadlocks in applications. ESEC/SIGSOFT FSE (2013)
B. M. Mainul Hossain, Mark Grechanik, Ugo A. Buy, Haisheng Wang
REDACT: preventing database deadlocks from application-based transactions. ESEC/SIGSOFT FSE (2013)
Jalal S. Alowibdi, Ugo A. Buy, Philip S. Yu
Empirical Evaluation of Profile Characteristics for Gender Classification on Twitter. ICMLA (1) (2013)
Mark Grechanik, B. M. Mainul Hossain, Ugo A. Buy
Testing Database-Centric Applications for Causes of Database Deadlocks. ICST (2013)
Jalal S. Alowibdi, Ugo A. Buy, Philip S. Yu
Language independent gender classification on Twitter. ASONAM (2013)
Plamen Petrov, Ugo A. Buy, Robert L. Nord
Enhancing the software architecture analysis and design process with inferred macro-architectural requirements. TwinPeaks@RE (2012)
Plamen Petrov, Ugo A. Buy
A Systemic Methodology for Software Architecture Analysis and Design. ITNG (2011)
Nicholas Wightkin, Ugo A. Buy, Houshang Darabi
Formal Modeling of Sequential Function Charts With Time Petri Nets. IEEE Trans. Control. Syst. Technol. 19 (2) (2011)
Haisheng Wang, Liviu Grigore, Ugo A. Buy, Mihai Lehene, Houshang Darabi
Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings. IEEE Trans. Syst. Man Cybern. Part A 41 (3) (2011)
Plamen Petrov, Ugo A. Buy, Robert L. Nord
The Need for a Multilevel Context-Aware Software Architecture Analysis and Design Method with Enterprise and System Architecture Concerns as First Class Entities. WICSA (2011)
Oliviu Ghica, Goce Trajcevski, Ouri Wolfson, Ugo A. Buy, Peter Scheuermann, Fan Zhou, Dennis Vaccaro
Trajectory Data Reduction in Wireless Sensor Networks. Int. J. Next Gener. Comput. 1 (1) (2010)
Houshang Darabi, William L. Galanter, Janet Yueh-Yun Lin, Ugo A. Buy, Rupa Sampath
Modeling and integration of hospital information systems with Petri nets. SOLI (2009)
Rupa Sampath, Houshang Darabi, Ugo A. Buy, Liu Jing
Control Reconfiguration of Discrete Event Systems With Dynamic Control Specifications. IEEE Trans Autom. Sci. Eng. 5 (1) (2008)
Haisheng Wang, Liviu Grigore, Ugo A. Buy, Houshang Darabi
Enforcing transition deadlines in time Petri nets. ETFA (2007)
Bharath Sundararaman, Ugo A. Buy, Ajay D. Kshemkalyani
Clock synchronization for wireless sensor networks: a survey. Ad Hoc Networks 3 (3) (2005)
Ugo A. Buy, Houshang Darabi, Mihai Lehene, Vikram Venepally
Supervisory Control of Time Petri Nets Using Net Unfolding. COMPSAC (2) (2005)
Ugo A. Buy, Mihai Lehene, Houshang Darabi
Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. SEW (2005)
Jia Zhang, Ugo A. Buy, Xian Liu
A Framework for the Efficient Production of Web Applications. Modelling and Simulation (2003)
Jia Zhang, Ugo A. Buy
A Framework for the Efficient Production of Web Applications. ISCC (2003)
Ugo A. Buy, Gaurav Singal
Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems. COMPSAC (2002)
Ugo A. Buy
Debunking some Common Misconceptions on E-Learning. COMPSAC (2001)
Ugo A. Buy, Robert H. Sloan
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset. Autom. Softw. Eng. 8 (3-4) (2001)
Ugo A. Buy, Alessandro Orso, Mauro Pezzè
Automated Testing of Classes. ISSTA (2000)
Rajesh Mascarenhas, Dinkar Karumuri, Ugo A. Buy, Robert V. Kenyon
Modeling and Analysis of a Virtual Reality System with Time Petri Nets. ICSE (1998)
Robert H. Sloan, Ugo A. Buy
Stubborn Sets for Real-Time Petri Nets. Formal Methods Syst. Des. 11 (1) (1997)
Carl K. Chang, Yi-Te Tseng, Ugo A. Buy
Compiling process algebraic specifications into timed automata. COMPSAC (1997)
Robert H. Sloan, Ugo A. Buy
Reduction Rules for Time Petri Nets. Acta Informatica 33 (7) (1996)
Ugo A. Buy, Robert Moll
A Specification-Based Approach to Concurrency Analysis. Autom. Softw. Eng. 2 (4) (1995)
Ugo A. Buy, Robert H. Sloan
Analysis of Real-Time Programs with Simple Time Petri Nets. ISSTA (1994)
Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz
Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada. ACM Trans. Softw. Eng. Methodol. 3 (4) (1994)
Ugo A. Buy, Robert H. Sloan
A Petri-Net -Based Approach to Real-Time Program Analysis. IWSSD (1993)
Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz
Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. ISSTA (1993)
George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden
Automated Analysis of Concurrent Systems With the Constrained Expression Toolset. IEEE Trans. Software Eng. 17 (11) (1991)
George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden
Experiments with an Improved Constrained Expression Toolset. Symposium on Testing, Analysis, and Verification (1991)
George S. Avrunin, Ugo A. Buy, James C. Corbett
Integer Programming in the Analysis of Concurrent Systems. CAV (1991)
Ugo A. Buy, Robert Moll
A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers. CAV (1990)
Ugo A. Buy, Robert Moll
Liveness Analysis and the Automatic Generation of Concurrent Programs. CAV (DIMACS/AMS volume) (1990)