Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJavier Cámara
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
- 2023
[j25]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)- [j24]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) - [j23]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) - [j22]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) - [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) - [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]