Publications of Year
<< 2017 >>
|
|
|
|
| 1 |
Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura and Marco Vieira. Robustness-Driven Resilience Evaluation of Self-Adaptive Systems. In IEEE Transactions on Dependable and Secure Computing , Vol. 14(1):50-64, 2017.
|
|
|
|
|
| 2 |
Hemank Lamba,
Thomas J. Glazier,
Javier Cámara,
Bradley Schmerl,
David Garlan and Jürgen Pfeffer. Model-based cluster analysis for identifying suspicious activity sequences in software. In Proceedings of the 3rd International Workshop on Security and Privacy Analytics (IWSPA 2017), Scottsdale, AZ, 24 March 2017.
|
| 3 |
Gabriel A. Moreno, Alessandro V. Papadopoulos, Konstantinos Angelopoulo,
Javier Cámara and
Bradley Schmerl. Comparing Model-Based Predictive Approaches to Self-Adaptation: CobRA and PLA. In Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017), Buenos Aires, Argentina, 22-23 May 2017.
|
| 4 |
Ashutosh Pandey,
Ivan Ruchkin,
Bradley Schmerl and
Javier Cámara. Towards a Formal Framework for Hybrid Planning in Self-Adaptation. In Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017), Buenos Aires, Argentina, 22-23 May 2017.
|
| 5 |
Javier Cámara,
David Garlan and
Bradley Schmerl. Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems. In Proceedings of the 11th European Conference on Software Architecture, Cantebury, UK, 11-15 September 2017. Winner of the ECSA Best Paper Award.
|
| 6 |
Vishal Dwivedi, James Herbsleb and
David Garlan. What Ails End-User Composition: A Cross-Domain Qualitative Study. In End-User Development. IS-EUD 2017, Vol. 10303 of Lecture Notes in Computer Science, Springer, 2017.
|
| 7 |
Javier Cámara, Wenxin Peng,
David Garlan and
Bradley Schmerl. Reasoning about Sensing Uncertainty in Decision-Making for Self-Adaptation. In Proceedings of the 15th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2017), Vol. 10729 of Lecture Notes in Computer Science, Springer, 5 September 2017.
|
| 8 |
Ashutosh Pandey,
Bradley Schmerl and
David Garlan. Instance-based Learning for Hybrid Planning. In Proceedings of the 3rd International Workshop on Data-driven Self-regulating Systems (DSS 2017), Tucson, AZ, USA, 18-22 September 2017.
|
| 9 |
Gautham Nayak Seetanandi,
Javier Cámara, Luis Almeida, Karl-Erik Årzén and Martina Maggio. Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks. In Proceedings of the 2017 IEEE Real-Time Systems Symposium, Paris, France, 5-8 December 2017.
|
| 10 |
Ashutosh Pandey. Hybrid Planning in Self-Adaptive Systems. In FAS* Foundations and Applications of Self* Systems (FAS* 2017) Doctoral Symposium, Tucson, AZ, USA, 18-22 September 2017.
|
|
|
|
|
| 11 |
Javier Cámara,
David Garlan,
Gabriel A. Moreno and
Bradley Schmerl. Analyzing Self-Adaptation via Model Checking of Stochastic Games. In Rogério de Lemos,
David Garlan, Carlo Ghezzi and Holger Giese editors, Software Engineering for Self-Adaptive Systems III. Assurances, Nr. (9640), Lecture Notes in Computer Science, Springer, 2017.
|
| 12 |
Danny Weyns, Nelly Bencomo, Radu Calinescu,
Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Larse Grunske, Paola Inverardi, Jean-Marc Jezequel, Sam Malek, Raffaela Mirandola, Marco Mori and Giordano Tambrrellii. Perpetual Assurances for Self-Adaptive Systems. In Rogério de Lemos,
David Garlan, Carlo Ghezzi and Holger Giese editors, Software Engineering for Self-Adaptive Systems III. Assurances, Nr. (9640), Lecture Notes in Computer Science, Springer, 2017.
|
| 13 |
Bradley Schmerl, Jesper Andersson, Thomas Vogel, Myra Cohen, Cecilia M. F. Rubira, Yuriy Brun, Alessandra Gorla, Franco Zambonelli and Luciano Baresi. Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems. In Rogério de Lemos,
David Garlan, Carlo Ghezzi and Holger Giese editors, Software Engineering for Self-Adaptive Systems III. Assurances, Nr. (9640), Lecture Notes in Computer Science, Springer, 2017.
|
|
|
|
|
| 14 |
Gabriel A. Moreno. Adaptation Timing in Self-Adaptive Systems. PhD thesis, Institute for Software Research, School of Computer Science,Carnegie Mellon University, April 2017. Technical Report CMU-ISR-17-103.
|
|
|
|
|
| 15 |
Thomas J. Glazier,
Bradley Schmerl,
Javier Cámara and
David Garlan. Utility Theory for Self-Adaptive Systems. Technical report, CMU-ISR-17-119, Carnegie Mellon University Institute for Software Research, December 2017. http://reports-archive.adm.cs.cmu.edu/anon/isr2017/abstracts/17-119.html.
|
| 16 |
Ryan Wagner, Matthew Fredrikson and
David Garlan. An Advanced Persistent Threat Exemplar. Technical report, CMU-ISR-17-100, Institute of Software Research, Carnegie Mellon University, July 2017. http://reports-archive.adm.cs.cmu.edu/anon/isr2017/abstracts/17-100.html.
|
| 17 |
Javier Cámara,
David Garlan, Won Gu Kang, Wenxin Peng and
Bradley Schmerl. Uncertainty in Self-Adaptive Systems. Technical report, CMU-ISR-17-110, Institute for Software Research, Carnegie Mellon University, July 2017. http://reports-archive.adm.cs.cmu.edu/anon/isr2017/abstracts/17-110.html.
|
| 18 |
David Garlan, Nicolas D’Ippolito and Kenji Tei. The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017) Technical report, NII-2017-10, National Institute of Informatics, 24-28 July 2017.
|
|
|
