Publications
- J. Refereed journal papers
- C. Refereed conference papers
- B. Book chapters
- W. Refereed workshop papers
- O. Other publications
- BE. Books edited
- JE. Journals edited
- PE. Proceedings volumes edited
Alternatively, you may consult my (partial) list of publications through:
J27. Javier Cámara. Exploring the Interaction of Design Variability and Stochastic Operational Uncertainties in Software-Intensive Systems through the Lens of Modeling. In Software and Systems Modeling (Accepted for publication)
J26. Javier Cámara, Lola Burgueño, Javier Troya. Towards standarized benchmarks of LLMs in software modeling tasks: a conceptual framework. In Software and Systems Modeling (2024) [Electronic Edition]
J25. Carlos M. Aderaldo, Thiago M. Costa, Davi M. Vasconcelos, Nabor C. Mendonça, Javier Cámara, David Garlan. A declarative approach and benchmark tool for controlled evaluation of microservice resiliency patterns. In Software: Practice and Experience (2024) [Electronic Edition]
J24. Javier Cámara, Javier Troya, Julio Montes-Torres, Francisco J Jaime. Generative AI in the Software Modeling Classroom: An Experience Report with ChatGPT and UML. In IEEE Software (2024) [Electronic Edition]
J23. Bruno Sousa, Duarte Dias, Nuno Antunes, Javier Cámara, Ryan Wagner, Bradley Schmerl, David Garlan, Pedro Fidalgo. MONDEO-Tactics5G: Multistage botnet detection and tactics for 5G/6G networks. In Computers & Security, Volume 140 (2024) [Electronic Edition]
J22. Javier Cámara, Rebekka Wohlrab, David Garlan, Bradley Schmerl. Focusing on What Matters: Explaining Quality Tradeoffs in Software-Intensive Systems via Dimensionality Reduction. In IEEE Software (2023) [Electronic Edition]
J21. Javier Cámara, David Garlan. Learning by re-doing: an experimental study on the impact of repetition of formative assessments in a formal methods course for software engineers. In IEEE Software (2023) [Electronic Edition]
J20. Rebekka Wohlrab, Javier Cámara, David Garlan, Bradley R. Schmerl. Explaining quality attribute tradeoffs in automated planning for self-adaptive systems. In Journal of Systems and Software 198: 111538 (2023) [Electronic Edition]
J19. Javier Cámara, Rebekka Wohlrab, David Garlan, Bradley R. Schmerl. ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction. In Journal of Systems and Software 198: 111578 (2023) [Electronic Edition]
J18. 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. In IEEE Robotics and Automation Letters 8(7): 4115-4122 (2023) [Electronic Edition]
J17. 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. In Software Systems and Modeling 22(3): 781-793 (2023) [Electronic Edition]
J16. 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.. In Software Systems and Modeling 21(4): 1277-1294 (2022) [Electronic Edition]
J15. Javier Cámara, David Garlan, Bradley R. Schmerl. Synthesizing tradeoff spaces with quantitative guarantees for families of software systems. In Journal of Systems and Software 152: 33-49 (2019) [Author Copy]
J14. Jonathan Aldrich, David Garlan, Christian Kaestner, 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 Software 36(2): 83-90 (2019) [Electronic Edition]
J13. Javier Cámara, Wenxin Peng, David Garlan and Bradley Schmerl. Reasoning about Sensing Uncertainty and its Reduction in Decision-Making for Self-Adaptation. In Science of Computer Programming 167: 51-69 (2018).
[Author Copy]
J12. 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.
[Electronic Edition]
J11. Gabriel A. Moreno, Javier Cámara, David Garlan and Bradley Schmerl. Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation. In ACM Transactions on Autonomous and Adaptive Systems 13(1): 3:1-3:36. ACM, 2018.
[Electronic Edition]
J10. 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]
J9. Javier Cámara, Antónia Lopes, David Garlan, Bradley Schmerl: Adaptation Impact and Environment Models for Architecture-Based Self-Adaptive Systems. In Science of Computer Programming,127: 50-75, 2016.
[Electronic Edition] [Author Copy]
J8. 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]
J7. 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]
J6. Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira: Testing the Robustness of Controllers for Self-Adaptive Systems. Journal of the Brazilian Computer Society. Vol. 20, No. 1, Pages 1-14. Springer, 2014.
[Electronic Edition]
J5. Javier Cámara, Rogério de Lemos, Marco Vieira, Raquel Almeida, Rafael Ventura: Architecture-Based Resilience Evaluation for Self-Adaptive Systems. Computing. Vol. 95, No. 8, Pages 689-722. Springer, 2013.
[Electronic Edition]
J4. Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni : Interactive Specification and Verification of Behavioural Adaptation Contracts. Information and Software Technology. Vol. 54, No. 7, Pages 701-723. Elsevier, 2012.
[Electronic Edition]
J3. Carlos Canal, Javier Cámara, Gwen Salaün. Structural Reconfiguration of Systems under Behavioral Adaptation. Science of Computer Programming. Vol. 78, No. 1, Pages 46-64. Elsevier, 2012.
[Electronic Edition]
J2. Javier Cámara, Alfred Kobsa. Facilitating Controlled Tests of Website Design Changes using Aspect Oriented Programming and Software Product Lines. LNCS Transactions on Large Scale Data and Knowledge Centered Systems I. Springer LNCS Vol. 5740, Pages 116-135, 2009.
[Electronic Edition] [Author copy]
J1. Javier Cámara, Gwen Salaün, Carlos Canal : Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. Journal of Universal Computer Science (J.UCS). Vol. 14, No. 13, Pages 2182-2211. Springer, 2008.
[Electronic Edition]
C50. 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: 63-69
C49. Enrique Vilchez, Javier Troya, Javier Cámara: Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire Tracking. SEAMS@ICSE 2024: 56-62
C48. 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: 37-43
C47. Raquel Sanchez, Javier Troya, Javier Cámara: Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability Constraints. SEAMS@ICSE 2024: 14-24. Best Student Paper Award at SEAMS 2024.
C46. 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. 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: 24-30 [Electronic Edition]
C45. Charilaos Skandylas, Narges Khakpour, Javier Cámara. Security Countermeasure Selection for Component-Based Software-Intensive Systems. 22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022: 63-72 [Electronic Edition]
C44. Brendan Devlin-Hill, Radu Calinescu, Javier Cámara, Ipek Caliskanelli. Towards Scalable Multi-robot Systems by Partitioning the Task Domain. TAROS 2022: 282-292 [Electronic Edition]
C43. Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang: Evolutionary-Guided Synthesis of Verified Pareto Optimal Policies. In Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021). 842-853. [Electronic Edition]
C42. Gricel Vázquez Flores, Radu Calinescu, Javier Cámara: Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot Teams. In Proceedings of Towards Autonomous Robotic Systems Conference (TAROS), 354-359 [Electronic Edition]
C41. Javier Cámara, Mariana Silva, David Garlan, Bradley Schmerl: Explaining Architectural Design Tradeoff Spaces: A Machine Learning Approach. In 15th European Conference on Software Architecture (ECSA 2021). Nominated to Best Paper Award at ECSA 2021. [Electronic Edition] [Presentation video]
C40. Kenneth Johnson, Javier Cámara, Roopak Sinha, Samaneh Madanian, Dave Parry: Towards Self-Adaptive Disaster Management Systems. Proceedings of the 18th ISCRAM Conference (ISCRAM 2021). [Author Copy]
C39. Nianyu Li, Javier Cámara, David Garlan, Bradley Schmerl and Zhi Jin: Hey! Preparing Humans to do Tasks in Self-adaptive Systems. In Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2021). Best Student Paper at SEAMS 2021 [Author Copy]
C38. Jason Mashinchi, Javier Cámara: Voyager: a Software Architecture Trade-off Explorer. In Proceedings of the 2020 European Conference on Software Architecture (ECSA 2020). Best Tool Demo Award for ECSA 2020. [Author Copy] [Presentation video]
C37. Nianyu Li, Javier Cámara, David Garlan and Bradley Schmerl: Reasoning about When to Provide Explanation for Human-in-the-loop Self-Adaptive Systems. In Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self-organizing Systems (ACSOS 2020). [Author Copy] [Presentation video]
C36. Javier Cámara: HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees. In Proceedings of the 8th International Conference on Formal Methods in Software Engineering (FormaliSE 2020). [Author Copy] [Presentation video]
C35. Javier Cámara, Bradley Schmerl, David Garlan: Software Architecture and Task Plan Co-Adaptation for Mobile Service Robots. In Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2020). [Author Copy] [Presentation video]
C34. Javier Cámara, Alessandro V. Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei: Towards Bridging the Gap between Control and Self-Adaptive System Properties. In Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2020). [Author Copy] [Presentation video]
C33. Javier Cámara, Henry Muccini, Karthik Vaidhyanathan: Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems. In Proceedings of the IEEE International Conference on Software Architecture (ICSA 2020). [Author Copy] [Presentation video]
C32. Nabor Mendonca, Carlos Mendes Aderaldo, Javier Cámara, David Garlan: Model-Based Analysis of Microservice Resiliency Patterns. In Proceedings of the IEEE International Conference on Software Architecture (ICSA 2020). [Author Copy]
C31. Pooyan Jamshidi, Javier Cámara, Bradley R. Schmerl, Christian Kaestner, David Garlan: Machine learning meets quantitative planning: enabling self-adaptation in autonomous robots. In Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2019) [Author Copy]
C30. Gabriel A. Moreno, Javier Cámara, David Garlan and Mark Klein. Uncertainty Reduction in Self-Adaptive Systems. In Proceedings of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2018). [Author Copy]
C29. 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). [Author Copy]
C28. 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. ECSA Best Paper Award. [Author Copy]
C27. Gabriel A. Moreno, Alessandro V. Papadopoulos, Konstantinos Angelopoulos, Javier Cámara and Bradley Schmerl. Comparing Model-Based Predictive Approaches to Self-Adaptation: CobRA and PLA. In Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). Pages 42-53. 2017.
[Author Copy]
C26. Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl and Javier Cámara. Towards a Formal Framework for Hybrid Planning in Self-Adaptation. In Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). Pages 109-115. 2017. [Author Copy]
C25. Ashutosh Pandey, Gabriel A. Moreno, Javier Cámara and David Garlan. Hybrid Planning for Decision Making in Self-Adaptive Systems. 2016. 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016). Pages 113-139. IEEE, 2016. [Author Copy]
C24. Bradley Schmerl, Jeffrey Gennari, Alireza Sadeghi, Hamid Bagheri, Sam Malek, Javier Cámara and David Garlan. Architecture Modeling and Analysis of Security in Android Systems. 2016. 10th European Conference on Software Architecture (ECSA 2016). LNCS 9839. Pages 274-290. Springer, 2016.
[Author Copy]
C23. Gabriel A. Moreno, Javier Cámara, David Garlan and Bradley Schmerl. Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation. 2016. 13th IEEE International Conference on Autonomic Computing (ICAC 2016). Pages 147-156. IEEE, 2016.
[Author Copy]
C22. 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.
[Author Copy]
C21. 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).
[Author Copy]
C20. Javier Cámara, David Garlan, Bradley Schmerl and Ashutosh Pandey. Optimal Planning for Architecture-Based Self-Adaptation via Model Checking of Stochastic Games. In Proceedings of the 10th DADS Track of the 30th ACM Symposium on Applied Computing.
[Author Copy]
C19. Javier Cámara, Antónia Lopes, David Garlan, Bradley Schmerl: Impact Models for Architecture-Based Self-Adaptative Systems. Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS 2014). Springer LNCS, 2014.
[Electronic Edition]
C18. 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.
[Electronic Edition]
C17. Javier Cámara, Gabriel A. Moreno, David Garlan: 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 (SEAMS 2014). Pages 155-164. ACM, 2014. [Electronic Edition] Nominated to Most Influential Paper Award at SEAMS 2024.
C16. Bradley 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. Proceedings of the Symposium and Bootcamp on the Science of Security (HotSoS 2014). Pages 13-24. [Author copy]
C15. Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira: Robustness Evaluation of the Rainbow Framework for Self-Adaptation. Proceedings of the 29th ACM Symposium on Applied Computing (SAC 2014). Pages 376-383. ACM, 2014. [Author copy]
C14. Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel: Comparator: A Tool for Quantifying Behavioural Compatibility. Proceedings of Fundamental Approaches to Software Engineering (FASE 2014) - Springer LNCS Vol. 8411, Pages 306-309, 2014.
[Electronic Edition]
C13. Javier Cámara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley Schmerl, Rafael Ventura: 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 (SEAMS 2013). Pages 13-22. IEEE, 2013. [Author copy]
C12. Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira: Robustness Evaluation of Controllers in Self-Adaptive Software Systems. Proceedings of the 6th Latin American Symposium on Dependable Computing (LADC 2013). Nominated to Best Paper Award. [Author copy]
C11. Javier Cámara, Rogério de Lemos: 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 (SEAMS 2012). Pages 53-62. IEEE, 2012. [Author copy]
C10. Javier Cámara, Antoine Girard, Gregor Goessler. 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 (IEEE CDC-ECC 2011). Pages 520-525. IEEE, 2011.
[Electronic Edition] [Author copy]
C9. Javier Cámara, Antoine Girard, Gregor Goessler. Synthesis of Switching Controllers using Approximately Bisimilar Multiscale Abstractions. Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control (HSCC 2011). Pages 191-200. ACM, 2011. [Electronic Edition] [Author copy]
C8. Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel. A Case Study in Model-based Adaptation of Web Services. Proceedings of the 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010)), Part II. LNCS Vol. 6416, Pages 112-126.
[Author copy]
C7. Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni : Interactive Specification and Verification of Behavioural Adaptation Contracts. Proceedings of the 9th International Conference on Quality Software (QSIC 2009), pages 65-75. IEEE, 2009.
[Author copy]
C6. Javier Cámara, Alfred Kobsa. Facilitating Controlled Tests of Website Design Changes: a Systematic Approach. Proceedings of the 9th International Conference on Web Engineering (ICWE 2009). Springer LNCS Vol. 5648, Pages 370-378, 2009.
[Author copy]
C5. Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel. ITACA: An Integrated Toolbox for the Automatic Composition and Adaptation of Web Services (Formal Research Demo Paper). Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), pages 627-630. IEEE, 2009.
[Author copy]
C4. Javier Camara, Gwen Salaün, Carlos Canal : Clint: A Composition Language Interpreter (Tool Paper). Proceedings of Fundamental Approaches to Software Engineering (FASE 2008) - Springer LNCS Vol. 4961, Pages 423-427, 2008.
[Electronic Edition] [Author copy]
C3. Javier Camara, Carlos Canal , Javier Cubo, J.M. Murillo: Enabling Adaptivity in User Interfaces. Proceedings of the 1 st European Conference on Software Architectures (ECSA 2007), Springer LNCS Vol. 4758, Pages 106-114, 2007.
[Electronic Edition] [Author copy]
C2. Javier Camara, Gwen Salaün, Carlos Canal : Run-time Composition and Adaptation of Mismatching Behavioural Transactions. Proceedings of the 5 th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), IEEE Press.
[Electronic Edition]
C1. Javier Cubo, Gwen Salaün, Javier Camara, Carlos Canal , Ernesto Pimentel: Context-Based Adaptation of Component Behavioural Interfaces. Proceedings of the 9 th International Conference on Coordination Languages and Models (Coordination 2007), Springer LNCS Vol. 4467, Pages 305-323, 2007.
[Electronic Edition]
B7. Samuel Kounev, Peter Lewis, Kirstie Bellman, Nelly Bencomo, Javier Cámara, Ada Diaconescu, Lukas Esterle, Kurt Geihs, Holger Giese, Sebastian Götz, Paola Inverardi, Jeffrey Kephart, and Andrea Zisman. The Notion of Self-Aware Computing . In Self-Aware Computing Systems, Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, and Xiaoyun Zhu, editors. Springer Verlag, Berlin Heidelberg, Germany, 2017. To Appear.
B6. Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, and Massimo Tivoli. Synthesis and Verification of Self-Aware Computing Systems . In Self-Aware Computing Systems, Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, and Xiaoyun Zhu, editors. Springer Verlag, Berlin Heidelberg, Germany, 2017. To Appear.
B5. Robert Birke, Javier Cámara, Lydia Chen, Lukas Esterle, Kurt Geihs, Erol Gelenbe, Holger Giese, Anders Robertsson, and Xiaoyun Zhu. Self-Aware Computing Systems: Open Challenges and Future Research Directions . In Self-Aware Computing Systems, Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, and Xiaoyun Zhu, editors. Springer Verlag, Berlin Heidelberg, Germany, 2017. To Appear.
B4. Javier Cámara, Kirstie Bellman, Jeffrey Kephart, Marco Autili, Nelly Bencomo, Ada Diaconescu, Holger Giese, Sebastian Götz, Paola Inverardi, Samuel Kounev, and Massimo Tivoli. Self-Aware Computing Systems: Related Concepts and Research Areas. In Self-Aware Computing Systems, Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, and Xiaoyun Zhu, editors. Springer Verlag, Berlin Heidelberg, Germany, 2017. To Appear.
B3. Javier Cámara, David Garlan, Gabriel A. Moreno and Bradley Schmerl. Analyzing Self-Adaptation via Model Checking of Stochastic Games. In Rogério de Lemos, David Garlan, Carlo Ghezzi and Holger Giese editors, Software Engineering for Self-Adaptive Systems (SEfSAS) 3, Springer, 2016. To appear.
B2. Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jezequel, Sam Malek, Raffaela Mirandola, Marco Mori and Giordano Tamburrelli. Perpetual Assurances for Self-Adaptive Systems. In Rogério de Lemos, David Garlan, Carlo Ghezzi and Holger Giese editors, Software Engineering for Self-Adaptive Systems (SEfSAS) 3, Springer, 2016. To appear. [Author copy]
B1. Javier Cámara, David Garlan, Gabriel A. Moreno and Bradley Schmerl. Evaluating Trade-Offs of Human Involvement in Self-Adaptive Systems. In Ivan Mistrik, Nour Ali, John Grundy, Rick Kazman and Bradley Schmerl editors, Managing Trade-Offs in Self-Adaptive Systems. Pages 155-180. Elsevier- Morgan Kaufman, 2016. [Author copy]
W21. Gricel Vázquez, Radu Calinescu, Javier Cámara. Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems. FMAS/ASYDE@SEFM 2022: 156-174 [Electronic Edition]
W20. Jordan Hamilton, Ioannis Stefanakos, Radu Calinescu, Javier Cámara. Towards Adaptive Planning of Assistive-care Robot Tasks. FMAS/ASYDE@SEFM 2022: 175-183 [Electronic Edition]
W19. 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: 317-332
W18. Radu Calinescu, Javier Cámara, Colin Paterson. Socio-cyber-physical systems: models, opportunities, open challenges. SEsCPS@ICSE 2019: 2-6 [Electronic Edition]
W17. 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: 18:1-18:6 [Electronic Edition]
W16. Javier Cámara, Wenxin Peng, David Garlan and Bradley Schmerl. Reasoning about Sensing Uncertainty in Decision-Making for Self-Adaptation. In Proceedings of the 15th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2017). To appear. [Author copy]
W15. Hemank Lamba, Thomas J. Glazier, Javier Cámara, Bradley Schmerl, David Garlan and Jürgen Pfeffer. Model-based cluster analysis for identifying suspicious activity sequences in software. In Proceedings of the 3rd International Workshop on Security and Privacy Analytics (IWSPA 2017). [Author copy]
W14. Roykrong Sukkerd, Javier Cámara, David Garlan and Reid Simmons. Multiscale Time Abstractions for Long-Range Planning under Uncertainty. In Proceedings of the 2nd ICSE Workshop on Software Engineering for Smart Cyberphysical Systems. [Author copy]
W13. Thomas J. Glazier, Javier Cámara, Bradley Schmerl and David Garlan. Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems. In Proceedings of the 3rd FoCAS Workshop on the Fundamentals of Collective Adaptive Systems. Pages 55-60. IEEE, 2015. [Author copy]
W12. 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. 34th International Conference on Software Engineering (ICSE 2012) Companion Proceedings. IEEE, 2012.
[Electronic Edition]
W11. Javier Cámara, Carlos Canal, Nikolay Vasilev. A Framework for Run-time Behavioural Service Adaptation in Ubiquitous Computing. Proceedings of the Workshop on Adaptation in Service Ecosystems and Architectures (AVYTAT). OTM 2010 Workshops, LNCS Vol. 6428, Pages 67-76. Springer, 2010.
[Author copy]
W10. Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel. Semi-automatic Specification of Behavioural Service Adaptation Contracts. Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10). Electronic Notes in Theoretical Computer Science,Volume 264(1), pages 19-34. Elsevier, 2010.
[Author copy]
W9. Javier Cámara, Carlos Canal, Gwen Salaün. Behavioural Adaptation of Services in Ubiquitous Computing Environments. Proceedings of Software Engineering for Adaptive and Self-Managing Systems (SEAMS'09). pages 28-37.
[Author copy]
W8. Javier Cámara, Gwen Salaün, Carlos Canal : Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. Proceedings of the 4 th International Workshop on Formal Aspects of Component Software (FACS'07). Electronic Notes in Theoretical Computer Science, Elsevier Volume 215C, Pages 111-130, 2008.
[Electronic Edition]
W7. Javier Cámara, Gwen Salaün, Carlos Canal : On Run-time Behavioural Adaptation in Context-Aware Systems. Proceedings of the 1 st Workshop on Model-based Adaptation (M-ADAPT'07).
[Author copy]
W6. Antonio Brogi, Javier Cámara, Carlos Canal , Javier Cubo, Ernesto Pimentel: Dynamic Contextual Adaptation. Electronic Notes in Theoretical Computer Science, Elsevier Volume 175, Issue 2, 21, Pages 81-95, 2007.
[Electronic Edition]
W5. Javier Cámara, Carlos Canal , Javier Cubo, J.M. Murillo: An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution . Electronic Notes in Theoretical Computer Science, Elsevier Volume 189, Pages 21-34, 2007.
[Electronic Edition]
W4. Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel: Dynamic Adaptation Using Contextual Environments. Proceedings of the Third International Workshop on Coordination and Adaptation Techniques for Software Entibies (WCAT'06), 2006.
[Author copy]
W3. Javier Cámara., Carlos Canal, Javier Cubo, Antonio Vallecillo: Formalizing WSBPEL Business Processes using Process Algebra. Electronic Notes in Theoretical Computer Science, Volume 154, Issue 1, 11, Pages 159-173, Elsevier, 2006.
[Electronic Edition]
W2. Javier Cámara, Javier Cubo, Carlos Canal: Issues in the formalization of Web Service Orchestrations . Proceedings of the Second International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT'05), 2005.
[Author copy]
W1. Mike Mannion, Javier Cámara: Theorem Proving for Product Line Model Verification . Proceedings of the Fifth International Workshop on Product Family Engineering (PFE-5), Springer LNCS Vol. 3014, Pages 211-224, 2003.
[Electronic Edition]
Other publications (Technical reports, extended abstracts, etc.)
O10. Radu Calinescu, Javier Cámara, Colin Paterson: Socio-cyber-physical systems: models, opportunities, open challenges. (Invited paper) In Proceedings of the 2019 IEEE/ACM 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS). [Electronic Edition]
O9. Hemank Lamba, Thomas J. Glazier, Bradley Schmerl, Javier Cámara, David Garlan and Jürgen Pfeffer. A Model-based Approach to Anomaly Detection in Software Architectures (Poster paper). 2016. 2016 Symposium and Bootcamp on the Science of Security (HotSoS 2016). Pages 69-71.
O8. Bradley Schmerl, Jeffrey Gennari, Javier Cámara and David Garlan. Raindroid – A System for Run-time Mitigation of Android Intent Vulnerabilities (Poster paper). 2016 Symposium and Bootcamp on the Science of Security (HotSoS 2016) Pages 115-117. [Author Copy]
O7. Pedro Caldeira Neves, Bradley Schmerl, Jorge Bernardino and Javier Cámara. Big Data in Cloud Computing: features and issues. In Proceedings of the 2016 International Conference on Internet of Things and Big Data, Rome, Italy, 23-25 April 2016 (Poster paper) [Author Copy]
O6. Bradley Schmerl, Javier Cámara, Gabriel A. Moreno, David Garlan and Andrew Mellinger. Architecture-Based Self-Adaptation for Moving Target Defense. Technical report, CMU-ISR-14-109, Institute for Software Research, Carnegie Mellon University, 2014.
[Author Copy]
O5. Javier Cámara, Rogério de Lemos. Towards Run-time Evaluation of Resilience in Self-Adaptive Systems. Proceedings of the 17th Conference on Software Engineering and Databases (JISBD'12). (Position paper).
O4. Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel. On Behavioural Interfaces and Contracts for Software Adaptation. Proceedings of the third workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'09). (Position paper).
[Author copy]
O3. Javier Cámara, Gwen Salaün, Carlos Canal. Run-time Composition and Adaptation of Mismatching Behavioural Transactions (Extended abstract). Proceedings of the 13th Conference on Software Engineering and Databases (JISBD'08) - Relevant Work Dissemination Track. Pages 481-481. Sistedes, 2008. (Extended abstract).
O2. Javier Cámara, Carlos Canal, Gwen Salaün. Towards Self-Adaptation in Dynamic Service Ecosystems. Proceedings of the 1st Workshop on Autonomic and Self-Adaptive Systems (WASELF'08 at JISBD'08), Pags 53-63. Sistedes, 2008. (Position paper).
O1. Javier Cámara, Carlos Canal, Javier Cubo, J.M. Murillo: AOP and Dynamic Component Adaptation. Proceedings of the Iberian Workshop on Aspect Oriented Software Development (DSOA'06) at JISBD'06, 2006. (Position paper).
[Author copy]
BE1. Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes (eds.). Assurances for Self-Adaptive Systems: Principles, Models, and Techniques. Springer LNCS Vol 7740.
[Electronic Edition]
JE4. Bradley R. Schmerl, Javier Cámara, Martina Maggio: Foreword: SEAMS 2022 Special Issue. ACM Trans. Auton. Adapt. Syst. 19(1): 1:1-1:3 (2024)
JE3. Javier Cámara, David Garlan, Greg Eakman: Building Long-Lived Adaptive Systems. IEEE Software 36(2): 70-72 (2019) [Electronic Edition]
JE2. Natallia Kokash, Javier Cámara (eds.). Special section on Foundations of Coordination Languages and Software Architectures. Science of Computer Programming, Vol. 115-116, No. 1. Elsevier, 2015.
[Electronic Edition]
JE1. Javier Cámara, Carlos Cuesta, Miguel Ángel Pérez-Toledano (eds.). Special issue on Autonomic and Self-Adaptive Systems. Informatica, Vol. 35, No. 1. Informatika, 2011.
[Electronic Edition]
PE11. Javier Cámara, Sung-Shik Jongmans: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14485, Springer 2024, ISBN 978-3-031-52182-9
PE10. Bradley R. Schmerl, Martina Maggio, Javier Cámara: International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2022, Pittsburgh, PA, USA, May 22-24, 2022. ACM/IEEE 2022, ISBN 978-1-4503-9305-8
PE9. Javier Cámara, José Proença. Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014. EPTCS 175, 2015.
[Electronic Edition]
PE8. Natallia Kokash, Javier Cámara. Proceedings of the 12th International Workshop on the Foundations of Coordination Languages and Self Adaptation (FOCLASA 2013), in Advances in Service-Oriented and Cloud Computing Communications in Computer and Information Science, Vol. 393. Springer, 2013.
[Electronic Edition]
PE7. Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes (eds). Proceedings of the Workshop on Assurances for Self-Adaptive Systems (ESEC/FSE ASAS 2011). ACM, 2011.
[Electronic Edition]
PE6. Miguel Ángel Pérez-Toledano, Carlos Cuesta, Renaud Pawlak, Javier Cámara (eds.). Proceedings of 2nd International Workshop on Variability, Adaptation, and Dynamism in Software Systems and Services (VADER 2011). Springer LNCS Vol. 7046, 2011.
[Electronic Edition]
PE5. Javier Cámara, Carlos Cuesta, Howard Foster, Miguel Ángel Pérez-Toledano (eds.). Proceedings of the Workshop on Adaptation in Service Ecosystems and Architectures (AVYTAT). Springer LNCS Vol. 6428, 2010.
[Electronic Edition]
PE4. Javier Cámara, Carlos Canal, Gwen Salaün (eds.). Proceedings of the International Workshop in Component and Service Interoperability (WCSI'10). Electronic Proceedings in Theoretical Computer Science (EPTCS) Vol. 37, 2010.
[Electronic Edition]
PE3. Javier Cámara, Carlos Cuesta, Miguel Ángel Pérez-Toledano (eds.). Proceedings of the 3rd Workshop on Autonomic and Self-Adaptive Systems (WASELF’10). Sistedes, 2010.
[Electronic Edition]
PE2. Javier Cámara, Carlos Cuesta, Miguel Ángel Pérez-Toledano (eds.). Proceedings of the 2nd Workshop on Autonomic and Self-Adaptive Systems (WASELF’09). Sistedes, 2009.
[Electronic Edition]
PE1. Javier Cámara, Carlos Cuesta, Miguel Ángel Pérez-Toledano (eds.). Proceedings of the 1st Workshop on Autonomic and Self-Adaptive Systems (WASELF’08). Sistedes, 2008.
[Electronic Edition]