Javier Camara -

Registered user since Tue 19 Sep 2017

Name:Javier Camara

Country:Spain

Affiliation:University of Málaga

Personal website:http://www.javicamara.com

Research interests:Self-adaptation, applied formal methods, software architecture

Contributions

ECSA 2023	Committee Member in Program Committee within the Workshops/Tutorials-track
SEAMS 2023	Committee Member in Program Committee within the Research Track-track
MODELS 2022	Author of Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata within the Technical Track-track
ECSA 2022	Committee Member in Program Committee within the Workshops/Tutorials-track Committee Member in Program Committee within the Tools & Demos-track Committee Member in Program Committee within the Research Papers-track
SEAMS 2022	Program Co-Chair in Organizing Committee within the SEAMS 2022-track Session Chair of Keynote #2 (part of SEAMS 2022) Steering Committee Member in Steering Committee within the SEAMS 2022-track
ASE 2021	Author of Evolutionary-Guided Synthesis of Verified Pareto Optimal Policies within the Research Papers-track
ECSA 2021	Session Chair of Session 1: Architectures for reconfigurable and self-adaptive systems (part of Research Papers) Author of Explaining Architectural Tradeoff Spaces: a Machine Learning Approach within the Research Papers-track Ordinary PC member in Program Committee within the Research Papers-track
SEAMS 2021	Committee Member in Program Committee within the SEAMS 2021-track Author of Hey! Preparing Humans to do Tasks in Self-adaptive Systems within the SEAMS 2021-track Committee Member in Steering Committee within the SEAMS 2021-track
ECSA 2020	Co-chair in Program Committee within the Gender Diversity in SA-track Session Chair of Gender Diversity Keynote (part of Keynotes) Committee Member in Program Committee within the Research Papers-track Gender Diversity in SA Co-Chair in Organizing Committee Author of Voyager: Software Architecture Trade-off Explorer within the Tool Demos-track Session Chair of S1: Microservices (part of Paper Presentations)
ACSOS 2020	Author of Reasoning about When to Provide Explanation for Human-in-the-loop Self-Adaptive Systems within the Research Papers-track
SEAMS 2020	Committee Member in Program Committee within the SEAMS 2020-track Author of Towards Bridging the Gap between Control and Self-Adaptive System Properties within the SEAMS 2020-track Session Chair of Session 5: Design, Verification & Explainability (part of SEAMS 2020) Author of Software Architecture and Task Plan Co-Adaptation for Mobile Service Robots within the SEAMS 2020-track
FormaliSE 2020	Author of HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees within the FormaliSE 2020-track
SEAMS 2019	Program Committee in Program Committee within the SEAMS 2019-track Author of Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots within the SEAMS 2019-track Publicity Co-Chair in Organizing Committee within the SEAMS 2019-track
SEAMS 2018	Committee Member in Doctoral Projects Program Committee within the SEAMS 2018-track Committee Member in Artifact Evaluation Committee within the SEAMS 2018-track Committee Member in Program Committee within the SEAMS 2018-track Author of Uncertainty Reduction in Self-Adaptive Systems within the SEAMS 2018-track