Javier Cámara

Affiliations:
  • University of Málaga, Spain


According to our database1, Javier Cámara authored at least 110 papers between 2003 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Focusing on What Matters: Explaining Quality Tradeoffs in Software-Intensive Systems Via Dimensionality Reduction.
IEEE Softw., 2024

From Chats to Models: Assessing the Potential of LLMs in the World of Software Modeling.
ERCIM News, 2024

2023
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems.
ACM SIGSOFT Softw. Eng. Notes, October, 2023

CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots.
IEEE Robotics Autom. Lett., July, 2023

Explaining quality attribute tradeoffs in automated planning for self-adaptive systems.
J. Syst. Softw., April, 2023

ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction.
J. Syst. Softw., April, 2023

On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML.
Softw. Syst. Model., 2023

Learning by Redoing: An Experimental Study on the Impact of Repetition of Formative Assessments in a Formal Methods Course for Software Engineers.
IEEE Softw., 2023

Towards an Extensible Architecture and Tool Support for Model-Based Verification.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022
The uncertainty interaction problem in self-adaptive systems.
Softw. Syst. Model., 2022

Towards Adaptive Planning of Assistive-care Robot Tasks.
Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems.
Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

Towards Scalable Multi-robot Systems by Partitioning the Task Domain.
Proceedings of the Towards Autonomous Robotic Systems - 23rd Annual Conference, 2022

Security Countermeasure Selection for Component-Based Software-Intensive Systems.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

2021
Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot Teams.
Proceedings of the Towards Autonomous Robotic Systems - 22nd Annual Conference, 2021

A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems.
Proceedings of the Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2021

Hey! Preparing Humans to do Tasks in Self-adaptive Systems.
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Towards Self-Adaptive Disaster Management Systems.
Proceedings of the 18th International Conference on Information Systems for Crisis Response and Management, 2021

Message from the SAIP, NEMI, ECRF, Journal First, and Workshops Track Chairs.
Proceedings of the 18th IEEE International Conference on Software Architecture Companion, 2021

Explaining Architectural Design Tradeoff Spaces: A Machine Learning Approach.
Proceedings of the Software Architecture - 15th European Conference, 2021

2020
The 3rd Controlled Adaptation of Self-adaptive Systems (CASaS) (NII Shonan Meeting 153).
NII Shonan Meet. Rep., 2020

Software architecture and task plan co-adaptation for mobile service robots.
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

Towards bridging the gap between control and self-adaptive system properties.
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees.
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

Model-Based Analysis of Microservice Resiliency Patterns.
Proceedings of the 2020 IEEE International Conference on Software Architecture, 2020

Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems.
Proceedings of the 2020 IEEE International Conference on Software Architecture, 2020

Voyager: Software Architecture Trade-off Explorer.
Proceedings of the Software Architecture - 14th European Conference, 2020

Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

2019
Building Long-Lived Adaptive Systems.
IEEE Softw., 2019

Model-Based Adaptation for Robotics Software.
IEEE Softw., 2019

Synthesizing tradeoff spaces with quantitative guarantees for families of software systems.
J. Syst. Softw., 2019

Machine learning meets quantitative planning: enabling self-adaptation in autonomous robots.
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Socio-cyber-physical systems: models, opportunities, open challenges.
Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2019

2018
Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation.
ACM Trans. Auton. Adapt. Syst., 2018

Reasoning about sensing uncertainty and its reduction in decision-making for self-adaptation.
Sci. Comput. Program., 2018

MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs.
Autom. Softw. Eng., 2018

Uncertainty reduction in self-adaptive systems.
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

Generality vs. reusability in architecture-based self-adaptation: the case for self-adaptive microservices.
Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018

2017
Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems.
IEEE Trans. Dependable Secur. Comput., 2017

Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.
Dagstuhl Artifacts Ser., 2017

Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation.
Proceedings of the Software Engineering and Formal Methods, 2017

Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks.
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Towards a Formal Framework for Hybrid Planning in Self-Adaptation.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

Comparing Model-Based Predictive Approaches to Self-Adaptation: CobRA and PLA.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems.
Proceedings of the Software Architecture - 11th European Conference, 2017

Model-based Cluster Analysis for Identifying Suspicious Activity Sequences in Software.
Proceedings of the 3rd ACM on International Workshop on Security And Privacy Analytics, 2017


Self-aware Computing Systems: Related Concepts and Research Areas.
Proceedings of the Self-Aware Computing Systems., 2017


Self-aware Computing Systems: Open Challenges and Future Research Directions.
Proceedings of the Self-Aware Computing Systems., 2017

2016
Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations.
ACM Trans. Auton. Adapt. Syst., 2016

Special section on Foundations of Coordination Languages and Software Architectures.
Sci. Comput. Program., 2016

Adaptation impact and environment models for architecture-based self-adaptive systems.
Sci. Comput. Program., 2016

Incorporating architecture-based self-adaptation into an adaptive industrial software system.
J. Syst. Softw., 2016

Hybrid Planning for Decision Making in Self-Adaptive Systems.
Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2016

Big Data in Cloud Computing: Features and Issues.
Proceedings of the International Conference on Internet of Things and Big Data, 2016

Multiscale time abstractions for long-range planning under uncertainty.
Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2016

Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation.
Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

Raindroid: a system for run-time mitigation of Android intent vulnerabilities [poster].
Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

A model-based approach to anomaly detection in software architectures.
Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

Architecture Modeling and Analysis of Security in Android Systems.
Proceedings of the Software Architecture - 10th European Conference, 2016

2015
Proactive self-adaptation under uncertainty: a probabilistic model checking approach.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems.
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Optimal planning for architecture-based self-adaptation via model checking of stochastic games.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Reasoning about Human Participation in Self-Adaptive Systems.
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

2014
Testing the robustness of controllers for self-adaptive systems.
J. Braz. Comput. Soc., 2014

Robustness evaluation of the rainbow framework for self-adaptation.
Proceedings of the Symposium on Applied Computing, 2014

Empirical resilience evaluation of an architecture-based self-adaptive software system.
Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

Stochastic game analysis and latency awareness for proactive self-adaptation.
Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

Architecture-based self-protection: composing and reasoning about denial-of-service mitigations.
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

Comparator: A Tool for Quantifying Behavioural Compatibility.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

Impact Models for Architecture-Based Self-adaptive Systems.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013
Architecture-based resilience evaluation for self-adaptive systems.
Computing, 2013

Robustness Evaluation of Controllers in Self-Adaptive Software Systems.
Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

Evolving an adaptive industrial software system to use architecture-based self-adaptation.
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013

Perpetual Assurances for Self-Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013


Analyzing Self-Adaptation Via Model Checking of Stochastic Games.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

2012
Structural reconfiguration of systems under behavioral adaptation.
Sci. Comput. Program., 2012

Interactive specification and verification of behavioral adaptation contracts.
Inf. Softw. Technol., 2012

Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems.
Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

Evaluation of resilience in self-adaptive systems using probabilistic model-checking.
Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

2011
Editors' Introduction to the Special Issue on Autonomic and Self-Adaptive Systems.
Informatica (Slovenia), 2011

Workshop on assurances for self-adaptive systems (ASAS 2011).
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

VADER 2011 PC Co-chairs' Message.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011 Workshops, 2011

Synthesis of switching controllers using approximately bisimilar multiscale abstractions.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Safety controller synthesis for switched systems using multi-scale symbolic models.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
Semi-Automatic Specification of Behavioural Service Adaptation Contracts.
Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2010

AVYTAT'10 - PC Co-chairs Message.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010

A Framework for Run-Time Behavioural Service Adaptation in Ubiquitous Computing.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010

Workshop on Autonomic and Self-Adaptive Systems (WASELF, 3ª ed.).
Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

A Case Study in Model-Based Adaptation of Web Services.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
Facilitating Controlled Tests of Website Design Changes Using Aspect-Oriented Software Development and Software Product Lines.
Trans. Large Scale Data Knowl. Centered Syst., 2009

Interactive Specification and Verification of Behavioural Adaptation Contracts.
Proceedings of the Ninth International Conference on Quality Software, 2009

Autonomic and SELF-adaptive Systems (WASELF, 2ª edición).
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Facilitating Controlled Tests of Website Design Changes: A Systematic Approach.
Proceedings of the Web Engineering, 9th International Conference, 2009

ITACA: An integrated toolbox for the automatic composition and adaptation of Web services.
Proceedings of the 31st International Conference on Software Engineering, 2009

Behavioural self-adaptation of services in ubiquitous computing environments.
Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009

2008
Composition and Run-time Adaptation of Mismatching Behavioural Interfaces.
J. Univers. Comput. Sci., 2008

Clint: A Composition Language Interpreter (Tool Paper).
Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems.
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007

Run-time Composition and Adaptation of Mismatching Behavioural Transactions.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Enabling <i>Adaptivity</i> in User Interfaces.
Proceedings of the Software Architecture, First European Conference, 2007

Context-Based Adaptation of Component Behavioural Interfaces.
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2006
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution.
Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, 2006

Dynamic Contextual Adaptation.
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006

2005
Formalizing WSBPEL Business Processes Using Process Algebra.
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

2003
Theorem Proving for Product Line Model Verification.
Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003


  Loading...