Ugo A. Buy

According to our database, Ugo A. Buy authored at least 47 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Early Detection of Mental and Behavioral Health Issues from High-School Academic Performance.

Davide Porello, Ugo A. Buy, Kyle W. Boerke, M. Pieta Keller

Proceedings of the International Conference on Machine Learning and Applications, 2023

2021

Toward Gesture Recognition in Robot-Assisted Surgical Procedures.

Hoangminh Huynhnguyen, Ugo A. Buy

Proceedings of the 2nd International Conference on Societal Automation, 2021

2020

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

2018

AppSeer: discovering flawed interactions among Android components.

Vincenzo Chiaramida, Francesco Pinci, Ugo A. Buy, Rigel Gjomemo

Proceedings of the 1st International Workshop on Advances in Mobile App Analysis, 2018

DDS: Deadlock Detector and Solver.

Eman Aldakheel, Ugo A. Buy, Simran Kaur

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

2016

From video games to debugging code.

Sean Deitz, Ugo A. Buy

Proceedings of the 5th International Workshop on Games and Software Engineering, 2016

2015

Deception detection in Twitter.

Jalal S. Alowibdi, Ugo A. Buy, Philip S. Yu, Sohaib Ghani, Mohamed F. Mokbel

Soc. Netw. Anal. Min., 2015

2014

Say It with Colors: Language-Independent Gender Classification on Twitter.

Jalal S. Alowibdi, Ugo A. Buy, Philip S. Yu

Proceedings of the Online Social Media Analysis and Visualization, 2014

Probabilistic Macro-Architectural Decision Framework.

Plamen Petrov, Robert L. Nord, Ugo A. Buy

Proceedings of the ECSA 2014 Workshops & Tool Demos Track, 2014

Detecting deception in Online Social Networks.

Jalal S. Alowibdi, Ugo A. Buy, Philip S. Yu, Leon Stenneth

Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2014

2013

REDACT: preventing database deadlocks from application-based transactions.

B. M. Mainul Hossain, Mark Grechanik, Ugo A. Buy, Haisheng Wang

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Preventing database deadlocks in applications.

Mark Grechanik, B. M. Mainul Hossain, Ugo A. Buy, Haisheng Wang

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Testing Database-Centric Applications for Causes of Database Deadlocks.

Mark Grechanik, B. M. Mainul Hossain, Ugo A. Buy

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Empirical Evaluation of Profile Characteristics for Gender Classification on Twitter.

Jalal S. Alowibdi, Ugo A. Buy, Philip S. Yu

Proceedings of the 12th International Conference on Machine Learning and Applications, 2013

Language independent gender classification on Twitter.

Jalal S. Alowibdi, Ugo A. Buy, Philip S. Yu

Proceedings of the Advances in Social Networks Analysis and Mining 2013, 2013

2012

Enhancing the software architecture analysis and design process with inferred macro-architectural requirements.

Plamen Petrov, Ugo A. Buy, Robert L. Nord

Proceedings of the First IEEEInternational Workshop on the Twin Peaks of Requirements and Architecture, 2012

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

Formal Modeling of Sequential Function Charts With Time Petri Nets.

Nicholas Wightkin, Ugo A. Buy, Houshang Darabi

IEEE Trans. Control. Syst. Technol., 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, Ugo A. Buy, Robert L. Nord

Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

A Systemic Methodology for Software Architecture Analysis and Design.

Plamen Petrov, Ugo A. Buy

Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

2010

Trajectory Data Reduction in Wireless Sensor Networks.

Oliviu Ghica, Goce Trajcevski, Ouri Wolfson, Ugo A. Buy, Peter Scheuermann, Fan Zhou, Dennis Vaccaro

Int. J. Next Gener. Comput., 2010

2009

Modeling and integration of hospital information systems with Petri nets.

Houshang Darabi, William L. Galanter, Janet Yueh-Yun Lin, Ugo A. Buy, Rupa Sampath

Proceedings of the 2009 IEEE/INFORMS International Conference on Service Operations, 2009

2008

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

2007

Enforcing transition deadlines in time Petri nets.

Haisheng Wang, Liviu Grigore, Ugo A. Buy, Houshang Darabi

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2005

Clock synchronization for wireless sensor networks: a survey.

Bharath Sundararaman, Ugo A. Buy, Ajay D. Kshemkalyani

Ad Hoc Networks, 2005

Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets.

Ugo A. Buy, Mihai Lehene, Houshang Darabi

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

Supervisory Control of Time Petri Nets Using Net Unfolding.

Ugo A. Buy, Houshang Darabi, Mihai Lehene, Vikram Venepally

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2003

A Framework for the Efficient Production of Web Applications.

Jia Zhang, Ugo A. Buy, Xian Liu

Proceedings of the IASTED International Conference on Modelling and Simulation (MS 2003), 2003

A Framework for the Efficient Production of Web Applications.

Jia Zhang, Ugo A. Buy

Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003

2002

Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems.

Ugo A. Buy, Gaurav Singal

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset.

Ugo A. Buy, Robert H. Sloan

Autom. Softw. Eng., 2001

Debunking some Common Misconceptions on E-Learning.

Ugo A. Buy

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

2000

Automated Testing of Classes.

Ugo A. Buy, Alessandro Orso, Mauro Pezzè

Proceedings of the International Symposium on Software Testing and Analysis, 2000

1998

Modeling and Analysis of a Virtual Reality System with Time Petri Nets.

Rajesh Mascarenhas, Dinkar Karumuri, Ugo A. Buy, Robert V. Kenyon

Proceedings of the Forging New Links, 1998

1997

Stubborn Sets for Real-Time Petri Nets.

Robert H. Sloan, Ugo A. Buy

Formal Methods Syst. Des., 1997

Compiling process algebraic specifications into timed automata.

Carl K. Chang, Yi-Te Tseng, Ugo A. Buy

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996

Reduction Rules for Time Petri Nets.

Robert H. Sloan, Ugo A. Buy

Acta Informatica, 1996

1995

A Specification-Based Approach to Concurrency Analysis.

Ugo A. Buy, Robert Moll

Autom. Softw. Eng., 1995

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

Analysis of Real-Time Programs with Simple Time Petri Nets.

Ugo A. Buy, Robert H. Sloan

Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

1993

A Petri-Net -Based Approach to Real-Time Program Analysis.

Ugo A. Buy, Robert H. Sloan

Proceedings of the 7th International Workshop on Software Specification and Design, 1993

Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking.

Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

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

Experiments with an Improved Constrained Expression Toolset.

George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden

Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

Integer Programming in the Analysis of Concurrent Systems.

George S. Avrunin, Ugo A. Buy, James C. Corbett

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

Liveness Analysis and the Automatic Generation of Concurrent Programs.

Ugo A. Buy, Robert Moll

Proceedings of the Computer-Aided Verification, 1990

A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers.

Ugo A. Buy, Robert Moll

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990