Seuraa
Hamid Bagheri
Hamid Bagheri
University of Nebraska-Lincoln
Vahvistettu sähköpostiosoite verkkotunnuksessa mit.edu
Nimike
Viittaukset
Viittaukset
Vuosi
Reducing combinatorics in GUI testing of android applications
N Mirzaei, J Garcia, H Bagheri, A Sadeghi, S Malek
Proceedings of the 38th international conference on software engineering …, 2016
1802016
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
1792015
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
1742016
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
1012015
A formal approach for detection of security flaws in the android permission system
H Bagheri, E Kang, S Malek, D Jackson
Formal Aspects of Computing 30, 525-544, 2018
812018
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
782016
Scalable analysis of interaction threats in iot systems
M Alhanahnah, C Stevens, H Bagheri
Proceedings of the 29th ACM SIGSOFT international symposium on software …, 2020
732020
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
602016
Detection of design flaws in the android permission protocol through bounded verification
H Bagheri, E Kang, S Malek, D Jackson
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
602015
Big Data: challenges, opportunities and Cloud based solutions
H Bagheri, AA Shaltooki
International Journal of Electrical and Computer Engineering 5 (2), 340, 2015
562015
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
552015
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
552015
A temporal permission analysis and enforcement framework for android
A Sadeghi, R Jabbarvand, N Ghorbani, H Bagheri, S Malek
Proceedings of the 40th International Conference on Software Engineering …, 2018
512018
Sentiment analysis of twitter data
H Bagheri, MJ Islam
arXiv preprint arXiv:1711.10377, 2017
492017
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
442016
Titanium: efficient analysis of evolving alloy specifications
H Bagheri, S Malek
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
372016
Bounded exhaustive search of alloy specification repairs
SG Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, M Frias
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
362021
Trademaker: Automated dynamic analysis of synthesized tradespaces
H Bagheri, C Tang, K Sullivan
Proceedings of the 36th International Conference on Software Engineering …, 2014
362014
Detecting and correcting misclassified sequences in the large-scale public databases
H Bagheri, AJ Severin, H Rajan
Bioinformatics 36 (18), 4699-4705, 2020
342020
Monarch: Model-based development of software architectures
H Bagheri, K Sullivan
Model Driven Engineering Languages and Systems: 13th International …, 2010
322010
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20