| 2 |
Ivan Ruchkin,
Bradley Schmerl and
David Garlan. Architectural Abstractions for Hybrid Programs. In Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2015), Montreal, QC, Canada, 4-8 May 2015. CBSE Best Paper Award.
|
| 3 |
Javier Cámara,
David Garlan,
Bradley Schmerl and
Ashutosh Pandey. Optimal Planning for Architecture-Based Self-Adaptation via Model Checking of Stochastic Games. In Proceedings of the 10th DADS Track of the 30th ACM Symposium on Applied Computing, Salamanca, Spain, 13-17 April 2015.
|
| 4 |
Javier Cámara,
Gabriel A. Moreno and
David Garlan. Reasoning about Human Participation in Self-Adaptive Systems. In Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2015), Florence, Italy, 18-19 May 2015.
|
| 5 |
Zack Coker,
David Garlan and Claire Le Goues. SASS: Self-adaptation using stochastic search. In Proceedings 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2015), 18-19 May 2015.
|
| 6 |
Gabriel A. Moreno,
Javier Cámara,
David Garlan and
Bradley Schmerl. Proactive Self-Adaptation under Uncertainty: a Probabilistic Model Checking Approach. In Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo, Italy, 30 August - 4 September 2015.
|
| 7 |
Ivan Ruchkin, Ashwini Rao, Dio De Niz, Sagar Chaki and
David Garlan. Eliminating Inter-Domain Vulnerabilities in Cyber-Physical
Systems: An Analysis Contracts Approach. In Proceedings of the First ACM Workshop on Cyber-Physical Systems Security and Privacy, Denver, Colorado, 16 October 2015.
|
| 8 |
Thomas J. Glazier,
Javier Cámara,
Bradley Schmerl and
David Garlan. Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems. In Proceedings of the 3rd FoCAS Workshop on the Fundamentals of Collective Adaptive Systems, Boston, MA, USA, 21 September 2015.
|
| 9 |
Ivan Ruchkin,
Bradley Schmerl and
David Garlan. Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems. In Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-Physical and Embedded Systems, Ottawa, Canada, 28 September 2015.
|
| 10 |
Roykrong Sukkerd,
David Garlan and Reid Simmons. Task Planning of Cyber-Human Systems. In Proceedings of the 13th International Conference on Software Engineering and Formal Methods, Vol. 9276 of LNCS , Springer, York, UK, 7-11 September 2015.
|
| 11 |
Ivan Ruchkin. Architectural and Analytic Integration of Cyber-Physical System Models. In ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, ACM Student Research Award Competition, Ottawa, Canada, 30 September - 2 October 2015. Gold Medal Winner.
|
|
|
| 12 |
Mary Shaw, Jonathan Aldrich, Travis Breux,
David Garlan, James Herbsleb, Christian Kästner, Claire Le Goues and William Scherlis. Seminal Papers in Software Engineering: The Carnegie Mellon Canonical Collection. Technical report, CMU-ISR-15-107, Institute for Software Research, Carnegie Mellon University, September 2015.
|
|
|
