Follow
Ugo Buy
Title
Cited by
Cited by
Year
Clock synchronization for wireless sensor networks: a survey
B Sundararaman, U Buy, AD Kshemkalyani
Ad hoc networks 3 (3), 281-323, 2005
13392005
Automated analysis of concurrent systems with the constrained expression toolset
GS Avrunin, UA Buy, JC Corbett, LK Dillon, JC Wileden
IEEE Transactions on Software Engineering 17 (11), 1204-1222, 1991
1531991
Automated testing of classes
U Buy, A Orso, M Pezze
ACM SIGSOFT Software Engineering Notes 25 (5), 39-48, 2000
1362000
Reduction rules for time Petri nets
RH Sloan, U Buy
Acta Informatica 33, 687-706, 1996
1141996
Language independent gender classification on Twitter
JS Alowibdi, UA Buy, P Yu
Proceedings of the 2013 IEEE/ACM international conference on advances in …, 2013
1102013
Empirical evaluation of profile characteristics for gender classification on twitter
JS Alowibdi, UA Buy, P Yu
2013 12th international conference on machine learning and applications 1 …, 2013
932013
Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada
S Duri, U Buy, R Devarapalli, SM Shatz
ACM Transactions on Software Engineering and Methodology (TOSEM) 3 (4), 340-380, 1994
781994
Control reconfiguration of discrete event systems with dynamic control specifications
R Sampath, H Darabi, U Buy, J Liu
IEEE Transactions on Automation Science and Engineering 5 (1), 84-100, 2008
512008
Using state space reduction methods for deadlock analysis in Ada tasking
S Duri, U Buy, R Devarapalli, SM Shatz
ACM SIGSOFT Software Engineering Notes 18 (3), 51-60, 1993
451993
Formal modeling of sequential function charts with time Petri nets
N Wightkin, U Buy, H Darabi
IEEE Transactions on Control Systems Technology 19 (2), 455-464, 2010
402010
Detecting deception in online social networks
JS Alowibdi, UA Buy, SY Philip, L Stenneth
2014 IEEE/ACM International Conference on Advances in Social Networks …, 2014
392014
Deception detection in Twitter
JS Alowibdi, UA Buy, PS Yu, S Ghani, M Mokbel
Social network analysis and mining 5, 1-16, 2015
382015
Analysis of real-time programs with simple time Petri nets
U Buy, RH Sloan
Proceedings of the 1994 ACM SIGSOFT international symposium on Software …, 1994
331994
Preventing database deadlocks in applications
M Grechanik, BMM Hossain, U Buy, H Wang
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
312013
A framework for testing object-oriented components
U Buy, C Ghezzi, A Orso, M Pezze, M Valsasna
Proc. of the 1st International Workshop on Testing Distributed Component …, 1999
311999
Modeling and integration of hospital information systems with Petri nets
H Darabi, WL Galanter, JYY Lin, U Buy, R Sampath
2009 IEEE/INFORMS International Conference on Service Operations, Logistics …, 2009
292009
Modeling and analysis of a virtual reality system with time Petri nets
R Mascarenhas, D Karumuri, U Buy, R Kenyon
Proceedings of the 20th international conference on Software engineering, 33-42, 1998
271998
Testing database-centric applications for causes of database deadlocks
M Grechanik, BMM Hossain, U Buy
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
232013
Stubborn sets for real-time Petri nets
RH Sloan, U Buy
Formal Methods in System Design 11, 23-40, 1997
231997
Automated test selection for Android apps based on APK and activity classification
L Ardito, R Coppola, S Leonardi, M Morisio, U Buy
IEEE Access 8, 187648-187670, 2020
182020
The system can't perform the operation now. Try again later.
Articles 1–20