I am a Lecturer (Assistant Professor) at the Department of Computer Science, University of York (UK). I graduated from the University of Granada (Spain) in 2003 and worked for two years as a software engineer before starting graduate school. After receiving my Ph.D. in Computer Science from the University of Málaga (Spain, 2009), I worked as a postdoctoral researcher at INRIA Rhône-Alpes (France, 2010), the University of Coimbra (Portugal, 2011-2013), and Carnegie Mellon University (USA, 2013-2015), where I became part of the core faculty of the School of Computer Science (Systems Scientist) in 2015 and was promoted to Senior Systems Scientist in 2018.
Complex software-intensive systems are increasingly relied upon in our society to support tasks in multiple areas (e.g., manufacturing, entertainment, communications, healthcare, transportation). At the same time, these systems are also progressively affected by higher degrees of variability and uncertainties that can be introduced by run-time changes related to the lack of control over third-party system components (e.g., residing in the cloud), humans in the loop, as well as complex interactions between software and physical elements in cyber-physical systems, to name a few examples.
My research lies in the intersection of formal methods and software engineering, with a particular interest in the areas of software engineering for self-adaptive systems and software architecture. In recent years, I have devised techniques that combine lightweight formal methods and quantitative verification (probabilistic model checking) to analyze complex software-intensive systems subject to different forms of uncertainty, with applications to areas that include complex IT systems, security, and robotics.
One of the main areas in which I explore the application of these techniques is the provision of assurances for self-adaptive systems.
I also have research interests in related areas that include control theory, cyber-physical and real-time systems, as well as self-aware computing systems. I carry out my research activities in the context of the ABLE group, at the Institute for Software Research.
During the academic years 2013-2017, I have co-instructed with David Garlan Models of Software Systems (17-651) at Carnegie Mellon University's Master of Software Engineering (MSE). This course exposes students to abstract models and logics that over time have proven important in the study of software systems and includes topics like state machines, process algebras, concurrency, and temporal logics, among others.
Javier Cámara, Bradley Schmerl, Gabriel A. Moreno and David Garlan. MOSAICO: Offline Synthesis of Adaptation Strategy Repertoires with Flexible Trade-Offs. In Journal of Automated Software Engineering. Springer, 2018.
Javier Cámara, David Garlan, Bradley Schmerl. Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems. In 11th European Conference on Software Architecture (ECSA 2017). Pages 3-21, 2017. Best Paper Award.
Gautham Nayak Seetanandi, Javier Cámara, Luis Almeida, Karl-Erik Årzén and Martina Maggio. Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks. In IEEE Real-Time Systems Symposium (RTSS 2017).
Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura and Marco Vieira. Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems. In IEEE Transactions on Dependable and Secure Computing, 2017.
[Electronic Edition] [Author Copy]
Javier Cámara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley Schmerl and Rafael Ventura. Incorporating Architecture-Based Self-Adaptation into an Adaptive Industrial Software System . In Journal of Systems and Software, 122: 507-523, 2016. [Electronic Edition] [Author Copy]
Javier Cámara, Gabriel A. Moreno, David Garlan and Bradley Schmerl. Analyzing Latency-aware Self-adaptation using Stochastic Games and Simulations. In ACM Transactions on Autonomous and Adaptive Systems, 10(4):23. 2016.
[Electronic Edition] [Author Copy]
Gabriel A. Moreno, Javier Cámara, David Garlan and Bradley Schmerl. Proactive Self-Adaptation under Uncertainty: a Probabilistic Model Checking Approach. 2015. 10th Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015). Pages 1-12, 2015.
Javier Cámara, Gabriel A. Moreno and David Garlan. Reasoning about Human Participation in Self-Adaptive Systems. In Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2015).
Javier Cámara, Pedro Correia, Rogério de Lemos, Marco Vieira: Empirical Resilience Evaluation of an Architecture-based Self-Adaptive Software System. Proceedings of the 10th International ACM SIGSOFT Conference on the Quality of Software Architectures (QoSA 2014). Pages 63-72. ACM, 2014. ACM SIGSOFT Distinguished Paper Award.
Please consider submitting your contributions to the following:
- IEEE Software Theme Issue: Building Long-Lived Adaptive Systems.
- IET Cyber-Physical Systems: Theory and Applications. Special Issue on Verification and Validation of CPS.
Recent and upcoming scientific events I am involved in:
- Coordination 2019 (PC member). 21st International Conference on Coordination Models and Languages.
- SEAMS 2019 (PC member and Publicity Co-chair). 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.
- ECSA 2018 (PC member). 12th European Conference on Software Architecture.
- SEAMS 2018 (PC member and Doctoral Projects PC member). 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.
- DSN 2018 (PC member). 48th IEEE/IFIP International Conference on Dependable Systems and Networks.
- EDCC 2018 (PC member). 14th European Dependable Computing Conference.
- RoSE 2018 First International Workshop on Robotics Software Engineering
- FOCLASA 2018 (PC member). 16th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems.
- STaR 2018 Workshop on Designing Resilient Intelligent Systems for Testability and Reliability.