


default search action
Javier Cámara 0001
Javier Cámara Moreno
Person information
- affiliation: University of Málaga, Spain
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j32]Carlos M. Aderaldo, Thiago M. Costa, Davi M. Vasconcelos, Nabor C. Mendonça
, Javier Cámara, David Garlan:
A declarative approach and benchmark tool for controlled evaluation of microservice resiliency patterns. Softw. Pract. Exp. 55(1): 170-192 (2025) - 2024
- [j31]Bruno Sousa
, Duarte M. Dias
, Nuno Antunes, Javier Cámara, Ryan Wagner, Bradley R. Schmerl, David Garlan, Pedro Fidalgo:
MONDEO-Tactics5G: Multistage botnet detection and tactics for 5G/6G networks. Comput. Secur. 140: 103768 (2024) - [j30]Javier Cámara
, Rebekka Wohlrab
, David Garlan
, Bradley R. Schmerl:
Focusing on What Matters: Explaining Quality Tradeoffs in Software-Intensive Systems Via Dimensionality Reduction. IEEE Softw. 41(1): 64-73 (2024) - [j29]Javier Cámara
, Javier Troya
, Julio Montes-Torres
, Francisco J. Jaime
:
Generative AI in the Software Modeling Classroom: An Experience Report With ChatGPT and Unified Modeling Language. IEEE Softw. 41(6): 73-81 (2024) - [j28]Javier Cámara, Lola Burgueño, Javier Troya:
Towards standarized benchmarks of LLMs in software modeling tasks: a conceptual framework. Softw. Syst. Model. 23(6): 1309-1318 (2024) - [j27]Bradley R. Schmerl
, Javier Cámara
, Martina Maggio
:
Foreword: SEAMS 2022 Special Issue. ACM Trans. Auton. Adapt. Syst. 19(1): 1:1-1:3 (2024) - [c84]Qi Zhang, Ioannis Stefanakos, Javier Cámara, Radu Calinescu:
Safety-Aware Adaptive Reinforcement Learning for Mobile Assistive-Care Robots. ACSOS-C 2024: 115-120 - [c83]David Garlan, Bradley R. Schmerl, Rebekka Wohlrab, Javier Cámara:
Challenges in Creating Effective Automated Design Environments: An experience report from the domain of generative manufacturing. Designing@ICSE 2024: 15-20 - [c82]Raquel Sanchez
, Javier Troya
, Javier Cámara
:
Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability Constraints. SEAMS@ICSE 2024: 14-24 - [c81]Javier Cámara
, Sebastian Hahner
, Diego Perez-Palacin
, Antonio Vallecillo
, Maribel Acosta
, Nelly Bencomo
, Radu Calinescu
, Simos Gerasimou
:
Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems. SEAMS@ICSE 2024: 37-43 - [c80]Enrique Vilchez
, Javier Troya
, Javier Cámara
:
Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire Tracking. SEAMS@ICSE 2024: 56-62 - [c79]Enrique Vilchez
, Javier Troya
, Javier Cámara
:
Wildfire-UAVSim: An Exemplar for Evaluation of Adaptive Cyber-Physical Systems in Partially-Observable Environments. SEAMS@ICSE 2024: 63-69 - [e8]Javier Cámara
, Sung-Shik Jongmans
:
Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14485, Springer 2024, ISBN 978-3-031-52182-9 [contents] - [i6]Javier Cámara, Javier Troya, Lola Burgueño:
From Chats to Models: Assessing the Potential of LLMs in the World of Software Modeling. ERCIM News 2024(136) (2024) - 2023
- [j26]Rebekka Wohlrab
, Javier Cámara
, David Garlan, Bradley R. Schmerl
:
Explaining quality attribute tradeoffs in automated planning for self-adaptive systems. J. Syst. Softw. 198: 111538 (2023) - [j25]Javier Cámara
, Rebekka Wohlrab
, David Garlan, Bradley R. Schmerl:
ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction. J. Syst. Softw. 198: 111578 (2023) - [j24]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:
CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots. IEEE Robotics Autom. Lett. 8(7): 4115-4122 (2023) - [j23]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:
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. ACM SIGSOFT Softw. Eng. Notes 48(4): 20-36 (2023) - [j22]Javier Cámara
, David Garlan
:
Learning by Redoing: An Experimental Study on the Impact of Repetition of Formative Assessments in a Formal Methods Course for Software Engineers. IEEE Softw. 40(6): 95-101 (2023) - [j21]Javier Cámara
, Javier Troya
, Lola Burgueño
, Antonio Vallecillo
:
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML. Softw. Syst. Model. 22(3): 781-793 (2023) - [c78]David Delgado, Lola Burgueño, Javier Cámara, Javier Troya:
Towards an Extensible Architecture and Tool Support for Model-Based Verification. MoDELS (Companion) 2023: 806-810 - [i5]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:
CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots. CoRR abs/2301.07690 (2023) - 2022
- [j20]Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu
, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl:
The uncertainty interaction problem in self-adaptive systems. Softw. Syst. Model. 21(4): 1277-1294 (2022) - [c77]Javier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo:
Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. MoDELS 2022: 24-30 - [c76]Charilaos Skandylas, Narges Khakpour
, Javier Cámara:
Security Countermeasure Selection for Component-Based Software-Intensive Systems. QRS 2022: 63-72 - [c75]Brendan Devlin-Hill
, Radu Calinescu
, Javier Cámara
, Ipek Caliskanelli
:
Towards Scalable Multi-robot Systems by Partitioning the Task Domain. TAROS 2022: 282-292 - [c74]Gricel Vázquez, Radu Calinescu, Javier Cámara:
Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems. FMAS/ASYDE@SEFM 2022: 156-174 - [c73]Jordan Hamilton, Ioannis Stefanakos
, Radu Calinescu, Javier Cámara:
Towards Adaptive Planning of Assistive-care Robot Tasks. FMAS/ASYDE@SEFM 2022: 175-183 - [e7]Bradley R. Schmerl, Martina Maggio, Javier Cámara:
International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2022, Pittsburgh, PA, USA, May 22-24, 2022. ACM/IEEE 2022, ISBN 978-1-4503-9305-8 [contents] - 2021
- [c72]Javier Cámara
, Mariana Silva, David Garlan
, Bradley R. Schmerl
:
Explaining Architectural Design Tradeoff Spaces: A Machine Learning Approach. ECSA 2021: 49-65 - [c71]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:
Message from the SAIP, NEMI, ECRF, Journal First, and Workshops Track Chairs. ICSA Companion 2021: 10-11 - [c70]Kenneth Johnson, Javier Cámara, Roopak Sinha, Samaneh Madanian, Dave Parry:
Towards Self-Adaptive Disaster Management Systems. ISCRAM 2021: 49-61 - [c69]Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari
, Faisal Alhwikem, Xinwei Fang:
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. ASE 2021: 842-853 - [c68]Nianyu Li, Javier Cámara, David Garlan, Bradley R. Schmerl, Zhi Jin:
Hey! Preparing Humans to do Tasks in Self-adaptive Systems. SEAMS@ICSE 2021: 48-58 - [c67]Maria Casimiro, David Garlan, Javier Cámara, Luís Rodrigues, Paolo Romano:
A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems. SEFM Workshops 2021: 317-332 - [c66]Gricel Vázquez, Radu Calinescu, Javier Cámara:
Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot Teams. TAROS 2021: 354-359 - 2020
- [c65]Nianyu Li, Javier Cámara, David Garlan, Bradley R. Schmerl:
Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems. ACSOS 2020: 195-204 - [c64]Jason Mashinchi, Javier Cámara:
Voyager: Software Architecture Trade-off Explorer. ECSA Companion 2020: 55-67 - [c63]Javier Cámara, Henry Muccini
, Karthik Vaidhyanathan
:
Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems. ICSA 2020: 11-22 - [c62]Nabor C. Mendonça, Carlos Mendes Aderaldo, Javier Cámara, David Garlan:
Model-Based Analysis of Microservice Resiliency Patterns. ICSA 2020: 114-124 - [c61]Javier Cámara:
HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees. FormaliSE@ICSE 2020: 22-33 - [c60]Javier Cámara, Alessandro Vittorio Papadopoulos
, Thomas Vogel
, Danny Weyns
, David Garlan, Shihong Huang, Kenji Tei:
Towards bridging the gap between control and self-adaptive system properties. SEAMS@ICSE 2020: 78-84 - [c59]Javier Cámara, Bradley R. Schmerl, David Garlan:
Software architecture and task plan co-adaptation for mobile service robots. SEAMS@ICSE 2020: 125-136 - [e6]Henry Muccini
, Paris Avgeriou
, Barbora Buhnova
, Javier Cámara
, Mauro Caporuscio
, Mirco Franzago
, Anne Koziolek
, Patrizia Scandurra
, Catia Trubiani
, Danny Weyns
, Uwe Zdun
:
Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings. Communications in Computer and Information Science 1269, Springer 2020, ISBN 978-3-030-59154-0 [contents] - [e5]Javier Cámara, Martin Steffen:
Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12226, Springer 2020, ISBN 978-3-030-57505-2 [contents] - [i4]Javier Cámara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei:
Towards Bridging the Gap between Control and Self-Adaptive System Properties. CoRR abs/2004.11846 (2020) - [i3]Kenji Tei, Nir Piterman, Javier Cámara:
The 3rd Controlled Adaptation of Self-adaptive Systems (CASaS) (NII Shonan Meeting 153). NII Shonan Meet. Rep. 2020 (2020)
2010 – 2019
- 2019
- [j19]Javier Cámara
, David Garlan, Bradley R. Schmerl:
Synthesizing tradeoff spaces with quantitative guarantees for families of software systems. J. Syst. Softw. 152: 33-49 (2019) - [j18]Javier Cámara
, David Garlan, Greg Eakman:
Building Long-Lived Adaptive Systems. IEEE Softw. 36(2): 70-72 (2019) - [j17]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
:
Model-Based Adaptation for Robotics Software. IEEE Softw. 36(2): 83-90 (2019) - [c58]Radu Calinescu, Javier Cámara, Colin Paterson:
Socio-cyber-physical systems: models, opportunities, open challenges. SEsCPS@ICSE 2019: 2-6 - [c57]Pooyan Jamshidi
, Javier Cámara, Bradley R. Schmerl, Christian Kästner, David Garlan:
Machine learning meets quantitative planning: enabling self-adaptation in autonomous robots. SEAMS@ICSE 2019: 39-50 - [i2]Pooyan Jamshidi, Javier Cámara, Bradley R. Schmerl, Christian Kästner, David Garlan:
Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots. CoRR abs/1903.03920 (2019) - [i1]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:
Perpetual Assurances for Self-Adaptive Systems. CoRR abs/1903.04771 (2019) - 2018
- [j16]Javier Cámara, Bradley R. Schmerl, Gabriel A. Moreno, David Garlan:
MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs. Autom. Softw. Eng. 25(3): 595-626 (2018) - [j15]Javier Cámara
, Wenxin Peng, David Garlan, Bradley R. Schmerl:
Reasoning about sensing uncertainty and its reduction in decision-making for self-adaptation. Sci. Comput. Program. 167: 51-69 (2018) - [j14]Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl:
Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation. ACM Trans. Auton. Adapt. Syst. 13(1): 3:1-3:36 (2018) - [c56]Nabor C. Mendonça, David Garlan, Bradley R. Schmerl, Javier Cámara:
Generality vs. reusability in architecture-based self-adaptation: the case for self-adaptive microservices. ECSA (Companion) 2018: 18:1-18:6 - [c55]Gabriel A. Moreno, Javier Cámara, David Garlan, Mark Klein:
Uncertainty reduction in self-adaptive systems. SEAMS@ICSE 2018: 51-57 - 2017
- [j13]Javier Cámara, Bashar Nuseibeh, David Garlan:
Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 3(1): 00:-1-00:-12 (2017) - [j12]Javier Cámara, Rogério de Lemos, Nuno Laranjeiro
, Rafael Ventura, Marco Vieira
:
Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems. IEEE Trans. Dependable Secur. Comput. 14(1): 50-64 (2017) - [c54]Hemank Lamba, Thomas J. Glazier, Javier Cámara, Bradley R. Schmerl, David Garlan, Jürgen Pfeffer:
Model-based Cluster Analysis for Identifying Suspicious Activity Sequences in Software. IWSPA@CODASPY 2017: 17-22 - [c53]Javier Cámara, David Garlan, Bradley R. Schmerl:
Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems. ECSA 2017: 3-21 - [c52]Gabriel A. Moreno, Alessandro Vittorio Papadopoulos
, Konstantinos Angelopoulos, Javier Cámara, Bradley R. Schmerl:
Comparing Model-Based Predictive Approaches to Self-Adaptation: CobRA and PLA. SEAMS@ICSE 2017: 42-53 - [c51]Ashutosh Pandey, Ivan Ruchkin
, Bradley R. Schmerl, Javier Cámara:
Towards a Formal Framework for Hybrid Planning in Self-Adaptation. SEAMS@ICSE 2017: 109-115 - [c50]Gautham Nayak Seetanadi, Javier Cámara, Luís Almeida
, Karl-Erik Årzén, Martina Maggio:
Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks. RTSS 2017: 243-254 - [c49]Javier Cámara, Wenxin Peng, David Garlan, Bradley R. Schmerl:
Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation. SEFM Workshops 2017: 523-540 - [p4]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:
The Notion of Self-aware Computing. Self-Aware Computing Systems 2017: 3-16 - [p3]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
:
Self-aware Computing Systems: Related Concepts and Research Areas. Self-Aware Computing Systems 2017: 17-49 - [p2]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
:
Synthesis and Verification of Self-aware Computing Systems. Self-Aware Computing Systems 2017: 337-373 - [p1]Robert Birke, Javier Cámara, Lydia Y. Chen, Lukas Esterle, Kurt Geihs
, Erol Gelenbe, Holger Giese, Anders Robertsson, Xiaoyun Zhu:
Self-aware Computing Systems: Open Challenges and Future Research Directions. Self-Aware Computing Systems 2017: 709-722 - 2016
- [j11]Javier Cámara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley R. Schmerl, Rafael Ventura:
Incorporating architecture-based self-adaptation into an adaptive industrial software system. J. Syst. Softw. 122: 507-523 (2016) - [j10]Natallia Kokash
, Javier Cámara:
Special section on Foundations of Coordination Languages and Software Architectures. Sci. Comput. Program. 115-116: 147-148 (2016) - [j9]Javier Cámara, Antónia Lopes
, David Garlan, Bradley R. Schmerl:
Adaptation impact and environment models for architecture-based self-adaptive systems. Sci. Comput. Program. 127: 50-75 (2016) - [j8]Javier Cámara, Gabriel A. Moreno, David Garlan, Bradley R. Schmerl:
Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations. ACM Trans. Auton. Adapt. Syst. 10(4): 23:1-23:28 (2016) - [c48]Bradley R. Schmerl, Jeff Gennari, Alireza Sadeghi, Hamid Bagheri, Sam Malek, Javier Cámara, David Garlan:
Architecture Modeling and Analysis of Security in Android Systems. ECSA 2016: 274-290 - [c47]Hemank Lamba, Thomas J. Glazier, Bradley R. Schmerl, Javier Cámara, David Garlan, Jürgen Pfeffer:
A model-based approach to anomaly detection in software architectures. HotSoS 2016: 69-71 - [c46]Bradley R. Schmerl, Jeffrey Gennari, Javier Cámara, David Garlan:
Raindroid: a system for run-time mitigation of Android intent vulnerabilities [poster]. HotSoS 2016: 115-117 - [c45]Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl:
Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation. ICAC 2016: 147-156 - [c44]Roykrong Sukkerd, Javier Cámara, David Garlan, Reid G. Simmons:
Multiscale time abstractions for long-range planning under uncertainty. SEsCPS@ICSE 2016: 15-21 - [c43]Pedro Caldeira Neves, Bradley R. Schmerl, Javier Cámara, Jorge Bernardino
:
Big Data in Cloud Computing: Features and Issues. IoTBD 2016: 307-314 - [c42]Ashutosh Pandey, Gabriel A. Moreno, Javier Cámara, David Garlan:
Hybrid Planning for Decision Making in Self-Adaptive Systems. SASO 2016: 130-139 - 2015
- [c41]Javier Cámara, Gabriel A. Moreno, David Garlan:
Reasoning about Human Participation in Self-Adaptive Systems. SEAMS@ICSE 2015: 146-156 - [c40]Javier Cámara, David Garlan, Bradley R. Schmerl, Ashutosh Pandey:
Optimal planning for architecture-based self-adaptation via model checking of stochastic games. SAC 2015: 428-435 - [c39]Thomas J. Glazier, Javier Cámara, Bradley R. Schmerl, David Garlan:
Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems. SASO Workshops 2015: 55-60 - [c38]Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl:
Proactive self-adaptation under uncertainty: a probabilistic model checking approach. ESEC/SIGSOFT FSE 2015: 1-12 - [e4]Javier Cámara, José Proença
:
Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014. EPTCS 175, 2015 [contents] - 2014
- [j7]Javier Cámara, Rogério de Lemos, Nuno Laranjeiro
, Rafael Ventura, Marco Vieira
:
Testing the robustness of controllers for self-adaptive systems. J. Braz. Comput. Soc. 20(1): 1:1-1:14 (2014) - [c37]Javier Cámara Moreno, Antónia Lopes
, David Garlan, Bradley R. Schmerl:
Impact Models for Architecture-Based Self-adaptive Systems. FACS 2014: 89-107 - [c36]Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel
:
Comparator: A Tool for Quantifying Behavioural Compatibility. FASE 2014: 306-309 - [c35]Bradley R. Schmerl, Javier Cámara, Jeffrey Gennari, David Garlan, Paulo Casanova, Gabriel A. Moreno, Thomas J. Glazier, Jeffrey M. Barnes:
Architecture-based self-protection: composing and reasoning about denial-of-service mitigations. HotSoS 2014: 2 - [c34]Javier Cámara, Gabriel A. Moreno, David Garlan:
Stochastic game analysis and latency awareness for proactive self-adaptation. SEAMS 2014: 155-164 - [c33]Javier Cámara, Pedro Correia, Rogério de Lemos, Marco Vieira
:
Empirical resilience evaluation of an architecture-based self-adaptive software system. QoSA 2014: 63-72 - [c32]Javier Cámara, Rogério de Lemos, Nuno Laranjeiro
, Rafael Ventura, Marco Vieira
:
Robustness evaluation of the rainbow framework for self-adaptation. SAC 2014: 376-383 - 2013
- [j6]Javier Cámara, Rogério de Lemos
, Marco Vieira
, Raquel Almeida
, Rafael Ventura:
Architecture-based resilience evaluation for self-adaptive systems. Computing 95(8): 689-722 (2013) - [c31]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:
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems 2013: 3-30 - [c30]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:
Perpetual Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2013: 31-63 - [c29]Javier Cámara, David Garlan, Gabriel A. Moreno, Bradley R. Schmerl:
Analyzing Self-Adaptation Via Model Checking of Stochastic Games. Software Engineering for Self-Adaptive Systems 2013: 154-187 - [c28]Javier Cámara, Pedro Correia, Rogério de Lemos
, David Garlan, Pedro Gomes, Bradley R. Schmerl, Rafael Ventura:
Evolving an adaptive industrial software system to use architecture-based self-adaptation. SEAMS 2013: 13-22 - [c27]Javier Cámara, Rogério de Lemos
, Nuno Laranjeiro
, Rafael Ventura, Marco Vieira
:
Robustness Evaluation of Controllers in Self-Adaptive Software Systems. LADC 2013: 1-10 - [e3]Javier Cámara, Rogério de Lemos
, Carlo Ghezzi, Antónia Lopes
:
Assurances for Self-Adaptive Systems - Principles, Models, and Techniques. Lecture Notes in Computer Science 7740, Springer 2013, ISBN 978-3-642-36248-4 [contents] - 2012
- [j5]Javier Cámara, Gwen Salaün, Carlos Canal
, Meriem Ouederni:
Interactive specification and verification of behavioral adaptation contracts. Inf. Softw. Technol. 54(7): 701-723 (2012) - [j4]Carlos Canal
, Javier Cámara, Gwen Salaün:
Structural reconfiguration of systems under behavioral adaptation. Sci. Comput. Program. 78(1): 46-64 (2012) - [c26]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:
Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems. S-Cube@ICSE 2012: 40-46 - [c25]Javier Cámara, Rogério de Lemos
:
Evaluation of resilience in self-adaptive systems using probabilistic model-checking. SEAMS 2012: 53-62 - 2011
- [j3]Javier Cámara, Carlos E. Cuesta, Miguel Ángel Pérez Toledano:
Editors' Introduction to the Special Issue on Autonomic and Self-Adaptive Systems. Informatica (Slovenia) 35(1): 1-2 (2011) - [c24]