ISR Bibliography

Export 20 results:
Author Title [ Type(Asc)] Year
Filters: Author is Bagheri, H.  [Clear All Filters]
Report
Bagheri, H., and S. Malek, Titanium: Efficient Analysis of Evolving Alloy Specifications, : UCI Institute for Software Research, September, 2015.
Sadeghi, A., H. Bagheri, J. Garcia, and S. Malek, A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Apps, : UCI Institute for Software Research, January, 2016.
Journal Article
Sadeghi, A., H. Bagheri, J. Garcia, and S. Malek, "A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software", IEEE Transactions on Software Engineering, Oct 5, 2016, vol. 43, no. 6, pp. 492-530, June 1, 2017.
Bagheri, H., J. Garcia, A. Sadeghi, S. Malek, and N. Medvidovic, "Software Architectural Principles in Contemporary Mobile Software: From Conception to Practice", Journal of Systems and Software, June 1, 2016, vol. 119, pp. 31-44, September 30, 2016.
Bagheri, H., and K. Sullivan, "Model-Driven Synthesis of Formally Precise, Stylized Software Architectures", Formal Aspects of Computing, vol. 28, no. 3, pp. 441-467, May 1, 2016.
Bagheri, H., E. Kang, S. Malek, and D. Jackson, "A Formal Approach for Detection of Security Flaws in the Android Permission System", Springer Journal on Formal Aspects of Computing, 2017.
Bagheri, H., A. Sadeghi, J. Garcia, and S. Malek, "COVERT: Compositional Analysis of Android Inter-App Security Vulnerabilities", IEEE Transactions on Software Engineering (IEEE TSE), vol. 41, issue 9, pp. 866-886, 09/2015.
Bagheri, H., C. Tang, and K. Sullivan, "Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational Mapping", IEEE Transactions on Software Engineering, vol. 43, issue 2, 02/2017.
Conference Paper
Bagheri, H., and S. Malek, "Titanium: Efficient Analysis of Evolving Alloy Specifications", 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), Seattle, WA, ACM, pp. 27-38, Nov 13-18, 2016.
Mirzaei, N., H. Bagheri, R. Mahmood, and S. Malek, "SIG-Droid: Automated System Input Generation for Android Applications", IEEE 26th International Symposium on Software Reliability Engineering (ISSRE 2015), Gaithersbury, MD, IEEE, pp. 461 - 471, November, 2015.
Mirzaei, N., J. Garcia, H. Bagheri, A. Sadeghi, and S. Malek, "Reducing Combinatorics in GUI Testing of Android Applications", 38th International Conference on Software Engineering, Austin, TX, ACM, pp. 559-570, May, 2016.
Bagheri, H., A. Sadeghi, R. Jabbarvand, and S. Malek, "Practical, Formal Synthesis and Autonomic Enforcement of Security Policies for Android", 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016), Toulouse, France, June, 2016.
Jabbarvand, R., A. Sadeghi, H. Bagheri, and S. Malek, "Energy-Aware Test-Suite Minimization for Android Apps", 25th International Symposium on Software Testing and Analysis (ISSTA 2016), Saarbrücken, Germany, ACM, pp. 425-436, July, 2016.
Bagheri, H.., J.. Wang, J.. Arets, and S. Malek, "Efficient, Evolutionary Security Analysis of Interacting Android Apps", 34th IEEE International Conference on Software Maintenance and Evolution (ICSME 2018), Madrid, Spain, pp. 357-368, September, 2018.
Hammad, M.., H.. Bagheri, and S.. Malek, "Determination and Enforcement of Least-Privilege Architecture in Android", IEEE International Conference on Software Architecture (ICSA), Gothenburg, Sweden, IEEE, pp. 59-68, Apr 3-7, 2017.
Bagheri, H., E. Kang, S. Malek, and D. Jackson, "Detection of Design Flaws in Android Permission Protocol through Bounded Verification", 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, pp. 73-89, June, 2015.
Malek, S., H. Bagheri, and A. Sadeghi, "Automated Detection and Mitigation of Inter- Application Security Vulnerabilities in Android", 2nd International Workshop on Software Development Lifecycle for Mobile (DeMobile 2014), Hong Kong, China, pp. 17-18, November, 2014.
Schmerl, B., J. Gennari, A. Sadeghi, H. Bagheri, S. Malek, J. Camara, and D. Garlan, "Architecture Modeling and Analysis of Security in Android Systems", 10th European Conference on Software Architecture (ECSA 2016), Istanbul, Turkey, pp. 274-290, 11/2016.
Sadeghi, A., H. Bagheri, and S. Malek, "Analysis of Android Inter-App Security Vulnerabilities Using COVERT", 37th International Conference on Software Engineering (ICSE 2015), Demonstrations Track, Florence, Italy, May, 2015.
Book Chapter
Malek, S., H. Bagheri, J. Garcia, and A. Sadeghi, "Security and Software Engineering", Handbook of Software Engineering, Editors: Sungdeok Cha, Richard N. Taylor, Kyo C. Kang: Springer International, 2019.