researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage
DBLP

Profile Name

javiercmara

Statistics

Publications: 13
Edited: 0
Credit: 78

Aliases

Cámara
Cámara, Javier
Javier Cámara
J. Cámara
Cámara, J.

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Javier Cámara's Profile

Publications

Unidentified Publications

Publications with a 'Javier Cámara' as author, editor, or advisor:

Workshop on assurances for self-adaptive systems (ASAS 2011)Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes. FSE 2011: 516-517 [doi]
Generality vs. reusability in architecture-based self-adaptation: the case for self-adaptive microservicesNabor C. Mendonça, David Garlan, Bradley R. Schmerl, Javier Cámara. ecsa 2018: [doi]
Self-aware Computing Systems: Open Challenges and Future Research DirectionsRobert Birke, Javier Cámara, Lydia Y. Chen, Lukas Esterle, Kurt Geihs, Erol Gelenbe, Holger Giese, Anders Robertsson, Xiaoyun Zhu. In Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, editors, Self-Aware Computing Systems. pages 709-722, Springer International Publishing, 2017. [doi]
Towards bridging the gap between control and self-adaptive system propertiesJavier Cámara, Alessandro Vittorio Papadopoulos, Thomas Vogel 0001, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei. ICSE 2020: 78-84 [doi]
HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic GuaranteesJavier Cámara. ICSE 2020: 22-33 [doi]
Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and SimulationsJavier Cámara, Gabriel A. Moreno, David Garlan, Bradley R. Schmerl. taas, 10(4):23, 2016. [doi]
Multiscale time abstractions for long-range planning under uncertaintyRoykrong Sukkerd, Javier Cámara, David Garlan, Reid G. Simmons. ICSE 2016: 15-21 [doi]
Building Long-Lived Adaptive SystemsJavier Cámara, David Garlan, Greg Eakman. IEEE Software, 36(2):70-72, 2019. [doi]
Efficient Decision-Making under Uncertainty for Proactive Self-AdaptationGabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl. icac 2016: 147-156 [doi]
Explaining Architectural Design Tradeoff Spaces: A Machine Learning ApproachJavier Cámara, Mariana Silva, David Garlan, Bradley R. Schmerl. ecsa 2021: 49-65 [doi]
Proactive self-adaptation under uncertainty: a probabilistic model checking approachGabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl. FSE 2015: 1-12 [doi]
Analyzing Resilience Properties of Different Topologies of Collective Adaptive SystemsThomas J. Glazier, Javier Cámara, Bradley R. Schmerl, David Garlan. saso 2015: 55-60 [doi]
CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable RobotsMd. Abir Hossen, Sonam Kharade, Bradley R. Schmerl, Javier Cámara, Jason M. O'Kane, Ellen C. Czaplinski, Katherine A. Dzurilla, David Garlan, Pooyan Jamshidi. ral, 8(7):4115-4122, July 2023. [doi]
Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT SystemsJavier Cámara, Henry Muccini, Karthik Vaidhyanathan. icsa 2020: 11-22 [doi]
Towards Scalable Multi-robot Systems by Partitioning the Task DomainBrendan Devlin-Hill, Radu Calinescu, Javier Cámara, Ipek Caliskanelli. taros 2022: 282-292 [doi]
Robustness-Driven Resilience Evaluation of Self-Adaptive Software SystemsJavier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira. tdsc, 14(1):50-64, 2017. [doi]
Reasoning about When to Provide Explanation for Human-involved Self-Adaptive SystemsNianyu Li, Javier Cámara, David Garlan, Bradley R. Schmerl. acsos 2020: 195-204 [doi]
Evaluation of resilience in self-adaptive systems using probabilistic model-checkingJavier Cámara, Rogério de Lemos. ICSE 2012: 53-62 [doi]
Socio-cyber-physical systems: models, opportunities, open challengesRadu Calinescu, Javier Cámara, Colin Paterson. ICSE 2019: 2-6 [doi]
Towards an Extensible Architecture and Tool Support for Model-Based VerificationDavid Delgado 0003, Lola Burgueño, Javier Cámara, Javier Troya. MoDELS 2023: 806-810 [doi]
ExTrA: Explaining architectural design tradeoff spaces via dimensionality reductionJavier Cámara, Rebekka Wohlrab, David Garlan, Bradley R. Schmerl. jss, 198:111578, April 2023. [doi]
Robustness Evaluation of Controllers in Self-Adaptive Software SystemsJavier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira. ladc 2013: 1-10 [doi]
AVYTAT 10 - PC Co-chairs MessageJavier Cámara, Howard Foster, Carlos E. Cuesta, Miguel Ángel Pérez Toledano. otm 2010: 55-56 [doi]
Structural reconfiguration of systems under behavioral adaptationCarlos Canal, Javier Cámara, Gwen Salaün. SCP, 78(1):46-64, 2012. [doi]
Voyager: Software Architecture Trade-off ExplorerJason Mashinchi, Javier Cámara. ecsa 2020: 55-67 [doi]
Optimal planning for architecture-based self-adaptation via model checking of stochastic gamesJavier Cámara, David Garlan, Bradley R. Schmerl, Ashutosh Pandey 0002. SAC 2015: 428-435 [doi]
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive SystemsDanny 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. sigsoft, 48(4):20-36, October 2023. [doi]
Evolving an adaptive industrial software system to use architecture-based self-adaptationJavier Cámara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley R. Schmerl, Rafael Ventura. ICSE 2013: 13-22 [doi]
A Case Study in Model-Based Adaptation of Web ServicesJavier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel. ISoLA 2010: 112-126 [doi]
Machine learning meets quantitative planning: enabling self-adaptation in autonomous robotsPooyan Jamshidi, Javier Cámara, Bradley R. Schmerl, Christian Kästner, David Garlan. ICSE 2019: 39-50 [doi]
Model-based Cluster Analysis for Identifying Suspicious Activity Sequences in SoftwareHemank Lamba, Thomas J. Glazier, Javier Cámara, Bradley R. Schmerl, David Garlan, Jürgen Pfeffer. codaspy 2017: 17-22 [doi]
Hey! Preparing Humans to do Tasks in Self-adaptive SystemsNianyu Li, Javier Cámara, David Garlan, Bradley R. Schmerl, Zhi Jin. SEAMS 2021: 48-58 [doi]
Towards a Formal Framework for Hybrid Planning in Self-AdaptationAshutosh Pandey 0002, Ivan Ruchkin, Bradley R. Schmerl, Javier Cámara. ICSE 2017: 109-115 [doi]
Architecture Modeling and Analysis of Security in Android SystemsBradley R. Schmerl, Jeff Gennari, Alireza Sadeghi, Hamid Bagheri, Sam Malek, Javier Cámara, David Garlan. ecsa 2016: 274-290 [doi]
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP PoliciesSimos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang. ASE 2021: 842-853 [doi]
Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected PapersJavier Cámara, Martin Steffen, editors, Volume 12226 of Lecture Notes in Computer Science, Springer, 2020. [doi]
Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected PapersJavier Cámara, Sung-Shik Jongmans, editors, Volume 14485 of Lecture Notes in Computer Science, Springer, 2024. [doi]
Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-AdaptationGabriel A. Moreno, Javier Cámara, David Garlan, Bradley R. Schmerl. taas, 13(1), 2018. [doi]
Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, ProceedingsHenry Muccini, Paris Avgeriou, Barbora Buhnova, Javier Cámara, Mauro Caporuscio, Mirco Franzago, Anne Koziolek, Patrizia Scandurra, Catia Trubiani, Danny Weyns, Uwe Zdun, editors, Volume 1269 of Communications in Computer and Information Science, Springer, 2020. [doi]
Uncertainty reduction in self-adaptive systemsGabriel A. Moreno, Javier Cámara, David Garlan, Mark Klein. ICSE 2018: 51-57 [doi]
A Framework for Run-Time Behavioural Service Adaptation in Ubiquitous ComputingJavier Cámara, Carlos Canal, Nikolay Vasilev. otm 2010: 67-76 [doi]
Synthesis of switching controllers using approximately bisimilar multiscale abstractionsJavier Cámara, Antoine Girard, Gregor Gößler. hybrid 2011: 191-200 [doi]
Analyzing Self-Adaptation Via Model Checking of Stochastic GamesJavier Cámara, David Garlan, Gabriel A. Moreno, Bradley R. Schmerl. Dagstuhl 2017: 154-187 [doi]
Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot TeamsGricel Vázquez, Radu Calinescu, Javier Cámara. taros 2021: 354-359 [doi]
Learning by Redoing: An Experimental Study on the Impact of Repetition of Formative Assessments in a Formal Methods Course for Software EngineersJavier Cámara, David Garlan. IEEE Software, 40(6):95-101, November - December 2023. [doi]
Behavioural self-adaptation of services in ubiquitous computing environmentsJavier Cámara, Carlos Canal, Gwen Salaün. ICSE 2009: 28-37 [doi]
Towards Self-Adaptive Disaster Management SystemsKenneth Johnson, Javier Cámara, Roopak Sinha, Samaneh Madanian, Dave Parry. iscram 2021: 49-61 [doi]
Robustness evaluation of the rainbow framework for self-adaptationJavier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira. SAC 2014: 376-383 [doi]
Safety controller synthesis for switched systems using multi-scale symbolic modelsJavier Cámara, Antoine Girard, Gregor Gößler. cdc 2010: 520-525 [doi]
Explaining quality attribute tradeoffs in automated planning for self-adaptive systemsRebekka Wohlrab, Javier Cámara, David Garlan, Bradley R. Schmerl. jss, 198:111538, April 2023. [doi]
Raindroid: a system for run-time mitigation of Android intent vulnerabilities [poster]Bradley R. Schmerl, Jeffrey Gennari, Javier Cámara, David Garlan. hotsos 2016: 115-117 [doi]
Synthesis and Verification of Self-aware Computing SystemsRadu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen 0001, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli. In Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, editors, Self-Aware Computing Systems. pages 337-373, Springer International Publishing, 2017. [doi]
Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systemsAnnapaola 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. ICSE 2012: 40-46 [doi]
Adaptation impact and environment models for architecture-based self-adaptive systemsJavier Cámara, Antónia Lopes, David Garlan, Bradley R. Schmerl. SCP, 127:50-75, 2016. [doi]
Comparing Model-Based Predictive Approaches to Self-Adaptation: CobRA and PLAGabriel A. Moreno, Alessandro Vittorio Papadopoulos, Konstantinos Angelopoulos, Javier Cámara, Bradley R. Schmerl. ICSE 2017: 42-53 [doi]
Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, ASAS@ESEC/FSE 2011, Szeged, Hungary, September 4, 2011Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Anténia Lopes, editors, ACM, 2011. [doi]
A Probabilistic Model Checking Approach to Self-adapting Machine Learning SystemsMaria Casimiro, David Garlan, Javier Cámara, Luís Rodrigues, Paolo Romano 0002. SEFM 2022: 317-332 [doi]
A model-based approach to anomaly detection in software architecturesHemank Lamba, Thomas J. Glazier, Bradley R. Schmerl, Javier Cámara, David Garlan, Jürgen Pfeffer. hotsos 2016: 69-71 [doi]
Architecture-based resilience evaluation for self-adaptive systemsJavier Cámara, Rogério de Lemos, Marco Vieira, Raquel Almeida, Rafael Ventura. computing, 95(8):689-722, 2013. [doi]
Self-aware Computing Systems: Related Concepts and Research AreasJavier 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. In Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, editors, Self-Aware Computing Systems. pages 17-49, Springer International Publishing, 2017. [doi]
MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offsJavier Cámara, Bradley R. Schmerl, Gabriel A. Moreno, David Garlan. ASE, 25(3):595-626, 2018. [doi]
Special section on Foundations of Coordination Languages and Software ArchitecturesNatallia Kokash, Javier Cámara. SCP, 115:147-148, 2016. [doi]
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of AssurancesRogé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 0001, Franco Zambonelli. Dagstuhl 2017: 3-30 [doi]
Perpetual Assurances for Self-Adaptive SystemsDanny 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. Dagstuhl 2017: 31-63 [doi]
Model-Based Analysis of Microservice Resiliency PatternsNabor C. Mendonça, Carlos Mendes Aderaldo, Javier Cámara, David Garlan. icsa 2020: 114-124 [doi]
Assurances for Self-Adaptive Systems - Principles, Models, and TechniquesJavier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes, editors, Volume 7740 of Lecture Notes in Computer Science, Springer, 2013. [doi]
Message from the SAIP, NEMI, ECRF, Journal First, and Workshops Track ChairsSteffen Becker 0001, 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. icsa 2021: 10-11 [doi]
Testing the robustness of controllers for self-adaptive systemsJavier Cámara, Rogério de Lemos, Nuno Laranjeiro, Rafael Ventura, Marco Vieira. jbcs, 20(1):1-14, 2014. [doi]
Foreword: SEAMS 2022 Special IssueBradley R. Schmerl, Javier Cámara, Martina Maggio. taas, 19(1), March 2024. [doi]
Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation CommitteeJavier Cámara, Bashar Nuseibeh, David Garlan. darts, 3(1), 2017. [doi]
Event-Driven Bandwidth Allocation with Formal Guarantees for Camera NetworksGautham Nayak Seetanadi, Javier Cámara, Luis Almeida, Karl-Erik Årzén, Martina Maggio. rtss 2017: 243-254 [doi]
The Notion of Self-aware ComputingSamuel 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. In Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, editors, Self-Aware Computing Systems. pages 3-16, Springer International Publishing, 2017. [doi]
VADER 2011 PC Co-chairs' MessageMiguel A. Prez-Toledano, Carlos E. Cuesta, Renaud Pawlak, Javier Cámara. otm 2011: 609-611 [doi]
Focusing on What Matters: Explaining Quality Tradeoffs in Software-Intensive Systems Via Dimensionality ReductionJavier Cámara, Rebekka Wohlrab, David Garlan, Bradley R. Schmerl. IEEE Software, 41(1):64-73, January - February 2024. [doi]
Security Countermeasure Selection for Component-Based Software-Intensive SystemsCharilaos Skandylas, Narges Khakpour, Javier Cámara. qrs 2022: 63-72 [doi]
Model-Based Adaptation for Robotics SoftwareJonathan 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. IEEE Software, 36(2):83-90, 2019. [doi]
From Chats to Models: Assessing the Potential of LLMs in the World of Software ModelingJavier Cámara, Javier Troya, Lola Burgueño. ercim, 2024(136), 2024. [doi]
Incorporating architecture-based self-adaptation into an adaptive industrial software systemJavier Cámara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley R. Schmerl, Rafael Ventura. jss, 122:507-523, 2016. [doi]
Stochastic game analysis and latency awareness for proactive self-adaptationJavier Cámara, Gabriel A. Moreno, David Garlan. ICSE 2014: 155-164 [doi]
Workshop on Autonomic and Self-Adaptive Systems (WASELF, 3ª ed.)Javier Cámara, Carlos E. Cuesta, Miguel Ángel Pérez Toledano. jisbd 2010: 355
Big Data in Cloud Computing: Features and IssuesPedro Caldeira Neves, Bradley R. Schmerl, Javier Cámara, Jorge Bernardino. iotbd 2016: 307-314 [doi]
Empirical resilience evaluation of an architecture-based self-adaptive software systemJavier Cámara, Pedro Correia, Rogério de Lemos, Marco Vieira. qosa 2014: 63-72 [doi]
Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software SystemsJavier Cámara, David Garlan, Bradley R. Schmerl. ecsa 2017: 3-21 [doi]
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UMLJavier Cámara, Javier Troya, Lola Burgueño, Antonio Vallecillo. SoSyM, 22(3):781-793, 2023. [doi]
Interactive specification and verification of behavioral adaptation contractsJavier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni. INFSOF, 54(7):701-723, 2012. [doi]
Editors' Introduction to the Special Issue on Autonomic and Self-Adaptive SystemsJavier Cámara, Carlos E. Cuesta, Miguel Ángel Pérez Toledano. informaticaSI, 35(1):1-2, 2011. [doi]
Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderataJavier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo. MoDELS 2022: 24-30 [doi]
Architecture-based self-protection: composing and reasoning about denial-of-service mitigationsBradley R. Schmerl, Javier Cámara, Jeffrey Gennari, David Garlan, Paulo Casanova, Gabriel A. Moreno, Thomas J. Glazier, Jeffrey M. Barnes. hotsos 2014: 2 [doi]
Reasoning about sensing uncertainty and its reduction in decision-making for self-adaptationJavier Cámara, Wenxin Peng, David Garlan, Bradley R. Schmerl. SCP, 167:51-69, 2018. [doi]
Hybrid Planning for Decision Making in Self-Adaptive SystemsAshutosh Pandey 0002, Gabriel A. Moreno, Javier Cámara, David Garlan. saso 2016: 130-139 [doi]
Reasoning about Human Participation in Self-Adaptive SystemsJavier Cámara, Gabriel A. Moreno, David Garlan. ICSE 2015: 146-156 [doi]
Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptationJavier Cámara, Wenxin Peng, David Garlan, Bradley R. Schmerl. SEFM 2018: 523-540 [doi]
Synthesizing tradeoff spaces with quantitative guarantees for families of software systemsJavier Cámara, David Garlan, Bradley R. Schmerl. jss, 152:33-49, 2019. [doi]
The uncertainty interaction problem in self-adaptive systemsJavier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl. SoSyM, 21(4):1277-1294, 2022. [doi]
Software architecture and task plan co-adaptation for mobile service robotsJavier Cámara, Bradley R. Schmerl, David Garlan. ICSE 2020: 125-136 [doi]
Semi-Automatic Specification of Behavioural Service Adaptation ContractsJavier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel. ENTCS, 264(1):19-34, 2010. [doi]
Comparator: A Tool for Quantifying Behavioural CompatibilityMeriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel. FASE 2014: 306-309 [doi]
The 3rd Controlled Adaptation of Self-adaptive Systems (CASaS) (NII Shonan Meeting 153)Kenji Tei, Nir Piterman, Javier Cámara. shonan-reports, 2020, 2020. [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL