Hamid Bagheri
Hamid Bagheri
University of Nebraska-Lincoln
Verified email at mit.edu
Title
Cited by
Cited by
Year
Covert: Compositional analysis of android inter-app permission leakage
H Bagheri, A Sadeghi, J Garcia, S Malek
IEEE transactions on Software Engineering 41 (9), 866-886, 2015
992015
A taxonomy and qualitative comparison of program analysis techniques for security assessment of android software
A Sadeghi, H Bagheri, J Garcia, S Malek
IEEE Transactions on Software Engineering 43 (6), 492-530, 2016
762016
Reducing combinatorics in GUI testing of android applications
N Mirzaei, J Garcia, H Bagheri, A Sadeghi, S Malek
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016
752016
Sig-droid: Automated system input generation for android applications
N Mirzaei, H Bagheri, R Mahmood, S Malek
2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015
472015
Lightweight, obfuscation-resilient detection and family identification of android malware
J Garcia, M Hammad, S Malek
ACM Transactions on Software Engineering and Methodology (TOSEM) 26 (3), 1-29, 2018
422018
Analysis of android inter-app security vulnerabilities using covert
A Sadeghi, H Bagheri, S Malek
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
372015
Big Data: challenges, opportunities and Cloud based solutions
H Bagheri, AA Shaltooki
International Journal of Electrical and Computer Engineering 5 (2), 340, 2015
352015
Energy-aware test-suite minimization for android apps
R Jabbarvand, A Sadeghi, H Bagheri, S Malek
Proceedings of the 25th International Symposium on Software Testing and …, 2016
342016
Parallel optical interconnects for enterprise class server clusters: Needs and technology solutions
J Trezza, H Hamster, J Iamartino, H Bagheri, C DeCusatis
IEEE Communications Magazine 41 (2), S36-S42, 2003
312003
Software architectural principles in contemporary mobile software: from conception to practice
H Bagheri, J Garcia, A Sadeghi, S Malek, N Medvidovic
Journal of Systems and Software 119, 31-44, 2016
302016
Practical, formal synthesis and automatic enforcement of security policies for android
H Bagheri, A Sadeghi, R Jabbarvand, S Malek
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems …, 2016
302016
Monarch: Model-based development of software architectures
H Bagheri, K Sullivan
International Conference on Model Driven Engineering Languages and Systems …, 2010
292010
Detection of design flaws in the android permission protocol through bounded verification
H Bagheri, E Kang, S Malek, D Jackson
International Symposium on Formal Methods, 73-89, 2015
282015
A Study on the Role of Software Architecture in the Evolution and Quality of Software
E Kouroshfar, M Mirakhorli, H Bagheri, L Xiao, S Malek, Y Cai
2015 IEEE/ACM 12th Working Conference on Mining Software Repositories, 246-257, 2015
232015
Automated dynamic enforcement of synthesized security policies in android
H Bagheri, A Sadeghi, R Jabbarvand, S Malek
George Mason University, Tech. Rep. GMU-CS-TR-2015-5, 2015
202015
A Systematic Method for Identification of Anti-patterns in Service Oriented System Development.
MA Torkamani, H Bagheri
International Journal of Electrical & Computer Engineering (2088-8708) 4 (1), 2014
202014
Trademaker: Automated dynamic analysis of synthesized tradespaces
H Bagheri, C Tang, K Sullivan
Proceedings of the 36th International Conference on Software Engineering …, 2014
192014
Titanium: efficient analysis of evolving alloy specifications
H Bagheri, S Malek
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
172016
Bottom-up model-driven development
H Bagheri, K Sullivan
2013 35th International Conference on Software Engineering (ICSE), 1221-1224, 2013
162013
Architectural style as an independent variable
H Bagheri, Y Song, K Sullivan
Proceedings of the IEEE/ACM international conference on Automated software …, 2010
162010
The system can't perform the operation now. Try again later.
Articles 1–20