ISR Bibliography

Export 1615 results:
[ Author(Asc)] Title Type Year
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., 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.
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., 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. 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.
A
Asuncion, H., "Architecture-Centric Traceability of Stakeholders", Doctoral Dissertation: University of California, Irvine, 2009.
Asuncion, H. U., A. U. Asuncion, and R. N. Taylor, "Software traceability with topic modeling", Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, Cape Town, South Africa, ACM, pp. 95-104, 2010.
Asuncion, H., F. François, and R. N. Taylor, "An End-To-End Software Traceability Tool in an Industrial Context", Technical Report, no. UCI-ISR-06-16: Institute for Software Research, University of California, Irvine, October, 2006.
Asuncion, H. U., and R. N. Taylor, "Automated Techniques for Capturing Custom Traceability Links across Heterogeneous Artefacts", Software and Systems Traceability: Springer-Verlag, January, pp. 129-146, 2012.
Asuncion, H., and R. N. Taylor, "Capturing Custom Link Semantics among Heterogeneous Artifacts and Tools", 5th Int'l Workshop on Traceability in Emerging Forms of Software Engineering, Vancouver, British Columbia, May, 2009.
Asuncion, H., F. François, and R. N. Taylor, "An End-To-End Industrial Software Traceability Tool", 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Int'l Symposium on the Foundations of Software Engineering (ESEC/FSE), Dubrovnik,Croatia, pp. 115-124, Sept 3-7, 2007.
Asuncion, H. U., and R. N. Taylor, "Architecture-Centric Traceability for Stakeholders: Technical Foundations", Technical Report, no. UCI-ISR-11-2: Institute for Software Research, University of California, Irvine, May, 2011.
Asuncion, H., and R. N. Taylor, "Establishing the Connection Between Software Traceability and Data Provenance", Technical Report, no. UCI-ISR-07-9: Institute for Software Research, University of California, Irvine, November, 2007.
Asuncion, H. U., and R. N. Taylor, "A Holistic Approach to Software Traceability ", 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), Redwood City, CA, July 1-3, 2012.
Ardissono, L., A. Kobsa, and M. Maybury, Personalized Digital Television: Targeting Programs to Individual Viewers, , Dordrecht, Netherlands, Kluwer Academic Publishers, 2004.
Arciniega, C., and B. Penzenstadler, Green Calico - Reengineering Requirements for Sustainability for a Collaborative Drawing Tool, , no. UCI-ISR-14-2: UC Irvine Institute for Software Research, 2014.
Antón, A. I., J. B. Earp, C. Potts, and T. A. Alspaugh, "The Role of Policy and Stakeholder Privacy Values in Requirements Engineering", Fifth IEEE International Symposium on Requirements Engineering (RE'01), Toronto, Canada, pp. 138-145, August, 2001.
Ang, C. Siang, A. Bobrowicz, D. J. Schiano, and B. Nardi, "Data in the Wild: Some Reflections", interactions, vol. 20, no. 2: ACM, pp. 39-43, March + April, 2013.
Anderson, K., and P. Dourish, "Situated Privaces: Do you know where you mother [trucker] is?", HCI International, Las Vegas, NV, July, 2005.
Anderson, K. M., R. N. Taylor, and J. E. Whitehead, "Chimera: Hypermedia for Heterogeneous Software Development Environments", ACM Transactions on Office Information Systems (TOIS), vol. 18, no. 3, pp. 211-245, July, 2000.
Anand, S S., <b>B. Mobasher</b>, A. Kobsa, and <b>D. Jannach</b>, Proceedings of the 7th International Workshop on Intelligent Techniques for Web Personalization and Recommender Systems (ITWP 2009), , vol. 528, Pasadena, CA, 2009.
Ames, M. G., S. Lindtner, S. Bardzell, J. Bardzell, L. Nguyen, S. Ishtiaque Ahmed, N. Jahan, S. J. Jackson, and P. Dourish, "Making or Making Do? Challenging the Mythologies of Making and Hacking", Journal of Peer Production, issue 12, pp. 21 pp, July, 2018.
Alspaugh, T. A., and A. I. Antón, "Contrasting Use Case, Goal-Driven and Scenario Analysis for the Euronet Quotation System", Eleventh IEEE International Requirements Engineering Conference (RE'03), Monterey, CA, 09/2003.
Alspaugh, T. A., "Software Support for Calculations in Allen's Interval Algebra", Technical Report, no. UCI-ISR-05-2: Institute for Software Research, University of California, Irvine, February, 2005.
Alspaugh, T. A., and A. I. Antón, "Scenario Support for Effective Requirements ", Information and Software TechnologyInformation and Software Technology, vol. 50, no. 3, February, 2008.

Pages