| 2026 | SEAMS | Ubi-AAL: A Self-Adaptive Ubiquitous Computing System Problem Exemplar in Ambient Assisted Living. | Javier Cmara, Ilias Gerostathopoulos, Livia Lestingi, Michele Loreti, Hiroyuki Nakagawa, Marjan Sirjani, Kenji Tei |
| 2024 | ICSE | Challenges in Creating Effective Automated Design Environments: An experience report from the domain of generative manufacturing. | David Garlan, Bradley R. Schmerl, Rebekka Wohlrab, Javier Cmara |
| 2024 | ICSOC | Hybrid (Quantum-Classical) Service Applications Deployment Configuration System. | lvaro M. Aparicio-Morales, Jos Garca-Alonso, Javier Cmara, Juan Manuel Murillo |
| 2024 | SEAMS | Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems. | Javier Cmara, Sebastian Hahner, Diego Perez-Palacin, Antonio Vallecillo, Maribel Acosta, Nelly Bencomo, Radu Calinescu, Simos Gerasimou |
| 2024 | SEAMS | Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability Constraints. | Raquel Sanchez, Javier Troya, Javier Cmara |
| 2024 | SEAMS | Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire Tracking. | Enrique Vilchez, Javier Troya, Javier Cmara |
| 2024 | SEAMS | Wildfire-UAVSim: An Exemplar for Evaluation of Adaptive Cyber-Physical Systems in Partially-Observable Environments. | Enrique Vilchez, Javier Troya, Javier Cmara |
| 2023 | MODELS | Towards an Extensible Architecture and Tool Support for Model-Based Verification. | David Delgado, Lola Burgueo, Javier Cmara, Javier Troya |
| 2022 | MODELS | Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. | Javier Cmara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo |
| 2022 | QRS | Security Countermeasure Selection for Component-Based Software-Intensive Systems. | Charilaos Skandylas, Narges Khakpour, Javier Cmara |
| 2021 | ECSA | Explaining Architectural Design Tradeoff Spaces: A Machine Learning Approach. | Javier Cmara, Mariana Silva, David Garlan, Bradley R. Schmerl |
| 2021 | ICSA | Message from the SAIP, NEMI, ECRF, Journal First, and Workshops Track Chairs. | Steffen Becker, Javier Cmara, Stphanie Challita, Christoph Fehling, Anton Jansen, Oliver Kopp, Heiko Koziolek, Philippe Kruchten, Grace A. Lewis, Carola Lilienthal, Romina Spalazzese, Catia Trubiani |
| 2021 | SEAMS | Hey! Preparing Humans to do Tasks in Self-adaptive Systems. | Nianyu Li, Javier Cmara, David Garlan, Bradley R. Schmerl, Zhi Jin |
| 2021 | SEFM | A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems. | Maria Casimiro, David Garlan, Javier Cmara, Lus Rodrigues, Paolo Romano |
| 2020 | ECSA | Voyager: Software Architecture Trade-off Explorer. | Jason Mashinchi, Javier Cmara |
| 2020 | ICSA | Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems. | Javier Cmara, Henry Muccini, Karthik Vaidhyanathan |
| 2020 | ICSA | Model-Based Analysis of Microservice Resiliency Patterns. | Nabor C. Mendona, Carlos Mendes Aderaldo, Javier Cmara, David Garlan |
| 2020 | ICSE | HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees. | Javier Cmara |
| 2020 | ICSE | Towards bridging the gap between control and self-adaptive system properties. | Javier Cmara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei |
| 2020 | ICSE | Software architecture and task plan co-adaptation for mobile service robots. | Javier Cmara, Bradley R. Schmerl, David Garlan |
| 2019 | ICSE | Socio-cyber-physical systems: models, opportunities, open challenges. | Radu Calinescu, Javier Cmara, Colin Paterson |
| 2019 | ICSE | Machine learning meets quantitative planning: enabling self-adaptation in autonomous robots. | Pooyan Jamshidi, Javier Cmara, Bradley R. Schmerl, Christian Kstner, David Garlan |
| 2018 | ECSA | Generality vs. reusability in architecture-based self-adaptation: the case for self-adaptive microservices. | Nabor C. Mendona, David Garlan, Bradley R. Schmerl, Javier Cmara |
| 2018 | ICSE | Uncertainty reduction in self-adaptive systems. | Gabriel A. Moreno, Javier Cmara, David Garlan, Mark Klein |
| 2017 | ECSA | Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems. | Javier Cmara, David Garlan, Bradley R. Schmerl |
| 2017 | ICSE | Comparing Model-Based Predictive Approaches to Self-Adaptation: CobRA and PLA. | Gabriel A. Moreno, Alessandro Vittorio Papadopoulos, Konstantinos Angelopoulos, Javier Cmara, Bradley R. Schmerl |
| 2017 | ICSE | Towards a Formal Framework for Hybrid Planning in Self-Adaptation. | Ashutosh Pandey, Ivan Ruchkin, Bradley R. Schmerl, Javier Cmara |
| 2017 | RTSS | Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks. | Gautham Nayak Seetanadi, Javier Cmara, Lus Almeida, Karl-Erik rzn, Martina Maggio |
| 2017 | SEFM | Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation. | Javier Cmara, Wenxin Peng, David Garlan, Bradley R. Schmerl |
| 2016 | ECSA | Architecture Modeling and Analysis of Security in Android Systems. | Bradley R. Schmerl, Jeff Gennari, Alireza Sadeghi, Hamid Bagheri, Sam Malek, Javier Cmara, David Garlan |
| 2016 | ICSE | Multiscale time abstractions for long-range planning under uncertainty. | Roykrong Sukkerd, Javier Cmara, David Garlan, Reid G. Simmons |
| 2015 | ICSE | Reasoning about Human Participation in Self-Adaptive Systems. | Javier Cmara, Gabriel A. Moreno, David Garlan |
| 2015 | SAC | Optimal planning for architecture-based self-adaptation via model checking of stochastic games. | Javier Cmara, David Garlan, Bradley R. Schmerl, Ashutosh Pandey |
| 2014 | FASE | Comparator: A Tool for Quantifying Behavioural Compatibility. | Meriem Ouederni, Gwen Salan, Javier Cmara, Ernesto Pimentel |
| 2014 | ICSE | Stochastic game analysis and latency awareness for proactive self-adaptation. | Javier Cmara, Gabriel A. Moreno, David Garlan |
| 2014 | SAC | Robustness evaluation of the rainbow framework for self-adaptation. | Javier Cmara, Rogrio de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira |
| 2013 | ICSE | Evolving an adaptive industrial software system to use architecture-based self-adaptation. | Javier Cmara, Pedro Correia, Rogrio de Lemos, David Garlan, Pedro Gomes, Bradley R. Schmerl, Rafael Ventura |
| 2012 | ICSE | Evaluation of resilience in self-adaptive systems using probabilistic model-checking. | Javier Cmara, Rogrio de Lemos |
| 2012 | ICSE | Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems. | Annapaola Marconi, Antonio Bucchiarone, Konstantinos Bratanis, Antonio Brogi, Javier Cmara, Dimitris Dranidis, Holger Giese, Raman Kazhamiakin, Rogrio de Lemos, Clarissa Cassales Marquezan, Andreas Metzger |
| 2010 | ISoLA | A Case Study in Model-Based Adaptation of Web Services. | Javier Cmara, Jos Antonio Martn, Gwen Salan, Carlos Canal, Ernesto Pimentel |
| 2009 | ICSE | Behavioural self-adaptation of services in ubiquitous computing environments. | Javier Cmara, Carlos Canal, Gwen Salan |
| 2009 | ICSE | ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. | Javier Cmara, Jos Antonio Martn, Gwen Salan, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel |
| 2009 | ICWE | Facilitating Controlled Tests of Website Design Changes: A Systematic Approach. | Javier Cmara, Alfred Kobsa |
| 2008 | FASE | Clint: A Composition Language Interpreter (Tool Paper). | Javier Cmara, Gwen Salan, Carlos Canal |
| 2007 | Coordination | Context-Based Adaptation of Component Behavioural Interfaces. | Javier Cubo, Gwen Salan, Javier Cmara, Carlos Canal, Ernesto Pimentel |
| 2007 | ECSA | Enabling | Javier Cmara, Carlos Canal, Javier Cubo, Juan Manuel Murillo |
| 2007 | SEFM | Run-time Composition and Adaptation of Mismatching Behavioural Transactions. | Javier Cmara, Gwen Salan, Carlos Canal |
| 2006 | ECOOP | An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. | Javier Cmara, Carlos Canal, Javier Cubo, Juan Manuel Murillo Rodrguez |