| Proactive self-adaptation under uncertainty: a probabilistic model checking approach GA Moreno, J Cámara, D Garlan, B Schmerl Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015 | 100 | 2015 |
| Itaca: An integrated toolbox for the automatic composition and adaptation of web services J Cámara, JA Martin, G Salaun, J Cubo, M Ouederni, C Canal, E Pimentel Proceedings of the 31st International Conference on Software Engineering …, 2009 | 79 | 2009 |
| Formalizing wsbpel business processes using process algebra J Cámara, C Canal, J Cubo, A Vallecillo Electronic Notes in Theoretical Computer Science 154 (1), 159-173, 2006 | 64 | 2006 |
| Theorem proving for product line model verification M Mannion, J Camara International Workshop on Software Product-Family Engineering, 211-224, 2003 | 59 | 2003 |
| Perpetual assurances for self-adaptive systems D Weyns, N Bencomo, R Calinescu, J Camara, C Ghezzi, V Grassi, ... Software Engineering for Self-Adaptive Systems III. Assurances, 31-63, 2017 | 55 | 2017 |
| Evaluation of resilience in self-adaptive systems using probabilistic model-checking J Cámara, R de Lemos Proceedings of the 7th International Symposium on Software Engineering for …, 2012 | 51 | 2012 |
| Software engineering for self-adaptive systems: Research challenges in the provision of assurances R De Lemos, D Garlan, C Ghezzi, H Giese, J Andersson, M Litoiu, ... Software Engineering for Self-Adaptive Systems III. Assurances, 3-30, 2017 | 49 | 2017 |
| The notion of self-aware computing S Kounev, P Lewis, KL Bellman, N Bencomo, J Camara, A Diaconescu, ... Self-Aware Computing Systems, 3-16, 2017 | 42 | 2017 |
| Reasoning about human participation in self-adaptive systems J Cámara, GA Moreno, D Garlan Proceedings of the 10th International Symposium on Software Engineering for …, 2015 | 41 | 2015 |
| Stochastic game analysis and latency awareness for proactive self-adaptation J Cámara, GA Moreno, D Garlan Proceedings of the 9th International Symposium on Software Engineering for …, 2014 | 40 | 2014 |
| Evolving an adaptive industrial software system to use architecture-based self-adaptation J Cámara, P Correia, R De Lemos, D Garlan, P Gomes, B Schmerl, ... Proceedings of the 8th International Symposium on Software Engineering for …, 2013 | 38 | 2013 |
| Efficient decision-making under uncertainty for proactive self-adaptation GA Moreno, J Cámara, D Garlan, B Schmerl 2016 IEEE International Conference on Autonomic Computing (ICAC), 147-156, 2016 | 37 | 2016 |
| Synthesis of switching controllers using approximately bisimilar multiscale abstractions J Cámara, A Girard, G Gössler Proceedings of the 14th international conference on Hybrid systems …, 2011 | 37 | 2011 |
| An aspect-oriented adaptation framework for dynamic component evolution J Camara, C Canal, J Cubo, JM Murillo Electronic Notes in Theoretical Computer Science 189, 21-34, 2007 | 37 | 2007 |
| Optimal planning for architecture-based self-adaptation via model checking of stochastic games J Cámara, D Garlan, B Schmerl, A Pandey Proceedings of the 30th annual ACM symposium on applied computing, 428-435, 2015 | 35 | 2015 |
| Interactive specification and verification of behavioral adaptation contracts J Cámara, G Salaün, C Canal, M Ouederni Information and Software Technology 54 (7), 701-723, 2012 | 33 | 2012 |
| Safety controller synthesis for switched systems using multi-scale symbolic models J Camara, A Girard, G Gössler 2011 50th IEEE Conference on Decision and Control and European Control …, 2011 | 30 | 2011 |
| Testing the robustness of controllers for self-adaptive systems J Cámara, R de Lemos, N Laranjeiro, R Ventura, M Vieira Journal of the Brazilian Computer Society 20 (1), 1, 2014 | 29* | 2014 |
| Architecture-based self-protection: composing and reasoning about denial-of-service mitigations B Schmerl, J Cámara, J Gennari, D Garlan, P Casanova, GA Moreno, ... Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2, 2014 | 28 | 2014 |
| Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. J Cámara, G Salaün, C Canal J. UCS 14 (13), 2182-2211, 2008 | 27 | 2008 |
David GarlanProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
