Ugo Buy
Cited by
Cited by
Clock synchronization for wireless sensor networks: a survey
B Sundararaman, U Buy, AD Kshemkalyani
Ad hoc networks 3 (3), 281-323, 2005
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
Automated testing of classes
U Buy, A Orso, M Pezze
ACM SIGSOFT Software Engineering Notes 25 (5), 39-48, 2000
Reduction rules for time Petri nets
RH Sloan, U Buy
Acta Informatica 33 (7), 687-706, 1996
Language independent gender classification on Twitter
JS Alowibdi, UA Buy, P Yu
Proceedings of the 2013 IEEE/ACM international conference on advances in …, 2013
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
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
ABE: An agent-based software architecture for a multimodal emotion recognition framework
J Gonzalez-Sanchez, ME Chavez-Echeagaray, R Atkinson, W Burleson
2011 Ninth Working IEEE/IFIP Conference on Software Architecture, 187-193, 2011
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
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
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
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
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
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
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
Deception detection in Twitter
JS Alowibdi, UA Buy, SY Philip, S Ghani, M Mokbel
Social network analysis and mining 5 (1), 1-16, 2015
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
Stubborn sets for real-time Petri nets
RH Sloan, U Buy
Formal Methods in System Design 11 (1), 23-40, 1997
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
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
The system can't perform the operation now. Try again later.
Articles 1–20