| 1 |
Javier Cámara,
Rebekka Wohlrab,
David Garlan and
Bradley Schmerl. Focusing on What Matters: Explaining Quality Tradeoffs in Software-Intensive Systems via Dimensionality Reduction. In IEEE Software, Vol. 41:64-73, January 2024. DOI: https://doi.ieeecomputersociety.org/10.1109/MS.2023.3320689.
|
| 2 |
Bruno Sousa, Duarte Dias, Nuno Antunes,
Javier Cámara,
Ryan Wagner,
Bradley Schmerl,
David Garlan and Pedro Fidalgo. MONDEO-Tactics5G: Multistage botnet detection and tactics for 5G/6G networks. In Computers & Security, Vol. 140, May 2024. https://doi.org/10.1016/j.cose.2024.103768.
|
| 3 |
Carlos Aderaldo, Thiago M. Costa, Davi M. Vasconcelos,
Nabor C. Mendonça,
Javier Cámara and
David Garlan. A Declarative Approach and Benchmark Tool for Controlled Evaluation of Microservice Resiliency Patterns. In Software Practice and Experience, August 2024.
|
| 4 |
Javier Cámara and
David Garlan. A study on the impact of repetition of formative assessments in a formal methods course for professional software engineers. In IEEE Software, 2023. doi: 10.1109/MS.2023.3291400.
|
| 5 |
Md Abir Hossen, Sonam Kharade,
Bradley Schmerl,
Javier Cámara, Jason M. O\'Kane, Ellen C. Czaplinski, Katherine A. Dzurilla,
David Garlan and
Pooyan Jamshidi. CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots. In IEEE Robotics and Automation Letters, Pages 1-8, May 2023. doi: 10.1109/LRA.2023.3280810.
|
| 6 |
Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H.C. Cheng,
David Garlan and
Bradley Schmerl. The uncertainty interaction problem in self-adaptive systems. In Software System and Modelling, August 2022. Expert Voice Paper (https://doi.org/10.1007/s10270-022-01037-6).
|
| 7 |
Rebekka Wohlrab,
Javier Cámara,
David Garlan and
Bradley Schmerl. Explaining quality attribute tradeoffs in automated planning for self-adaptive systems. In The Journal of Systems and Software, October 2022.
|
| 8 |
Javier Cámara,
Rebekka Wohlrab,
David Garlan and
Bradley Schmerl. ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction. In Journal of Systems and Software, December 2022. https://doi.org/10.1016/j.jss.2022.111578.
|
| 9 |
Javier Cámara,
David Garlan and
Bradley Schmerl. Synthesizing Tradeoff Spaces of Quantitative Guarantees for Families of Software Systems. In Journal of Systems and Software, Vol. 152:33-49, June 2019. https://doi.org/10.1016/j.jss.2019.02.055.
|
| 10 |
Jonathan Aldrich,
David Garlan, Christian Kästner, Claire Le Goues, Anahita Mohseni-Kabir,
Ivan Ruchkin, Selva Samuel,
Bradley Schmerl, Christopher Steven Timperley, Manuela Veloso, Ian Voysey, Joydeep Biswas, Arjun Guha, Jarrett Holtz,
Javier Cámara and
Pooyan Jamshidi. Model-Based Adaptation for Robotics Software. In IEEE Software, March 2019.
|
| 11 |
Gabriel A. Moreno,
Javier Cámara,
David Garlan and
Bradley Schmerl. Flexible and Efficient Decision-Making for Proactive
Latency-Aware Self-Adaptation. In ACM Transactions on Autonomous and Adaptive Systems, Vol. 13(1), May 2018. https://doi.org/10.1145/3149180.
|
| 12 |
Javier Cámara, Wenxin Peng,
David Garlan and
Bradley Schmerl. Reasoning about Sensing Uncertainty and its Reduction in Decision-Making for Self-Adaptation. In Science of Computer Programming, Vol. 167:51-69, 1 December 2018.
|
| 13 |
Javier Cámara,
Bradley Schmerl,
Gabriel A. Moreno and
David Garlan. MOSAICO: Offline Synthesis of Adaptation Strategy Repertoires with Flexible Trade-Offs. In Automated Software Engineering, Vol. 25(3): 595–626, September 2018. Springer Link.
|
| 14 |
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.
|
| 15 |
Javier Cámara, Antónia Lopes,
David Garlan and
Bradley Schmerl. Adaptation impact and environment models for architecture-based self-adaptive systems. In Science of Computer Programming, Special issue of the 11th International Symposium on Formal Aspects of Component Software , Vol. 127:50-75, 2016. doi:10.1016/j.scico.2015.12.006.
|
| 16 |
Javier Cámara,
Gabriel A. Moreno,
David Garlan and
Bradley Schmerl. Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations. In ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special Section on Best Papers from SEAMS 2014 and Regular Articles, Vol. 10(4):23:1--23:28, ACM, New York, NY, USA, February 2016. ISSN 1556-4665.
|
| 17 |
Javier Cámara, Pedro Correia, Rogério de Lemos,
David Garlan, Pedro Gomes,
Bradley Schmerl and Rafael Ventura. Incorporating Architecture-Based Self-Adaptation into an Adaptive Industrial Software System. In Journal of Systems and Software, 2015. Available on-line http://dx.doi.org/10.1016/j.jss.2015.09.021.
|
|
|
| 18 |
David Garlan,
Bradley Schmerl,
Rebekka Wohlrab and
Javier Cámara. Challenges in Creating Effective Automated Design Environments: An experience report from the domain of generative manufacturing. In Proc. the 1st International Workshop on Designing Software, 15 April 2024.
|
| 19 |
Nianyu Li,
Javier Cámara,
David Garlan,
Bradley Schmerl and Zhi Jin. Hey! Preparing Humans to do Tasks in Self-adaptive Systems. In Proceedings of the 16th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2021), Virtual, 18-21 May 2021. Awarded Best Student Paper for SEAMS 2021.
|
| 20 |
Javier Cámara, Mariana Silva,
David Garlan and
Bradley Schmerl. Explaining Architectural Design Tradeoff Spaces: a Machine Learning Approach. In Proceedings of the 15th European Conference on Software Architecture, Virtual (Originally, Växjö Sweden), 13-17 September 2021.
|
| 21 |
Maria Casimiro,
David Garlan,
Javier Cámara, Luis Rodrigues and Paolo Romano. A Probabilistic Model Checking Approach to Self-Adapting Machine Learning Systems. In Proceedings of the Third International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 6 December 2021.
|
| 22 |
Nabor C. Mendonça, Carlos Aderaldo,
Javier Cámara and
David Garlan. Model-Based Analysis of Microservice Resiliency Patterns. In Proceedings of the 2020 IEEE International Conference on Software Architecture, 16-20 March 2020.
|
| 23 |
Javier Cámara,
Bradley Schmerl and
David Garlan. Software Architecture and Task Plan Co-Adaptation for Mobile Service Robots. In Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-managing Systems (SEAMS), 29 June - 3 July 2020. Talk.
|
| 24 |
Javier Cámara, Alessandro V. Papadopoulos, Thomas Vogel, Danny Weyns,
David Garlan,
Shihong Huang and Kenji Tei. Towards Bridging the Gap between Control and Self-Adaptive System Properties. In Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-managing Systems (SEAMS), 29 June - 3 July 2020. Talk.
|
| 25 |
Nianyu Li,
Javier Cámara,
David Garlan and
Bradley Schmerl. Reasoning about When to Provide Explanation for Human-in-the-loop Self-Adaptive Systems. In Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self-organizing Systems (ACSOS), Washington, D.C., 19-23 August 2020. Presentation Video.
|
| 26 |
Pooyan Jamshidi,
Javier Cámara,
Bradley Schmerl, Christian Kästner and
David Garlan. Machine Learning Meets Quantitative Planning: Enabling Self-adaptation in Autonomous Robots. In Proceedings of the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems, Montreal, Canada, 25-26 May 2019.
|
| 27 |
Gabriel A. Moreno,
Javier Cámara,
David Garlan and Mark Klein. Uncertainty Reduction in Self-Adaptive Systems. In Proc. of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Gothenburg, Sweden, 28-29 May 2018.
|
| 28 |
Nabor C. Mendonça,
David Garlan,
Bradley Schmerl and
Javier Cámara. Generality vs. Reusability in Architecture-Based Self-Adaptation:
The Case for Self-Adaptive Microservices. In The 12th European Conference on Software Architecture: Companion Proceedings, Madrid, Spain, 24-28 September 2018.
|
| 29 |
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.
|
| 30 |
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.
|
| 31 |
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.
|
| 32 |
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.
|
| 33 |
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.
|
| 34 |
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.
|
| 35 |
Ashutosh Pandey,
Gabriel A. Moreno,
Javier Cámara and
David Garlan. Hybrid Planning for Decision Making in Self-Adaptive Systems. In Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016), Augsburg, Germany, 12-16 September 2016.
|
| 36 |
Hemank Lamba,
Thomas J. Glazier,
Bradley Schmerl,
Javier Cámara,
David Garlan and Jürgen Pfeffer. A Model-based Approach to Anomaly Detection in Software Architectures (Poster) In Symposium and Bootcamp on the Science of Security, Pittsburgh, PA, 19-21 April 2016.
|
| 37 |
Bradley Schmerl, Jeffrey Gennari,
Javier Cámara and
David Garlan. Raindroid - A System for Run-time Mitigation of Android Intent Vulnerabilities (Poster) In Symposium and Bootcamp on the Science of Security, Pittsburgh, PA, 19-21 April 2016.
|
| 38 |
Gabriel A. Moreno,
Javier Cámara,
David Garlan and
Bradley Schmerl. Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation. In Proceedings of the 13th IEEE International Conference on Autonomic Computing (ICAC 2016), Würzburg, Germany, 19-22 July 2016. Selected as a best paper.
|
| 39 |
Roykrong Sukkerd,
Javier Cámara,
David Garlan and Reid Simmons. Multiscale Time Abstractions for Long-Range Planning under Uncertainty. In Proceedings of the 2nd ICSE Workshop on Software Engineering for Smart Cyberphysical Systems, Austin, Texas, 16 May 2016.
|
| 40 |
Pedro Caldeira Neves,
Bradley Schmerl, Jorge Bernardino and
Javier Cámara. Big Data in Cloud Computing: features and issues. In Proceedings of the 2016 International Conference on Internet of Things and Big Data, Rome, Italy, 23-25 April 2016.
|
| 41 |
Bradley Schmerl, Jeffrey Gennari, Alireza Sadeghi, Hamid Bagheri, Sam Malek,
Javier Cámara and
David Garlan. Architecture Modeling and Analysis of
Security in Android Systems. In Proceedings of the 10th European Conference on Software Architecture (ECSA 2016), Vol. 9839 of Lecture Notes in Computer Science, Springer, Copenhagen, Denmark, 30 November - 2 December 2016.
|
| 42 |
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.
|
| 43 |
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.
|
| 44 |
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.
|
| 45 |
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.
|
| 46 |
Javier Cámara,
Gabriel A. Moreno and
David Garlan. Stochastic Game Analysis and Latency Awareness for Proactive Self-Adaptation. In 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Hyderabad, India, 2-3 June 2014.
|
| 47 |
Bradley Schmerl,
Javier Cámara, Jeffrey Gennari,
David Garlan,
Paulo Casanova,
Gabriel A. Moreno,
Thomas J. Glazier and
Jeffrey M. Barnes. Architecture-Based Self-Protection: Composing and Reasoning about Denial-of-Service Mitigations. In HotSoS 2014: 2014 Symposium and Bootcamp on the Science of Security, Raleigh, NC, USA, 8-9 April 2014.
|
| 48 |
Javier Cámara, Pedro Correia, Rogério de Lemos and Marco Vieira. Empirical Resilience Evaluation of an Architecture-based Self-Adaptive Software System. In Tenth International ACM Sigsoft Conference on the Quality of Software Architectures, Lille, France, 30 June - 3 July 2014. ACM SIGSOFT QoSA Distinguished Paper Award.
|
| 49 |
Javier Cámara, Antónia Lopes,
David Garlan and
Bradley Schmerl. Impact Models for Architecture-Based Self-Adaptive Systems. In Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS2014), Bertinoro, Italy, 10-12 September 2014.
|
| 50 |
Javier Cámara, Pedro Correia, Rogério de Lemos,
David Garlan, Pedro Gomes,
Bradley Schmerl and Rafael Ventura. Evolving an Adaptive Industrial Software System to Use Architecture-based Self-Adaptation. In Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 20-21 May 2013.
|
|
|
| 51 |
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.
|
| 52 |
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.
|
| 53 |
Javier Cámara,
David Garlan,
Gabriel A. Moreno and
Bradley Schmerl. Evaluating Trade-Offs of Human Involvement in Self-Adaptive Systems. In Ivan Mistrik, Nour Ali, John Grundy, Rick Kazman and
Bradley Schmerl editors, Managing Trade-Offs in Self-Adaptive Systems, Elsevier, September 2016.
|
|
|
