Javier Cámara

137 papers A* 2A 9B 9C 2Misc 2Journal 39Unranked 63

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A declarative approach and benchmark tool for controlled evaluation of microservice resiliency patterns. Softw. Pract. Exp. Carlos M. Aderaldo, Thiago M. Costa, Davi M. Vasconcelos, Nabor C. Mendonça, Javier Cámara, David Garlan
2025	J	`jnl`	Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modeling. Softw. Syst. Model. Javier Cámara
2025	B	`conf`	Robot Mission Adaptation with Quantitative Guarantees. SEAA Qi Zhang, Ioannis Stefanakos, Javier Cámara, Radu Calinescu
2025	—	`conf`	Towards First-Class Human Involvement in Digital Twin-Enabled Socio-Cyber-Physical Systems. ACSOS-C Javier Cámara, Lola Burgueño
2024	—	`conf`	Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability Constraints. SEAMS@ICSE Raquel Sanchez, Javier Troya, Javier Cámara
2024	—	`conf`	Challenges in Creating Effective Automated Design Environments: An experience report from the domain of generative manufacturing. Designing@ICSE David Garlan, Bradley R. Schmerl, Rebekka Wohlrab, Javier Cámara
2024	J	`jnl`	Focusing on What Matters: Explaining Quality Tradeoffs in Software-Intensive Systems Via Dimensionality Reduction. IEEE Softw. Javier Cámara, Rebekka Wohlrab, David Garlan, Bradley R. Schmerl
2024	J	`jnl`	Foreword: SEAMS 2022 Special Issue. ACM Trans. Auton. Adapt. Syst. Bradley R. Schmerl, Javier Cámara, Martina Maggio
2024	—	`ed.`	Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers FACS Javier Cámara, Sung-Shik Jongmans
2024	J	`jnl`	From Chats to Models: Assessing the Potential of LLMs in the World of Software Modeling. ERCIM News Javier Cámara, Javier Troya, Lola Burgueño
2024	J	`jnl`	Generative AI in the Software Modeling Classroom: An Experience Report With ChatGPT and Unified Modeling Language. IEEE Softw. Javier Cámara, Javier Troya, Julio Montes-Torres, Francisco J. Jaime
2024	—	`conf`	Hybrid (Quantum-Classical) Service Applications Deployment Configuration System. ICSOC Workshops (2) Álvaro M. Aparicio-Morales, José García-Alonso, Javier Cámara, Juan Manuel Murillo
2024	J	`jnl`	MONDEO-Tactics5G: Multistage botnet detection and tactics for 5G/6G networks. Comput. Secur. Bruno Sousa, Duarte Dias, Nuno Antunes, Javier Cámara, Ryan Wagner, Bradley R. Schmerl, David Garlan, Pedro Fidalgo
2024	—	`conf`	Safety-Aware Adaptive Reinforcement Learning for Mobile Assistive-Care Robots. ACSOS-C Qi Zhang, Ioannis Stefanakos, Javier Cámara, Radu Calinescu
2024	—	`conf`	Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire Tracking. SEAMS@ICSE Enrique Vilchez, Javier Troya, Javier Cámara
2024	J	`jnl`	Towards standarized benchmarks of LLMs in software modeling tasks: a conceptual framework. Softw. Syst. Model. Javier Cámara, Lola Burgueño, Javier Troya
2024	—	`conf`	Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems. SEAMS@ICSE Javier Cámara, Sebastian Hahner, Diego Perez-Palacin, Antonio Vallecillo, Maribel Acosta, Nelly Bencomo, Radu Calinescu, Simos Gerasimou
2024	—	`conf`	Wildfire-UAVSim: An Exemplar for Evaluation of Adaptive Cyber-Physical Systems in Partially-Observable Environments. SEAMS@ICSE Enrique Vilchez, Javier Troya, Javier Cámara
2023	J	`jnl`	CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots. CoRR Md. Abir Hossen, Sonam Kharade, Bradley R. Schmerl, Javier Cámara, Jason M. O'Kane, Ellen C. Czaplinski, Katherine A. Dzurilla, David Garlan, Pooyan Jamshidi
2023	J	`jnl`	CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots. IEEE Robotics Autom. Lett. Md. Abir Hossen, Sonam Kharade, Bradley R. Schmerl, Javier Cámara, Jason M. O'Kane, Ellen C. Czaplinski, Katherine A. Dzurilla, David Garlan, Pooyan Jamshidi
2023	J	`jnl`	ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction. J. Syst. Softw. Javier Cámara, Rebekka Wohlrab, David Garlan, Bradley R. Schmerl
2023	J	`jnl`	Explaining quality attribute tradeoffs in automated planning for self-adaptive systems. J. Syst. Softw. Rebekka Wohlrab, Javier Cámara, David Garlan, Bradley R. Schmerl
2023	J	`jnl`	Learning by Redoing: An Experimental Study on the Impact of Repetition of Formative Assessments in a Formal Methods Course for Software Engineers. IEEE Softw. Javier Cámara, David Garlan
2023	J	`jnl`	On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML. Softw. Syst. Model. Javier Cámara, Javier Troya, Lola Burgueño, Antonio Vallecillo
2023	J	`jnl`	Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. ACM SIGSOFT Softw. Eng. Notes Danny Weyns, Radu Calinescu, Raffaela Mirandola, Kenji Tei, Maribel Acosta, Amel Bennaceur, Nicolas Boltz, Tomás Bures, Javier Cámara, Ada Diaconescu, Gregor Engels, Simos Gerasimou, Ilias Gerostathopoulos, Sinem Getir Yaman, Vincenzo Grassi, Sebastian Hahner, Emmanuel Letier, Marin Litoiu, Lina Marsso, Angelika Musil, Juergen Musil, Genaína Nunes Rodrigues, Diego Perez-Palacin, Federico Quin, Patrizia Scandurra, Antonio Vallecillo, Andrea Zisman
2023	—	`conf`	Towards an Extensible Architecture and Tool Support for Model-Based Verification. MoDELS (Companion) David Delgado, Lola Burgueño, Javier Cámara, Javier Troya
2022	A	`conf`	Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. MoDELS Javier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo
2022	A	`ed.`	International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2022, Pittsburgh, PA, USA, May 22-24, 2022 SEAMS Bradley R. Schmerl, Martina Maggio, Javier Cámara
2022	—	`conf`	Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems. FMAS/ASYDE@SEFM Gricel Vázquez, Radu Calinescu, Javier Cámara
2022	C	`conf`	Security Countermeasure Selection for Component-Based Software-Intensive Systems. QRS Charilaos Skandylas, Narges Khakpour, Javier Cámara
2022	J	`jnl`	The uncertainty interaction problem in self-adaptive systems. Softw. Syst. Model. Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl
2022	—	`conf`	Towards Adaptive Planning of Assistive-care Robot Tasks. FMAS/ASYDE@SEFM Jordan Hamilton, Ioannis Stefanakos, Radu Calinescu, Javier Cámara
2022	—	`conf`	Towards Scalable Multi-robot Systems by Partitioning the Task Domain. TAROS Brendan Devlin-Hill, Radu Calinescu, Javier Cámara, Ipek Caliskanelli
2021	—	`conf`	A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems. SEFM Workshops Maria Casimiro, David Garlan, Javier Cámara, Luís Rodrigues, Paolo Romano
2021	A*	`conf`	Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. ASE Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang
2021	B	`conf`	Explaining Architectural Design Tradeoff Spaces: A Machine Learning Approach. ECSA Javier Cámara, Mariana Silva, David Garlan, Bradley R. Schmerl
2021	—	`conf`	Hey! Preparing Humans to do Tasks in Self-adaptive Systems. SEAMS@ICSE Nianyu Li, Javier Cámara, David Garlan, Bradley R. Schmerl, Zhi Jin
2021	—	`conf`	Message from the SAIP, NEMI, ECRF, Journal First, and Workshops Track Chairs. ICSA Companion Steffen Becker, Javier Cámara, Stéphanie Challita, Christoph Fehling, Anton Jansen, Oliver Kopp, Heiko Koziolek, Philippe Kruchten, Grace A. Lewis, Carola Lilienthal, Romina Spalazzese, Catia Trubiani
2021	—	`conf`	Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot Teams. TAROS Gricel Vázquez, Radu Calinescu, Javier Cámara
2021	—	`conf`	Towards Self-Adaptive Disaster Management Systems. ISCRAM Kenneth Johnson, Javier Cámara, Roopak Sinha, Samaneh Madanian, Dave Parry
2020	—	`conf`	HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees. FormaliSE@ICSE Javier Cámara
2020	A	`conf`	Model-Based Analysis of Microservice Resiliency Patterns. ICSA Nabor C. Mendonça, Carlos Mendes Aderaldo, Javier Cámara, David Garlan
2020	A	`conf`	Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems. ICSA Javier Cámara, Henry Muccini, Karthik Vaidhyanathan
2020	—	`conf`	Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems. ACSOS Nianyu Li, Javier Cámara, David Garlan, Bradley R. Schmerl
2020	—	`ed.`	Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings ECSA (Companion) Henry Muccini, Paris Avgeriou, Barbora Buhnova, Javier Cámara, Mauro Caporuscio, Mirco Franzago, Anne Koziolek, Patrizia Scandurra, Catia Trubiani, Danny Weyns, Uwe Zdun
2020	—	`ed.`	Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers SEFM Workshops Javier Cámara, Martin Steffen
2020	—	`conf`	Software architecture and task plan co-adaptation for mobile service robots. SEAMS@ICSE Javier Cámara, Bradley R. Schmerl, David Garlan
2020	J	`jnl`	The 3rd Controlled Adaptation of Self-adaptive Systems (CASaS) (NII Shonan Meeting 153). NII Shonan Meet. Rep. Kenji Tei, Nir Piterman, Javier Cámara
2020	J	`jnl`	Towards Bridging the Gap between Control and Self-Adaptive System Properties. CoRR Javier Cámara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei
2020	—	`conf`	Towards bridging the gap between control and self-adaptive system properties. SEAMS@ICSE Javier Cámara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei
2020	—	`conf`	Voyager: Software Architecture Trade-off Explorer. ECSA Companion Jason Mashinchi, Javier Cámara
2019	J	`jnl`	Building Long-Lived Adaptive Systems. IEEE Softw. Javier Cámara, David Garlan, Greg Eakman
2019	J	`jnl`	Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots. CoRR Pooyan Jamshidi, Javier Cámara, Bradley R. Schmerl, Christian Kästner, David Garlan
2019	—	`conf`	Machine learning meets quantitative planning: enabling self-adaptation in autonomous robots. SEAMS@ICSE Pooyan Jamshidi, Javier Cámara, Bradley R. Schmerl, Christian Kästner, David Garlan
2019	J	`jnl`	Model-Based Adaptation for Robotics Software. IEEE Softw. Jonathan Aldrich, David Garlan, Christian Kästner, Claire Le Goues, Anahita Mohseni-Kabir, Ivan Ruchkin, Selva Samuel, Bradley R. Schmerl, Christopher Steven Timperley, Manuela Veloso, Ian Voysey, Joydeep Biswas, Arjun Guha, Jarrett Holtz, Javier Cámara, Pooyan Jamshidi
2019	J	`jnl`	Perpetual Assurances for Self-Adaptive Systems. CoRR Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli
2019	—	`conf`	Socio-cyber-physical systems: models, opportunities, open challenges. SEsCPS@ICSE Radu Calinescu, Javier Cámara, Colin Paterson
2019	J	`jnl`	Synthesizing tradeoff spaces with quantitative guarantees for families of software systems. J. Syst. Softw. Javier Cámara, David Garlan, Bradley R. Schmerl
2018	J	`jnl`	Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation. ACM Trans. Auton. Adapt. Syst. Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl
2018	—	`conf`	Generality vs. reusability in architecture-based self-adaptation: the case for self-adaptive microservices. ECSA (Companion) Nabor C. Mendonça, David Garlan, Bradley R. Schmerl, Javier Cámara
2018	J	`jnl`	MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs. Autom. Softw. Eng. Javier Cámara, Bradley R. Schmerl, Gabriel A. Moreno, David Garlan
2018	J	`jnl`	Reasoning about sensing uncertainty and its reduction in decision-making for self-adaptation. Sci. Comput. Program. Javier Cámara, Wenxin Peng, David Garlan, Bradley R. Schmerl
2018	—	`conf`	Uncertainty reduction in self-adaptive systems. SEAMS@ICSE Gabriel A. Moreno, Javier Cámara, David Garlan, Mark Klein
2017	—	`conf`	Comparing Model-Based Predictive Approaches to Self-Adaptation: CobRA and PLA. SEAMS@ICSE Gabriel A. Moreno, Alessandro Vittorio Papadopoulos, Konstantinos Angelopoulos, Javier Cámara, Bradley R. Schmerl
2017	A	`conf`	Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks. RTSS Gautham Nayak Seetanadi, Javier Cámara, Luís Almeida, Karl-Erik Årzén, Martina Maggio
2017	J	`jnl`	Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. Javier Cámara, Bashar Nuseibeh, David Garlan
2017	—	`conf`	Model-based Cluster Analysis for Identifying Suspicious Activity Sequences in Software. IWSPA@CODASPY Hemank Lamba, Thomas J. Glazier, Javier Cámara, Bradley R. Schmerl, David Garlan, Jürgen Pfeffer
2017	—	`conf`	Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation. SEFM Workshops Javier Cámara, Wenxin Peng, David Garlan, Bradley R. Schmerl
2017	J	`jnl`	Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems. IEEE Trans. Dependable Secur. Comput. Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira
2017	—	`ch.`	Self-aware Computing Systems: Open Challenges and Future Research Directions. Self-Aware Computing Systems Robert Birke, Javier Cámara, Lydia Y. Chen, Lukas Esterle, Kurt Geihs, Erol Gelenbe, Holger Giese, Anders Robertsson, Xiaoyun Zhu
2017	—	`ch.`	Self-aware Computing Systems: Related Concepts and Research Areas. Self-Aware Computing Systems Javier Cámara, Kirstie L. Bellman, Jeffrey O. Kephart, Marco Autili, Nelly Bencomo, Ada Diaconescu, Holger Giese, Sebastian Götz, Paola Inverardi, Samuel Kounev, Massimo Tivoli
2017	B	`conf`	Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems. ECSA Javier Cámara, David Garlan, Bradley R. Schmerl
2017	—	`ch.`	Synthesis and Verification of Self-aware Computing Systems. Self-Aware Computing Systems Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli
2017	—	`ch.`	The Notion of Self-aware Computing. Self-Aware Computing Systems Samuel Kounev, Peter R. Lewis, Kirstie L. Bellman, Nelly Bencomo, Javier Cámara, Ada Diaconescu, Lukas Esterle, Kurt Geihs, Holger Giese, Sebastian Götz, Paola Inverardi, Jeffrey O. Kephart, Andrea Zisman
2017	—	`conf`	Towards a Formal Framework for Hybrid Planning in Self-Adaptation. SEAMS@ICSE Ashutosh Pandey, Ivan Ruchkin, Bradley R. Schmerl, Javier Cámara
2016	—	`conf`	A model-based approach to anomaly detection in software architectures. HotSoS Hemank Lamba, Thomas J. Glazier, Bradley R. Schmerl, Javier Cámara, David Garlan, Jürgen Pfeffer
2016	J	`jnl`	Adaptation impact and environment models for architecture-based self-adaptive systems. Sci. Comput. Program. Javier Cámara, Antónia Lopes, David Garlan, Bradley R. Schmerl
2016	J	`jnl`	Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations. ACM Trans. Auton. Adapt. Syst. Javier Cámara, Gabriel A. Moreno, David Garlan, Bradley R. Schmerl
2016	B	`conf`	Architecture Modeling and Analysis of Security in Android Systems. ECSA Bradley R. Schmerl, Jeff Gennari, Alireza Sadeghi, Hamid Bagheri, Sam Malek, Javier Cámara, David Garlan
2016	—	`conf`	Big Data in Cloud Computing: Features and Issues. IoTBD Pedro Caldeira Neves, Bradley R. Schmerl, Javier Cámara, Jorge Bernardino
2016	—	`conf`	Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation. ICAC Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl
2016	—	`conf`	Hybrid Planning for Decision Making in Self-Adaptive Systems. SASO Ashutosh Pandey, Gabriel A. Moreno, Javier Cámara, David Garlan
2016	J	`jnl`	Incorporating architecture-based self-adaptation into an adaptive industrial software system. J. Syst. Softw. Javier Cámara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley R. Schmerl, Rafael Ventura
2016	—	`conf`	Multiscale time abstractions for long-range planning under uncertainty. SEsCPS@ICSE Roykrong Sukkerd, Javier Cámara, David Garlan, Reid G. Simmons
2016	—	`conf`	Raindroid: a system for run-time mitigation of Android intent vulnerabilities [poster]. HotSoS Bradley R. Schmerl, Jeffrey Gennari, Javier Cámara, David Garlan
2016	J	`jnl`	Special section on Foundations of Coordination Languages and Software Architectures. Sci. Comput. Program. Natallia Kokash, Javier Cámara
2015	—	`conf`	Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems. SASO Workshops Thomas J. Glazier, Javier Cámara, Bradley R. Schmerl, David Garlan
2015	Misc	`conf`	Optimal planning for architecture-based self-adaptation via model checking of stochastic games. SAC Javier Cámara, David Garlan, Bradley R. Schmerl, Ashutosh Pandey
2015	—	`conf`	Proactive self-adaptation under uncertainty: a probabilistic model checking approach. ESEC/SIGSOFT FSE Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl
2015	—	`ed.`	Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014. FOCLASA Javier Cámara, José Proença
2015	—	`conf`	Reasoning about Human Participation in Self-Adaptive Systems. SEAMS@ICSE Javier Cámara, Gabriel A. Moreno, David Garlan
2014	—	`conf`	Architecture-based self-protection: composing and reasoning about denial-of-service mitigations. HotSoS Bradley R. Schmerl, Javier Cámara, Jeffrey Gennari, David Garlan, Paulo Casanova, Gabriel A. Moreno, Thomas J. Glazier, Jeffrey M. Barnes
2014	B	`conf`	Comparator: A Tool for Quantifying Behavioural Compatibility. FASE Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel
2014	—	`conf`	Empirical resilience evaluation of an architecture-based self-adaptive software system. QoSA Javier Cámara, Pedro Correia, Rogério de Lemos, Marco Vieira
2014	Misc	`conf`	Robustness evaluation of the rainbow framework for self-adaptation. SAC Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira
2014	A	`conf`	Stochastic game analysis and latency awareness for proactive self-adaptation. SEAMS Javier Cámara, Gabriel A. Moreno, David Garlan
2014	J	`jnl`	Testing the robustness of controllers for self-adaptive systems. J. Braz. Comput. Soc. Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira
2013	—	`conf`	Analyzing Self-Adaptation Via Model Checking of Stochastic Games. Software Engineering for Self-Adaptive Systems Javier Cámara, David Garlan, Gabriel A. Moreno, Bradley R. Schmerl
2013	J	`jnl`	Architecture-based resilience evaluation for self-adaptive systems. Computing Javier Cámara, Rogério de Lemos, Marco Vieira, Raquel Almeida, Rafael Ventura
2013	—	`book`	Assurances for Self-Adaptive Systems - Principles, Models, and Techniques Assurances for Self-Adaptive Systems Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes
2013	A	`conf`	Evolving an adaptive industrial software system to use architecture-based self-adaptation. SEAMS Javier Cámara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley R. Schmerl, Rafael Ventura
2013	—	`conf`	Perpetual Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli
2013	—	`conf`	Robustness Evaluation of Controllers in Self-Adaptive Software Systems. LADC Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira
2013	—	`conf`	Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Danny Weyns, Luciano Baresi, Nelly Bencomo, Yuriy Brun, Javier Cámara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M. F. Rubira, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli
2012	A	`conf`	Evaluation of resilience in self-adaptive systems using probabilistic model-checking. SEAMS Javier Cámara, Rogério de Lemos
2012	J	`jnl`	Interactive specification and verification of behavioral adaptation contracts. Inf. Softw. Technol. Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni
2012	—	`conf`	Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems. S-Cube@ICSE Annapaola Marconi, Antonio Bucchiarone, Konstantinos Bratanis, Antonio Brogi, Javier Cámara, Dimitris Dranidis, Holger Giese, Raman Kazhamiakin, Rogério de Lemos, Clarissa Cassales Marquezan, Andreas Metzger
2012	J	`jnl`	Structural reconfiguration of systems under behavioral adaptation. Sci. Comput. Program. Carlos Canal, Javier Cámara, Gwen Salaün
2011	J	`jnl`	Editors' Introduction to the Special Issue on Autonomic and Self-Adaptive Systems. Informatica (Slovenia) Javier Cámara, Carlos E. Cuesta, Miguel Ángel Pérez-Toledano
2011	—	`ed.`	Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, ASAS@ESEC/FSE 2011, Szeged, Hungary, September 4, 2011 ASAS@ESEC/FSE Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Anténia Lopes
2011	—	`conf`	Safety controller synthesis for switched systems using multi-scale symbolic models. CDC/ECC Javier Cámara, Antoine Girard, Gregor Gößler
2011	—	`conf`	Synthesis of switching controllers using approximately bisimilar multiscale abstractions. HSCC Javier Cámara, Antoine Girard, Gregor Gößler
2011	—	`conf`	VADER 2011 PC Co-chairs' Message. OTM Workshops Miguel Ángel Pérez-Toledano, Carlos E. Cuesta, Renaud Pawlak, Javier Cámara
2011	—	`conf`	Workshop on assurances for self-adaptive systems (ASAS 2011). SIGSOFT FSE Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes
2010	—	`conf`	A Case Study in Model-Based Adaptation of Web Services. ISoLA (2) Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel
2010	—	`conf`	A Framework for Run-Time Behavioural Service Adaptation in Ubiquitous Computing. OTM Workshops Javier Cámara, Carlos Canal, Nikolay Vasilev
2010	—	`conf`	AVYTAT'10 - PC Co-chairs Message. OTM Workshops Javier Cámara, Howard Foster, Carlos E. Cuesta, Miguel Ángel Pérez-Toledano
2010	—	`ed.`	Proceedings International Workshop on Component and Service Interoperability, WCSI 2010, Málaga, Spain, 29th June 2010. WCSI Javier Cámara, Carlos Canal, Gwen Salaün
2010	—	`conf`	Semi-Automatic Specification of Behavioural Service Adaptation Contracts. FESCA@ETAPS Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel
2010	—	`conf`	Workshop on Autonomic and Self-Adaptive Systems (WASELF, 3ª ed.). JISBD Javier Cámara, Carlos E. Cuesta, Miguel Ángel Pérez-Toledano
2009	—	`conf`	Autonomic and SELF-adaptive Systems (WASELF, 2ª edición). JISBD Javier Cámara, Carlos E. Cuesta, Miguel Ángel Pérez-Toledano
2009	A	`conf`	Behavioural self-adaptation of services in ubiquitous computing environments. SEAMS Javier Cámara, Carlos Canal, Gwen Salaün
2009	J	`jnl`	Facilitating Controlled Tests of Website Design Changes Using Aspect-Oriented Software Development and Software Product Lines. Trans. Large Scale Data Knowl. Centered Syst. Javier Cámara, Alfred Kobsa
2009	B	`conf`	Facilitating Controlled Tests of Website Design Changes: A Systematic Approach. ICWE Javier Cámara, Alfred Kobsa
2009	A*	`conf`	ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. ICSE Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel
2009	—	`conf`	Interactive Specification and Verification of Behavioural Adaptation Contracts. QSIC Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni
2008	B	`conf`	Clint: A Composition Language Interpreter (Tool Paper). FASE Javier Cámara, Gwen Salaün, Carlos Canal
2008	J	`jnl`	Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. J. Univers. Comput. Sci. Javier Cámara, Gwen Salaün, Carlos Canal
2007	C	`conf`	Context-Based Adaptation of Component Behavioural Interfaces. COORDINATION Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel
2007	B	`conf`	Enabling ECSA Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo
2007	—	`conf`	Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. FACS Javier Cámara, Carlos Canal, Gwen Salaün
2007	B	`conf`	Run-time Composition and Adaptation of Mismatching Behavioural Transactions. SEFM Javier Cámara, Gwen Salaün, Carlos Canal
2006	—	`conf`	An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. RAM-SE Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo Rodríguez
2006	—	`conf`	An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. WCAT@ECOOP Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo
2006	—	`conf`	Dynamic Contextual Adaptation. FOCLASA Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel
2005	—	`conf`	Formalizing WSBPEL Business Processes Using Process Algebra. FOCLASA Javier Cámara, Carlos Canal, Javier Cubo, Antonio Vallecillo
2003	—	`conf`	Theorem Proving for Product Line Model Verification. PFE Mike Mannion, Javier Cámara