Javier Cámara

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 73

Top Venues

Publications

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)
Raquel Sanchez, Javier Troya, Javier Cámara
Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability Constraints. SEAMS@ICSE (2024)
Bruno Sousa, Duarte 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 (2024)
Enrique Vilchez, Javier Troya, Javier Cámara
Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire Tracking. SEAMS@ICSE (2024)
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) (2024)
Bradley R. Schmerl, Javier Cámara, Martina Maggio
Foreword: SEAMS 2022 Special Issue. ACM Trans. Auton. Adapt. Syst. 19 (1) (2024)
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)
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)
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) (2023)
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 (2023)
David Delgado, Lola Burgueño, Javier Cámara, Javier Troya
Towards an Extensible Architecture and Tool Support for Model-Based Verification. MoDELS (Companion) (2023)
Javier Cámara, Rebekka Wohlrab, David Garlan, Bradley R. Schmerl
ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction. J. Syst. Softw. 198 (2023)
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) (2023)
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 (2023)
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) (2023)
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) (2023)
Gricel Vázquez, Radu Calinescu, Javier Cámara
Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems. FMAS/ASYDE@SEFM (2022)
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) (2022)
Brendan Devlin-Hill, Radu Calinescu, Javier Cámara, Ipek Caliskanelli
Towards Scalable Multi-robot Systems by Partitioning the Task Domain. TAROS (2022)
Jordan Hamilton, Ioannis Stefanakos, Radu Calinescu, Javier Cámara
Towards Adaptive Planning of Assistive-care Robot Tasks. FMAS/ASYDE@SEFM (2022)
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)
Charilaos Skandylas, Narges Khakpour, Javier Cámara
Security Countermeasure Selection for Component-Based Software-Intensive Systems. QRS (2022)
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)
Kenneth Johnson, Javier Cámara, Roopak Sinha, Samaneh Madanian, Dave Parry
Towards Self-Adaptive Disaster Management Systems. ISCRAM (2021)
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)
Gricel Vázquez, Radu Calinescu, Javier Cámara
Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot Teams. TAROS (2021)
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)
Javier Cámara, Mariana Silva, David Garlan, Bradley R. Schmerl
Explaining Architectural Design Tradeoff Spaces: A Machine Learning Approach. ECSA (2021)
Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. ASE (2021)
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 (2020)
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)
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)
Javier Cámara, Henry Muccini, Karthik Vaidhyanathan
Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems. ICSA (2020)
Nianyu Li, Javier Cámara, David Garlan, Bradley R. Schmerl
Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems. ACSOS (2020)
Javier Cámara, Bradley R. Schmerl, David Garlan
Software architecture and task plan co-adaptation for mobile service robots. SEAMS@ICSE (2020)
Jason Mashinchi, Javier Cámara
Voyager: Software Architecture Trade-off Explorer. ECSA Companion (2020)
Javier Cámara
HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees. FormaliSE@ICSE (2020)
Nabor C. Mendonça, Carlos Mendes Aderaldo, Javier Cámara, David Garlan
Model-Based Analysis of Microservice Resiliency Patterns. ICSA (2020)
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 (2019)
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) (2019)
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)
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 (2019)
Radu Calinescu, Javier Cámara, Colin Paterson
Socio-cyber-physical systems: models, opportunities, open challenges. SEsCPS@ICSE (2019)
Javier Cámara, David Garlan, Bradley R. Schmerl
Synthesizing tradeoff spaces with quantitative guarantees for families of software systems. J. Syst. Softw. 152 (2019)
Javier Cámara, David Garlan, Greg Eakman
Building Long-Lived Adaptive Systems. IEEE Softw. 36 (2) (2019)
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) (2018)
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 (2018)
Gabriel A. Moreno, Javier Cámara, David Garlan, Mark Klein
Uncertainty reduction in self-adaptive systems. SEAMS@ICSE (2018)
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) (2018)
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)
Javier Cámara, Wenxin Peng, David Garlan, Bradley R. Schmerl
Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation. SEFM Workshops (2017)
Javier Cámara, David Garlan, Bradley R. Schmerl
Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems. ECSA (2017)
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)
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)
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) (2017)
Ashutosh Pandey, Ivan Ruchkin, Bradley R. Schmerl, Javier Cámara
Towards a Formal Framework for Hybrid Planning in Self-Adaptation. SEAMS@ICSE (2017)
Javier Cámara, Bashar Nuseibeh, David Garlan
Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 3 (1) (2017)
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)
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 (2016)
Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl
Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation. ICAC (2016)
Natallia Kokash, Javier Cámara
Special section on Foundations of Coordination Languages and Software Architectures. Sci. Comput. Program. (2016)
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) (2016)
Pedro Caldeira Neves, Bradley R. Schmerl, Javier Cámara, Jorge Bernardino
Big Data in Cloud Computing: Features and Issues. IoTBD (2016)
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 (2016)
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)
Ashutosh Pandey, Gabriel A. Moreno, Javier Cámara, David Garlan
Hybrid Planning for Decision Making in Self-Adaptive Systems. SASO (2016)
Bradley R. Schmerl, Jeffrey Gennari, Javier Cámara, David Garlan
Raindroid: a system for run-time mitigation of Android intent vulnerabilities [poster]. HotSoS (2016)
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)
Roykrong Sukkerd, Javier Cámara, David Garlan, Reid G. Simmons
Multiscale time abstractions for long-range planning under uncertainty. SEsCPS@ICSE (2016)
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)
Thomas J. Glazier, Javier Cámara, Bradley R. Schmerl, David Garlan
Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems. SASO Workshops (2015)
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)
Javier Cámara, Gabriel A. Moreno, David Garlan
Reasoning about Human Participation in Self-Adaptive Systems. SEAMS@ICSE (2015)
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) (2014)
Javier Cámara, Pedro Correia, Rogério de Lemos, Marco Vieira
Empirical resilience evaluation of an architecture-based self-adaptive software system. QoSA (2014)
Javier Cámara, Gabriel A. Moreno, David Garlan
Stochastic game analysis and latency awareness for proactive self-adaptation. SEAMS (2014)
Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira
Robustness evaluation of the rainbow framework for self-adaptation. SAC (2014)
Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel
Comparator: A Tool for Quantifying Behavioural Compatibility. FASE (2014)
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)
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)
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)
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)
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)
Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira
Robustness Evaluation of Controllers in Self-Adaptive Software Systems. LADC (2013)
Javier Cámara, Rogério de Lemos, Marco Vieira, Raquel Almeida, Rafael Ventura
Architecture-based resilience evaluation for self-adaptive systems. Computing 95 (8) (2013)
Carlos Canal, Javier Cámara, Gwen Salaün
Structural reconfiguration of systems under behavioral adaptation. Sci. Comput. Program. 78 (1) (2012)
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)
Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni
Interactive specification and verification of behavioral adaptation contracts. Inf. Softw. Technol. 54 (7) (2012)
Javier Cámara, Rogério de Lemos
Evaluation of resilience in self-adaptive systems using probabilistic model-checking. SEAMS (2012)
Javier Cámara, Antoine Girard, Gregor Gößler
Synthesis of switching controllers using approximately bisimilar multiscale abstractions. HSCC (2011)
Miguel Ángel Pérez Toledano, Carlos E. Cuesta, Renaud Pawlak, Javier Cámara
VADER 2011 PC Co-chairs' Message. OTM Workshops (2011)
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) (2011)
Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes
Workshop on assurances for self-adaptive systems (ASAS 2011). SIGSOFT FSE (2011)
Javier Cámara, Antoine Girard, Gregor Gößler
Safety controller synthesis for switched systems using multi-scale symbolic models. CDC/ECC (2011)
Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel
A Case Study in Model-Based Adaptation of Web Services. ISoLA (2) (2010)
Javier Cámara, Howard Foster, Carlos E. Cuesta, Miguel Ángel Pérez Toledano
AVYTAT'10 - PC Co-chairs Message. OTM Workshops (2010)
Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel
Semi-Automatic Specification of Behavioural Service Adaptation Contracts. Electron. Notes Theor. Comput. Sci. 264 (1) (2010)
Javier Cámara, Carlos E. Cuesta, Miguel Ángel Pérez Toledano
Workshop on Autonomic and Self-Adaptive Systems (WASELF, 3ª ed.). JISBD (2010)
Javier Cámara, Carlos Canal, Nikolay Vasilev
A Framework for Run-Time Behavioural Service Adaptation in Ubiquitous Computing. OTM Workshops (2010)
Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni
Interactive Specification and Verification of Behavioural Adaptation Contracts. QSIC (2009)

Javier Cámara.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Javier Cámara