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 1-2 Lamba H, Glazier TJ, Schmerl B, Pfeffer J, Garlan D
Conference Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 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 2014 1-12 Schmerl B, Cámara J, Gennari J, Garlan D, Casanova P, Moreno GA, Glazier TJ, Barnes JM
Journal Article Contract-Based Integration of Cyber-Physical Analyses 2014 Ruchkin I, De Niz D, Chaki S, Garlan D
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
Journal Article Contract-Based Integration of Cyber-Physical Analyses (Poster) 2014 Ruchkin I, De Niz D, Chaki S, Garlan D
Conference Diagnosing Unobserved Components in Self-Adaptive Systems 2014 • 9TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS 2014) • 75-84 Casanova P, Garlan D, Schmerl B, Abreu R
Journal Article Evolution styles: foundations and models for software architecture evolution 2014 • Software and Systems Modeling (SoSyM) • 13(2):649-678 Barnes JM, Garlan D, Schmerl B
Conference Model-based Assistance for Making Time/Fidelity Trade-offs in Component Compositions 2014 • 2014 11TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS (ITNG) • 235-240 Dwivedi V, Garlan D, Pfeffer J, Schmerl B