Conference Hybrid Planning for Decision Making in Self-Adaptive Systems 2016 • International Conference on Self-Adaptive and Self-Organizing Systems, SASO • 130-139 Pandey A, Moreno GA, Camara J, Garlan D
Journal Article Improving self-adaptation planning through software architecture-based stochastic modeling 2016 • Journal of Systems and Software • 115:42-60 Franco JM, Correia F, Barbosa R, Zenha-Rela M, Schmerl B, Garlan D
Journal Article Incorporating architecture-based self-adaptation into an adaptive industrial software system 2016 • Journal of Systems and Software • 122:507-523 Camara J, Correia P, de Lemos R, Garlan D, Gomes P, Schmerl B, Ventura R
Conference Multiscale Time Abstractions for Long-Range Planning under Uncertainty 2016 • 2016 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL SYSTEMS (SESCPS) • 15-21 Sukkerd R, Camara J, Garlan D, Simmons R
Conference Raindroid - A System for Run-time Mitigation of Android Intent Vulnerabilities 2016 • SYMPOSIUM AND BOOTCAMP ON THE SCIENCE OF SECURITY • 115-117 Schmerl B, Gennari J, Camara J, Garlan D
Conference An architecture style for Android security analysis 2015 • ACM International Conference Proceeding Series • 21-22-April-2015: Schmerl B, Gennari J, Garlan D
Conference Analytic dependency loops in architectural models of cyber-physical systems 2015 • CEUR Workshop Proceedings • 1508:3-10 Ruchkin I, Schmerl B, Garlan D
Conference Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems 2015 • 2015 IEEE NINTH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS WORKSHOPS (SASOW) • 55-60 Glazier TJ, Camara J, Schmerl B, Garlan D
Conference Architectural Abstractions for Hybrid Programs 2015 • 2015 18TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT-BASED SOFTWARE ENGINEERING (CBSE) • 65-74 Ruchkin I, Schmerl B, Garlan D
Conference Detecting insider threats in software systems using graph models of behavioral paths 2015 • ACM International Conference Proceeding Series • 21-22-April-2015: Lamba H, Glazier TJ, Schmerl B, Pfeffer J, Garlan D
Conference Eliminating inter-domain vulnerabilities in cyber-physical systems: An analysis contracts approach 2015 • CPS-SPC 2015 - Proceedings of the 1st ACM Workshop on Cyber-Physical Systems-Security and/or Privacy, co-located with CCS 2015 • 11-22 Ruchkin I, Rao A, De Niz D, Chaki S, Garlan D
Conference Impact models for Architecture-based self-adaptive systems 2015 • Lecture Notes in Computer Science • 8997:89-107 Moreno JC, Lopes A, Garlan D, Schmerl B
Conference Optimal Planning for Architecture-Based Self-Adaptation Via Model Checking of Stochastic Games 2015 • Proceedings of the ACM Symposium on Applied Computing • 428-435 Camara J, Garlan D, Schmerl B, Pandey A
Conference Proactive Self-Adaptation under Uncertainty: A Probabilistic Model Checking Approach 2015 • 2015 10TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE 2015) PROCEEDINGS • 1-12 Moreno GA, Camara J, Garlan D, Schmerl B
Journal Article Reasoning about Human Participation in Self-Adaptive Systems 2015 Camara J, Moreno GA, Garlan D
Conference Reasoning about Human Participation in Self-Adaptive Systems 2015 • 2015 IEEE/ACM 10TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS • 145-155 Camara J, Moreno GA, Garlan D
Conference SASS: Self-adaptation using stochastic search 2015 • 2015 IEEE/ACM 10TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS • 168-174 Coker Z, Garlan D, Le Goues C
Journal Article Software Engineering for Smart Cyber-Physical Systems -- Towards a Research Agenda 2015 • Software Engineering Notes • 40(6):28-32 Bures T, Weyns D, Berger C, Biffl S, Daun M, Gabor T, Garlan D, Gerostathopoulos I, Julien C, Krikava F, Mordinyi R, Pronios N
Preprint Synthesis of correct adaptors for protocol enhancement in component-based systems 2015 Autili M, Inverardi P, Tivoli M, Garlan D
Journal Article Systemic Assurance 2015 Scherlis W, Aldrich J, Breaux TD, Garlan D, Kastner C, Le Goues C, Schmerl B, Sunshine J
Conference Task Planning of Cyber-Human Systems 2015 • Lecture Notes in Computer Science • 9276:293-309 Sukkerd R, Garlan D, Simmons R
Journal Article ACTIVE: A Tool for Integrating Analysis Contracts 2014 Ruchkin I, De Niz D, Chaki S, Garlan D
Journal Article Architecture-Based Planning of Software Evolution 2014 • International Journal of Software Engineering and Knowledge Engineering • 24(2):211-241 Kang S, Garlan D
Conference Architecture-based self-protection: Composing and reasoning about denial-of-service mitigations 2014 • ACM International Conference Proceeding Series Schmerl B, Cámara J, Gennari J, Garlan D, Casanova P, Moreno GA, Glazier TJ, Barnes JM
Conference Contract-Based Integration of Cyber-Physical Analyses 2014 • 2014 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT) Ruchkin I, De Niz D, Chaki S, Garlan D
