Ugo A. Buy - RankMe

48 papers A* 3A 4B 5C 6Journal 13Unranked 16

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