ISR Bibliography

Export 52 results:
Author Title [ Type(Desc)] Year
Filters: Author is Malek, S.  [Clear All Filters]
Book Chapter
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.
Weyns, D., N. Bencomo, R. Calinescu, J. Camara, C. Ghezzi, V. Grassi, L. Grunske, P. Inverardi, J-M. Jezequel, S. Malek, et al., "Perpetual Assurances in Self-Adaptive Systems", Software Engineering for Self-Adaptive Systems (SEfSAS) 3, vol. 9640: Springer, pp. 31-63, 2018.
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.
Conference Paper
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.
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.
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.
Garcia, J., M. Hammad, N. Ghorbani, and S. Malek, "Automatic Generation of Inter-Component Communication Exploits for Android Applications", 1th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017), Paderborn, Germany, pp. 661-671, Sept 4-8, 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.
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.
Medvidovic, N., S. Malek, M. Mirakhorli, and J. Garcia, "ECASE 2017 Workshop Summary", 2017 IEEE/ACM 1st International Workshop on Establishing the Community-Wide Infrastructure for Architecture-Based Software Engineering (ECASE 2017) , Buenos Aires, Argentina, IEEE Press, pp. 1, May 22, 2017.
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.
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.
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.
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.
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.
Mikic-Rakic, M., S. Malek, N. Beckman, and N. Medvidović, "Improving Availability of Distributed Event-Based Systems via Run-Time Monitoring and Analysis", Twin Workshops on Architecting Dependable Systems (WADS) , Edinburgh, Scotland, UK & Florence, Italy, May 25 & Jun 30, 2004.
Hammad, M., J. Garcia, and S. Malek, "A Large-Scale Empirical Study on the Effects of Code Obfuscations on Android Apps and Anti-Malware Products", International Conference of Software Engineering (ICSE 2018), May, 2018.
Medvidović, N., M. Mirakhorli, J. Garcia, and S. Malek, "Message from the Workshop Chairs ECASE 2017", 2017 IEEE/ACM 1st International Workshop on Establishing the Community-Wide Infrastructure for Architecture-Based Software Engineering (ECASE), Buenos Aires, Argentina, IEEE Press, pp. vii, May 22, 2017.
Sadeghi, A., N. Esfahani, and S. Malek, "Mining Mobile App Markets for Prioritization of Security Assessment Effort", 2nd International Workshop on App Market Analytics (WAMA 2017), Paderborn, Germany, Sept 5, 2017.
Yuan, E., and S. Malek, "Mining Software Component Interactions to Detect Security Threats at the Architectural Level", 13th Working IEEE/IFIP Conference on Software Architecture (WICSA 2016), Venice, Italy, IEEE, pp. 211 - 220, April, 2016.
Lin, J-W., R. Jabbarvand, J. Garcia, and S. Malek, "Nemo: Multi-Criteria Test-Suite Minimization with Integer Nonlinear Programming", International Conference of Software Engineering (ICSE 2018), May, 2018.
Sadeghi, A., R. Jabbarvand, and S. Malek, "PATDroid: Permission-Aware GUI Testing of 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. 220-232, Sept 4-8, 2017.
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.
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.

Pages