ISR Bibliography

Export 10 results:
[ Author(Desc)] Title Type Year
Filters: Author is Hamid Bagheri  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
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.
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., and S. Malek, Titanium: Efficient Analysis of Evolving Alloy Specifications, : UCI Institute for Software Research, September, 2015.
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., 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., 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.
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.
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.
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., 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.