Conference Model-based Cluster Analysis for Identifying Suspicious Activity Sequences in Software 2017 17-22 Lamba H, Glazier TJ, Cámara J, Schmerl B, Garlan D, Pfeffer J
Book Preface 2017 • Lecture Notes in Computer Science • 9640 LNCS:V-VIII De Lemos R, Garlan D, Ghezzi C, Giese H
Conference Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances 2017 • Lecture Notes in Computer Science • 9640:3-30 Garlan D, Shaw M, and others
Conference Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems 2017 • Lecture Notes in Computer Science • 10475:3-21 Camara J, Garlan D, Schmerl B
Conference What Ails End-User Composition: A Cross-Domain Qualitative Study 2017 • Lecture Notes in Computer Science • 10303:66-83 Dwivedi V, Herbsleb JD, Garlan D
Conference A Model-based Approach to Anomaly Detection in Software Architectures 2016 • SYMPOSIUM AND BOOTCAMP ON THE SCIENCE OF SECURITY • 69-71 Lamba H, Glazier TJ, Schmerl B, Camara J, Garlan D, Pfeffer J
Journal Article Adaptation impact and environment models for architecture-based self-adaptive systems 2016 • Science of Computer Programming • 127:50-75 Camara J, Lopes A, Garlan D, Schmerl B
Journal Article Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations 2016 • ACM Transactions on Autonomous and Adaptive Systems • 10(4): Camara J, Moreno GA, Garlan D, Schmerl B
Conference Architecture Modeling and Analysis of Security in Systems 2016 • Lecture Notes in Computer Science • 9839:274-290 Schmerl B, Gennari J, Sadeghi A, Bagheri H, Malek S, Camara J, Garlan D
Conference Challenges in Physical Modeling for Adaptation of Cyber-Physical Systems 2016 • 2016 IEEE 3RD WORLD FORUM ON INTERNET OF THINGS (WF-IOT) • 210-215 Ruchkin I, Samuel S, Schmerl B, Rico A, Garlan D
Conference Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation 2016 • 2016 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING (ICAC) • 147-156 Moreno GA, Camara J, Garlan D, Schmerl B
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 1-2 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 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 • 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
