I am a Systems Scientist in the School of Computer Science at Carnegie Mellon University. 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 Malaga (Spain) in 2009, I worked as a postdoctoral researcher at INRIA Rhône-Alpes (France). Before joining CMU in 2013, I also worked as a postdoctoral researcher at CISUC, the Center for Informatics and Systems of the University of Coimbra (Portugal).
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-adaptative systems. Self-adaptation is regarded as one of the most promising ways to engineer, in a cost-effective manner, systems that are resilient to run-time changes in their environment (e.g., resource availability), goals, or even in the system itself (e.g., faults).
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.
Since 2013, I have co-instructed with David Garlan Models of Software Systems (17-651) at the 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, 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). To appear.
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.
Recent and upcoming scientific events I am involved in:
- SEAMS 2018 (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.
- SEAMS 2017 (Artifact track chair, PC member). 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.
- ICSE 2017 (Demo track PC member). 39th International Conference on Software Engineering.
- ESEC/FSE 2017 (Artifact track PC member). 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering.
- EDCC 2017 (PC member). 13th European Dependable Computing Conference.
- FACS 2017 (PC member). 14th International Conference on Formal Aspects of Component Software.
- SeAC 2017 (PC member). 2017 Workshop on Self-Aware Computing.
- AHPC 2017 (PC member). International Workshop on Autonomic High Performance Computing 2017.
- RADIANCE 2017 (PC member). 2017 International Workshop on Recent Advances in the Dependability Assessment of Complex Systems.
- FOCLASA 2017 (PC member). 15th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems.