Registered user since Mon 24 Apr 2017
Name:David Garlan
Country:United States
Affiliation:Carnegie Mellon University
Personal website: https://www.cs.cmu.edu/~garlan/
Research interests:Software architecture, self-adaptive systems, applied formal methods
Contributions
2020
ICSE
International Conference on Software Engineering for Adaptive and Self-Managing Systems
- Towards Bridging the Gap between Control and Self-Adaptive System Properties
- Explanation for Human-on-the-loop: a probabilistic model checking approach
- Software Architecture and Task Plan Co-Adaptation for Mobile Service Robots
- SEAMS 2006 MIP: Architecture-based self-adaptation in the presence of multiple objectives
- Committee Member in Program Committee within the SEAMS 2020-track
ICSE 2020-profile
View general profile
View general profile