ISR Bibliography

Export 86 results:
[ Author(Desc)] Title Type Year
Filters: First Letter Of Last Name is B  [Clear All Filters]
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., 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.
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., and K. Sullivan, "Model-Driven Synthesis of Formally Precise, Stylized Software Architectures", Formal Aspects of Computing, vol. 28, no. 3, pp. 441-467, May 1, 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.
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.
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., C. Tang, and K. Sullivan, "Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational Mapping", IEEE Transactions on Software Engineering, vol. 43, issue 2, 02/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.
Bagheri, H., and S. Malek, Titanium: Efficient Analysis of Evolving Alloy Specifications, : UCI Institute for Software Research, September, 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.
Bajcharya, S K., T C. Ngo, and C V. Lopes, "On Using Net Options Value as a Value Based Design Framework", Seventh International Workshop on Economics-Driven Software Engineering Research (EDSER) at ICSE'05, St. Louis, Missouri, pp. 1-3, May 15, 2005.
Bajracharya, S., T. Ngo, E. Linstead, P. Rigor, Y. Dou, P. Baldi, and C. Lopes, A Study of Ranking Schemes in Internet-Scale Code Search, : Institute for Software Research, University of California, Irvine, November, 2007.
Bajracharya, S., and C. Lopes, "Mining search topics from a code search engine usage log", 6th IEEE International Working Conference on Mining Software Repositories, 2009 (MSR '09), pp. 111-120, 16-17 May 2009.
Bajracharya, S., J. Ossher, and C. Lopes, "Sourcerer: An internet-scale software repository", ICSE Workshop on Search-Driven Development-Users, Infrastructure, Tools and Evaluation, 2009 (SUITE '09), pp. 1-4, 16-16 May 2009.
Bajracharya, S. K., J. Ossher, and C. V. Lopes, "Leveraging usage similarity for effective retrieval of examples in code repositories", Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, Santa Fe, New Mexico, USA, ACM, pp. 157-166, November, 2010.
Bajracharya, S., T. Ngo, E. Linstead, Y. Dou, P. Baldi, and C. Lopes, "Sourcerer: A Search Engine for Open Source Code Supporting Structure-Based Search ", OOPSLA '06: Companion to the 21st ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications: ACM Press, New York, NY, pp. 681-682, 2006.
Bajracharya, S., J. Ossher, and C. Lopes, "Sourcerer: An infrastructure for large-scale collection and analysis of open-source code", Science of Computer Programming, vol. 79, pp. 241-259, Jan. 1, 2014.
Bajracharya, S K., and C V. Lopes, "Analyzing and mining a code search engine usage log ", Empirical Software Engineering, Special Issue MSR09Empirical Software Engineering, Special Issue MSR09: Springer Netherlands, September, 2010.
Bajracharya, S., "Facilitating Internet-Scale Code Retrieval", Doctoral Dissertation: University of California, Irvine, 2010.
Bajracharya, S., T. Ngo, and C V. Lopes, "On Using Net Options Value as a Value Based Design Framework", 7th International Workshop on Economics-Driven Software Engineering Research (EDSER) at ICSE'05, St. Louis, Missouri, USA, 2005.
Baker, A., A. van der Hoek, H. Ossher, and M. Petre, IEEE Software, , vol. 29(1), January/February , 2012.
Baker, A., E. Oh Navarro, and A. van der Hoek, "An Experimental Card Game for Teaching Software Engineering", 16th International Conference on Software Engineering Education and Training (CSEET '03), Madrid, Spain, pp. 216–223, March, 2003.
Baker, A., and A. van der Hoek, "Ideas, Subjects, and Cycles as Lenses for Understanding the Software Design Process (reprint)", Software Designers in Action: A Human-Centric Look at Design Work, Petre, M. and Van der Hoek, A. eds: CRC Press, 2013.
Baker, A., and A. van der Hoek, "An experience report on the design and delivery of two new software design courses", Proceedings of the 40th ACM technical symposium on Computer science education, Chattanooga, TN, USA, ACM, pp. 519-523, 2009.
Baker, A., E. Oh Navarro, and A. van der Hoek, "Introducing Problems and Programmers, an Educational Software Engineering Card Game", Software Engineering Notes, vol. March, pp. 7–8, 2003.

Pages