default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJavier Cámara 0001
Javier Cámara Moreno
Person information
- affiliation: University of Málaga, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j30]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: 103768 (2024)- [j29]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): 64-73 (2024) - [j28]Javier Cámara, Javier Troya, Julio Montes-Torres, Francisco J. Jaime:
Generative AI in the Software Modeling Classroom: An Experience Report With ChatGPT and Unified Modeling Language. IEEE Softw. 41(6): 73-81 (2024) - [j27]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) - [c83]David Garlan, Bradley R. Schmerl, Rebekka Wohlrab, Javier Cámara:
Challenges in Creating Effective Automated Design Environments: An experience report from the domain of generative manufacturing. Designing@ICSE 2024: 15-20 - [c82]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 - [c81]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 - [c80]Enrique Vilchez, Javier Troya, Javier Cámara:
Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire Tracking. SEAMS@ICSE 2024: 56-62 - [c79]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 - [e8]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 [contents] - [i6]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) - 2023
- [j26]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: 111538 (2023) - [j25]Javier Cámara, Rebekka Wohlrab, David Garlan, Bradley R. Schmerl:
ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction. J. Syst. Softw. 198: 111578 (2023) - [j24]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): 4115-4122 (2023) - [j23]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): 20-36 (2023) - [j22]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): 95-101 (2023) - [j21]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): 781-793 (2023) - [c78]David Delgado, Lola Burgueño, Javier Cámara, Javier Troya:
Towards an Extensible Architecture and Tool Support for Model-Based Verification. MoDELS (Companion) 2023: 806-810 - [i5]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 abs/2301.07690 (2023) - 2022
- [j20]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): 1277-1294 (2022) - [c77]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: 24-30 - [c76]Charilaos Skandylas, Narges Khakpour, Javier Cámara:
Security Countermeasure Selection for Component-Based Software-Intensive Systems. QRS 2022: 63-72 - [c75]Brendan Devlin-Hill, Radu Calinescu, Javier Cámara, Ipek Caliskanelli:
Towards Scalable Multi-robot Systems by Partitioning the Task Domain. TAROS 2022: 282-292 - [c74]Gricel Vázquez, Radu Calinescu, Javier Cámara:
Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems. FMAS/ASYDE@SEFM 2022: 156-174 - [c73]Jordan Hamilton, Ioannis Stefanakos, Radu Calinescu, Javier Cámara:
Towards Adaptive Planning of Assistive-care Robot Tasks. FMAS/ASYDE@SEFM 2022: 175-183 - [e7]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 [contents] - 2021
- [c72]Javier Cámara, Mariana Silva, David Garlan, Bradley R. Schmerl:
Explaining Architectural Design Tradeoff Spaces: A Machine Learning Approach. ECSA 2021: 49-65 - [c71]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: 10-11 - [c70]Kenneth Johnson, Javier Cámara, Roopak Sinha, Samaneh Madanian, Dave Parry:
Towards Self-Adaptive Disaster Management Systems. ISCRAM 2021: 49-61 - [c69]Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang:
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. ASE 2021: 842-853 - [c68]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: 48-58 - [c67]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 - [c66]Gricel Vázquez, Radu Calinescu, Javier Cámara:
Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot Teams. TAROS 2021: 354-359 - 2020
- [c65]Nianyu Li, Javier Cámara, David Garlan, Bradley R. Schmerl:
Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems. ACSOS 2020: 195-204 - [c64]Jason Mashinchi, Javier Cámara:
Voyager: Software Architecture Trade-off Explorer. ECSA Companion 2020: 55-67 - [c63]Javier Cámara, Henry Muccini, Karthik Vaidhyanathan:
Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems. ICSA 2020: 11-22 - [c62]Nabor C. Mendonça, Carlos Mendes Aderaldo, Javier Cámara, David Garlan:
Model-Based Analysis of Microservice Resiliency Patterns. ICSA 2020: 114-124 - [c61]Javier Cámara:
HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees. FormaliSE@ICSE 2020: 22-33 - [c60]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: 78-84 - [c59]Javier Cámara, Bradley R. Schmerl, David Garlan:
Software architecture and task plan co-adaptation for mobile service robots. SEAMS@ICSE 2020: 125-136 - [e6]Henry Muccini, Paris Avgeriou, Barbora Buhnova, Javier Cámara, Mauro Caporuscio, Mirco Franzago, Anne Koziolek, Patrizia Scandurra, Catia Trubiani, Danny Weyns, Uwe Zdun:
Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings. Communications in Computer and Information Science 1269, Springer 2020, ISBN 978-3-030-59154-0 [contents] - [e5]Javier Cámara, Martin Steffen:
Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12226, Springer 2020, ISBN 978-3-030-57505-2 [contents] - [i4]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 abs/2004.11846 (2020) - [i3]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)
2010 – 2019
- 2019
- [j19]Javier Cámara, David Garlan, Bradley R. Schmerl:
Synthesizing tradeoff spaces with quantitative guarantees for families of software systems. J. Syst. Softw. 152: 33-49 (2019) - [j18]Javier Cámara, David Garlan, Greg Eakman:
Building Long-Lived Adaptive Systems. IEEE Softw. 36(2): 70-72 (2019) - [j17]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): 83-90 (2019) - [c58]Radu Calinescu, Javier Cámara, Colin Paterson:
Socio-cyber-physical systems: models, opportunities, open challenges. SEsCPS@ICSE 2019: 2-6 - [c57]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: 39-50 - [i2]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 abs/1903.03920 (2019) - [i1]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 abs/1903.04771 (2019) - 2018
- [j16]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): 595-626 (2018) - [j15]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: 51-69 (2018) - [j14]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): 3:1-3:36 (2018) - [c56]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 - [c55]Gabriel A. Moreno, Javier Cámara, David Garlan, Mark Klein:
Uncertainty reduction in self-adaptive systems. SEAMS@ICSE 2018: 51-57 - 2017
- [j13]Javier Cámara, Bashar Nuseibeh, David Garlan:
Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 3(1): 00:-1-00:-12 (2017) - [j12]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): 50-64 (2017) - [c54]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: 17-22 - [c53]Javier Cámara, David Garlan, Bradley R. Schmerl:
Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems. ECSA 2017: 3-21 - [c52]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: 42-53 - [c51]Ashutosh Pandey, Ivan Ruchkin, Bradley R. Schmerl, Javier Cámara:
Towards a Formal Framework for Hybrid Planning in Self-Adaptation. SEAMS@ICSE 2017: 109-115 - [c50]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: 243-254 - [c49]Javier Cámara, Wenxin Peng, David Garlan, Bradley R. Schmerl:
Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation. SEFM Workshops 2017: 523-540 - [p4]Samuel Kounev, Peter R. Lewis, Kirstie L. Bellman, Nelly Bencomo, Javier Cámara, Ada Diaconescu, Lukas Esterle, Kurt Geihs, Holger Giese, Sebastian Götz, Paola Inverardi, Jeffrey O. Kephart, Andrea Zisman:
The Notion of Self-aware Computing. Self-Aware Computing Systems 2017: 3-16 - [p3]Javier Cámara, Kirstie L. Bellman, Jeffrey O. Kephart, Marco Autili, Nelly Bencomo, Ada Diaconescu, Holger Giese, Sebastian Götz, Paola Inverardi, Samuel Kounev, Massimo Tivoli:
Self-aware Computing Systems: Related Concepts and Research Areas. Self-Aware Computing Systems 2017: 17-49 - [p2]Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli:
Synthesis and Verification of Self-aware Computing Systems. Self-Aware Computing Systems 2017: 337-373 - [p1]Robert Birke, Javier Cámara, Lydia Y. Chen, Lukas Esterle, Kurt Geihs, Erol Gelenbe, Holger Giese, Anders Robertsson, Xiaoyun Zhu:
Self-aware Computing Systems: Open Challenges and Future Research Directions. Self-Aware Computing Systems 2017: 709-722 - 2016
- [j11]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: 507-523 (2016) - [j10]Natallia Kokash, Javier Cámara:
Special section on Foundations of Coordination Languages and Software Architectures. Sci. Comput. Program. 115-116: 147-148 (2016) - [j9]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: 50-75 (2016) - [j8]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): 23:1-23:28 (2016) - [c48]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: 274-290 - [c47]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: 69-71 - [c46]Bradley R. Schmerl, Jeffrey Gennari, Javier Cámara, David Garlan:
Raindroid: a system for run-time mitigation of Android intent vulnerabilities [poster]. HotSoS 2016: 115-117 - [c45]Gabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl:
Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation. ICAC 2016: 147-156 - [c44]Roykrong Sukkerd, Javier Cámara, David Garlan, Reid G. Simmons:
Multiscale time abstractions for long-range planning under uncertainty. SEsCPS@ICSE 2016: 15-21 - [c43]Pedro Caldeira Neves, Bradley R. Schmerl, Javier Cámara, Jorge Bernardino:
Big Data in Cloud Computing: Features and Issues. IoTBD 2016: 307-314 - [c42]Ashutosh Pandey, Gabriel A. Moreno, Javier Cámara, David Garlan:
Hybrid Planning for Decision Making in Self-Adaptive Systems. SASO 2016: 130-139 - 2015
- [c41]Javier Cámara, Gabriel A. Moreno, David Garlan:
Reasoning about Human Participation in Self-Adaptive Systems. SEAMS@ICSE 2015: 146-156 - [c40]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: 428-435 - [c39]Thomas J. Glazier, Javier Cámara, Bradley R. Schmerl, David Garlan:
Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems. SASO Workshops 2015: 55-60 - [c38]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: 1-12 - [e4]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 [contents] - 2014
- [j7]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): 1:1-1:14 (2014) - [c37]Javier Cámara Moreno, Antónia Lopes, David Garlan, Bradley R. Schmerl:
Impact Models for Architecture-Based Self-adaptive Systems. FACS 2014: 89-107 - [c36]Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel:
Comparator: A Tool for Quantifying Behavioural Compatibility. FASE 2014: 306-309 - [c35]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: 2 - [c34]Javier Cámara, Gabriel A. Moreno, David Garlan:
Stochastic game analysis and latency awareness for proactive self-adaptation. SEAMS 2014: 155-164 - [c33]Javier Cámara, Pedro Correia, Rogério de Lemos, Marco Vieira:
Empirical resilience evaluation of an architecture-based self-adaptive software system. QoSA 2014: 63-72 - [c32]Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira:
Robustness evaluation of the rainbow framework for self-adaptation. SAC 2014: 376-383 - 2013
- [j6]Javier Cámara, Rogério de Lemos, Marco Vieira, Raquel Almeida, Rafael Ventura:
Architecture-based resilience evaluation for self-adaptive systems. Computing 95(8): 689-722 (2013) - [c31]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: 3-30 - [c30]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: 31-63 - [c29]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: 154-187 - [c28]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: 13-22 - [c27]Javier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira:
Robustness Evaluation of Controllers in Self-Adaptive Software Systems. LADC 2013: 1-10 - [e3]Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes:
Assurances for Self-Adaptive Systems - Principles, Models, and Techniques. Lecture Notes in Computer Science 7740, Springer 2013, ISBN 978-3-642-36248-4 [contents] - 2012
- [j5]Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni:
Interactive specification and verification of behavioral adaptation contracts. Inf. Softw. Technol. 54(7): 701-723 (2012) - [j4]Carlos Canal, Javier Cámara, Gwen Salaün:
Structural reconfiguration of systems under behavioral adaptation. Sci. Comput. Program. 78(1): 46-64 (2012) - [c26]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: 40-46 - [c25]Javier Cámara, Rogério de Lemos:
Evaluation of resilience in self-adaptive systems using probabilistic model-checking. SEAMS 2012: 53-62 - 2011
- [j3]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): 1-2 (2011) - [c24]Javier Cámara, Antoine Girard, Gregor Gößler:
Safety controller synthesis for switched systems using multi-scale symbolic models. CDC/ECC 2011: 520-525 - [c23]Javier Cámara, Antoine Girard, Gregor Gößler:
Synthesis of switching controllers using approximately bisimilar multiscale abstractions. HSCC 2011: 191-200 - [c22]Miguel Ángel Pérez Toledano, Carlos E. Cuesta, Renaud Pawlak, Javier Cámara:
VADER 2011 PC Co-chairs' Message. OTM Workshops 2011: 609-611 - [c21]Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes:
Workshop on assurances for self-adaptive systems (ASAS 2011). SIGSOFT FSE 2011: 516-517 - [e2]Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Anténia Lopes:
Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, ASAS@ESEC/FSE 2011, Szeged, Hungary, September 4, 2011. ACM 2011, ISBN 978-1-4503-0853-3 [contents] - 2010
- [c20]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: 112-126 - [c19]Javier Cámara, Carlos E. Cuesta, Miguel Ángel Pérez Toledano:
Workshop on Autonomic and Self-Adaptive Systems (WASELF, 3ª ed.). JISBD 2010: 355 - [c18]Javier Cámara, Howard Foster, Carlos E. Cuesta, Miguel Ángel Pérez Toledano:
AVYTAT'10 - PC Co-chairs Message. OTM Workshops 2010: 55-56 - [c17]Javier Cámara, Carlos Canal, Nikolay Vasilev:
A Framework for Run-Time Behavioural Service Adaptation in Ubiquitous Computing. OTM Workshops 2010: 67-76 - [c16]Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel:
Semi-Automatic Specification of Behavioural Service Adaptation Contracts. FESCA@ETAPS 2010: 19-34 - [e1]Javier Cámara, Carlos Canal, Gwen Salaün:
Proceedings International Workshop on Component and Service Interoperability, WCSI 2010, Málaga, Spain, 29th June 2010. EPTCS 37, 2010 [contents]
2000 – 2009
- 2009
- [j2]Javier Cámara, Alfred Kobsa:
Facilitating Controlled Tests of Website Design Changes Using Aspect-Oriented Software Development and Software Product Lines. Trans. Large Scale Data Knowl. Centered Syst. 1: 116-135 (2009) - [c15]Javier Cámara, Carlos Canal, Gwen Salaün:
Behavioural self-adaptation of services in ubiquitous computing environments. SEAMS 2009: 28-37 - [c14]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. ICSE 2009: 627-630 - [c13]Javier Cámara, Alfred Kobsa:
Facilitating Controlled Tests of Website Design Changes: A Systematic Approach. ICWE 2009: 370-378 - [c12]Javier Cámara, Carlos E. Cuesta, Miguel Ángel Pérez Toledano:
Autonomic and SELF-adaptive Systems (WASELF, 2ª edición). JISBD 2009: 430-430 - [c11]Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni:
Interactive Specification and Verification of Behavioural Adaptation Contracts. QSIC 2009: 65-75 - 2008
- [j1]Javier Cámara, Gwen Salaün, Carlos Canal:
Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. J. Univers. Comput. Sci. 14(13): 2182-2211 (2008) - [c10]Javier Cámara, Gwen Salaün, Carlos Canal:
Clint: A Composition Language Interpreter (Tool Paper). FASE 2008: 423-427 - 2007
- [c9]Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel:
Context-Based Adaptation of Component Behavioural Interfaces. COORDINATION 2007: 305-323 - [c8]Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo:
Enabling Adaptivity in User Interfaces. ECSA 2007: 106-114 - [c7]Javier Cámara, Gwen Salaün, Carlos Canal:
Run-time Composition and Adaptation of Mismatching Behavioural Transactions. SEFM 2007: 381-390 - [c6]Javier Cámara, Carlos Canal, Gwen Salaün:
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. FACS 2007: 111-130 - 2006
- [c5]Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo Rodríguez:
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. RAM-SE 2006: 59-70 - [c4]Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo:
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. WCAT@ECOOP 2006: 21-34 - [c3]Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel:
Dynamic Contextual Adaptation. FOCLASA 2006: 81-95 - 2005
- [c2]Javier Cámara, Carlos Canal, Javier Cubo, Antonio Vallecillo:
Formalizing WSBPEL Business Processes Using Process Algebra. FOCLASA 2005: 159-173 - 2003
- [c1]Mike Mannion, Javier Cámara:
Theorem Proving for Product Line Model Verification. PFE 2003: 211-224
Coauthor Index
[j30] [j29] [c83] [j26] [j25] [j24] [j22] [i5] [j20] [c77] [c72] [c68] [c67] [c65] [c62] [c60] [c59] [i4] [j19] [j18] [j17] [c57] [i2] [j16] [j15] [j14] [c56] [c55] [j13] [c54] [c53] [c49] [j11] [j9] [j8] [c48] [c47] [c46] [c45] [c44] [c42] [c41] [c40] [c39] [c38] [c37] [c35] [c34] [c31] [c29] [c28]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
