ISR Bibliography

Export 450 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is M  [Clear All Filters]
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.
Blyth, P.., B. Nardi, M.. Mladenović, N. Su, and H.. Ekbia, "Driving the Self-driving Vehicle: Expanding the Technological Design Horizon.", International Symposium on Technology and Society Technical Expertise and Public Decisions (ISTAS), Dublin, Ireland, IEEE, November , 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.
Mark, G., S. Iqbal, M. Czerwinski, and P. Johns, "Focused, Aroused, but so Distractible: Temporal Perspectives on Multitasking and Communications", 18th ACM Conference on Computer Supported Cooperative Work & Social Computing (CSCW), Vancouver, BC, Canada, pp. 903-916, March, 2015.
Mangano, N.., T.D.. LaToza, M.. Petre, and A. van der Hoek, "How Software Designers Interact with Informal Sketches at the Whiteboard", IEEE Transactions on Software Engineering, vol. 41, no. 2, pp. 135-156, Februrary, 2015.
Wang, D., and G. Mark, "Internet Censorship in China: Examining User Awareness and Attitudes", ACM Transactions on Computer-Human Interaction (TOCHI), vol. 22, no. 6, December, 2015.
Mark, G., "Multitasking in the Digital Age", Synthesis Lectures on Human-Centered Informatics, vol. 8: Morgan & Claypool, April, 2015.
Meyer, S.., C.. Pierce, Y.. Kou, P.. Leonardi, B. Nardi, and D.. Bailey, "Offshoring Digital Work, But Not Physical Output: Differential Access to Task Objects and Coordination in Globally Distributed Automotive Engineering and Graphic Design Work", 48th Annual Hawaii International Conference on System Sciences (HICSS), Kauai, Hawaii, pp. 1758-1687, January, 2015.
Martie, L.., and A. van der Hoek, "Sameness: An Experiment in Code Search", Twelfth Working Conference on Mining Software Repositories (MSR), Florence, Italy, 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.
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., 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.
Lutchyn, Y., P. Johns, M. Czerwinski, S. Iqbal, G. Mark, and A. Sano, "Stress is in the eye of the beholder", International Conference on Affective Computing and Intelligent Interaction (ACII 2015) , Xi'an, China, IEEE, pp. 119-124, September, 2015.
Niiya, M., S. M. Reich, Y. Wang, G. Mark, and M. Warschauer, "Strictly by the Facebook: Unobtrusive Method for Differentiating Users", 18th ACM Conference Companion on Computer Supported Cooperative Work & Social Computing (CSCW), Vancouver, BC, Canada, pp. 159-162, March, 2015.
Penzenstadler, B., J. Mehrabi, and D. J. Richardson, "Supporting physicians by re4s: Evaluating requirements engineering for sustainability in the medical domain", IEEE/ACM 4th International Workshop on Green and Sustainable Software (GREENS), Florence, Italy, pp. 36-42, May, 2015.
Bagheri, H., and S. Malek, Titanium: Efficient Analysis of Evolving Alloy Specifications, : UCI Institute for Software Research, September, 2015.
Steffens, F., S. Marczak, F. Figueira Filho, C. Treude, L. Singer, D. Redmiles, and B. Al-Ani, "Using Gamification as a Collaboration Motivator for Software Development Teams: A Preliminary Framework", Brazilian Symposium on Collaborative Systems (SBSC 2015), Salvador, Brazil, November, 2015.
2014
Hondori, H. M., M. Khademi, A. McKenzie, L. Dodakian, C. V. Lopes, and S. C. Cramer, "Abstract T MP43: Utility of Augmented Reality in Relation to Virtual Reality in Stroke Rehabilitation (poster abstract)", Stroke, vol. 45, no. Suppl 1, San Diego, CA, pp. ATMP43-ATMP43, Feb. 1, 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.
Mark, G., S. T. Iqbal, M. Czerwinski, and P. Johns, "Bored Mondays and Focused Afternoons: The rhythm of attention and online activity in the workplace", SIGCHI Conference on Human Factors in Computing Systems (CHI'14), Toronto, Canada, ACM, pp. 3025-3034, Apr. 26- May 1, 2014.
Mark, G., S. Iqbal, M. Czerwinski, and P. Johns, "Capturing the Mood: Facebook and face-to-face encounters in the workplace", 17th ACM Conference on Computer Supported Cooperative Work & Social Computing (CSCW '14), Vancouver, Canada, ACM, pp. 1082-1094, Mar. 14-18, 2014.
Khademi, M., H. Mousavi Hondori, A. McKenzie, L. Dodakian, C V. Lopes, and S. C. Cramer, "Comparing Direct and Indirect Interaction in Stroke Rehabilitation", SIGCHI Conference on Human Factors in Computing Systems (CHI 2014). Extended abstract., Toronto, Canada, ACM, pp. 1639-1644, April 26-May 1, 2014.
Martie, L.., and A. van der Hoek, "Context in Code Search", 1st International Workshop on Context in Software Development Workshop (CSD), Hong Kong, November, 2014.

Pages