default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid Garlan
Person information
- affiliation: Carnegie Mellon University, Pittsburgh, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j66]Bruno Sousa
, Duarte Dias, Nuno Antunes, Javier Cámara, Ryan Wagner, Bradley R. Schmerl, David Garlan, Pedro Fidalgo:
MONDEO-Tactics5G: Multistage botnet detection and tactics for 5G/6G networks. Comput. Secur. 140: 103768 (2024)- [j65]Javier Cámara, Rebekka Wohlrab, David Garlan, Bradley R. Schmerl:
Focusing on What Matters: Explaining Quality Tradeoffs in Software-Intensive Systems Via Dimensionality Reduction. IEEE Softw. 41(1): 64-73 (2024) - [c213]Tobias Dürschmid, Christopher Steven Timperley, David Garlan, Claire Le Goues:
ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. ICSE 2024: 144:1-144:13 - [c212]Simon Chu, Justin Koe, David Garlan, Eunsuk Kang:
Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. SEAMS@ICSE 2024: 122-132 - [i17]Simon Chu, Justin Koe, David Garlan, Eunsuk Kang:
Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. CoRR abs/2401.09678 (2024) - [i16]Md. Abir Hossen, Sonam Kharade, Jason M. O'Kane, Bradley R. Schmerl, David Garlan, Pooyan Jamshidi:
CURE: Simulation-Augmented Auto-Tuning in Robotics. CoRR abs/2402.05399 (2024) - [i15]Pedro Mendes, Paolo Romano, David Garlan:
Error-Driven Uncertainty Aware Training. CoRR abs/2405.01205 (2024) - [i14]Changjian Zhang, Parv Kapoor, Eunsuk Kang, Romulo Meira-Goes, David Garlan, Akila Ganlath, Shatadal Mishra, Nejib Ammar:
Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems. CoRR abs/2406.17066 (2024) - 2023
- [j64]Rebekka Wohlrab, Javier Cámara, David Garlan, Bradley R. Schmerl:
Explaining quality attribute tradeoffs in automated planning for self-adaptive systems. J. Syst. Softw. 198: 111538 (2023) - [j63]Javier Cámara, Rebekka Wohlrab, David Garlan, Bradley R. Schmerl:
ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction. J. Syst. Softw. 198: 111578 (2023) - [j62]Md. Abir Hossen, Sonam Kharade, Bradley R. Schmerl, Javier Cámara, Jason M. O'Kane, Ellen C. Czaplinski, Katherine A. Dzurilla, David Garlan, Pooyan Jamshidi:
CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots. IEEE Robotics Autom. Lett. 8(7): 4115-4122 (2023) - [j61]Rebekka Wohlrab, David Garlan:
A negotiation support system for defining utility functions for multi-stakeholder self-adaptive systems. Requir. Eng. 28(1): 3-22 (2023) - [j60]Javier Cámara, David Garlan:
Learning by Redoing: An Experimental Study on the Impact of Repetition of Formative Assessments in a Formal Methods Course for Software Engineers. IEEE Softw. 40(6): 95-101 (2023) - [c211]Pedro Mendes, Maria Casimiro, Paolo Romano, David Garlan:
HyperJump: Accelerating HyperBand via Risk Modelling. AAAI 2023: 9143-9152 - [c210]J. Andres Diaz-Pace, Rebekka Wohlrab, David Garlan:
Supporting the Exploration of Quality Attribute Tradeoffs in Large Design Spaces. ECSA 2023: 3-19 - [c209]Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan, Eunsuk Kang:
Fortis: A Tool for Analysis and Repair of Robust Software Systems. FMCAD 2023: 1-9 - [c208]Mohammad Reza Saleh Sedghpour, David Garlan, Bradley R. Schmerl, Cristian Klein, Johan Tordsson:
Breaking the Vicious Circle: Self-Adaptive Microservice Circuit Breaking and Retry. IC2E 2023: 32-42 - [c207]Changjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew L. Bolton, David Garlan, Eunsuk Kang:
Robustification of Behavioral Designs against Environmental Deviations. ICSE 2023: 423-434 - [c206]Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang:
Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. SEAMS 2023: 115-125 - [i13]Md. Abir Hossen, Sonam Kharade, Bradley R. Schmerl, Javier Cámara, Jason M. O'Kane, Ellen C. Czaplinski, Katherine A. Dzurilla, David Garlan, Pooyan Jamshidi:
CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots. CoRR abs/2301.07690 (2023) - [i12]Pedro Mendes, Paolo Romano, David Garlan:
Hyper-parameter Tuning for Adversarially Robust Models. CoRR abs/2304.02497 (2023) - [i11]Simon Chu, Emma Shedden, Changjian Zhang, Rômulo Meira-Góes, Gabriel A. Moreno, David Garlan, Eunsuk Kang:
Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening. CoRR abs/2310.18217 (2023) - [i10]Changjian Zhang, Parv Kapoor, Romulo Meira Goes, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar:
Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations. CoRR abs/2311.07462 (2023) - 2022
- [j59]Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl:
The uncertainty interaction problem in self-adaptive systems. Softw. Syst. Model. 21(4): 1277-1294 (2022) - [j58]Sridhar Adepu, Nianyu Li, Eunsuk Kang, David Garlan:
Modeling and Analysis of Explanation for Secure Industrial Control Systems. ACM Trans. Auton. Adapt. Syst. 17(3-4): 1-26 (2022) - [c205]Maria Casimiro, Paolo Romano, David Garlan, Luís Rodrigues:
Towards a Framework for Adapting Machine Learning Components. ACSOS 2022: 131-140 - [c204]J. Andres Diaz-Pace, David Garlan:
Making Architecture Optimization Transparent with Tactic-Based Explanations. ICSA Companion 2022: 5-9 - [c203]Christopher Steven Timperley, Tobias Dürschmid, Bradley R. Schmerl, David Garlan, Claire Le Goues:
ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems : Artifact Paper. ICSA Companion 2022: 56 - [c202]Christopher Steven Timperley, Tobias Dürschmid, Bradley R. Schmerl, David Garlan, Claire Le Goues:
ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems. ICSA 2022: 112-123 - [c201]Javier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo:
Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. MoDELS 2022: 24-30 - 2021
- [j57]Ivano Malavolta, Grace A. Lewis, Bradley R. Schmerl, Patricia Lago, David Garlan:
Mining guidelines for architecting robotics software. J. Syst. Softw. 178: 110969 (2021) - [j56]Nabor Chagas Mendonça, Pooyan Jamshidi, David Garlan, Claus Pahl:
Developing Self-Adaptive Microservice Systems: Challenges and Directions. IEEE Softw. 38(2): 70-79 (2021) - [j55]Cody Kinneer, David Garlan, Claire Le Goues:
Information Reuse and Stochastic Search: Managing Uncertainty in Self-* Systems. ACM Trans. Auton. Adapt. Syst. 15(1): 3:1-3:36 (2021) - [c200]Danny Weyns, Tomás Bures, Radu Calinescu, Barnaby Craggs, John S. Fitzgerald, David Garlan, Bashar Nuseibeh, Liliana Pasquale, Awais Rashid, Ivan Ruchkin, Bradley R. Schmerl:
Six Software Engineering Principles for Smarter Cyber-Physical Systems. ACSOS-C 2021: 198-203 - [c199]Mohammed N. Alharbi, Shihong Huang, David Garlan:
A Probabilistic Model for Personality Trait Focused Explainability. ECSA (Companion) 2021 - [c198]Javier Cámara, Mariana Silva, David Garlan, Bradley R. Schmerl:
Explaining Architectural Design Tradeoff Spaces: A Machine Learning Approach. ECSA 2021: 49-65 - [c197]Maria Casimiro, Paolo Romano, David Garlan, Gabriel A. Moreno, Eunsuk Kang, Mark Klein:
Self-Adaptation for Machine Learning Based Systems. ECSA (Companion) 2021 - [c196]Maria Casimiro, Paolo Romano, David Garlan, Gabriel A. Moreno, Eunsuk Kang, Mark Klein:
Self-adaptive Machine Learning Systems: Research Challenges and Opportunities. ECSA (Tracks and Workshops) 2021: 133-155 - [c195]Mohammed N. Alharbi, Shihong Huang, David Garlan:
A Probabilistic Model for Effective Explainability Based on Personality Traits. ECSA (Tracks and Workshops) 2021: 205-225 - [c194]Nianyu Li, Mingyue Zhang, Eunsuk Kang, David Garlan:
Engineering Secure Self-Adaptive Systems with Bayesian Games. FASE 2021: 130-151 - [c193]Rebekka Wohlrab, David Garlan:
Defining Utility Functions for Multi-stakeholder Self-adaptive Systems. REFSQ 2021: 116-122 - [c192]Nianyu Li, Javier Cámara, David Garlan, Bradley R. Schmerl, Zhi Jin:
Hey! Preparing Humans to do Tasks in Self-adaptive Systems. SEAMS@ICSE 2021: 48-58 - [c191]David Garlan:
The Unknown Unknowns Are Not Totally Unknown. SEAMS@ICSE 2021: 264-265 - [c190]Maria Casimiro, David Garlan, Javier Cámara, Luís Rodrigues, Paolo Romano:
A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems. SEFM Workshops 2021: 317-332 - [c189]Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco M. Manquinho, Ruben Martins, Eunsuk Kang:
AlloyMax: bringing maximum satisfaction to relational specifications. ESEC/SIGSOFT FSE 2021: 155-167 - [i9]Rebekka Wohlrab, David Garlan:
Defining Utility Functions for Multi-Stakeholder Self-Adaptive Systems. CoRR abs/2103.10101 (2021) - 2020
- [c188]Ashutosh Pandey, Ivan Ruchkin, Bradley R. Schmerl, David Garlan:
Hybrid Planning Using Learning and Model Checking for Autonomous Systems. ACSOS 2020: 55-64 - [c187]Thomas J. Glazier, David Garlan, Bradley R. Schmerl:
Automated Management of Collections of Autonomic Systems. ACSOS 2020: 82-91 - [c186]Nianyu Li, Javier Cámara, David Garlan, Bradley R. Schmerl:
Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems. ACSOS 2020: 195-204 - [c185]Cody Kinneer, Rijnard van Tonder, David Garlan, Claire Le Goues:
Building Reusable Repertoires for Stochastic Self-* Planners. ACSOS 2020: 222-231 - [c184]Maria Casimiro, Diego Didona, Paolo Romano, Luís E. T. Rodrigues, Willy Zwaenepoel, David Garlan:
Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs. ICDCS 2020: 56-66 - [c183]Nabor C. Mendonça, Carlos Mendes Aderaldo, Javier Cámara, David Garlan:
Model-Based Analysis of Microservice Resiliency Patterns. ICSA 2020: 114-124 - [c182]Ivano Malavolta, Grace A. Lewis, Bradley R. Schmerl, Patricia Lago, David Garlan:
How do you architect your robots?: state of the practice and guidelines for ROS-based systems. ICSE (SEIP) 2020: 31-40 - [c181]Javier Cámara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei:
Towards bridging the gap between control and self-adaptive system properties. SEAMS@ICSE 2020: 78-84 - [c180]Javier Cámara, Bradley R. Schmerl, David Garlan:
Software architecture and task plan co-adaptation for mobile service robots. SEAMS@ICSE 2020: 125-136 - [c179]Nianyu Li, Sridhar Adepu, Eunsuk Kang, David Garlan:
Explanations for human-on-the-loop: a probabilistic model checking approach. SEAMS@ICSE 2020: 181-187 - [c178]Pedro Mendes, Maria Casimiro, Paolo Romano, David Garlan:
TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud via Sub-Sampling. MASCOTS 2020: 1-8 - [c177]Roykrong Sukkerd, Reid G. Simmons, David Garlan:
Tradeoff-Focused Contrastive Explanation for MDP Planning. RO-MAN 2020: 1041-1048 - [c176]Changjian Zhang, David Garlan, Eunsuk Kang:
A behavioral notion of robustness for software systems. ESEC/SIGSOFT FSE 2020: 1-12 - [i8]Javier Cámara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei:
Towards Bridging the Gap between Control and Self-Adaptive System Properties. CoRR abs/2004.11846 (2020) - [i7]Roykrong Sukkerd, Reid G. Simmons, David Garlan:
Tradeoff-Focused Contrastive Explanation for MDP Planning. CoRR abs/2004.12960 (2020) - [i6]Pedro Mendes, Maria Casimiro, Paolo Romano, David Garlan:
TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud via Sub-Sampling. CoRR abs/2011.04726 (2020)
2010 – 2019
- 2019
- [j54]Darko Bozhinoski, David Garlan, Ivano Malavolta, Patrizio Pelliccione:
Managing safety and mission completion via collective run-time adaptation. J. Syst. Archit. 95: 19-35 (2019) - [j53]Javier Cámara, David Garlan, Bradley R. Schmerl:
Synthesizing tradeoff spaces with quantitative guarantees for families of software systems. J. Syst. Softw. 152: 33-49 (2019) - [j52]Javier Cámara, David Garlan, Greg Eakman:
Building Long-Lived Adaptive Systems. IEEE Softw. 36(2): 70-72 (2019) - [j51]Jonathan Aldrich, David Garlan, Christian Kästner, Claire Le Goues, Anahita Mohseni-Kabir, Ivan Ruchkin, Selva Samuel, Bradley R. Schmerl, Christopher Steven Timperley, Manuela Veloso, Ian Voysey, Joydeep Biswas, Arjun Guha, Jarrett Holtz, Javier Cámara, Pooyan Jamshidi:
Model-Based Adaptation for Robotics Software. IEEE Softw. 36(2): 83-90 (2019) - [c175]Carlos M. Aderaldo, Nabor C. Mendonça, Bradley R. Schmerl, David Garlan:
Kubow: an architecture-based self-adaptation service for cloud native applications. ECSA (Companion) 2019: 42-45 - [c174]Pooyan Jamshidi, Javier Cámara, Bradley R. Schmerl, Christian Kästner, David Garlan:
Machine learning meets quantitative planning: enabling self-adaptation in autonomous robots. SEAMS@ICSE 2019: 39-50 - [c173]Tobias Dürschmid, Eunsuk Kang, David Garlan:
Trade-off-oriented development: making quality attribute trade-offs first-class. ICSE (NIER) 2019: 109-112 - [c172]Gabriel A. Moreno, Cody Kinneer, Ashutosh Pandey, David Garlan:
DARTSim: an exemplar for evaluation and comparison of self-adaptation approaches for smart cyber-physical systems. SEAMS@ICSE 2019: 181-187 - [c171]Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues, David Garlan:
Modeling observability in adaptive systems to defend against advanced persistent threats. MEMOCODE 2019: 10:1-10:11 - [c170]Thomas J. Glazier, David Garlan:
An Automated Approach to Management of a Collection of Autonomic Systems. FAS*W@SASO/ICAC 2019: 110-115 - [i5]Pooyan Jamshidi, Javier Cámara, Bradley R. Schmerl, Christian Kästner, David Garlan:
Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots. CoRR abs/1903.03920 (2019) - [i4]Nabor C. Mendonça, Pooyan Jamshidi, David Garlan, Claus Pahl:
Developing Self-Adaptive Microservice Systems: Challenges and Directions. CoRR abs/1910.07660 (2019) - 2018
- [j50]Javier Cámara, Bradley R. Schmerl, Gabriel A. Moreno, David Garlan:
MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs. Autom. Softw. Eng. 25(3): 595-626 (2018) - [j49]Javier Cámara, Wenxin Peng, David Garlan, Bradley R. Schmerl:
Reasoning about sensing uncertainty and its reduction in decision-making for self-adaptation. Sci. Comput. Program. 167: 51-69 (2018) - [j48]Nancy R. Mead, David Garlan, Mary Shaw:
Half a Century of Software Engineering Education: The CMU Exemplar. IEEE Softw. 35(5): 25-31 (2018) - [j47]Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl:
Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation. ACM Trans. Auton. Adapt. Syst. 13(1): 3:1-3:36 (2018) - [c169]Nabor C. Mendonça, David Garlan, Bradley R. Schmerl, Javier Cámara:
Generality vs. reusability in architecture-based self-adaptation: the case for self-adaptive microservices. ECSA (Companion) 2018: 18:1-18:6 - [c168]Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan:
IPL: An Integration Property Language for Multi-model Cyber-physical Systems. FM 2018: 165-184 - [c167]Ryan Wagner, David Garlan, Matt Fredrikson:
Quantitative underpinnings of secure, graceful degradation: poster. HotSoS 2018: 25:1 - [c166]Roykrong Sukkerd, Reid G. Simmons, David Garlan:
Towards explainable multi-objective probabilistic planning. SEsCPS@ICSE 2018: 19-25 - [c165]Cody Kinneer, Zack Coker, Jiacheng Wang, David Garlan, Claire Le Goues:
Managing uncertainty in self-adaptive systems with plan reuse and stochastic search. SEAMS@ICSE 2018: 40-50 - [c164]Gabriel A. Moreno, Javier Cámara, David Garlan, Mark Klein:
Uncertainty reduction in self-adaptive systems. SEAMS@ICSE 2018: 51-57 - [c163]Gabriel A. Moreno, Bradley R. Schmerl, David Garlan:
SWIM: an exemplar for evaluation and comparison of self-adaptation approaches for web applications. SEAMS@ICSE 2018: 137-143 - [e10]Carlos E. Cuesta, David Garlan, Jennifer Pérez:
Software Architecture - 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018, Proceedings. Lecture Notes in Computer Science 11048, Springer 2018, ISBN 978-3-030-00760-7 [contents] - 2017
- [j46]Javier Cámara, Bashar Nuseibeh, David Garlan:
Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 3(1): 00:-1-00:-12 (2017) - [c162]Hemank Lamba, Thomas J. Glazier, Javier Cámara, Bradley R. Schmerl, David Garlan, Jürgen Pfeffer:
Model-based Cluster Analysis for Identifying Suspicious Activity Sequences in Software. IWSPA@CODASPY 2017: 17-22 - [c161]Javier Cámara, David Garlan, Bradley R. Schmerl:
Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems. ECSA 2017: 3-21 - [c160]Vishal Dwivedi, James D. Herbsleb, David Garlan:
What Ails End-User Composition: A Cross-Domain Qualitative Study. IS-EUD 2017: 66-83 - [c159]Ashutosh Pandey, Bradley R. Schmerl, David Garlan:
Instance-Based Learning for Hybrid Planning. FAS*W@SASO/ICCAC 2017: 64-69 - [c158]Javier Cámara, Wenxin Peng, David Garlan, Bradley R. Schmerl:
Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation. SEFM Workshops 2017: 523-540 - [e9]Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese:
Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers. Lecture Notes in Computer Science 9640, Springer 2017, ISBN 978-3-319-74182-6 [contents] - [i3]David Garlan, Nicolás D'Ippolito, Kenji Tei:
The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017) (NII Shonan Meeting 2017-10). NII Shonan Meet. Rep. 2017 (2017) - 2016
- [j45]João Miguel Franco, Francisco Correia, Raul Barbosa, Mário Zenha Rela, Bradley R. Schmerl, David Garlan:
Improving self-adaptation planning through software architecture-based stochastic modeling. J. Syst. Softw. 115: 42-60 (2016) - [j44]Javier Cámara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley R. Schmerl, Rafael Ventura:
Incorporating architecture-based self-adaptation into an adaptive industrial software system. J. Syst. Softw. 122: 507-523 (2016) - [j43]Javier Cámara, Antónia Lopes, David Garlan, Bradley R. Schmerl:
Adaptation impact and environment models for architecture-based self-adaptive systems. Sci. Comput. Program. 127: 50-75 (2016) - [j42]Javier Cámara, Gabriel A. Moreno, David Garlan, Bradley R. Schmerl:
Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations. ACM Trans. Auton. Adapt. Syst. 10(4): 23:1-23:28 (2016) - [c157]Bradley R. Schmerl, Jeff Gennari, Alireza Sadeghi, Hamid Bagheri, Sam Malek, Javier Cámara, David Garlan:
Architecture Modeling and Analysis of Security in Android Systems. ECSA 2016: 274-290 - [c156]Hemank Lamba, Thomas J. Glazier, Bradley R. Schmerl, Javier Cámara, David Garlan, Jürgen Pfeffer:
A model-based approach to anomaly detection in software architectures. HotSoS 2016: 69-71 - [c155]Bradley R. Schmerl, Jeffrey Gennari, Javier Cámara, David Garlan:
Raindroid: a system for run-time mitigation of Android intent vulnerabilities [poster]. HotSoS 2016: 115-117 - [c154]Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl:
Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation. ICAC 2016: 147-156 - [c153]Roykrong Sukkerd, Javier Cámara, David Garlan, Reid G. Simmons:
Multiscale time abstractions for long-range planning under uncertainty. SEsCPS@ICSE 2016: 15-21 - [c152]Ashutosh Pandey, Gabriel A. Moreno, Javier Cámara, David Garlan:
Hybrid Planning for Decision Making in Self-Adaptive Systems. SASO 2016: 130-139 - [c151]Ivan Ruchkin, Selva Samuel, Bradley R. Schmerl, Amanda Rico, David Garlan:
Challenges in physical modeling for adaptation of cyber-physical systems. WF-IoT 2016: 210-215 - 2015
- [j41]Tomás Bures, Danny Weyns, Christian Berger, Stefan Biffl, Marian Daun, Thomas Gabor, David Garlan, Ilias Gerostathopoulos, Christine Julien, Filip Krikava, Richard Mordinyi, Nikos Pronios:
Software Engineering for Smart Cyber-Physical Systems - Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS. ACM SIGSOFT Softw. Eng. Notes 40(6): 28-32 (2015) - [c150]Ivan Ruchkin, Bradley R. Schmerl, David Garlan:
Architectural Abstractions for Hybrid Programs. CBSE 2015: 65-74 - [c149]Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, David Garlan:
Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach. CPS-SPC@CCS 2015: 11-22 - [c148]Bradley R. Schmerl, Jeffrey Gennari, David Garlan:
An architecture style for Android security analysis: poster. HotSoS 2015: 15:1-15:2 - [c147]Hemank Lamba, Thomas J. Glazier, Bradley R. Schmerl, Jürgen Pfeffer, David Garlan:
Detecting insider threats in software systems using graph models of behavioral paths. HotSoS 2015: 20:1-20:2 - [c146]David Garlan:
Modeling Challenges for CPS Systems. SEsCPS@ICSE 2015: 1 - [c145]