Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Javier Cámara
@article{DBLP:journals/software/CamaraWGS24,
author = {Javier C{\'{a}}mara and
Rebekka Wohlrab and
David Garlan and
Bradley R. Schmerl},
title = {Focusing on What Matters: Explaining Quality Tradeoffs in Software-Intensive
Systems Via Dimensionality Reduction},
journal = {{IEEE} Softw.},
volume = {41},
number = {1},
pages = {64--73},
year = {2024},
url = {https://doi.org/10.1109/MS.2023.3320689},
doi = {10.1109/MS.2023.3320689},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/software/CamaraWGS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/SchmerlCM24,
author = {Bradley R. Schmerl and
Javier C{\'{a}}mara and
Martina Maggio},
title = {Foreword: {SEAMS} 2022 Special Issue},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {19},
number = {1},
pages = {1:1--1:3},
year = {2024},
url = {https://doi.org/10.1145/3643642},
doi = {10.1145/3643642},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taas/SchmerlCM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2023,
editor = {Javier C{\'{a}}mara and
Sung{-}Shik Jongmans},
title = {Formal Aspects of Component Software - 19th International Conference,
{FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {14485},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-52183-6},
doi = {10.1007/978-3-031-52183-6},
isbn = {978-3-031-52182-9},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/CamaraTB24,
author = {Javier C{\'{a}}mara and
Javier Troya and
Lola Burgue{\~{n}}o},
title = {From Chats to Models: Assessing the Potential of LLMs in the World
of Software Modeling},
journal = {{ERCIM} News},
volume = {2024},
number = {136},
year = {2024},
url = {https://ercim-news.ercim.eu/en136/special/from-chats-to-models-assessing-the-potential-of-llms-in-the-world-of-software-modeling},
timestamp = {Tue, 20 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ercim/CamaraTB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/WohlrabCGS23,
author = {Rebekka Wohlrab and
Javier C{\'{a}}mara and
David Garlan and
Bradley R. Schmerl},
title = {Explaining quality attribute tradeoffs in automated planning for self-adaptive
systems},
journal = {J. Syst. Softw.},
volume = {198},
pages = {111538},
year = {2023},
url = {https://doi.org/10.1016/j.jss.2022.111538},
doi = {10.1016/J.JSS.2022.111538},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/WohlrabCGS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CamaraWGS23,
author = {Javier C{\'{a}}mara and
Rebekka Wohlrab and
David Garlan and
Bradley R. Schmerl},
title = {ExTrA: Explaining architectural design tradeoff spaces via dimensionality
reduction},
journal = {J. Syst. Softw.},
volume = {198},
pages = {111578},
year = {2023},
url = {https://doi.org/10.1016/j.jss.2022.111578},
doi = {10.1016/J.JSS.2022.111578},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/CamaraWGS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/HossenKSCOCDGJ23,
author = {Md. Abir Hossen and
Sonam Kharade and
Bradley R. Schmerl and
Javier C{\'{a}}mara and
Jason M. O'Kane and
Ellen C. Czaplinski and
Katherine A. Dzurilla and
David Garlan and
Pooyan Jamshidi},
title = {CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable
Robots},
journal = {{IEEE} Robotics Autom. Lett.},
volume = {8},
number = {7},
pages = {4115--4122},
year = {2023},
url = {https://doi.org/10.1109/LRA.2023.3280810},
doi = {10.1109/LRA.2023.3280810},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ral/HossenKSCOCDGJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/WeynsCMTABBBCDEGGYGHLLMMMRPQSVZ23,
author = {Danny Weyns and
Radu Calinescu and
Raffaela Mirandola and
Kenji Tei and
Maribel Acosta and
Amel Bennaceur and
Nicolas Boltz and
Tom{\'{a}}s Bures and
Javier C{\'{a}}mara and
Ada Diaconescu and
Gregor Engels and
Simos Gerasimou and
Ilias Gerostathopoulos and
Sinem Getir Yaman and
Vincenzo Grassi and
Sebastian Hahner and
Emmanuel Letier and
Marin Litoiu and
Lina Marsso and
Angelika Musil and
Juergen Musil and
Gena{\'{\i}}na Nunes Rodrigues and
Diego Perez{-}Palacin and
Federico Quin and
Patrizia Scandurra and
Antonio Vallecillo and
Andrea Zisman},
title = {Towards a Research Agenda for Understanding and ManagingUncertainty
in Self-Adaptive Systems},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {48},
number = {4},
pages = {20--36},
year = {2023},
url = {https://doi.org/10.1145/3617946.3617951},
doi = {10.1145/3617946.3617951},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/WeynsCMTABBBCDEGGYGHLLMMMRPQSVZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/CamaraG23,
author = {Javier C{\'{a}}mara and
David Garlan},
title = {Learning by Redoing: An Experimental Study on the Impact of Repetition
of Formative Assessments in a Formal Methods Course for Software Engineers},
journal = {{IEEE} Softw.},
volume = {40},
number = {6},
pages = {95--101},
year = {2023},
url = {https://doi.org/10.1109/MS.2023.3291400},
doi = {10.1109/MS.2023.3291400},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/software/CamaraG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CamaraTBV23,
author = {Javier C{\'{a}}mara and
Javier Troya and
Lola Burgue{\~{n}}o and
Antonio Vallecillo},
title = {On the assessment of generative {AI} in modeling tasks: an experience
report with ChatGPT and {UML}},
journal = {Softw. Syst. Model.},
volume = {22},
number = {3},
pages = {781--793},
year = {2023},
url = {https://doi.org/10.1007/s10270-023-01105-5},
doi = {10.1007/S10270-023-01105-5},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/CamaraTBV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/0003BCT23,
author = {David Delgado and
Lola Burgue{\~{n}}o and
Javier C{\'{a}}mara and
Javier Troya},
title = {Towards an Extensible Architecture and Tool Support for Model-Based
Verification},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2023 Companion, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {806--810},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS-C59198.2023.00129},
doi = {10.1109/MODELS-C59198.2023.00129},
timestamp = {Fri, 05 Jan 2024 16:35:45 +0100},
biburl = {https://dblp.org/rec/conf/models/0003BCT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-07690,
author = {Md. Abir Hossen and
Sonam Kharade and
Bradley R. Schmerl and
Javier C{\'{a}}mara and
Jason M. O'Kane and
Ellen C. Czaplinski and
Katherine A. Dzurilla and
David Garlan and
Pooyan Jamshidi},
title = {CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable
Robots},
journal = {CoRR},
volume = {abs/2301.07690},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.07690},
doi = {10.48550/ARXIV.2301.07690},
eprinttype = {arXiv},
eprint = {2301.07690},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-07690.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CamaraTVBCCGS22,
author = {Javier C{\'{a}}mara and
Javier Troya and
Antonio Vallecillo and
Nelly Bencomo and
Radu Calinescu and
Betty H. C. Cheng and
David Garlan and
Bradley R. Schmerl},
title = {The uncertainty interaction problem in self-adaptive systems},
journal = {Softw. Syst. Model.},
volume = {21},
number = {4},
pages = {1277--1294},
year = {2022},
url = {https://doi.org/10.1007/s10270-022-01037-6},
doi = {10.1007/S10270-022-01037-6},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/CamaraTVBCCGS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CamaraCCGSTV22,
author = {Javier C{\'{a}}mara and
Radu Calinescu and
Betty H. C. Cheng and
David Garlan and
Bradley R. Schmerl and
Javier Troya and
Antonio Vallecillo},
editor = {Eugene Syriani and
Houari A. Sahraoui and
Nelly Bencomo and
Manuel Wimmer},
title = {Addressing the uncertainty interaction problem in software-intensive
systems: challenges and desiderata},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2022, Montreal, Quebec, Canada, October
23-28, 2022},
pages = {24--30},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550355.3552438},
doi = {10.1145/3550355.3552438},
timestamp = {Thu, 27 Oct 2022 15:55:50 +0200},
biburl = {https://dblp.org/rec/conf/models/CamaraCCGSTV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/SkandylasKC22,
author = {Charilaos Skandylas and
Narges Khakpour and
Javier C{\'{a}}mara},
title = {Security Countermeasure Selection for Component-Based Software-Intensive
Systems},
booktitle = {22nd {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2022, Guangzhou, China, December 5-9, 2022},
pages = {63--72},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/QRS57517.2022.00017},
doi = {10.1109/QRS57517.2022.00017},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/SkandylasKC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taros/Devlin-HillCCC22,
author = {Brendan Devlin{-}Hill and
Radu Calinescu and
Javier C{\'{a}}mara and
Ipek Caliskanelli},
editor = {Salvador Pacheco Gutierrez and
Alice Cryer and
Ipek Caliskanelli and
Harun Tugal and
Robert Skilton},
title = {Towards Scalable Multi-robot Systems by Partitioning the Task Domain},
booktitle = {Towards Autonomous Robotic Systems - 23rd Annual Conference, {TAROS}
2022, Culham, UK, September 7-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13546},
pages = {282--292},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15908-4\_22},
doi = {10.1007/978-3-031-15908-4\_22},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/taros/Devlin-HillCCC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14040,
author = {Gricel V{\'{a}}zquez and
Radu Calinescu and
Javier C{\'{a}}mara},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Scheduling of Missions with Constrained Tasks for Heterogeneous Robot
Systems},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {156--174},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.11},
doi = {10.4204/EPTCS.371.11},
timestamp = {Mon, 14 Nov 2022 14:12:09 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14041,
author = {Jordan Hamilton and
Ioannis Stefanakos and
Radu Calinescu and
Javier C{\'{a}}mara},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Towards Adaptive Planning of Assistive-care Robot Tasks},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {175--183},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.12},
doi = {10.4204/EPTCS.371.12},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/seams/2022,
editor = {Bradley R. Schmerl and
Martina Maggio and
Javier C{\'{a}}mara},
title = {International Symposium on Software Engineering for Adaptive and Self-Managing
Systems, {SEAMS} 2022, Pittsburgh, PA, USA, May 22-24, 2022},
publisher = {{ACM/IEEE}},
year = {2022},
url = {https://doi.org/10.1145/3524844},
doi = {10.1145/3524844},
isbn = {978-1-4503-9305-8},
timestamp = {Wed, 17 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seams/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/CamaraSGS21,
author = {Javier C{\'{a}}mara and
Mariana Silva and
David Garlan and
Bradley R. Schmerl},
editor = {Stefan Biffl and
Elena Navarro and
Welf L{\"{o}}we and
Marjan Sirjani and
Raffaela Mirandola and
Danny Weyns},
title = {Explaining Architectural Design Tradeoff Spaces: {A} Machine Learning
Approach},
booktitle = {Software Architecture - 15th European Conference, {ECSA} 2021, Virtual
Event, Sweden, September 13-17, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12857},
pages = {49--65},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86044-8\_4},
doi = {10.1007/978-3-030-86044-8\_4},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/CamaraSGS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/0001CCFJKKKLLST21,
author = {Steffen Becker and
Javier C{\'{a}}mara and
St{\'{e}}phanie Challita and
Christoph Fehling and
Anton Jansen and
Oliver Kopp and
Heiko Koziolek and
Philippe Kruchten and
Grace A. Lewis and
Carola Lilienthal and
Romina Spalazzese and
Catia Trubiani},
title = {Message from the SAIP, NEMI, ECRF, Journal First, and Workshops Track
Chairs},
booktitle = {18th {IEEE} International Conference on Software Architecture Companion,
{ICSA} Companion 2021, Stuttgart, Germany, March 22-26, 2021},
pages = {10--11},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSA-C52384.2021.00006},
doi = {10.1109/ICSA-C52384.2021.00006},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsa/0001CCFJKKKLLST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscram/JohnsonCSMP21,
author = {Kenneth Johnson and
Javier C{\'{a}}mara and
Roopak Sinha and
Samaneh Madanian and
Dave Parry},
editor = {Anouck Adrot and
Rob Grace and
Kathleen A. Moore and
Christopher W. Zobel},
title = {Towards Self-Adaptive Disaster Management Systems},
booktitle = {18th International Conference on Information Systems for Crisis Response
and Management, {ISCRAM} 2021, Blacksburg, VA, USA, May 2021},
pages = {49--61},
publisher = {{ISCRAM} Digital Library},
year = {2021},
url = {https://idl.iscram.org/show.php?record=2312},
timestamp = {Thu, 10 Nov 2022 16:58:41 +0100},
biburl = {https://dblp.org/rec/conf/iscram/JohnsonCSMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GerasimouCCAAF21,
author = {Simos Gerasimou and
Javier C{\'{a}}mara and
Radu Calinescu and
Naif Alasmari and
Faisal Alhwikem and
Xinwei Fang},
title = {Evolutionary-Guided Synthesis of Verified Pareto-Optimal {MDP} Policies},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {842--853},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678727},
doi = {10.1109/ASE51524.2021.9678727},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/GerasimouCCAAF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seams/LiCGSJ21,
author = {Nianyu Li and
Javier C{\'{a}}mara and
David Garlan and
Bradley R. Schmerl and
Zhi Jin},
title = {Hey! Preparing Humans to do Tasks in Self-adaptive Systems},
booktitle = {16th International Symposium on Software Engineering for Adaptive
and Self-Managing Systems, SEAMS@ICSE 2021, Madrid, Spain, May 18-24,
2021},
pages = {48--58},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SEAMS51251.2021.00017},
doi = {10.1109/SEAMS51251.2021.00017},
timestamp = {Fri, 02 Jul 2021 15:15:55 +0200},
biburl = {https://dblp.org/rec/conf/seams/LiCGSJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CasimiroGCRR21,
author = {Maria Casimiro and
David Garlan and
Javier C{\'{a}}mara and
Lu{\'{\i}}s Rodrigues and
Paolo Romano},
editor = {Antonio Cerone and
Marco Autili and
Alessio Bucaioni and
Cl{\'{a}}udio Gomes and
Pierluigi Graziani and
Maurizio Palmieri and
Marco Temperini and
Gentiane Venture},
title = {A Probabilistic Model Checking Approach to Self-adapting Machine Learning
Systems},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2021 Collocated Workshops
- CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10,
2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13230},
pages = {317--332},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-12429-7\_23},
doi = {10.1007/978-3-031-12429-7\_23},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/CasimiroGCRR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taros/VazquezCC21,
author = {Gricel V{\'{a}}zquez and
Radu Calinescu and
Javier C{\'{a}}mara},
editor = {Charles W. Fox and
Junfeng Gao and
Amir Masoud Ghalamzan Esfahani and
Mini C. Saaj and
Marc Hanheide and
Simon Parsons},
title = {Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous
Robot Teams},
booktitle = {Towards Autonomous Robotic Systems - 22nd Annual Conference, {TAROS}
2021, Lincoln, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13054},
pages = {354--359},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89177-0\_36},
doi = {10.1007/978-3-030-89177-0\_36},
timestamp = {Tue, 09 Nov 2021 13:25:06 +0100},
biburl = {https://dblp.org/rec/conf/taros/VazquezCC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/LiCGS20,
author = {Nianyu Li and
Javier C{\'{a}}mara and
David Garlan and
Bradley R. Schmerl},
title = {Reasoning about When to Provide Explanation for Human-involved Self-Adaptive
Systems},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2020, Washington, DC, USA, August 17-21, 2020},
pages = {195--204},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ACSOS49614.2020.00042},
doi = {10.1109/ACSOS49614.2020.00042},
timestamp = {Fri, 23 Oct 2020 15:33:10 +0200},
biburl = {https://dblp.org/rec/conf/acsos/LiCGS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/MashinchiC20,
author = {Jason Mashinchi and
Javier C{\'{a}}mara},
editor = {Henry Muccini and
Paris Avgeriou and
Barbora Buhnova and
Javier C{\'{a}}mara and
Mauro Caporuscio and
Mirco Franzago and
Anne Koziolek and
Patrizia Scandurra and
Catia Trubiani and
Danny Weyns and
Uwe Zdun},
title = {Voyager: Software Architecture Trade-off Explorer},
booktitle = {Software Architecture - 14th European Conference, {ECSA} 2020 Tracks
and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1269},
pages = {55--67},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59155-7\_5},
doi = {10.1007/978-3-030-59155-7\_5},
timestamp = {Wed, 16 Sep 2020 17:54:03 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/MashinchiC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/CamaraMV20,
author = {Javier C{\'{a}}mara and
Henry Muccini and
Karthik Vaidhyanathan},
title = {Quantitative Verification-Aided Machine Learning: {A} Tandem Approach
for Architecting Self-Adaptive IoT Systems},
booktitle = {2020 {IEEE} International Conference on Software Architecture, {ICSA}
2020, Salvador, Brazil, March 16-20, 2020},
pages = {11--22},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSA47634.2020.00010},
doi = {10.1109/ICSA47634.2020.00010},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsa/CamaraMV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/MendoncaACG20,
author = {Nabor C. Mendon{\c{c}}a and
Carlos Mendes Aderaldo and
Javier C{\'{a}}mara and
David Garlan},
title = {Model-Based Analysis of Microservice Resiliency Patterns},
booktitle = {2020 {IEEE} International Conference on Software Architecture, {ICSA}
2020, Salvador, Brazil, March 16-20, 2020},
pages = {114--124},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSA47634.2020.00019},
doi = {10.1109/ICSA47634.2020.00019},
timestamp = {Sun, 07 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsa/MendoncaACG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Camara20,
author = {Javier C{\'{a}}mara},
editor = {Kyungmin Bae and
Domenico Bianculli and
Stefania Gnesi and
Nico Plat},
title = {HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic
Guarantees},
booktitle = {FormaliSE@ICSE 2020: 8th International Conference on Formal Methods
in Software Engineering, Seoul, Republic of Korea, July 13, 2020},
pages = {22--33},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372020.3391562},
doi = {10.1145/3372020.3391562},
timestamp = {Thu, 27 Jul 2023 16:07:53 +0200},
biburl = {https://dblp.org/rec/conf/icse/Camara20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CamaraP0WGHT20,
author = {Javier C{\'{a}}mara and
Alessandro Vittorio Papadopoulos and
Thomas Vogel and
Danny Weyns and
David Garlan and
Shihong Huang and
Kenji Tei},
editor = {Shinichi Honiden and
Elisabetta Di Nitto and
Radu Calinescu},
title = {Towards bridging the gap between control and self-adaptive system
properties},
booktitle = {{SEAMS} '20: {IEEE/ACM} 15th International Symposium on Software Engineering
for Adaptive and Self-Managing Systems, Seoul, Republic of Korea,
29 June - 3 July, 2020},
pages = {78--84},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387939.3391568},
doi = {10.1145/3387939.3391568},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/CamaraP0WGHT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CamaraSG20,
author = {Javier C{\'{a}}mara and
Bradley R. Schmerl and
David Garlan},
editor = {Shinichi Honiden and
Elisabetta Di Nitto and
Radu Calinescu},
title = {Software architecture and task plan co-adaptation for mobile service
robots},
booktitle = {{SEAMS} '20: {IEEE/ACM} 15th International Symposium on Software Engineering
for Adaptive and Self-Managing Systems, Seoul, Republic of Korea,
29 June - 3 July, 2020},
pages = {125--136},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387939.3391591},
doi = {10.1145/3387939.3391591},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/CamaraSG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecsa/2020c,
editor = {Henry Muccini and
Paris Avgeriou and
Barbora Buhnova and
Javier C{\'{a}}mara and
Mauro Caporuscio and
Mirco Franzago and
Anne Koziolek and
Patrizia Scandurra and
Catia Trubiani and
Danny Weyns and
Uwe Zdun},
title = {Software Architecture - 14th European Conference, {ECSA} 2020 Tracks
and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1269},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59155-7},
doi = {10.1007/978-3-030-59155-7},
isbn = {978-3-030-59154-0},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/2020c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2019w,
editor = {Javier C{\'{a}}mara and
Martin Steffen},
title = {Software Engineering and Formal Methods - {SEFM} 2019 Collocated Workshops:
CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20,
2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12226},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57506-9},
doi = {10.1007/978-3-030-57506-9},
isbn = {978-3-030-57505-2},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/2019w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-11846,
author = {Javier C{\'{a}}mara and
Alessandro Vittorio Papadopoulos and
Thomas Vogel and
Danny Weyns and
David Garlan and
Shihong Huang and
Kenji Tei},
title = {Towards Bridging the Gap between Control and Self-Adaptive System
Properties},
journal = {CoRR},
volume = {abs/2004.11846},
year = {2020},
url = {https://arxiv.org/abs/2004.11846},
eprinttype = {arXiv},
eprint = {2004.11846},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-11846.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/TeiPC20,
author = {Kenji Tei and
Nir Piterman and
Javier C{\'{a}}mara},
title = {The 3rd Controlled Adaptation of Self-adaptive Systems (CASaS) {(NII}
Shonan Meeting 153)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2020},
year = {2020},
url = {https://shonan.nii.ac.jp/seminars/153/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/TeiPC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CamaraGS19,
author = {Javier C{\'{a}}mara and
David Garlan and
Bradley R. Schmerl},
title = {Synthesizing tradeoff spaces with quantitative guarantees for families
of software systems},
journal = {J. Syst. Softw.},
volume = {152},
pages = {33--49},
year = {2019},
url = {https://doi.org/10.1016/j.jss.2019.02.055},
doi = {10.1016/J.JSS.2019.02.055},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/CamaraGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/CamaraGE19,
author = {Javier C{\'{a}}mara and
David Garlan and
Greg Eakman},
title = {Building Long-Lived Adaptive Systems},
journal = {{IEEE} Softw.},
volume = {36},
number = {2},
pages = {70--72},
year = {2019},
url = {https://doi.org/10.1109/MS.2018.2885993},
doi = {10.1109/MS.2018.2885993},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/CamaraGE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/AldrichGKGMRSST19,
author = {Jonathan Aldrich and
David Garlan and
Christian K{\"{a}}stner and
Claire Le Goues and
Anahita Mohseni{-}Kabir and
Ivan Ruchkin and
Selva Samuel and
Bradley R. Schmerl and
Christopher Steven Timperley and
Manuela Veloso and
Ian Voysey and
Joydeep Biswas and
Arjun Guha and
Jarrett Holtz and
Javier C{\'{a}}mara and
Pooyan Jamshidi},
title = {Model-Based Adaptation for Robotics Software},
journal = {{IEEE} Softw.},
volume = {36},
number = {2},
pages = {83--90},
year = {2019},
url = {https://doi.org/10.1109/MS.2018.2885058},
doi = {10.1109/MS.2018.2885058},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/AldrichGKGMRSST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CalinescuCP19,
author = {Radu Calinescu and
Javier C{\'{a}}mara and
Colin Paterson},
editor = {Tom{\'{a}}s Bures and
Bradley R. Schmerl and
John S. Fitzgerald and
Danny Weyns},
title = {Socio-cyber-physical systems: models, opportunities, open challenges},
booktitle = {Proceedings of the 5th International Workshop on Software Engineering
for Smart Cyber-Physical Systems, SEsCPS@ICSE 2019, Montreal, QC,
Canada, May 28, 2019},
pages = {2--6},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/SEsCPS.2019.00008},
doi = {10.1109/SESCPS.2019.00008},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/CalinescuCP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/JamshidiCSKG19,
author = {Pooyan Jamshidi and
Javier C{\'{a}}mara and
Bradley R. Schmerl and
Christian K{\"{a}}stner and
David Garlan},
editor = {Marin Litoiu and
Siobh{\'{a}}n Clarke and
Kenji Tei},
title = {Machine learning meets quantitative planning: enabling self-adaptation
in autonomous robots},
booktitle = {Proceedings of the 14th International Symposium on Software Engineering
for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal,
QC, Canada, May 25-31, 2019},
pages = {39--50},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1109/SEAMS.2019.00015},
doi = {10.1109/SEAMS.2019.00015},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/JamshidiCSKG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-03920,
author = {Pooyan Jamshidi and
Javier C{\'{a}}mara and
Bradley R. Schmerl and
Christian K{\"{a}}stner and
David Garlan},
title = {Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation
in Autonomous Robots},
journal = {CoRR},
volume = {abs/1903.03920},
year = {2019},
url = {http://arxiv.org/abs/1903.03920},
eprinttype = {arXiv},
eprint = {1903.03920},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-03920.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-04771,
author = {Danny Weyns and
Nelly Bencomo and
Radu Calinescu and
Javier C{\'{a}}mara and
Carlo Ghezzi and
Vincenzo Grassi and
Lars Grunske and
Paola Inverardi and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Sam Malek and
Raffaela Mirandola and
Marco Mori and
Giordano Tamburrelli},
title = {Perpetual Assurances for Self-Adaptive Systems},
journal = {CoRR},
volume = {abs/1903.04771},
year = {2019},
url = {http://arxiv.org/abs/1903.04771},
eprinttype = {arXiv},
eprint = {1903.04771},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-04771.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/CamaraSMG18,
author = {Javier C{\'{a}}mara and
Bradley R. Schmerl and
Gabriel A. Moreno and
David Garlan},
title = {{MOSAICO:} offline synthesis of adaptation strategy repertoires with
flexible trade-offs},
journal = {Autom. Softw. Eng.},
volume = {25},
number = {3},
pages = {595--626},
year = {2018},
url = {https://doi.org/10.1007/s10515-018-0234-9},
doi = {10.1007/S10515-018-0234-9},
timestamp = {Fri, 03 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/CamaraSMG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CamaraPGS18,
author = {Javier C{\'{a}}mara and
Wenxin Peng and
David Garlan and
Bradley R. Schmerl},
title = {Reasoning about sensing uncertainty and its reduction in decision-making
for self-adaptation},
journal = {Sci. Comput. Program.},
volume = {167},
pages = {51--69},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2018.07.002},
doi = {10.1016/J.SCICO.2018.07.002},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/CamaraPGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/MorenoCGS18,
author = {Gabriel A. Moreno and
Javier C{\'{a}}mara and
David Garlan and
Bradley R. Schmerl},
title = {Flexible and Efficient Decision-Making for Proactive Latency-Aware
Self-Adaptation},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {13},
number = {1},
pages = {3:1--3:36},
year = {2018},
url = {https://doi.org/10.1145/3149180},
doi = {10.1145/3149180},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taas/MorenoCGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/MendoncaGSC18,
author = {Nabor C. Mendon{\c{c}}a and
David Garlan and
Bradley R. Schmerl and
Javier C{\'{a}}mara},
editor = {Jennifer P{\'{e}}rez and
Raffaela Mirandola and
Hong{-}Mei Chen},
title = {Generality vs. reusability in architecture-based self-adaptation:
the case for self-adaptive microservices},
booktitle = {Proceedings of the 12th European Conference on Software Architecture:
Companion Proceedings, {ECSA} 2018, Madrid, Spain, September 24-28,
2018},
pages = {18:1--18:6},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3241403.3241423},
doi = {10.1145/3241403.3241423},
timestamp = {Wed, 21 Nov 2018 12:44:03 +0100},
biburl = {https://dblp.org/rec/conf/ecsa/MendoncaGSC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MorenoCGK18,
author = {Gabriel A. Moreno and
Javier C{\'{a}}mara and
David Garlan and
Mark Klein},
editor = {Jesper Andersson and
Danny Weyns},
title = {Uncertainty reduction in self-adaptive systems},
booktitle = {Proceedings of the 13th International Conference on Software Engineering
for Adaptive and Self-Managing Systems, SEAMS@ICSE 2018, Gothenburg,
Sweden, May 28-29, 2018},
pages = {51--57},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194133.3194144},
doi = {10.1145/3194133.3194144},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MorenoCGK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/CamaraNG17,
author = {Javier C{\'{a}}mara and
Bashar Nuseibeh and
David Garlan},
title = {Front Matter - {SEAMS} 2017 Artifacts, Table of Contents, Preface,
Artifact Evaluation Committee},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {1},
pages = {00:--1--00:--12},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.1.0},
doi = {10.4230/DARTS.3.1.0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/CamaraNG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/CamaraLLVV17,
author = {Javier C{\'{a}}mara and
Rog{\'{e}}rio de Lemos and
Nuno Laranjeiro and
Rafael Ventura and
Marco Vieira},
title = {Robustness-Driven Resilience Evaluation of Self-Adaptive Software
Systems},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {14},
number = {1},
pages = {50--64},
year = {2017},
url = {https://doi.org/10.1109/TDSC.2015.2429128},
doi = {10.1109/TDSC.2015.2429128},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/CamaraLLVV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/LambaGCSGP17,
author = {Hemank Lamba and
Thomas J. Glazier and
Javier C{\'{a}}mara and
Bradley R. Schmerl and
David Garlan and
J{\"{u}}rgen Pfeffer},
editor = {Rakesh M. Verma and
Bhavani Thuraisingham},
title = {Model-based Cluster Analysis for Identifying Suspicious Activity Sequences
in Software},
booktitle = {Proceedings of the 3rd {ACM} on International Workshop on Security
And Privacy Analytics, IWSPA@CODASPY 2017, Scottsdale, Arizona, USA,
March 24, 2017},
pages = {17--22},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3041008.3041014},
doi = {10.1145/3041008.3041014},
timestamp = {Wed, 29 Jun 2022 15:37:42 +0200},
biburl = {https://dblp.org/rec/conf/codaspy/LambaGCSGP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/CamaraGS17,
author = {Javier C{\'{a}}mara and
David Garlan and
Bradley R. Schmerl},
editor = {Ant{\'{o}}nia Lopes and
Rog{\'{e}}rio de Lemos},
title = {Synthesis and Quantitative Verification of Tradeoff Spaces for Families
of Software Systems},
booktitle = {Software Architecture - 11th European Conference, {ECSA} 2017, Canterbury,
UK, September 11-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10475},
pages = {3--21},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65831-5\_1},
doi = {10.1007/978-3-319-65831-5\_1},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/CamaraGS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MorenoPACS17,
author = {Gabriel A. Moreno and
Alessandro Vittorio Papadopoulos and
Konstantinos Angelopoulos and
Javier C{\'{a}}mara and
Bradley R. Schmerl},
title = {Comparing Model-Based Predictive Approaches to Self-Adaptation: CobRA
and {PLA}},
booktitle = {12th {IEEE/ACM} International Symposium on Software Engineering for
Adaptive and Self-Managing Systems, SEAMS@ICSE 2017, Buenos Aires,
Argentina, May 22-23, 2017},
pages = {42--53},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SEAMS.2017.2},
doi = {10.1109/SEAMS.2017.2},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/MorenoPACS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PandeyRSC17,
author = {Ashutosh Pandey and
Ivan Ruchkin and
Bradley R. Schmerl and
Javier C{\'{a}}mara},
title = {Towards a Formal Framework for Hybrid Planning in Self-Adaptation},
booktitle = {12th {IEEE/ACM} International Symposium on Software Engineering for
Adaptive and Self-Managing Systems, SEAMS@ICSE 2017, Buenos Aires,
Argentina, May 22-23, 2017},
pages = {109--115},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SEAMS.2017.14},
doi = {10.1109/SEAMS.2017.14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/PandeyRSC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/SeetanadiCAAM17,
author = {Gautham Nayak Seetanadi and
Javier C{\'{a}}mara and
Lu{\'{\i}}s Almeida and
Karl{-}Erik {\AA}rz{\'{e}}n and
Martina Maggio},
title = {Event-Driven Bandwidth Allocation with Formal Guarantees for Camera
Networks},
booktitle = {2017 {IEEE} Real-Time Systems Symposium, {RTSS} 2017, Paris, France,
December 5-8, 2017},
pages = {243--254},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/RTSS.2017.00030},
doi = {10.1109/RTSS.2017.00030},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/SeetanadiCAAM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CamaraPGS17,
author = {Javier C{\'{a}}mara and
Wenxin Peng and
David Garlan and
Bradley R. Schmerl},
editor = {Antonio Cerone and
Marco Roveri},
title = {Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {523--540},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_35},
doi = {10.1007/978-3-319-74781-1\_35},
timestamp = {Mon, 15 Jun 2020 17:05:45 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CamaraPGS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/KounevLBBCDEGGGIKZ17,
author = {Samuel Kounev and
Peter R. Lewis and
Kirstie L. Bellman and
Nelly Bencomo and
Javier C{\'{a}}mara and
Ada Diaconescu and
Lukas Esterle and
Kurt Geihs and
Holger Giese and
Sebastian G{\"{o}}tz and
Paola Inverardi and
Jeffrey O. Kephart and
Andrea Zisman},
editor = {Samuel Kounev and
Jeffrey O. Kephart and
Aleksandar Milenkoski and
Xiaoyun Zhu},
title = {The Notion of Self-aware Computing},
booktitle = {Self-Aware Computing Systems},
pages = {3--16},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-47474-8\_1},
doi = {10.1007/978-3-319-47474-8\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/KounevLBBCDEGGGIKZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/CamaraBKABDGGIKT17,
author = {Javier C{\'{a}}mara and
Kirstie L. Bellman and
Jeffrey O. Kephart and
Marco Autili and
Nelly Bencomo and
Ada Diaconescu and
Holger Giese and
Sebastian G{\"{o}}tz and
Paola Inverardi and
Samuel Kounev and
Massimo Tivoli},
editor = {Samuel Kounev and
Jeffrey O. Kephart and
Aleksandar Milenkoski and
Xiaoyun Zhu},
title = {Self-aware Computing Systems: Related Concepts and Research Areas},
booktitle = {Self-Aware Computing Systems},
pages = {17--49},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-47474-8\_2},
doi = {10.1007/978-3-319-47474-8\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/CamaraBKABDGGIKT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/CalinescuACMGIP0KKMST17,
author = {Radu Calinescu and
Marco Autili and
Javier C{\'{a}}mara and
Antinisca Di Marco and
Simos Gerasimou and
Paola Inverardi and
Alexander Perucci and
Nils Jansen and
Joost{-}Pieter Katoen and
Marta Z. Kwiatkowska and
Ole J. Mengshoel and
Romina Spalazzese and
Massimo Tivoli},
editor = {Samuel Kounev and
Jeffrey O. Kephart and
Aleksandar Milenkoski and
Xiaoyun Zhu},
title = {Synthesis and Verification of Self-aware Computing Systems},
booktitle = {Self-Aware Computing Systems},
pages = {337--373},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-47474-8\_11},
doi = {10.1007/978-3-319-47474-8\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/CalinescuACMGIP0KKMST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/BirkeCCEGGGRZ17,
author = {Robert Birke and
Javier C{\'{a}}mara and
Lydia Y. Chen and
Lukas Esterle and
Kurt Geihs and
Erol Gelenbe and
Holger Giese and
Anders Robertsson and
Xiaoyun Zhu},
editor = {Samuel Kounev and
Jeffrey O. Kephart and
Aleksandar Milenkoski and
Xiaoyun Zhu},
title = {Self-aware Computing Systems: Open Challenges and Future Research
Directions},
booktitle = {Self-Aware Computing Systems},
pages = {709--722},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-47474-8\_26},
doi = {10.1007/978-3-319-47474-8\_26},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/BirkeCCEGGGRZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CamaraCLGGSV16,
author = {Javier C{\'{a}}mara and
Pedro Correia and
Rog{\'{e}}rio de Lemos and
David Garlan and
Pedro Gomes and
Bradley R. Schmerl and
Rafael Ventura},
title = {Incorporating architecture-based self-adaptation into an adaptive
industrial software system},
journal = {J. Syst. Softw.},
volume = {122},
pages = {507--523},
year = {2016},
url = {https://doi.org/10.1016/j.jss.2015.09.021},
doi = {10.1016/J.JSS.2015.09.021},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/CamaraCLGGSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KokashC16,
author = {Natallia Kokash and
Javier C{\'{a}}mara},
title = {Special section on Foundations of Coordination Languages and Software
Architectures},
journal = {Sci. Comput. Program.},
volume = {115-116},
pages = {147--148},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2015.11.007},
doi = {10.1016/J.SCICO.2015.11.007},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KokashC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CamaraLGS16,
author = {Javier C{\'{a}}mara and
Ant{\'{o}}nia Lopes and
David Garlan and
Bradley R. Schmerl},
title = {Adaptation impact and environment models for architecture-based self-adaptive
systems},
journal = {Sci. Comput. Program.},
volume = {127},
pages = {50--75},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2015.12.006},
doi = {10.1016/J.SCICO.2015.12.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CamaraLGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/CamaraMGS16,
author = {Javier C{\'{a}}mara and
Gabriel A. Moreno and
David Garlan and
Bradley R. Schmerl},
title = {Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and
Simulations},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {10},
number = {4},
pages = {23:1--23:28},
year = {2016},
url = {https://doi.org/10.1145/2774222},
doi = {10.1145/2774222},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taas/CamaraMGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/SchmerlGSBMCG16,
author = {Bradley R. Schmerl and
Jeff Gennari and
Alireza Sadeghi and
Hamid Bagheri and
Sam Malek and
Javier C{\'{a}}mara and
David Garlan},
editor = {Bedir Tekinerdogan and
Uwe Zdun and
Muhammad Ali Babar},
title = {Architecture Modeling and Analysis of Security in Android Systems},
booktitle = {Software Architecture - 10th European Conference, {ECSA} 2016, Copenhagen,
Denmark, November 28 - December 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9839},
pages = {274--290},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48992-6\_21},
doi = {10.1007/978-3-319-48992-6\_21},
timestamp = {Fri, 14 Apr 2023 23:05:45 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/SchmerlGSBMCG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotsos/LambaGSCGP16,
author = {Hemank Lamba and
Thomas J. Glazier and
Bradley R. Schmerl and
Javier C{\'{a}}mara and
David Garlan and
J{\"{u}}rgen Pfeffer},
editor = {William L. Scherlis and
David Brumley},
title = {A model-based approach to anomaly detection in software architectures},
booktitle = {Proceedings of the Symposium and Bootcamp on the Science of Security,
Pittsburgh, PA, USA, April 19-21, 2016},
pages = {69--71},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2898375.2898401},
doi = {10.1145/2898375.2898401},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotsos/LambaGSCGP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotsos/SchmerlGCG16,
author = {Bradley R. Schmerl and
Jeffrey Gennari and
Javier C{\'{a}}mara and
David Garlan},
editor = {William L. Scherlis and
David Brumley},
title = {Raindroid: a system for run-time mitigation of Android intent vulnerabilities
[poster]},
booktitle = {Proceedings of the Symposium and Bootcamp on the Science of Security,
Pittsburgh, PA, USA, April 19-21, 2016},
pages = {115--117},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2898375.2898389},
doi = {10.1145/2898375.2898389},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotsos/SchmerlGCG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icac/MorenoCGS16,
author = {Gabriel A. Moreno and
Javier C{\'{a}}mara and
David Garlan and
Bradley R. Schmerl},
editor = {Samuel Kounev and
Holger Giese and
Jie Liu},
title = {Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation},
booktitle = {2016 {IEEE} International Conference on Autonomic Computing, {ICAC}
2016, Wuerzburg, Germany, July 17-22, 2016},
pages = {147--156},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICAC.2016.59},
doi = {10.1109/ICAC.2016.59},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icac/MorenoCGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SukkerdCGS16,
author = {Roykrong Sukkerd and
Javier C{\'{a}}mara and
David Garlan and
Reid G. Simmons},
title = {Multiscale time abstractions for long-range planning under uncertainty},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
for Smart Cyber-Physical Systems, SEsCPS@ICSE 2016, Austin, Texas,
USA, May 14-22, 2016},
pages = {15--21},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897035.2897044},
doi = {10.1145/2897035.2897044},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SukkerdCGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iotbd/NevesSCB16,
author = {Pedro Caldeira Neves and
Bradley R. Schmerl and
Javier C{\'{a}}mara and
Jorge Bernardino},
editor = {Muthu Ramachandran and
Gary B. Wills and
Robert John Walters and
V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz and
Victor Chang},
title = {Big Data in Cloud Computing: Features and Issues},
booktitle = {Proceedings of the International Conference on Internet of Things
and Big Data, IoTBD 2016, Rome, Italy, April 23-25, 2016},
pages = {307--314},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005846303070314},
doi = {10.5220/0005846303070314},
timestamp = {Tue, 29 Sep 2020 09:39:42 +0200},
biburl = {https://dblp.org/rec/conf/iotbd/NevesSCB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/0002MCG16,
author = {Ashutosh Pandey and
Gabriel A. Moreno and
Javier C{\'{a}}mara and
David Garlan},
editor = {Giacomo Cabri and
Gauthier Picard and
Niranjan Suri},
title = {Hybrid Planning for Decision Making in Self-Adaptive Systems},
booktitle = {10th {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2016, Augsburg, Germany, September 12-16, 2016},
pages = {130--139},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SASO.2016.19},
doi = {10.1109/SASO.2016.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/0002MCG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CamaraMG15,
author = {Javier C{\'{a}}mara and
Gabriel A. Moreno and
David Garlan},
editor = {Paola Inverardi and
Bradley R. Schmerl},
title = {Reasoning about Human Participation in Self-Adaptive Systems},
booktitle = {10th {IEEE/ACM} International Symposium on Software Engineering for
Adaptive and Self-Managing Systems, {SEAMS} 2015, Florence, Italy,
May 18-19, 2015},
pages = {146--156},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SEAMS.2015.14},
doi = {10.1109/SEAMS.2015.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CamaraMG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CamaraGS015,
author = {Javier C{\'{a}}mara and
David Garlan and
Bradley R. Schmerl and
Ashutosh Pandey},
editor = {Roger L. Wainwright and
Juan Manuel Corchado and
Alessio Bechini and
Jiman Hong},
title = {Optimal planning for architecture-based self-adaptation via model
checking of stochastic games},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
Salamanca, Spain, April 13-17, 2015},
pages = {428--435},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2695664.2695680},
doi = {10.1145/2695664.2695680},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/CamaraGS015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/GlazierCSG15,
author = {Thomas J. Glazier and
Javier C{\'{a}}mara and
Bradley R. Schmerl and
David Garlan},
title = {Analyzing Resilience Properties of Different Topologies of Collective
Adaptive Systems},
booktitle = {2015 {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems Workshops, {SASO} Workshops 2015, Cambridge, MA, USA, September
21-25, 2015},
pages = {55--60},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SASOW.2015.14},
doi = {10.1109/SASOW.2015.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/GlazierCSG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MorenoCGS15,
author = {Gabriel A. Moreno and
Javier C{\'{a}}mara and
David Garlan and
Bradley R. Schmerl},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {Proactive self-adaptation under uncertainty: a probabilistic model
checking approach},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {1--12},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786853},
doi = {10.1145/2786805.2786853},
timestamp = {Tue, 06 Nov 2018 16:59:22 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MorenoCGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/CamaraP15,
editor = {Javier C{\'{a}}mara and
Jos{\'{e}} Proen{\c{c}}a},
title = {Proceedings 13th International Workshop on Foundations of Coordination
Languages and Self-Adaptive Systems, {FOCLASA} 2014, Rome, Italy,
6th September 2014},
series = {{EPTCS}},
volume = {175},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.175},
doi = {10.4204/EPTCS.175},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CamaraP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/CamaraLLVV14,
author = {Javier C{\'{a}}mara and
Rog{\'{e}}rio de Lemos and
Nuno Laranjeiro and
Rafael Ventura and
Marco Vieira},
title = {Testing the robustness of controllers for self-adaptive systems},
journal = {J. Braz. Comput. Soc.},
volume = {20},
number = {1},
pages = {1:1--1:14},
year = {2014},
url = {https://doi.org/10.1186/1678-4804-20-1},
doi = {10.1186/1678-4804-20-1},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcs/CamaraLLVV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/MorenoLGS14,
author = {Javier C{\'{a}}mara Moreno and
Ant{\'{o}}nia Lopes and
David Garlan and
Bradley R. Schmerl},
editor = {Ivan Lanese and
Eric Madelaine},
title = {Impact Models for Architecture-Based Self-adaptive Systems},
booktitle = {Formal Aspects of Component Software - 11th International Symposium,
{FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8997},
pages = {89--107},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15317-9\_6},
doi = {10.1007/978-3-319-15317-9\_6},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/MorenoLGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/OuederniSCP14,
author = {Meriem Ouederni and
Gwen Sala{\"{u}}n and
Javier C{\'{a}}mara and
Ernesto Pimentel},
editor = {Stefania Gnesi and
Arend Rensink},
title = {Comparator: {A} Tool for Quantifying Behavioural Compatibility},
booktitle = {Fundamental Approaches to Software Engineering - 17th International
Conference, {FASE} 2014, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8411},
pages = {306--309},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54804-8\_21},
doi = {10.1007/978-3-642-54804-8\_21},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/OuederniSCP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotsos/SchmerlCGGCMGB14,
author = {Bradley R. Schmerl and
Javier C{\'{a}}mara and
Jeffrey Gennari and
David Garlan and
Paulo Casanova and
Gabriel A. Moreno and
Thomas J. Glazier and
Jeffrey M. Barnes},
editor = {Laurie A. Williams and
David M. Nicol and
Munindar P. Singh},
title = {Architecture-based self-protection: composing and reasoning about
denial-of-service mitigations},
booktitle = {Proceedings of the 2014 Symposium and Bootcamp on the Science of Security,
HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014},
pages = {2},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2600176.2600181},
doi = {10.1145/2600176.2600181},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotsos/SchmerlCGGCMGB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CamaraMG14,
author = {Javier C{\'{a}}mara and
Gabriel A. Moreno and
David Garlan},
editor = {Gregor Engels and
Nelly Bencomo},
title = {Stochastic game analysis and latency awareness for proactive self-adaptation},
booktitle = {9th International Symposium on Software Engineering for Adaptive and
Self-Managing Systems, {SEAMS} 2014, Proceedings, Hyderabad, India,
June 2-3, 2014},
pages = {155--164},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593929.2593933},
doi = {10.1145/2593929.2593933},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CamaraMG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/CamaraCLV14,
author = {Javier C{\'{a}}mara and
Pedro Correia and
Rog{\'{e}}rio de Lemos and
Marco Vieira},
editor = {Lionel Seinturier and
Tom{\'{a}}s Bures and
John D. McGregor},
title = {Empirical resilience evaluation of an architecture-based self-adaptive
software system},
booktitle = {QoSA'14, Proceedings of the 10th International {ACM} {SIGSOFT} Conference
on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul,
Lille, France, June 30 - July 04, 2014},
pages = {63--72},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2602576.2602577},
doi = {10.1145/2602576.2602577},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qosa/CamaraCLV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CamaraLLVV14,
author = {Javier C{\'{a}}mara and
Rog{\'{e}}rio de Lemos and
Nuno Laranjeiro and
Rafael Ventura and
Marco Vieira},
editor = {Yookun Cho and
Sung Y. Shin and
Sang{-}Wook Kim and
Chih{-}Cheng Hung and
Jiman Hong},
title = {Robustness evaluation of the rainbow framework for self-adaptation},
booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
Korea - March 24 - 28, 2014},
pages = {376--383},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2554850.2554935},
doi = {10.1145/2554850.2554935},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/CamaraLLVV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/CamaraLVAV13,
author = {Javier C{\'{a}}mara and
Rog{\'{e}}rio de Lemos and
Marco Vieira and
Raquel Almeida and
Rafael Ventura},
title = {Architecture-based resilience evaluation for self-adaptive systems},
journal = {Computing},
volume = {95},
number = {8},
pages = {689--722},
year = {2013},
url = {https://doi.org/10.1007/s00607-013-0311-7},
doi = {10.1007/S00607-013-0311-7},
timestamp = {Fri, 17 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computing/CamaraLVAV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LemosGGGALSWBBB13,
author = {Rog{\'{e}}rio de Lemos and
David Garlan and
Carlo Ghezzi and
Holger Giese and
Jesper Andersson and
Marin Litoiu and
Bradley R. Schmerl and
Danny Weyns and
Luciano Baresi and
Nelly Bencomo and
Yuriy Brun and
Javier C{\'{a}}mara and
Radu Calinescu and
Myra B. Cohen and
Alessandra Gorla and
Vincenzo Grassi and
Lars Grunske and
Paola Inverardi and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Sam Malek and
Raffaela Mirandola and
Marco Mori and
Hausi A. M{\"{u}}ller and
Romain Rouvoy and
Cec{\'{\i}}lia M. F. Rubira and
{\'{E}}ric Rutten and
Mary Shaw and
Giordano Tamburrelli and
Gabriel Tamura and
Norha M. Villegas and
Thomas Vogel and
Franco Zambonelli},
editor = {Rog{\'{e}}rio de Lemos and
David Garlan and
Carlo Ghezzi and
Holger Giese},
title = {Software Engineering for Self-Adaptive Systems: Research Challenges
in the Provision of Assurances},
booktitle = {Software Engineering for Self-Adaptive Systems {III.} Assurances -
International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013,
Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {9640},
pages = {3--30},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-74183-3\_1},
doi = {10.1007/978-3-319-74183-3\_1},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LemosGGGALSWBBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/WeynsBCCGGGIJMM13,
author = {Danny Weyns and
Nelly Bencomo and
Radu Calinescu and
Javier C{\'{a}}mara and
Carlo Ghezzi and
Vincenzo Grassi and
Lars Grunske and
Paola Inverardi and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Sam Malek and
Raffaela Mirandola and
Marco Mori and
Giordano Tamburrelli},
editor = {Rog{\'{e}}rio de Lemos and
David Garlan and
Carlo Ghezzi and
Holger Giese},
title = {Perpetual Assurances for Self-Adaptive Systems},
booktitle = {Software Engineering for Self-Adaptive Systems {III.} Assurances -
International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013,
Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {9640},
pages = {31--63},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-74183-3\_2},
doi = {10.1007/978-3-319-74183-3\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/WeynsBCCGGGIJMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CamaraGMS13,
author = {Javier C{\'{a}}mara and
David Garlan and
Gabriel A. Moreno and
Bradley R. Schmerl},
editor = {Rog{\'{e}}rio de Lemos and
David Garlan and
Carlo Ghezzi and
Holger Giese},
title = {Analyzing Self-Adaptation Via Model Checking of Stochastic Games},
booktitle = {Software Engineering for Self-Adaptive Systems {III.} Assurances -
International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013,
Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {9640},
pages = {154--187},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-74183-3\_6},
doi = {10.1007/978-3-319-74183-3\_6},
timestamp = {Tue, 23 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/CamaraGMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CamaraCLGGSV13,
author = {Javier C{\'{a}}mara and
Pedro Correia and
Rog{\'{e}}rio de Lemos and
David Garlan and
Pedro Gomes and
Bradley R. Schmerl and
Rafael Ventura},
editor = {Marin Litoiu and
John Mylopoulos},
title = {Evolving an adaptive industrial software system to use architecture-based
self-adaptation},
booktitle = {Proceedings of the 8th International Symposium on Software Engineering
for Adaptive and Self-Managing Systems, {SEAMS} 2013, San Francisco,
CA, USA, May 20-21, 2013},
pages = {13--22},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SEAMS.2013.6595488},
doi = {10.1109/SEAMS.2013.6595488},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CamaraCLGGSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CamaraLLVV13,
author = {Javier C{\'{a}}mara and
Rog{\'{e}}rio de Lemos and
Nuno Laranjeiro and
Rafael Ventura and
Marco Vieira},
title = {Robustness Evaluation of Controllers in Self-Adaptive Software Systems},
booktitle = {Sixth Latin-American Symposium on Dependable Computing, {LADC} 2013,
Rio de Janeiro, Brazil, April 1-5, 2013},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LADC.2013.17},
doi = {10.1109/LADC.2013.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/CamaraLLVV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/7740,
editor = {Javier C{\'{a}}mara and
Rog{\'{e}}rio de Lemos and
Carlo Ghezzi and
Ant{\'{o}}nia Lopes},
title = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
series = {Lecture Notes in Computer Science},
volume = {7740},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36249-1},
doi = {10.1007/978-3-642-36249-1},
isbn = {978-3-642-36248-4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/7740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/CamaraSCO12,
author = {Javier C{\'{a}}mara and
Gwen Sala{\"{u}}n and
Carlos Canal and
Meriem Ouederni},
title = {Interactive specification and verification of behavioral adaptation
contracts},
journal = {Inf. Softw. Technol.},
volume = {54},
number = {7},
pages = {701--723},
year = {2012},
url = {https://doi.org/10.1016/j.infsof.2012.01.010},
doi = {10.1016/J.INFSOF.2012.01.010},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/CamaraSCO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CanalCS12,
author = {Carlos Canal and
Javier C{\'{a}}mara and
Gwen Sala{\"{u}}n},
title = {Structural reconfiguration of systems under behavioral adaptation},
journal = {Sci. Comput. Program.},
volume = {78},
number = {1},
pages = {46--64},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2011.09.003},
doi = {10.1016/J.SCICO.2011.09.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CanalCS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MarconiBBBCDGKLMM12,
author = {Annapaola Marconi and
Antonio Bucchiarone and
Konstantinos Bratanis and
Antonio Brogi and
Javier C{\'{a}}mara and
Dimitris Dranidis and
Holger Giese and
Raman Kazhamiakin and
Rog{\'{e}}rio de Lemos and
Clarissa Cassales Marquezan and
Andreas Metzger},
editor = {Andreas Metzger and
Klaus Pohl and
Mike P. Papazoglou},
title = {Research challenges on multi-layer and mixed-initiative monitoring
and adaptation for service-based systems},
booktitle = {First International Workshop on European Software Services and Systems
Research - Results and Challenges, S-Cube 2012, Zurich, Switzerland,
June 5, 2012},
pages = {40--46},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/S-Cube.2012.6225509},
doi = {10.1109/S-CUBE.2012.6225509},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MarconiBBBCDGKLMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CamaraL12,
author = {Javier C{\'{a}}mara and
Rog{\'{e}}rio de Lemos},
editor = {Hausi A. M{\"{u}}ller and
Luciano Baresi},
title = {Evaluation of resilience in self-adaptive systems using probabilistic
model-checking},
booktitle = {7th International Symposium on Software Engineering for Adaptive and
Self-Managing Systems, {SEAMS} 2012, Zurich, Switzerland, June 4-5,
2012},
pages = {53--62},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SEAMS.2012.6224391},
doi = {10.1109/SEAMS.2012.6224391},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CamaraL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/CamaraCT11,
author = {Javier C{\'{a}}mara and
Carlos E. Cuesta and
Miguel {\'{A}}ngel P{\'{e}}rez Toledano},
title = {Editors' Introduction to the Special Issue on Autonomic and Self-Adaptive
Systems},
journal = {Informatica (Slovenia)},
volume = {35},
number = {1},
pages = {1--2},
year = {2011},
url = {http://www.informatica.si/index.php/informatica/article/view/328},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/CamaraCT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/CamaraGG11,
author = {Javier C{\'{a}}mara and
Antoine Girard and
Gregor G{\"{o}}{\ss}ler},
title = {Safety controller synthesis for switched systems using multi-scale
symbolic models},
booktitle = {50th {IEEE} Conference on Decision and Control and European Control
Conference, 11th European Control Conference, {CDC/ECC} 2011, Orlando,
FL, USA, December 12-15, 2011},
pages = {520--525},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CDC.2011.6160424},
doi = {10.1109/CDC.2011.6160424},
timestamp = {Wed, 24 Feb 2021 08:49:08 +0100},
biburl = {https://dblp.org/rec/conf/cdc/CamaraGG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/CamaraGG11,
author = {Javier C{\'{a}}mara and
Antoine Girard and
Gregor G{\"{o}}{\ss}ler},
editor = {Marco Caccamo and
Emilio Frazzoli and
Radu Grosu},
title = {Synthesis of switching controllers using approximately bisimilar multiscale
abstractions},
booktitle = {Proceedings of the 14th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2011, Chicago, IL, USA, April 12-14,
2011},
pages = {191--200},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1967701.1967730},
doi = {10.1145/1967701.1967730},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/CamaraGG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/Prez-ToledanoCPC11,
author = {Miguel {\'{A}}ngel P{\'{e}}rez Toledano and
Carlos E. Cuesta and
Renaud Pawlak and
Javier C{\'{a}}mara},
editor = {Robert Meersman and
Tharam S. Dillon and
Pilar Herrero},
title = {{VADER} 2011 {PC} Co-chairs' Message},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2011 Workshops -
Confederated International Workshops and Posters: {EI2N+NSF} ICE,
ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and {VADER} 2011,
Hersonissos, Crete, Greece, October 17-21, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7046},
pages = {609--611},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25126-9\_74},
doi = {10.1007/978-3-642-25126-9\_74},
timestamp = {Thu, 14 Oct 2021 10:28:26 +0200},
biburl = {https://dblp.org/rec/conf/otm/Prez-ToledanoCPC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CamaraLGL11,
author = {Javier C{\'{a}}mara and
Rog{\'{e}}rio de Lemos and
Carlo Ghezzi and
Ant{\'{o}}nia Lopes},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {Workshop on assurances for self-adaptive systems {(ASAS} 2011)},
booktitle = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of
Software Engineering {(FSE-19)} and ESEC'11: 13th European Software
Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9,
2011},
pages = {516--517},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025208},
doi = {10.1145/2025113.2025208},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/CamaraLGL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2011asas,
editor = {Javier C{\'{a}}mara and
Rog{\'{e}}rio de Lemos and
Carlo Ghezzi and
Ant{\'{e}}nia Lopes},
title = {Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems,
ASAS@ESEC/FSE 2011, Szeged, Hungary, September 4, 2011},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024436},
doi = {10.1145/2024436},
isbn = {978-1-4503-0853-3},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2011asas.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CamaraMSCP10,
author = {Javier C{\'{a}}mara and
Jos{\'{e}} Antonio Mart{\'{\i}}n and
Gwen Sala{\"{u}}n and
Carlos Canal and
Ernesto Pimentel},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Case Study in Model-Based Adaptation of Web Services},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6416},
pages = {112--126},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0\_16},
doi = {10.1007/978-3-642-16561-0\_16},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/CamaraMSCP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/CamaraCT10,
author = {Javier C{\'{a}}mara and
Carlos E. Cuesta and
Miguel {\'{A}}ngel P{\'{e}}rez Toledano},
editor = {Ernest Teniente and
Silvia Abrah{\~{a}}o},
title = {Workshop on Autonomic and Self-Adaptive Systems (WASELF, 3{\textordfeminine}
ed.)},
booktitle = {{XV} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2010), Valencia, Spain, September 7-10, 2010. Actas},
pages = {355},
publisher = {{IBERGARCETA} Pub. {S.L.}},
year = {2010},
timestamp = {Thu, 17 Nov 2011 18:10:03 +0100},
biburl = {https://dblp.org/rec/conf/jisbd/CamaraCT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/CamaraFCT10,
author = {Javier C{\'{a}}mara and
Howard Foster and
Carlos E. Cuesta and
Miguel {\'{A}}ngel P{\'{e}}rez Toledano},
editor = {Robert Meersman and
Tharam S. Dillon and
Pilar Herrero},
title = {AVYTAT'10 - {PC} Co-chairs Message},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2010 Workshops -
Confederated International Workshops and Posters: International Workshops:
AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE,
SeDeS, {SWWS} and {OTMA.} Hersonissos, Crete, Greece, October 25-29,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6428},
pages = {55--56},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16961-8\_18},
doi = {10.1007/978-3-642-16961-8\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/CamaraFCT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/CamaraCV10,
author = {Javier C{\'{a}}mara and
Carlos Canal and
Nikolay Vasilev},
editor = {Robert Meersman and
Tharam S. Dillon and
Pilar Herrero},
title = {A Framework for Run-Time Behavioural Service Adaptation in Ubiquitous
Computing},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2010 Workshops -
Confederated International Workshops and Posters: International Workshops:
AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE,
SeDeS, {SWWS} and {OTMA.} Hersonissos, Crete, Greece, October 25-29,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6428},
pages = {67--76},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16961-8\_20},
doi = {10.1007/978-3-642-16961-8\_20},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/CamaraCV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CamaraMSCP10,
author = {Javier C{\'{a}}mara and
Jos{\'{e}} Antonio Mart{\'{\i}}n and
Gwen Sala{\"{u}}n and
Carlos Canal and
Ernesto Pimentel},
editor = {Jens Happe and
Barbora Buhnova},
title = {Semi-Automatic Specification of Behavioural Service Adaptation Contracts},
booktitle = {Proceedings of the 7th International Workshop on Formal Engineering
approaches to Software Components and Architectures, FESCA@ETAPS 2010,
Paphos, Cyprus, March 27, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {264},
number = {1},
pages = {19--34},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.07.003},
doi = {10.1016/J.ENTCS.2010.07.003},
timestamp = {Fri, 10 Mar 2023 10:39:08 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CamaraMSCP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1010-2337,
editor = {Javier C{\'{a}}mara and
Carlos Canal and
Gwen Sala{\"{u}}n},
title = {Proceedings International Workshop on Component and Service Interoperability,
{WCSI} 2010, M{\'{a}}laga, Spain, 29th June 2010},
series = {{EPTCS}},
volume = {37},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.37},
doi = {10.4204/EPTCS.37},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-2337.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tlsdkcs/CamaraK09,
author = {Javier C{\'{a}}mara and
Alfred Kobsa},
title = {Facilitating Controlled Tests of Website Design Changes Using Aspect-Oriented
Software Development and Software Product Lines},
journal = {Trans. Large Scale Data Knowl. Centered Syst.},
volume = {1},
pages = {116--135},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03722-1\_5},
doi = {10.1007/978-3-642-03722-1\_5},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tlsdkcs/CamaraK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CamaraCS09,
author = {Javier C{\'{a}}mara and
Carlos Canal and
Gwen Sala{\"{u}}n},
title = {Behavioural self-adaptation of services in ubiquitous computing environments},
booktitle = {2009 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing
Systems, {SEAMS} 2009, Vancouver, BC, Canada, May 18-19, 2009},
pages = {28--37},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEAMS.2009.5069071},
doi = {10.1109/SEAMS.2009.5069071},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CamaraCS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CamaraMSCOCP09,
author = {Javier C{\'{a}}mara and
Jos{\'{e}} Antonio Mart{\'{\i}}n and
Gwen Sala{\"{u}}n and
Javier Cubo and
Meriem Ouederni and
Carlos Canal and
Ernesto Pimentel},
title = {{ITACA:} An integrated toolbox for the automatic composition and adaptation
of Web services},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {627--630},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070572},
doi = {10.1109/ICSE.2009.5070572},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CamaraMSCOCP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/CamaraK09,
author = {Javier C{\'{a}}mara and
Alfred Kobsa},
editor = {Martin Gaedke and
Michael Grossniklaus and
Oscar D{\'{\i}}az},
title = {Facilitating Controlled Tests of Website Design Changes: {A} Systematic
Approach},
booktitle = {Web Engineering, 9th International Conference, {ICWE} 2009, San Sebasti{\'{a}}n,
Spain, June 24-26, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5648},
pages = {370--378},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02818-2\_30},
doi = {10.1007/978-3-642-02818-2\_30},
timestamp = {Sat, 09 Apr 2022 12:43:15 +0200},
biburl = {https://dblp.org/rec/conf/icwe/CamaraK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/CamaraCT09,
author = {Javier C{\'{a}}mara and
Carlos E. Cuesta and
Miguel {\'{A}}ngel P{\'{e}}rez Toledano},
editor = {Antonio Vallecillo and
Goiuria Sagardui},
title = {Autonomic and SELF-adaptive Systems (WASELF, 2{\textordfeminine} edici{\'{o}}n)},
booktitle = {{XIV} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2009), San Sebasti{\'{a}}n, Spain, September 8-11, 2009},
pages = {430--430},
year = {2009},
timestamp = {Fri, 18 Sep 2009 12:44:29 +0200},
biburl = {https://dblp.org/rec/conf/jisbd/CamaraCT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/CamaraSCO09,
author = {Javier C{\'{a}}mara and
Gwen Sala{\"{u}}n and
Carlos Canal and
Meriem Ouederni},
editor = {Byoungju Choi},
title = {Interactive Specification and Verification of Behavioural Adaptation
Contracts},
booktitle = {Proceedings of the Ninth International Conference on Quality Software,
{QSIC} 2009, Jeju, Korea, August 24-25, 2009},
pages = {65--75},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/QSIC.2009.17},
doi = {10.1109/QSIC.2009.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/CamaraSCO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CamaraSC08,
author = {Javier C{\'{a}}mara and
Gwen Sala{\"{u}}n and
Carlos Canal},
title = {Composition and Run-time Adaptation of Mismatching Behavioural Interfaces},
journal = {J. Univers. Comput. Sci.},
volume = {14},
number = {13},
pages = {2182--2211},
year = {2008},
url = {https://doi.org/10.3217/jucs-014-13-2182},
doi = {10.3217/JUCS-014-13-2182},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/CamaraSC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/CamaraSC08,
author = {Javier C{\'{a}}mara and
Gwen Sala{\"{u}}n and
Carlos Canal},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {Clint: {A} Composition Language Interpreter (Tool Paper)},
booktitle = {Fundamental Approaches to Software Engineering, 11th International
Conference, {FASE} 2008, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {423--427},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3\_31},
doi = {10.1007/978-3-540-78743-3\_31},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/CamaraSC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CuboSCCP07,
author = {Javier Cubo and
Gwen Sala{\"{u}}n and
Javier C{\'{a}}mara and
Carlos Canal and
Ernesto Pimentel},
editor = {Amy L. Murphy and
Jan Vitek},
title = {Context-Based Adaptation of Component Behavioural Interfaces},
booktitle = {Coordination Models and Languages, 9th International Conference, {COORDINATION}
2007, Paphos, Cyprus, June 6-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4467},
pages = {305--323},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72794-1\_17},
doi = {10.1007/978-3-540-72794-1\_17},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/CuboSCCP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/CamaraCCM07,
author = {Javier C{\'{a}}mara and
Carlos Canal and
Javier Cubo and
Juan Manuel Murillo},
editor = {Fl{\'{a}}vio Oquendo},
title = {Enabling \emph{Adaptivity} in User Interfaces},
booktitle = {Software Architecture, First European Conference, {ECSA} 2007, Aranjuez,
Spain, September 24-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4758},
pages = {106--114},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75132-8\_9},
doi = {10.1007/978-3-540-75132-8\_9},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/CamaraCCM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CamaraSC07,
author = {Javier C{\'{a}}mara and
Gwen Sala{\"{u}}n and
Carlos Canal},
title = {Run-time Composition and Adaptation of Mismatching Behavioural Transactions},
booktitle = {Fifth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
{UK}},
pages = {381--390},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEFM.2007.35},
doi = {10.1109/SEFM.2007.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/CamaraSC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CamaraCS08,
author = {Javier C{\'{a}}mara and
Carlos Canal and
Gwen Sala{\"{u}}n},
editor = {Markus Lumpe and
Eric Madelaine},
title = {Multiple Concern Adaptation for Run-time Composition in Context-Aware
Systems},
booktitle = {Proceedings of the 4th International Workshop on Formal Aspects of
Component Software, {FACS} 2007, Sophia-Antipolis, France, September
19-21, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {215},
pages = {111--130},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.06.024},
doi = {10.1016/J.ENTCS.2008.06.024},
timestamp = {Mon, 20 Feb 2023 08:38:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CamaraCS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/CamaraCCR06,
author = {Javier C{\'{a}}mara and
Carlos Canal and
Javier Cubo and
Juan Manuel Murillo Rodr{\'{\i}}guez},
editor = {Walter Cazzola and
Shigeru Chiba and
Yvonne Coady and
Gunter Saake},
title = {An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution},
booktitle = {RAM-SE'06-ECOOP'06 Workshop on Reflection, AOP, and Meta-Data for
Software Evolution, Proceedings, Nantes, France, July 4, 2006},
pages = {59--70},
publisher = {Fakult{\"{a}}t f{\"{u}}r Informatik, Universit{\"{a}}t
Magdeburg},
year = {2006},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/CamaraCCR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CamaraCCM07,
author = {Javier C{\'{a}}mara and
Carlos Canal and
Javier Cubo and
Juan Manuel Murillo},
editor = {Steffen Becker and
Carlos Canal and
Nikolay Diakov and
Juan Manuel Murillo and
Pascal Poizat and
Massimo Tivoli},
title = {An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution},
booktitle = {Proceedings of the Third International Workshop on Coordination and
Adaption Techniques for Software Entities, WCAT@ECOOP 2006, Nantes,
France, July 4, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {189},
pages = {21--34},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.03.026},
doi = {10.1016/J.ENTCS.2007.03.026},
timestamp = {Tue, 31 Jan 2023 15:57:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CamaraCCM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrogiCCCP07,
author = {Antonio Brogi and
Javier C{\'{a}}mara and
Carlos Canal and
Javier Cubo and
Ernesto Pimentel},
editor = {Carlos Canal and
Mirko Viroli},
title = {Dynamic Contextual Adaptation},
booktitle = {Proceedings of the Fifth International Workshop on the Foundations
of Coordination Languages and Software Architectures, {FOCLASA} 2006,
Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {2},
pages = {81--95},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.03.005},
doi = {10.1016/J.ENTCS.2007.03.005},
timestamp = {Tue, 06 Dec 2022 11:55:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrogiCCCP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CamaraCCV06,
author = {Javier C{\'{a}}mara and
Carlos Canal and
Javier Cubo and
Antonio Vallecillo},
editor = {Carlos Canal and
Mirko Viroli},
title = {Formalizing {WSBPEL} Business Processes Using Process Algebra},
booktitle = {Proceedings of the 4th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2005,
San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {1},
pages = {159--173},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.038},
doi = {10.1016/J.ENTCS.2005.12.038},
timestamp = {Tue, 06 Dec 2022 11:48:16 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CamaraCCV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pfe/MannionC03,
author = {Mike Mannion and
Javier C{\'{a}}mara},
editor = {Frank van der Linden},
title = {Theorem Proving for Product Line Model Verification},
booktitle = {Software Product-Family Engineering, 5th International Workshop, {PFE}
2003, Siena, Italy, November 4-6, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3014},
pages = {211--224},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24667-1\_16},
doi = {10.1007/978-3-540-24667-1\_16},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/pfe/MannionC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-21 17:27 CEST 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:
