ISR Bibliography

Export 52 results:
Author Title Type [ Year(Asc)]
Filters: Author is Malek, S.  [Clear All Filters]
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.
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., 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.
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.
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.
2015
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.
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., 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.
Jabbarvand, R., A. Sadeghi, J. Garcia, S. Malek, and P. Ammann, "EcoDroid: An Approach for Energy-Based Ranking of Android Apps", 4th International Workshop on Green and Sustainable Software (GREENS 2015), Florence, Italy, pp. 8 - 14, May, 2015.
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.
Bagheri, H., and S. Malek, Titanium: Efficient Analysis of Evolving Alloy Specifications, : UCI Institute for Software Research, September, 2015.
2014
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.
Yuan, E., N. Esfahani, and S. Malek, "Automated mining of software component interactions for self-adaptation", Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2014): Association for Computing Machinery (ACM), 2014.
Mahmood, R., N. Mirzaei, and S. Malek, "EvoDroid: Segmented Evolutionary Testing of Android Apps", 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), Hong Kong, China, pp. 599-609, November, 2014.
2007
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.
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.
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.
2006
Malek, S., C. Seo, S. Ravula, B. Petrus, and N. Medvidović, "Providing Middleware-Level Facilities to Support Architecture-Based Development of Software Systems in Pervasive Environments", 4th International Workshop on Middleware for Pervasive and Ad-Hoc Computing (MPAC 2006), Melbourne, Australia, ACM, 2006.
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.
2005
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.
Malek, S., N. Beckman, M. Mikic-Rakic, and N. Medvidović, "A Framework for Ensuring and Improving Dependability in Highly Distributed Systems", Architecting Dependable Systems III: Springer Verlag, 2005.
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., 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.
2004
Malek, S., M. Mikic-Rakic, and N. Medvidović, "An Extensible Framework for Autonomic Analysis and Improvement of Distributed Deployment Architectures", 1st ACM SIGSOFT Workshop on Self-Managed Systems, Newport Beach, CA, ACM, Oct 31 - Nov 1, 2004.

Pages