ISR Bibliography

Export 52 results:
Author Title [ Type(Desc)] Year
Filters: Author is Malek, S.  [Clear All Filters]
Conference Paper
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.
Hammad, M., J. Garcia, and S. Malek, "SALMA: Self-Protection of Android Systems from Inter-Component Communication Attacks", 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018), Montpellier, France, pp. 726-737, September, 2018.
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.
Medvidović, N., and S. Malek, "Software Deployment Architecture and Quality-of-Service in Pervasive Environments", International Workshop on Engineering of Software Services for Pervasive Environments (ESSPE 2007) , Dubrovnik, Croatia, ACM, Sep 4, 2007.
Malek, S., C. Seo, and N. Medvidović, "Tailoring an Architectural Middleware Platform to a Heterogeneous Embedded Environment", 6th International Workshop on Software Engineering and Middleware , Portland, Oregon, ACM, 2006.
Sadeghi, A., R. Jabbarvand, N. Ghorbani, H. Bagheri, and S. Malek, "A Temporal Permission Analysis and Enforcement Framework for Android", International Conference of Software Engineering (ICSE 2018), May, 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.
Jabbarvand, R., and S. Malek, "μDroid: An Energy-Aware Mutation Testing Framework for Android", 11th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017), Paderborn, Germany, pp. 208-219, Sept 4-8, 2017.
Conference Proceedings
Malek, S., M. Mikic-Rakic, and N. Medvidović, "A Decentralized Redeployment Algorithm for Improving the Availability of Distributed Systems", Third International Working Conference Component Deployment (CD 2005) , Grenoble, France, Nov 28-29, 2005.
Seo, C., S. Malek, and N. Medvidović, " An Energy Consumption Framework for Distributed Java-Based Systems", Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Atlanta, Georgia, November, 2007.
Mattmann, C., S. Malek, N. Beckman, M. Mikic-Rakic, N. Medvidović, and D. Crichton, "GLIDE: A Grid-based, Lightweight, Infrastructure for Data-intensive Environments", European Grid Conference (EGC2005), Amsterdam, The Netherlands, pp. 68-77, Feb14 -16, 2005.
Mikic-Rakic, M., S. Malek, and N. Medvidović, "Improving Availability in Large, Distributed Component-Based Systems via Redeployment", Third International Working Conference on Component Deployment (CD 2005) , Grenoble, France, Nov 28-29 , 2005.
Malek, S., C. Seo, S. Ravula, B. Petrus, and N. Medvidović, "Reconceptualizing a Family of Heterogeneous Embedded Systems via Explicit Architectural Support", 29th International Conference on Software Engineering, Minneapolis, MN, IEEE Computer Society, pp. 591-601, May 20-26, 2007.
Mikic-Rakic, M., S. Malek, N. Beckman, and N. Medvidović, "A Tailorable Environment for Assessing the Quality of Deployment Architectures in Highly Distributed Settings", Second International Working Conference on Component Deployment (CD 2004), Edinburgh, Scotland, UK, pp. 1-17, May 20-21, 2004.
Journal Article
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.
Sadeghi, A.., N.. Esfahani, and S.. Malek, "Ensuring the Consistency of Adaptation through Inter-and Intra-Component Dependency Analysis", ACM Transactions on Software Engineering and Methodology (TOSEM), May, vol. 26, no. 1, pp. 2:1--2:27, July 1, 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.
Esfahani, N., E. Yuan, K. R. Canavera, and S. Malek, "Inferring Software Component Interaction Dependencies for Adaptation Support", ACM Transactions on Autonomous and Adaptive Systems, vol. 10, no. 4, February, 2016.
Garcia, J., M. Hammad, and S. Malek, "Lightweight, Obfuscation-Resilient Detection and Family Identification of Android Malware", ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 26, issue 3, January, 2018.
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.
Malek, S., M. Mikic-Rakic, and N. Medvidović, "A Style-Aware Architectural Middleware for Resource Constrained, Distributed Systems", IEEE Transactions on Software EngineeringIEEE Transactions on Software Engineering, vol. 31, no. 3, pp. 256-272, March, 2005.
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.
Report
Jabbarvand, R., and S. Malek, An Energy-Aware Mutation Testing Framework for Android, , no. UCI-ISR-17-1: UCI Institute for Software Research, January, 2017.
Garcia, J., M. Hammad, and S. Malek, Lightweight, Obfuscation-Resilient Detection and Family Identification of Android Malware, , no. UCI-ISR-16-2: UCI Institute for Software Research, January, 2016.
Garcia, J., and S. Malek, Path-Sensitive Analysis of Message-Controlled Communication for Android Apps, , no. UCI-ISR-16-4: UCI Institute for Software Research, September, 2016.

Pages