Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David Garlan
@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/corr/abs-2401-09678,
author = {Simon Chu and
Justin Koe and
David Garlan and
Eunsuk Kang},
title = {Integrating Graceful Degradation and Recovery through Requirement-driven
Adaptation},
journal = {CoRR},
volume = {abs/2401.09678},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.09678},
doi = {10.48550/ARXIV.2401.09678},
eprinttype = {arXiv},
eprint = {2401.09678},
timestamp = {Fri, 02 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-09678.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-05399,
author = {Md. Abir Hossen and
Sonam Kharade and
Jason M. O'Kane and
Bradley R. Schmerl and
David Garlan and
Pooyan Jamshidi},
title = {{CURE:} Simulation-Augmented Auto-Tuning in Robotics},
journal = {CoRR},
volume = {abs/2402.05399},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.05399},
doi = {10.48550/ARXIV.2402.05399},
eprinttype = {arXiv},
eprint = {2402.05399},
timestamp = {Wed, 14 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-05399.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/re/WohlrabG23,
author = {Rebekka Wohlrab and
David Garlan},
title = {A negotiation support system for defining utility functions for multi-stakeholder
self-adaptive systems},
journal = {Requir. Eng.},
volume = {28},
number = {1},
pages = {3--22},
year = {2023},
url = {https://doi.org/10.1007/s00766-021-00368-y},
doi = {10.1007/S00766-021-00368-Y},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/re/WohlrabG23.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}
}
@inproceedings{DBLP:conf/aaai/MendesC0G23,
author = {Pedro Mendes and
Maria Casimiro and
Paolo Romano and
David Garlan},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {HyperJump: Accelerating HyperBand via Risk Modelling},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {9143--9152},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i8.26097},
doi = {10.1609/AAAI.V37I8.26097},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MendesC0G23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/DiazPaceWG23,
author = {J. Andres Diaz{-}Pace and
Rebekka Wohlrab and
David Garlan},
editor = {Bedir Tekinerdogan and
Catia Trubiani and
Chouki Tibermacine and
Patrizia Scandurra and
Carlos E. Cuesta},
title = {Supporting the Exploration of Quality Attribute Tradeoffs in Large
Design Spaces},
booktitle = {Software Architecture - 17th European Conference, {ECSA} 2023, Istanbul,
Turkey, September 18-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14212},
pages = {3--19},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42592-9\_1},
doi = {10.1007/978-3-031-42592-9\_1},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/DiazPaceWG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ZhangDMGK23,
author = {Changjian Zhang and
Ian Dardik and
R{\^{o}}mulo Meira{-}G{\'{o}}es and
David Garlan and
Eunsuk Kang},
editor = {Alexander Nadel and
Kristin Yvonne Rozier},
title = {Fortis: {A} Tool for Analysis and Repair of Robust Software Systems},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2023, Ames, IA, USA,
October 24-27, 2023},
pages = {1--9},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0\_31},
doi = {10.34727/2023/ISBN.978-3-85448-060-0\_31},
timestamp = {Wed, 13 Dec 2023 14:38:51 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ZhangDMGK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic2e/SedghpourGSKT23,
author = {Mohammad Reza Saleh Sedghpour and
David Garlan and
Bradley R. Schmerl and
Cristian Klein and
Johan Tordsson},
title = {Breaking the Vicious Circle: Self-Adaptive Microservice Circuit Breaking
and Retry},
booktitle = {{IEEE} International Conference on Cloud Engineering, {IC2E} 2023,
Boston, MA, USA, September 25-29, 2023},
pages = {32--42},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IC2E59103.2023.00012},
doi = {10.1109/IC2E59103.2023.00012},
timestamp = {Tue, 21 Nov 2023 22:37:14 +0100},
biburl = {https://dblp.org/rec/conf/ic2e/SedghpourGSKT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhangSMBGK23,
author = {Changjian Zhang and
Tarang Saluja and
R{\^{o}}mulo Meira{-}G{\'{o}}es and
Matthew L. Bolton and
David Garlan and
Eunsuk Kang},
title = {Robustification of Behavioral Designs against Environmental Deviations},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2023, Melbourne, Australia, May 14-20, 2023},
pages = {423--434},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE48619.2023.00046},
doi = {10.1109/ICSE48619.2023.00046},
timestamp = {Wed, 19 Jul 2023 10:09:12 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZhangSMBGK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seams/ChuSZMMGK23,
author = {Simon Chu and
Emma Shedden and
Changjian Zhang and
R{\^{o}}mulo Meira{-}G{\'{o}}es and
Gabriel A. Moreno and
David Garlan and
Eunsuk Kang},
title = {Runtime Resolution of Feature Interactions through Adaptive Requirement
Weakening},
booktitle = {18th {IEEE/ACM} Symposium on Software Engineering for Adaptive and
Self-Managing Systems, {SEAMS} 2023, Melbourne, Australia, May 15-16,
2023},
pages = {115--125},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SEAMS59076.2023.00025},
doi = {10.1109/SEAMS59076.2023.00025},
timestamp = {Tue, 18 Jul 2023 16:25:40 +0200},
biburl = {https://dblp.org/rec/conf/seams/ChuSZMMGK23.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/corr/abs-2304-02497,
author = {Pedro Mendes and
Paolo Romano and
David Garlan},
title = {Hyper-parameter Tuning for Adversarially Robust Models},
journal = {CoRR},
volume = {abs/2304.02497},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.02497},
doi = {10.48550/ARXIV.2304.02497},
eprinttype = {arXiv},
eprint = {2304.02497},
timestamp = {Tue, 18 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-02497.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-18217,
author = {Simon Chu and
Emma Shedden and
Changjian Zhang and
R{\^{o}}mulo Meira{-}G{\'{o}}es and
Gabriel A. Moreno and
David Garlan and
Eunsuk Kang},
title = {Runtime Resolution of Feature Interactions through Adaptive Requirement
Weakening},
journal = {CoRR},
volume = {abs/2310.18217},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.18217},
doi = {10.48550/ARXIV.2310.18217},
eprinttype = {arXiv},
eprint = {2310.18217},
timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-18217.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-07462,
author = {Changjian Zhang and
Parv Kapoor and
Romulo Meira Goes and
David Garlan and
Eunsuk Kang and
Akila Ganlath and
Shatadal Mishra and
Nejib Ammar},
title = {Investigating Robustness in Cyber-Physical Systems: Specification-Centric
Analysis in the face of System Deviations},
journal = {CoRR},
volume = {abs/2311.07462},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.07462},
doi = {10.48550/ARXIV.2311.07462},
eprinttype = {arXiv},
eprint = {2311.07462},
timestamp = {Wed, 15 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-07462.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}
}
@article{DBLP:journals/taas/AdepuLKG22,
author = {Sridhar Adepu and
Nianyu Li and
Eunsuk Kang and
David Garlan},
title = {Modeling and Analysis of Explanation for Secure Industrial Control
Systems},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {17},
number = {3-4},
pages = {1--26},
year = {2022},
url = {https://doi.org/10.1145/3557898},
doi = {10.1145/3557898},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taas/AdepuLKG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/CasimiroRGR22,
author = {Maria Casimiro and
Paolo Romano and
David Garlan and
Lu{\'{\i}}s Rodrigues},
editor = {Roberto Casadei and
Elisabetta Di Nitto and
Ilias Gerostathopoulos and
Danilo Pianini and
Ivana Dusparic and
Timothy Wood and
Phyllis R. Nelson and
Evangelos Pournaras and
Nelly Bencomo and
Sebastian G{\"{o}}tz and
Christian Krupitzer and
Claudia Raibulet},
title = {Towards a Framework for Adapting Machine Learning Components},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2022, Virtual, CA, USA, September 19-23, 2022},
pages = {131--140},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ACSOS55765.2022.00031},
doi = {10.1109/ACSOS55765.2022.00031},
timestamp = {Wed, 16 Nov 2022 11:08:36 +0100},
biburl = {https://dblp.org/rec/conf/acsos/CasimiroRGR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/Diaz-PaceG22,
author = {J. Andres Diaz{-}Pace and
David Garlan},
title = {Making Architecture Optimization Transparent with Tactic-Based Explanations},
booktitle = {{IEEE} 19th International Conference on Software Architecture Companion,
{ICSA} Companion 2022, Honolulu, HI, USA, March 12-15, 2022},
pages = {5--9},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSA-C54293.2022.00008},
doi = {10.1109/ICSA-C54293.2022.00008},
timestamp = {Thu, 11 Aug 2022 13:51:05 +0200},
biburl = {https://dblp.org/rec/conf/icsa/Diaz-PaceG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/TimperleyDSGG22a,
author = {Christopher Steven Timperley and
Tobias D{\"{u}}rschmid and
Bradley R. Schmerl and
David Garlan and
Claire Le Goues},
title = {ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations
in Robotics Systems : Artifact Paper},
booktitle = {{IEEE} 19th International Conference on Software Architecture Companion,
{ICSA} Companion 2022, Honolulu, HI, USA, March 12-15, 2022},
pages = {56},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSA-C54293.2022.00055},
doi = {10.1109/ICSA-C54293.2022.00055},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsa/TimperleyDSGG22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/TimperleyDSGG22,
author = {Christopher Steven Timperley and
Tobias D{\"{u}}rschmid and
Bradley R. Schmerl and
David Garlan and
Claire Le Goues},
title = {ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations
in Robotics Systems},
booktitle = {19th {IEEE} International Conference on Software Architecture, {ICSA}
2022, Honolulu, HI, USA, March 12-15, 2022},
pages = {112--123},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSA53651.2022.00019},
doi = {10.1109/ICSA53651.2022.00019},
timestamp = {Mon, 30 May 2022 17:18:52 +0200},
biburl = {https://dblp.org/rec/conf/icsa/TimperleyDSGG22.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}
}
@article{DBLP:journals/jss/MalavoltaLSLG21,
author = {Ivano Malavolta and
Grace A. Lewis and
Bradley R. Schmerl and
Patricia Lago and
David Garlan},
title = {Mining guidelines for architecting robotics software},
journal = {J. Syst. Softw.},
volume = {178},
pages = {110969},
year = {2021},
url = {https://doi.org/10.1016/j.jss.2021.110969},
doi = {10.1016/J.JSS.2021.110969},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/MalavoltaLSLG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/MendoncaJGP21,
author = {Nabor Chagas Mendon{\c{c}}a and
Pooyan Jamshidi and
David Garlan and
Claus Pahl},
title = {Developing Self-Adaptive Microservice Systems: Challenges and Directions},
journal = {{IEEE} Softw.},
volume = {38},
number = {2},
pages = {70--79},
year = {2021},
url = {https://doi.org/10.1109/MS.2019.2955937},
doi = {10.1109/MS.2019.2955937},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/MendoncaJGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/KinneerGG21,
author = {Cody Kinneer and
David Garlan and
Claire Le Goues},
title = {Information Reuse and Stochastic Search: Managing Uncertainty in Self-\({}^{\mbox{*}}\)
Systems},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {15},
number = {1},
pages = {3:1--3:36},
year = {2021},
url = {https://doi.org/10.1145/3440119},
doi = {10.1145/3440119},
timestamp = {Thu, 11 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taas/KinneerGG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/WeynsBCCFGNPRRS21,
author = {Danny Weyns and
Tom{\'{a}}s Bures and
Radu Calinescu and
Barnaby Craggs and
John S. Fitzgerald and
David Garlan and
Bashar Nuseibeh and
Liliana Pasquale and
Awais Rashid and
Ivan Ruchkin and
Bradley R. Schmerl},
editor = {Esam El{-}Araby and
Vana Kalogeraki and
Danilo Pianini and
Fr{\'{e}}d{\'{e}}ric Lassabe and
Barry Porter and
Sona Ghahremani and
Ingrid Nunes and
Mohamed Bakhouya and
Sven Tomforde},
title = {Six Software Engineering Principles for Smarter Cyber-Physical Systems},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2021, Companion Volume, Washington, DC, USA, September
27 - Oct. 1, 2021},
pages = {198--203},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ACSOS-C52956.2021.00058},
doi = {10.1109/ACSOS-C52956.2021.00058},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsos/WeynsBCCFGNPRRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/AlharbiHG21,
author = {Mohammed N. Alharbi and
Shihong Huang and
David Garlan},
editor = {Robert Heinrich and
Raffaela Mirandola and
Danny Weyns},
title = {A Probabilistic Model for Personality Trait Focused Explainability},
booktitle = {{ECSA} 2021 Companion Volume, Virtual (originally: V{\"{a}}xj{\"{o}},
Sweden), 13-17 September, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2978},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2978/casa-paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:20 +0100},
biburl = {https://dblp.org/rec/conf/ecsa/AlharbiHG21.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/ecsa/Casimiro0GMKK21,
author = {Maria Casimiro and
Paolo Romano and
David Garlan and
Gabriel A. Moreno and
Eunsuk Kang and
Mark Klein},
editor = {Robert Heinrich and
Raffaela Mirandola and
Danny Weyns},
title = {Self-Adaptation for Machine Learning Based Systems},
booktitle = {{ECSA} 2021 Companion Volume, Virtual (originally: V{\"{a}}xj{\"{o}},
Sweden), 13-17 September, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2978},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2978/saml-paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecsa/Casimiro0GMKK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/CasimiroRGMKK21,
author = {Maria Casimiro and
Paolo Romano and
David Garlan and
Gabriel A. Moreno and
Eunsuk Kang and
Mark Klein},
editor = {Patrizia Scandurra and
Matthias Galster and
Raffaela Mirandola and
Danny Weyns},
title = {Self-adaptive Machine Learning Systems: Research Challenges and Opportunities},
booktitle = {Software Architecture - 15th European Conference, {ECSA} 2021 Tracks
and Workshops; V{\"{a}}xj{\"{o}}, Sweden, September 13-17,
2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13365},
pages = {133--155},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-15116-3\_7},
doi = {10.1007/978-3-031-15116-3\_7},
timestamp = {Mon, 22 Aug 2022 15:58:27 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/CasimiroRGMKK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/AlharbiHG21a,
author = {Mohammed N. Alharbi and
Shihong Huang and
David Garlan},
editor = {Patrizia Scandurra and
Matthias Galster and
Raffaela Mirandola and
Danny Weyns},
title = {A Probabilistic Model for Effective Explainability Based on Personality
Traits},
booktitle = {Software Architecture - 15th European Conference, {ECSA} 2021 Tracks
and Workshops; V{\"{a}}xj{\"{o}}, Sweden, September 13-17,
2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13365},
pages = {205--225},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-15116-3\_10},
doi = {10.1007/978-3-031-15116-3\_10},
timestamp = {Mon, 22 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/AlharbiHG21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LiZKG21,
author = {Nianyu Li and
Mingyue Zhang and
Eunsuk Kang and
David Garlan},
editor = {Esther Guerra and
Mari{\"{e}}lle Stoelinga},
title = {Engineering Secure Self-Adaptive Systems with Bayesian Games},
booktitle = {Fundamental Approaches to Software Engineering - 24th International
Conference, {FASE} 2021, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City,
Luxembourg, March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12649},
pages = {130--151},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71500-7\_7},
doi = {10.1007/978-3-030-71500-7\_7},
timestamp = {Fri, 14 May 2021 08:34:15 +0200},
biburl = {https://dblp.org/rec/conf/fase/LiZKG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/WohlrabG21,
author = {Rebekka Wohlrab and
David Garlan},
editor = {Fabiano Dalpiaz and
Paola Spoletini},
title = {Defining Utility Functions for Multi-stakeholder Self-adaptive Systems},
booktitle = {Requirements Engineering: Foundation for Software Quality - 27th International
Working Conference, {REFSQ} 2021, Essen, Germany, April 12-15, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12685},
pages = {116--122},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-73128-1\_8},
doi = {10.1007/978-3-030-73128-1\_8},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refsq/WohlrabG21.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/seams/Garlan21,
author = {David Garlan},
title = {The Unknown Unknowns Are Not Totally Unknown},
booktitle = {16th International Symposium on Software Engineering for Adaptive
and Self-Managing Systems, SEAMS@ICSE 2021, Madrid, Spain, May 18-24,
2021},
pages = {264--265},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SEAMS51251.2021.00047},
doi = {10.1109/SEAMS51251.2021.00047},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seams/Garlan21.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/sigsoft/ZhangWOGMMK21,
author = {Changjian Zhang and
Ryan Wagner and
Pedro Orvalho and
David Garlan and
Vasco M. Manquinho and
Ruben Martins and
Eunsuk Kang},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {AlloyMax: bringing maximum satisfaction to relational specifications},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {155--167},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3468587},
doi = {10.1145/3468264.3468587},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/ZhangWOGMMK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-10101,
author = {Rebekka Wohlrab and
David Garlan},
title = {Defining Utility Functions for Multi-Stakeholder Self-Adaptive Systems},
journal = {CoRR},
volume = {abs/2103.10101},
year = {2021},
url = {https://arxiv.org/abs/2103.10101},
eprinttype = {arXiv},
eprint = {2103.10101},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-10101.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/0002RSG20,
author = {Ashutosh Pandey and
Ivan Ruchkin and
Bradley R. Schmerl and
David Garlan},
title = {Hybrid Planning Using Learning and Model Checking for Autonomous Systems},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2020, Washington, DC, USA, August 17-21, 2020},
pages = {55--64},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ACSOS49614.2020.00026},
doi = {10.1109/ACSOS49614.2020.00026},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsos/0002RSG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/GlazierGS20,
author = {Thomas J. Glazier and
David Garlan and
Bradley R. Schmerl},
title = {Automated Management of Collections of Autonomic Systems},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2020, Washington, DC, USA, August 17-21, 2020},
pages = {82--91},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ACSOS49614.2020.00029},
doi = {10.1109/ACSOS49614.2020.00029},
timestamp = {Fri, 23 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsos/GlazierGS20.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 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsos/LiCGS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/KinneerTGG20,
author = {Cody Kinneer and
Rijnard van Tonder and
David Garlan and
Claire Le Goues},
title = {Building Reusable Repertoires for Stochastic Self-* Planners},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2020, Washington, DC, USA, August 17-21, 2020},
pages = {222--231},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ACSOS49614.2020.00045},
doi = {10.1109/ACSOS49614.2020.00045},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsos/KinneerTGG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/CasimiroD0RZG20,
author = {Maria Casimiro and
Diego Didona and
Paolo Romano and
Lu{\'{\i}}s E. T. Rodrigues and
Willy Zwaenepoel and
David Garlan},
title = {Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs},
booktitle = {40th {IEEE} International Conference on Distributed Computing Systems,
{ICDCS} 2020, Singapore, November 29 - December 1, 2020},
pages = {56--66},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICDCS47774.2020.00047},
doi = {10.1109/ICDCS47774.2020.00047},
timestamp = {Tue, 02 Mar 2021 12:16:24 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/CasimiroD0RZG20.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/MalavoltaLSLG20,
author = {Ivano Malavolta and
Grace A. Lewis and
Bradley R. Schmerl and
Patricia Lago and
David Garlan},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {How do you architect your robots?: state of the practice and guidelines
for ROS-based systems},
booktitle = {{ICSE-SEIP} 2020: 42nd International Conference on Software Engineering,
Software Engineering in Practice, Seoul, South Korea, 27 June - 19
July, 2020},
pages = {31--40},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377813.3381358},
doi = {10.1145/3377813.3381358},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MalavoltaLSLG20.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}
}
@inproceedings{DBLP:conf/icse/LiAKG20,
author = {Nianyu Li and
Sridhar Adepu and
Eunsuk Kang and
David Garlan},
editor = {Shinichi Honiden and
Elisabetta Di Nitto and
Radu Calinescu},
title = {Explanations for human-on-the-loop: a probabilistic model checking
approach},
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 = {181--187},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387939.3391592},
doi = {10.1145/3387939.3391592},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/LiAKG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/MendesCRG20,
author = {Pedro Mendes and
Maria Casimiro and
Paolo Romano and
David Garlan},
title = {TrimTuner: Efficient Optimization of Machine Learning Jobs in the
Cloud via Sub-Sampling},
booktitle = {28th International Symposium on Modeling, Analysis, and Simulation
of Computer and Telecommunication Systems, {MASCOTS} 2020, Nice, France,
November 17-19, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/MASCOTS50786.2020.9285971},
doi = {10.1109/MASCOTS50786.2020.9285971},
timestamp = {Tue, 12 Jan 2021 15:26:06 +0100},
biburl = {https://dblp.org/rec/conf/mascots/MendesCRG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ro-man/SukkerdSG20,
author = {Roykrong Sukkerd and
Reid G. Simmons and
David Garlan},
title = {Tradeoff-Focused Contrastive Explanation for {MDP} Planning},
booktitle = {29th {IEEE} International Conference on Robot and Human Interactive
Communication, {RO-MAN} 2020, Naples, Italy, August 31 - September
4, 2020},
pages = {1041--1048},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/RO-MAN47096.2020.9223614},
doi = {10.1109/RO-MAN47096.2020.9223614},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ro-man/SukkerdSG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZhangGK20,
author = {Changjian Zhang and
David Garlan and
Eunsuk Kang},
editor = {Prem Devanbu and
Myra B. Cohen and
Thomas Zimmermann},
title = {A behavioral notion of robustness for software systems},
booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Virtual
Event, USA, November 8-13, 2020},
pages = {1--12},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368089.3409753},
doi = {10.1145/3368089.3409753},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ZhangGK20.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/corr/abs-2004-12960,
author = {Roykrong Sukkerd and
Reid G. Simmons and
David Garlan},
title = {Tradeoff-Focused Contrastive Explanation for {MDP} Planning},
journal = {CoRR},
volume = {abs/2004.12960},
year = {2020},
url = {https://arxiv.org/abs/2004.12960},
eprinttype = {arXiv},
eprint = {2004.12960},
timestamp = {Wed, 29 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-12960.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-04726,
author = {Pedro Mendes and
Maria Casimiro and
Paolo Romano and
David Garlan},
title = {TrimTuner: Efficient Optimization of Machine Learning Jobs in the
Cloud via Sub-Sampling},
journal = {CoRR},
volume = {abs/2011.04726},
year = {2020},
url = {https://arxiv.org/abs/2011.04726},
eprinttype = {arXiv},
eprint = {2011.04726},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-04726.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/BozhinoskiGMP19,
author = {Darko Bozhinoski and
David Garlan and
Ivano Malavolta and
Patrizio Pelliccione},
title = {Managing safety and mission completion via collective run-time adaptation},
journal = {J. Syst. Archit.},
volume = {95},
pages = {19--35},
year = {2019},
url = {https://doi.org/10.1016/j.sysarc.2019.02.018},
doi = {10.1016/J.SYSARC.2019.02.018},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/BozhinoskiGMP19.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/ecsa/AderaldoMSG19,
author = {Carlos M. Aderaldo and
Nabor C. Mendon{\c{c}}a and
Bradley R. Schmerl and
David Garlan},
editor = {Laurence Duchien and
Anne Koziolek and
Raffaela Mirandola and
Elena Maria Navarro Mart{\'{\i}}nez and
Cl{\'{e}}ment Quinton and
Riccardo Scandariato and
Patrizia Scandurra and
Catia Trubiani and
Danny Weyns},
title = {Kubow: an architecture-based self-adaptation service for cloud native
applications},
booktitle = {Proceedings of the 13th European Conference on Software Architecture,
{ECSA} 2019, Paris, France, September 9-13, 2019, Companion Proceedings
(Proceedings Volume 2),},
pages = {42--45},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3344948.3344963},
doi = {10.1145/3344948.3344963},
timestamp = {Fri, 24 Sep 2021 20:16:30 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/AderaldoMSG19.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}
}
@inproceedings{DBLP:conf/icse/DurschmidKG19,
author = {Tobias D{\"{u}}rschmid and
Eunsuk Kang and
David Garlan},
editor = {Anita Sarma and
Leonardo Murta},
title = {Trade-off-oriented development: making quality attribute trade-offs
first-class},
booktitle = {Proceedings of the 41st International Conference on Software Engineering:
New Ideas and Emerging Results, {ICSE} {(NIER)} 2019, Montreal, QC,
Canada, May 29-31, 2019},
pages = {109--112},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE-NIER.2019.00036},
doi = {10.1109/ICSE-NIER.2019.00036},
timestamp = {Wed, 12 May 2021 10:56:12 +0200},
biburl = {https://dblp.org/rec/conf/icse/DurschmidKG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MorenoK0G19,
author = {Gabriel A. Moreno and
Cody Kinneer and
Ashutosh Pandey and
David Garlan},
editor = {Marin Litoiu and
Siobh{\'{a}}n Clarke and
Kenji Tei},
title = {DARTSim: an exemplar for evaluation and comparison of self-adaptation
approaches for smart cyber-physical systems},
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 = {181--187},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1109/SEAMS.2019.00031},
doi = {10.1109/SEAMS.2019.00031},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MorenoK0G19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/KinneerWFGG19,
author = {Cody Kinneer and
Ryan Wagner and
Fei Fang and
Claire Le Goues and
David Garlan},
editor = {Partha S. Roop and
Naijun Zhan and
Sicun Gao and
Pierluigi Nuzzo},
title = {Modeling observability in adaptive systems to defend against advanced
persistent threats},
booktitle = {Proceedings of the 17th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, {MEMOCODE} 2019, La Jolla, CA,
USA, October 9-11, 2019},
pages = {10:1--10:11},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3359986.3361208},
doi = {10.1145/3359986.3361208},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/KinneerWFGG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/GlazierG19,
author = {Thomas J. Glazier and
David Garlan},
title = {An Automated Approach to Management of a Collection of Autonomic Systems},
booktitle = {{IEEE} 4th International Workshops on Foundations and Applications
of Self* Systems, FAS*W@SASO/ICCAC 2019, Umea, Sweden, June 16-20,
2019},
pages = {110--115},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/FAS-W.2019.00038},
doi = {10.1109/FAS-W.2019.00038},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/saso/GlazierG19.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-1910-07660,
author = {Nabor C. Mendon{\c{c}}a and
Pooyan Jamshidi and
David Garlan and
Claus Pahl},
title = {Developing Self-Adaptive Microservice Systems: Challenges and Directions},
journal = {CoRR},
volume = {abs/1910.07660},
year = {2019},
url = {http://arxiv.org/abs/1910.07660},
eprinttype = {arXiv},
eprint = {1910.07660},
timestamp = {Sun, 07 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-07660.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/software/MeadGS18,
author = {Nancy R. Mead and
David Garlan and
Mary Shaw},
title = {Half a Century of Software Engineering Education: The {CMU} Exemplar},
journal = {{IEEE} Softw.},
volume = {35},
number = {5},
pages = {25--31},
year = {2018},
url = {https://doi.org/10.1109/MS.2018.290110743},
doi = {10.1109/MS.2018.290110743},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/MeadGS18.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/fm/RuchkinSISG18,
author = {Ivan Ruchkin and
Joshua Sunshine and
Grant Iraci and
Bradley R. Schmerl and
David Garlan},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {{IPL:} An Integration Property Language for Multi-model Cyber-physical
Systems},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {165--184},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_10},
doi = {10.1007/978-3-319-95582-7\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/RuchkinSISG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotsos/WagnerGF18,
author = {Ryan Wagner and
David Garlan and
Matt Fredrikson},
editor = {Munindar P. Singh and
Laurie A. Williams and
Rick Kuhn and
Tao Xie},
title = {Quantitative underpinnings of secure, graceful degradation: poster},
booktitle = {Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics
in the Science of Security, HoTSoS 2018, Raleigh, North Carolina,
USA, April 10-11, 2018},
pages = {25:1},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3190619.3191695},
doi = {10.1145/3190619.3191695},
timestamp = {Mon, 07 Sep 2020 10:46:57 +0200},
biburl = {https://dblp.org/rec/conf/hotsos/WagnerGF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SukkerdSG18,
author = {Roykrong Sukkerd and
Reid G. Simmons and
David Garlan},
editor = {Tom{\'{a}}s Bures and
John S. Fitzgerald and
Bradley R. Schmerl and
Danny Weyns},
title = {Towards explainable multi-objective probabilistic planning},
booktitle = {Proceedings of the 4th International Workshop on Software Engineering
for Smart Cyber-Physical Systems, {ICSE} 2018, Gothenburg, Sweden,
May 27, 2018},
pages = {19--25},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3196478.3196488},
doi = {10.1145/3196478.3196488},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SukkerdSG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KinneerCWGG18,
author = {Cody Kinneer and
Zack Coker and
Jiacheng Wang and
David Garlan and
Claire Le Goues},
editor = {Jesper Andersson and
Danny Weyns},
title = {Managing uncertainty in self-adaptive systems with plan reuse and
stochastic search},
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 = {40--50},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194133.3194145},
doi = {10.1145/3194133.3194145},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/KinneerCWGG18.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}
}
@inproceedings{DBLP:conf/icse/MorenoSG18,
author = {Gabriel A. Moreno and
Bradley R. Schmerl and
David Garlan},
editor = {Jesper Andersson and
Danny Weyns},
title = {{SWIM:} an exemplar for evaluation and comparison of self-adaptation
approaches for web applications},
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 = {137--143},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194133.3194163},
doi = {10.1145/3194133.3194163},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MorenoSG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecsa/2018,
editor = {Carlos E. Cuesta and
David Garlan and
Jennifer P{\'{e}}rez},
title = {Software Architecture - 12th European Conference on Software Architecture,
{ECSA} 2018, Madrid, Spain, September 24-28, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11048},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00761-4},
doi = {10.1007/978-3-030-00761-4},
isbn = {978-3-030-00760-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/2018.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}
}
@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/iseud/DwivediHG17,
author = {Vishal Dwivedi and
James D. Herbsleb and
David Garlan},
editor = {Simone D. J. Barbosa and
Panos Markopoulos and
Fabio Patern{\`{o}} and
Simone Stumpf and
Stefano Valtolina},
title = {What Ails End-User Composition: {A} Cross-Domain Qualitative Study},
booktitle = {End-User Development - 6th International Symposium, {IS-EUD} 2017,
Eindhoven, The Netherlands, June 13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10303},
pages = {66--83},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-58735-6\_5},
doi = {10.1007/978-3-319-58735-6\_5},
timestamp = {Wed, 01 Jul 2020 21:28:46 +0200},
biburl = {https://dblp.org/rec/conf/iseud/DwivediHG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/0002SG17,
author = {Ashutosh Pandey and
Bradley R. Schmerl and
David Garlan},
title = {Instance-Based Learning for Hybrid Planning},
booktitle = {2nd {IEEE} International Workshops on Foundations and Applications
of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September
18-22, 2017},
pages = {64--69},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.ieeecomputersociety.org/10.1109/FAS-W.2017.122},
doi = {10.1109/FAS-W.2017.122},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/0002SG17.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}
}
@proceedings{DBLP:conf/dagstuhl/2013adaptive,
editor = {Rog{\'{e}}rio de Lemos and
David Garlan and
Carlo Ghezzi and
Holger Giese},
title = {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},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74183-3},
doi = {10.1007/978-3-319-74183-3},
isbn = {978-3-319-74182-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2013adaptive.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/GarlanDT17,
author = {David Garlan and
Nicol{\'{a}}s D'Ippolito and
Kenji Tei},
title = {The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017)
{(NII} Shonan Meeting 2017-10)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/110/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/GarlanDT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/FrancoCBRSG16,
author = {Jo{\~{a}}o Miguel Franco and
Francisco Correia and
Raul Barbosa and
M{\'{a}}rio Zenha Rela and
Bradley R. Schmerl and
David Garlan},
title = {Improving self-adaptation planning through software architecture-based
stochastic modeling},
journal = {J. Syst. Softw.},
volume = {115},
pages = {42--60},
year = {2016},
url = {https://doi.org/10.1016/j.jss.2016.01.026},
doi = {10.1016/J.JSS.2016.01.026},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/FrancoCBRSG16.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/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/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/wf-iot/RuchkinSSRG16,
author = {Ivan Ruchkin and
Selva Samuel and
Bradley R. Schmerl and
Amanda Rico and
David Garlan},
title = {Challenges in physical modeling for adaptation of cyber-physical systems},
booktitle = {3rd {IEEE} World Forum on Internet of Things, WF-IoT 2016, Reston,
VA, USA, December 12-14, 2016},
pages = {210--215},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/WF-IoT.2016.7845513},
doi = {10.1109/WF-IOT.2016.7845513},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wf-iot/RuchkinSSRG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BuresWBBDGGGJKM15,
author = {Tom{\'{a}}s Bures and
Danny Weyns and
Christian Berger and
Stefan Biffl and
Marian Daun and
Thomas Gabor and
David Garlan and
Ilias Gerostathopoulos and
Christine Julien and
Filip Krikava and
Richard Mordinyi and
Nikos Pronios},
title = {Software Engineering for Smart Cyber-Physical Systems - Towards a
Research Agenda: Report on the First International Workshop on Software
Engineering for Smart {CPS}},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {40},
number = {6},
pages = {28--32},
year = {2015},
url = {https://doi.org/10.1145/2830719.2830736},
doi = {10.1145/2830719.2830736},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/BuresWBBDGGGJKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/RuchkinSG15,
author = {Ivan Ruchkin and
Bradley R. Schmerl and
David Garlan},
editor = {Philippe Kruchten and
Steffen Becker and
Jean{-}Guy Schneider},
title = {Architectural Abstractions for Hybrid Programs},
booktitle = {Proceedings of the 18th International {ACM} {SIGSOFT} Symposium on
Component-Based Software Engineering, {CBSE} 2015, Montreal, QC, Canada,
May 4-8, 2015},
pages = {65--74},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737166.2737167},
doi = {10.1145/2737166.2737167},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cbse/RuchkinSG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/RuchkinRNCG15,
author = {Ivan Ruchkin and
Ashwini Rao and
Dionisio de Niz and
Sagar Chaki and
David Garlan},
editor = {Indrajit Ray and
Roshan K. Thomas and
Alvaro A. C{\'{a}}rdenas},
title = {Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems:
An Analysis Contracts Approach},
booktitle = {Proceedings of the First {ACM} Workshop on Cyber-Physical Systems-Security
and/or PrivaCy, {CPS-SPC} 2015, Denver, Colorado, USA, October 16,
2015},
pages = {11--22},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2808705.2808714},
doi = {10.1145/2808705.2808714},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/RuchkinRNCG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotsos/SchmerlGG15,
author = {Bradley R. Schmerl and
Jeffrey Gennari and
David Garlan},
editor = {David M. Nicol},
title = {An architecture style for Android security analysis: poster},
booktitle = {Proceedings of the 2015 Symposium and Bootcamp on the Science of Security,
HotSoS 2015, Urbana, IL, USA, April 21-22, 2015},
pages = {15:1--15:2},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2746194.2746209},
doi = {10.1145/2746194.2746209},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotsos/SchmerlGG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotsos/LambaGSPG15,
author = {Hemank Lamba and
Thomas J. Glazier and
Bradley R. Schmerl and
J{\"{u}}rgen Pfeffer and
David Garlan},
editor = {David M. Nicol},
title = {Detecting insider threats in software systems using graph models of
behavioral paths},
booktitle = {Proceedings of the 2015 Symposium and Bootcamp on the Science of Security,
HotSoS 2015, Urbana, IL, USA, April 21-22, 2015},
pages = {20:1--20:2},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2746194.2746214},
doi = {10.1145/2746194.2746214},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotsos/LambaGSPG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Garlan15,
author = {David Garlan},
editor = {Tom{\'{a}}s Bures and
Danny Weyns and
Mark Klein and
Rodolfo E. Haber},
title = {Modeling Challenges for {CPS} Systems},
booktitle = {1st {IEEE/ACM} International Workshop on Software Engineering for
Smart Cyber-Physical Systems, SEsCPS 2015, Florence, Italy, May 17,
2015},
pages = {1},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SEsCPS.2015.8},
doi = {10.1109/SESCPS.2015.8},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Garlan15.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/icse/CokerGG15,
author = {Zack Coker and
David Garlan and
Claire Le Goues},
editor = {Paola Inverardi and
Bradley R. Schmerl},
title = {{SASS:} Self-Adaptation Using Stochastic Search},
booktitle = {10th {IEEE/ACM} International Symposium on Software Engineering for
Adaptive and Self-Managing Systems, {SEAMS} 2015, Florence, Italy,
May 18-19, 2015},
pages = {168--174},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SEAMS.2015.16},
doi = {10.1109/SEAMS.2015.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CokerGG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RuchkinSG15,
author = {Ivan Ruchkin and
Bradley R. Schmerl and
David Garlan},
editor = {Iulia Dragomir and
Susanne Graf and
Gabor Karsai and
Florian Noyrit and
Iulian Ober and
Damiano Torre and
Yvan Labiche and
Marcela Genero and
Maged Elaasar},
title = {Analytic Dependency Loops in Architectural Models of Cyber-Physical
Systems},
booktitle = {Joint Proceedings of the 8th International Workshop on Model-based
Architecting of Cyber-physical and Embedded Systems and 1st International
Workshop on {UML} Consistency Rules {(ACES-MB} 2015 {\&} {WUCOR}
2015) co-located with {ACM/IEEE} 18th International Conference on
Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa,
Canada, September 28, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1508},
pages = {3--10},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1508/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/RuchkinSG15.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/sefm/SukkerdGS15,
author = {Roykrong Sukkerd and
David Garlan and
Reid G. Simmons},
editor = {Radu Calinescu and
Bernhard Rumpe},
title = {Task Planning of Cyber-Human Systems},
booktitle = {Software Engineering and Formal Methods - 13th International Conference,
{SEFM} 2015, York, UK, September 7-11, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9276},
pages = {293--309},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22969-0\_21},
doi = {10.1007/978-3-319-22969-0\_21},
timestamp = {Sat, 30 Sep 2023 09:56:03 +0200},
biburl = {https://dblp.org/rec/conf/sefm/SukkerdGS15.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}
}
@article{DBLP:journals/ijseke/KangG14,
author = {Sungwon Kang and
David Garlan},
title = {Architecture-Based Planning of Software Evolution},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {24},
number = {2},
pages = {211--242},
year = {2014},
url = {https://doi.org/10.1142/S0218194014500090},
doi = {10.1142/S0218194014500090},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/KangG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BarnesGS14,
author = {Jeffrey M. Barnes and
David Garlan and
Bradley R. Schmerl},
title = {Evolution styles: foundations and models for software architecture
evolution},
journal = {Softw. Syst. Model.},
volume = {13},
number = {2},
pages = {649--678},
year = {2014},
url = {https://doi.org/10.1007/s10270-012-0301-9},
doi = {10.1007/S10270-012-0301-9},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BarnesGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/RajhansBRKGPS14,
author = {Akshay Rajhans and
Ajinkya Bhave and
Ivan Ruchkin and
Bruce H. Krogh and
David Garlan and
Andr{\'{e}} Platzer and
Bradley R. Schmerl},
title = {Supporting Heterogeneity in Cyber-Physical Systems Architectures},
journal = {{IEEE} Trans. Autom. Control.},
volume = {59},
number = {12},
pages = {3178--3193},
year = {2014},
url = {https://doi.org/10.1109/TAC.2014.2351672},
doi = {10.1109/TAC.2014.2351672},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/RajhansBRKGPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/RuchkinNCG14,
author = {Ivan Ruchkin and
Dionisio de Niz and
Sagar Chaki and
David Garlan},
editor = {Tulika Mitra and
Jan Reineke},
title = {Contract-based integration of cyber-physical analyses},
booktitle = {2014 International Conference on Embedded Software, {EMSOFT} 2014,
New Delhi, India, October 12-17, 2014},
pages = {23:1--23:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2656045.2656052},
doi = {10.1145/2656045.2656052},
timestamp = {Wed, 04 Jan 2023 16:50:45 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/RuchkinNCG14.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/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/Garlan14,
author = {David Garlan},
editor = {James D. Herbsleb and
Matthew B. Dwyer},
title = {Software architecture: a travelogue},
booktitle = {Proceedings of the on Future of Software Engineering, {FOSE} 2014,
Hyderabad, India, May 31 - June 7, 2014},
pages = {29--39},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593882.2593886},
doi = {10.1145/2593882.2593886},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Garlan14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CasanovaGSA14,
author = {Paulo Casanova and
David Garlan and
Bradley R. Schmerl and
Rui Abreu},
editor = {Gregor Engels and
Nelly Bencomo},
title = {Diagnosing unobserved components in self-adaptive systems},
booktitle = {9th International Symposium on Software Engineering for Adaptive and
Self-Managing Systems, {SEAMS} 2014, Proceedings, Hyderabad, India,
June 2-3, 2014},
pages = {75--84},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593929.2593946},
doi = {10.1145/2593929.2593946},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/CasanovaGSA14.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/itng/DwivediGPS14,
author = {Vishal Dwivedi and
David Garlan and
J{\"{u}}rgen Pfeffer and
Bradley R. Schmerl},
editor = {Shahram Latifi},
title = {Model-Based Assistance for Making Time/Fidelity Trade-Offs in Component
Compositions},
booktitle = {11th International Conference on Information Technology: New Generations,
{ITNG} 2014, Las Vegas, NV, USA, April 7-9, 2014},
pages = {235--240},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ITNG.2014.107},
doi = {10.1109/ITNG.2014.107},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itng/DwivediGPS14.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/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/Garlan13,
author = {David Garlan},
editor = {Marin Litoiu and
John Mylopoulos},
title = {A 10-year perspective on software engineering self-adaptive systems
(keynote)},
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 = {2},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SEAMS.2013.6595486},
doi = {10.1109/SEAMS.2013.6595486},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Garlan13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BarnesG13,
author = {Jeffrey M. Barnes and
David Garlan},
title = {Challenges in developing a software architecture evolution tool as
a plug-in},
booktitle = {3rd International Workshop on Developing Tools as Plug-ins, {TOPI}
2013, San Francisco, CA, USA, MAy 21, 2013},
pages = {13--18},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TOPI.2013.6597188},
doi = {10.1109/TOPI.2013.6597188},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BarnesG13.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/icse/CasanovaGSA13,
author = {Paulo Casanova and
David Garlan and
Bradley R. Schmerl and
Rui Abreu},
editor = {Marin Litoiu and
John Mylopoulos},
title = {Diagnosing architectural run-time failures},
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 = {103--112},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SEAMS.2013.6595497},
doi = {10.1109/SEAMS.2013.6595497},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CasanovaGSA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iseud/ElizondoDGSF13,
author = {Perla Velasco Elizondo and
Vishal Dwivedi and
David Garlan and
Bradley R. Schmerl and
Jos{\'{e}} Maria Fernandes},
editor = {Yvonne Dittrich and
Margaret M. Burnett and
Anders I. M{\o}rch and
David F. Redmiles},
title = {Resolving Data Mismatches in End-User Compositions},
booktitle = {End-User Development - 4th International Symposium, {IS-EUD} 2013,
Copenhagen, Denmark, June 10-13, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7897},
pages = {120--136},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38706-7\_10},
doi = {10.1007/978-3-642-38706-7\_10},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/iseud/ElizondoDGSF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BarnesPG13,
author = {Jeffrey M. Barnes and
Ashutosh Pandey and
David Garlan},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Automated planning for software architecture evolution},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {213--223},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693081},
doi = {10.1109/ASE.2013.6693081},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/kbse/BarnesPG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/YuanMSGG13,
author = {Eric Yuan and
Sam Malek and
Bradley R. Schmerl and
David Garlan and
Jeff Gennari},
editor = {Philippe Kruchten and
Anne Koziolek and
Robert L. Nord},
title = {Architecture-based self-protecting software systems},
booktitle = {Proceedings of the 9th international {ACM} {SIGSOFT} conference on
Quality of Software Architectures, QoSA 2013, part of Comparch '13
Federated Events on Component-Based Software Engineering and Software
Architecture, Vancouver, BC, Canada, June 17-21, 2013},
pages = {33--42},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2465478.2465479},
doi = {10.1145/2465478.2465479},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qosa/YuanMSGG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/LemosGGG13,
author = {Rog{\'{e}}rio de Lemos and
David Garlan and
Carlo Ghezzi and
Holger Giese},
title = {Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl
Seminar 13511)},
journal = {Dagstuhl Reports},
volume = {3},
number = {12},
pages = {67--96},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.12.67},
doi = {10.4230/DAGREP.3.12.67},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/LemosGGG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/ChengG12,
author = {Shang{-}Wen Cheng and
David Garlan},
title = {Stitch: {A} language for architecture-based self-adaptation},
journal = {J. Syst. Softw.},
volume = {85},
number = {12},
pages = {2860--2875},
year = {2012},
url = {https://doi.org/10.1016/j.jss.2012.02.060},
doi = {10.1016/J.JSS.2012.02.060},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/ChengG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/GarlanDRS12,
author = {David Garlan and
Vishal Dwivedi and
Ivan Ruchkin and
Bradley R. Schmerl},
editor = {Radu Calinescu and
David Garlan},
title = {Foundations and Tools for End-User Architecting},
booktitle = {Large-Scale Complex {IT} Systems. Development, Operation and Management
- 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7539},
pages = {157--182},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34059-8\_9},
doi = {10.1007/978-3-642-34059-8\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/monterey/GarlanDRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/monterey/2012,
editor = {Radu Calinescu and
David Garlan},
title = {Large-Scale Complex {IT} Systems. Development, Operation and Management
- 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7539},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34059-8},
doi = {10.1007/978-3-642-34059-8},
isbn = {978-3-642-34058-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/monterey/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-4981,
author = {David Garlan and
Vishal Dwivedi and
Ivan Ruchkin and
Bradley R. Schmerl},
title = {Foundations and Tools for End-User Architecting},
journal = {CoRR},
volume = {abs/1210.4981},
year = {2012},
url = {http://arxiv.org/abs/1210.4981},
eprinttype = {arXiv},
eprint = {1210.4981},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-4981.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/RajhansBLKPG11,
author = {Akshay Rajhans and
Ajinkya Bhave and
Sarah M. Loos and
Bruce H. Krogh and
Andr{\'{e}} Platzer and
David Garlan},
title = {Using parameters in architectural views to support heterogeneous design
and verification},
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 = {2705--2710},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CDC.2011.6161408},
doi = {10.1109/CDC.2011.6161408},
timestamp = {Wed, 24 Feb 2021 08:49:08 +0100},
biburl = {https://dblp.org/rec/conf/cdc/RajhansBLKPG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/CasanovaSGA11,
author = {Paulo Casanova and
Bradley R. Schmerl and
David Garlan and
Rui Abreu},
editor = {Ivica Crnkovic and
Volker Gruhn and
Matthias Book},
title = {Architecture-Based Run-Time Fault Diagnosis},
booktitle = {Software Architecture - 5th European Conference, {ECSA} 2011, Essen,
Germany, September 13-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6903},
pages = {261--277},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23798-0\_29},
doi = {10.1007/978-3-642-23798-0\_29},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/CasanovaSGA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/DwivediEFGS11,
author = {Vishal Dwivedi and
Perla Velasco Elizondo and
Jos{\'{e}} Maria Fernandes and
David Garlan and
Bradley R. Schmerl},
editor = {Ivica Crnkovic and
Volker Gruhn and
Matthias Book},
title = {An Architectural Approach to End User Orchestrations},
booktitle = {Software Architecture - 5th European Conference, {ECSA} 2011, Essen,
Germany, September 13-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6903},
pages = {370--378},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23798-0\_39},
doi = {10.1007/978-3-642-23798-0\_39},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/DwivediEFGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/BhaveKGS11,
author = {Ajinkya Bhave and
Bruce H. Krogh and
David Garlan and
Bradley R. Schmerl},
title = {View Consistency in Architectures for Cyber-Physical Systems},
booktitle = {2011 {IEEE/ACM} International Conference on Cyber-Physical Systems,
{ICCPS} 2011, Chicago, Illinois, USA, 12-14 April, 2011},
pages = {151--160},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICCPS.2011.17},
doi = {10.1109/ICCPS.2011.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/BhaveKGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SchmerlGDBC11,
author = {Bradley R. Schmerl and
David Garlan and
Vishal Dwivedi and
Michael W. Bigrigg and
Kathleen M. Carley},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {{SORASCS:} a case study in soa-based platform design for socio-cultural
analysis},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {643--652},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985883},
doi = {10.1145/1985793.1985883},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SchmerlGDBC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GarlanS11,
author = {David Garlan and
Mary Shaw},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {Software architecture: reflections on an evolving discipline},
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 = {2},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025116},
doi = {10.1145/2025113.2025116},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/GarlanS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/Garlan11,
author = {David Garlan},
title = {Invited Talk - Engineering Self-Healing and Self-Improving Systems},
booktitle = {Fifth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island,
Korea - Companion Volume},
pages = {207},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SSIRI-C.2011.35},
doi = {10.1109/SSIRI-C.2011.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/Garlan11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/KimG10,
author = {Jung Soo Kim and
David Garlan},
title = {Analyzing architectural styles},
journal = {J. Syst. Softw.},
volume = {83},
number = {7},
pages = {1216--1235},
year = {2010},
url = {https://doi.org/10.1016/j.jss.2010.01.049},
doi = {10.1016/J.JSS.2010.01.049},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/KimG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChengLGGLMMPT10,
author = {Betty H. C. Cheng and
Rog{\'{e}}rio de Lemos and
David Garlan and
Holger Giese and
Marin Litoiu and
Jeff Magee and
Hausi A. M{\"{u}}ller and
Mauro Pezz{\`{e}} and
Richard Taylor},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {Fifth Workshop on Software Engineering for Adaptive and Self-Managing
Systems {(SEAMS} 2010)},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {447--448},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1810295.1810422},
doi = {10.1145/1810295.1810422},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ChengLGGLMMPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Garlan10,
author = {David Garlan},
editor = {Gruia{-}Catalin Roman and
Kevin J. Sullivan},
title = {Software engineering in an uncertain world},
booktitle = {Proceedings of the Workshop on Future of Software Engineering Research,
FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {125--128},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882362.1882389},
doi = {10.1145/1882362.1882389},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Garlan10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/RajhansCSGKAB09,
author = {Akshay Rajhans and
Shang{-}Wen Cheng and
Bradley R. Schmerl and
David Garlan and
Bruce H. Krogh and
Clarence Agbi and
Ajinkya Bhave},
title = {An Architectural Approach to the Design and Analysis of Cyber-Physical
Systems},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {21},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.21.286},
doi = {10.14279/TUJ.ECEASST.21.286},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/RajhansCSGKAB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/GarlanAO09,
author = {David Garlan and
Robert Allen and
John Ockerbloom},
title = {Architectural Mismatch: Why Reuse Is Still So Hard},
journal = {{IEEE} Softw.},
volume = {26},
number = {4},
pages = {66--69},
year = {2009},
url = {https://doi.org/10.1109/MS.2009.86},
doi = {10.1109/MS.2009.86},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/GarlanAO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ChengPGS09,
author = {Shang{-}Wen Cheng and
Vahe Poladian and
David Garlan and
Bradley R. Schmerl},
editor = {Betty H. C. Cheng and
Rog{\'{e}}rio de Lemos and
Holger Giese and
Paola Inverardi and
Jeff Magee},
title = {Improving Architecture-Based Self-Adaptation through Resource Prediction},
booktitle = {Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl
Seminar]},
series = {Lecture Notes in Computer Science},
volume = {5525},
pages = {71--88},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02161-9\_4},
doi = {10.1007/978-3-642-02161-9\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ChengPGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChakiPGGO09,
author = {Sagar Chaki and
J. Andr{\'{e}}s D{\'{\i}}az Pace and
David Garlan and
Arie Gurfinkel and
Ipek Ozkaya},
title = {Towards engineered architecture evolution},
booktitle = {{ICSE} Workshop on Modeling in Software Engineering, MiSE 2009, Vancouver,
BC, Canada, May 17-18, 2009},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/MISE.2009.5069889},
doi = {10.1109/MISE.2009.5069889},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChakiPGGO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChengGS09a,
author = {Shang{-}Wen Cheng and
David Garlan and
Bradley R. Schmerl},
title = {Evaluating the effectiveness of the Rainbow self-adaptive system},
booktitle = {2009 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing
Systems, {SEAMS} 2009, Vancouver, BC, Canada, May 18-19, 2009},
pages = {132--141},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEAMS.2009.5069082},
doi = {10.1109/SEAMS.2009.5069082},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChengGS09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChengGS09,
author = {Shang{-}Wen Cheng and
David Garlan and
Bradley R. Schmerl},
title = {{RAIDE} for engineering architecture-based self-adaptive systems},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {435--436},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071049},
doi = {10.1109/ICSE-COMPANION.2009.5071049},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChengGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChengLGGLMMT09,
author = {Betty H. C. Cheng and
Rog{\'{e}}rio de Lemos and
David Garlan and
Holger Giese and
Marin Litoiu and
Jeff Magee and
Hausi A. M{\"{u}}ller and
Richard Taylor},
title = {{SEAMS} 2009: Software engineering for adaptive and self-managing
systems},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {463--464},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071063},
doi = {10.1109/ICSE-COMPANION.2009.5071063},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ChengLGGLMMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GarlanS09,
author = {David Garlan and
Bradley R. Schmerl},
title = {{\AE}vol: {A} tool for defining and planning architecture evolution},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {591--594},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070563},
doi = {10.1109/ICSE.2009.5070563},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GarlanS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/Garlan09,
author = {David Garlan},
title = {Invited Talk: Rainbow: Engineering Support for Self-Healing Systems},
booktitle = {{XXIII} Brazilian Symposium on Software Engineering, {SBES} 2009,
Fortaleza, Cear{\'{a}}, Brazil, October 5-9, 2009},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SBES.2009.35},
doi = {10.1109/SBES.2009.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbes/Garlan09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/GarlanCSBC09,
author = {David Garlan and
Kathleen M. Carley and
Bradley R. Schmerl and
Michael W. Bigrigg and
Orieta Celiku},
title = {Using Service-oriented Architectures for Socio-Cultural Analysis},
booktitle = {Proceedings of the 21st International Conference on Software Engineering
{\&} Knowledge Engineering (SEKE'2009), Boston, Massachusetts,
USA, July 1-3, 2009},
pages = {370--375},
publisher = {Knowledge Systems Institute Graduate School},
year = {2009},
timestamp = {Thu, 12 Mar 2020 11:30:49 +0100},
biburl = {https://dblp.org/rec/conf/seke/GarlanCSBC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/RahejaCGS09,
author = {Rahul Raheja and
Shang{-}Wen Cheng and
David Garlan and
Bradley R. Schmerl},
editor = {Danny Weyns and
Sam Malek and
Rog{\'{e}}rio de Lemos and
Jesper Andersson},
title = {Improving Architecture-Based Self-adaptation Using Preemption},
booktitle = {Self-Organizing Architectures, First International Workshop, {SOAR}
2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {6090},
pages = {21--37},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14412-7\_2},
doi = {10.1007/978-3-642-14412-7\_2},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/wicsa/RahejaCGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/GarlanBSC09,
author = {David Garlan and
Jeffrey M. Barnes and
Bradley R. Schmerl and
Orieta Celiku},
title = {Evolution styles: Foundations and tool support for software architecture
evolution},
booktitle = {Joint Working {IEEE/IFIP} Conference on Software Architecture 2009
and European Conference on Software Architecture 2009, {WICSA/ECSA}
2009, Cambridge, UK, 14-17 September 2009},
pages = {131--140},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/WICSA.2009.5290799},
doi = {10.1109/WICSA.2009.5290799},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/GarlanBSC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/GarlanSC09,
author = {David Garlan and
Bradley R. Schmerl and
Shang{-}Wen Cheng},
editor = {Yan Zhang and
Laurence Tianruo Yang and
Mieso K. Denko},
title = {Software Architecture-Based Self-Adaptation},
booktitle = {Autonomic Computing and Networking},
pages = {31--55},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-89828-5\_2},
doi = {10.1007/978-0-387-89828-5\_2},
timestamp = {Tue, 16 May 2017 14:01:33 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/GarlanSC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Abi-AntounANSG08,
author = {Marwan Abi{-}Antoun and
Jonathan Aldrich and
Nagi H. Nahas and
Bradley R. Schmerl and
David Garlan},
title = {Differencing and merging of architectural views},
journal = {Autom. Softw. Eng.},
volume = {15},
number = {1},
pages = {35--74},
year = {2008},
url = {https://doi.org/10.1007/s10515-007-0023-3},
doi = {10.1007/S10515-007-0023-3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/Abi-AntounANSG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/Garlan08,
author = {David Garlan},
editor = {Roger Y. Lee},
title = {Software Architectures for Task-Oriented Computing},
booktitle = {7th {IEEE/ACIS} International Conference on Computer and Information
Science, {IEEE/ACIS} {ICIS} 2008, 14-16 May 2008, Portland, Oregon,
{USA}},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICIS.2008.114},
doi = {10.1109/ICIS.2008.114},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACISicis/Garlan08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/SousaBPGS08,
author = {Jo{\~{a}}o Pedro Sousa and
Rajesh Krishna Balan and
Vahe Poladian and
David Garlan and
Mahadev Satyanarayanan},
editor = {Jos{\'{e}} Cordeiro and
Boris Shishkov and
Alpesh Ranchordas and
Markus Helfert},
title = {User Guidance of Resource-Adaptive Systems},
booktitle = {{ICSOFT} 2008 - Proceedings of the Third International Conference
on Software and Data Technologies, Volume SE/MUSE/GSDCA, Porto, Portugal,
July 5-8, 2008},
pages = {36--44},
publisher = {{INSTICC} Press},
year = {2008},
timestamp = {Wed, 04 Mar 2009 15:42:39 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/SousaBPGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/SousaBPGS08a,
author = {Jo{\~{a}}o Pedro Sousa and
Rajesh Krishna Balan and
Vahe Poladian and
David Garlan and
Mahadev Satyanarayanan},
editor = {Jos{\'{e}} Cordeiro and
Boris Shishkov and
Alpesh Ranchordas and
Markus Helfert},
title = {A Software Infrastructure for User-Guided Quality-of-Service Tradeoffs},
booktitle = {Software and Data Technologies - Third International Conference, {ICSOFT}
2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {47},
pages = {48--61},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-05201-9\_5},
doi = {10.1007/978-3-642-05201-9\_5},
timestamp = {Wed, 25 Sep 2019 18:17:44 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/SousaBPGS08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/SousaPGSS08,
author = {Jo{\~{a}}o Pedro Sousa and
Vahe Poladian and
David Garlan and
Bradley R. Schmerl and
Peter Steenkiste},
title = {Steps toward activity-oriented computing},
booktitle = {22nd {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2008, Miami, Florida USA, April 14-18, 2008},
pages = {1--5},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/IPDPS.2008.4536432},
doi = {10.1109/IPDPS.2008.4536432},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipps/SousaPGSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/Garlan08,
author = {David Garlan},
editor = {Benjamin W. Wah},
title = {Software Architecture},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
publisher = {John Wiley {\&} Sons, Inc.},
year = {2008},
url = {https://doi.org/10.1002/9780470050118.ecse375},
doi = {10.1002/9780470050118.ECSE375},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/wiley/Garlan08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2008seams,
editor = {Betty H. C. Cheng and
Rog{\'{e}}rio de Lemos and
David Garlan and
Holger Giese and
Marin Litoiu and
Jeff Magee and
Hausi A. M{\"{u}}ller and
Richard N. Taylor},
title = {2008 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing
Systems, {SEAMS} 2008, Leipzig, Germany, May 12-13, 2008},
publisher = {{ACM}},
year = {2008},
url = {http://dl.acm.org/citation.cfm?id=1370018},
isbn = {978-1-60558-037-1},
timestamp = {Thu, 20 Mar 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/2008seams.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/GarlanS07,
author = {David Garlan and
Bradley R. Schmerl},
title = {The Radar Architecture for Personal Cognitive Assistance},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {17},
number = {2},
pages = {171--190},
year = {2007},
url = {https://doi.org/10.1142/S0218194007003033},
doi = {10.1142/S0218194007003033},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/GarlanS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/Garlan07,
author = {David Garlan},
editor = {Fl{\'{a}}vio Oquendo},
title = {Software Architectures for Task-Oriented Computing},
booktitle = {Software Architecture, First European Conference, {ECSA} 2007, Aranjuez,
Spain, September 24-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4758},
pages = {1},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75132-8\_1},
doi = {10.1007/978-3-540-75132-8\_1},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/Garlan07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChengLFGLMMT07a,
author = {Betty H. C. Cheng and
Rog{\'{e}}rio de Lemos and
Stephen Fickas and
David Garlan and
Marin Litoiu and
Jeff Magee and
Hausi A. M{\"{u}}ller and
Richard Taylor},
title = {{SEAMS} 2007: Software Engineering for Adaptive and Self-Managing
Systems},
booktitle = {2007 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing
Systems, {SEAMS} 2007, Minneapolis Minnesota, USA, May 20-26, 2007},
pages = {1},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEAMS.2007.18},
doi = {10.1109/SEAMS.2007.18},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ChengLFGLMMT07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChengLFGLMMT07,
author = {Betty H. C. Cheng and
Rog{\'{e}}rio de Lemos and
Stephen Fickas and
David Garlan and
Marin Litoiu and
Jeff Magee and
Hausi A. M{\"{u}}ller and
Richard Taylor},
title = {{SEAMS} 2007: Software Engineering for Adaptive and Self-Managing
Systems},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007, Companion Volume},
pages = {152--153},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSECOMPANION.2007.64},
doi = {10.1109/ICSECOMPANION.2007.64},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ChengLFGLMMT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/PoladianGSSSS07,
author = {Vahe Poladian and
David Garlan and
Mary Shaw and
Mahadev Satyanarayanan and
Bradley R. Schmerl and
Jo{\~{a}}o Pedro Sousa},
title = {Leveraging Resource Prediction for Anticipatory Dynamic Configuration},
booktitle = {Proceedings of the First International Conference on Self-Adaptive
and Self-Organizing Systems, {SASO} 2007, Boston, MA, USA, July 9-11,
2007},
pages = {214--223},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SASO.2007.35},
doi = {10.1109/SASO.2007.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/PoladianGSSSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LaTozaGHM07,
author = {Thomas D. LaToza and
David Garlan and
James D. Herbsleb and
Brad A. Myers},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {Program comprehension as fact finding},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {361--370},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287675},
doi = {10.1145/1287624.1287675},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LaTozaGHM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/SeceleanuG06,
author = {Tiberiu Seceleanu and
David Garlan},
title = {Developing adaptive systems with synchronized architectures},
journal = {J. Syst. Softw.},
volume = {79},
number = {11},
pages = {1514--1526},
year = {2006},
url = {https://doi.org/10.1016/j.jss.2006.03.047},
doi = {10.1016/J.JSS.2006.03.047},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/SeceleanuG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SchmerlAGKY06,
author = {Bradley R. Schmerl and
Jonathan Aldrich and
David Garlan and
Rick Kazman and
Hong Yan},
title = {Discovering Architectures from Running Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {32},
number = {7},
pages = {454--466},
year = {2006},
url = {https://doi.org/10.1109/TSE.2006.66},
doi = {10.1109/TSE.2006.66},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/SchmerlAGKY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/SousaPGSS06,
author = {Jo{\~{a}}o Pedro Sousa and
Vahe Poladian and
David Garlan and
Bradley R. Schmerl and
Mary Shaw},
title = {Task-based adaptation for ubiquitous computing},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {36},
number = {3},
pages = {328--340},
year = {2006},
url = {https://doi.org/10.1109/TSMCC.2006.871588},
doi = {10.1109/TSMCC.2006.871588},
timestamp = {Tue, 27 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/SousaPGSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChengGS06,
author = {Shang{-}Wen Cheng and
David Garlan and
Bradley R. Schmerl},
editor = {Betty H. C. Cheng and
Rog{\'{e}}rio de Lemos and
Stephen Fickas and
David Garlan and
Jeff Magee and
Hausi A. M{\"{u}}ller and
Richard Taylor},
title = {Architecture-based self-adaptation in the presence of multiple objectives},
booktitle = {Proceedings of the 2006 international workshop on Self-adaptation
and self-managing systems, {SEAMS} 2006, Shanghai, China, May 21-22,
2006},
pages = {2--8},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1137677.1137679},
doi = {10.1145/1137677.1137679},
timestamp = {Tue, 15 Jan 2019 11:48:13 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChengGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChengGLMTFM06,
author = {Betty H. C. Cheng and
David Garlan and
Rog{\'{e}}rio de Lemos and
Jeff Magee and
Richard Taylor and
Stephen Fickas and
Hausi A. M{\"{u}}ller},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {Software engineering for adaptive and self-managing systems},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {1015--1016},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134480},
doi = {10.1145/1134285.1134480},
timestamp = {Tue, 15 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChengGLMTFM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KimG06,
author = {Jung Soo Kim and
David Garlan},
editor = {Robert M. Hierons and
Henry Muccini},
title = {Analyzing architectural styles with alloy},
booktitle = {Proceedings of the 2006 Workshop on Role of Software Architecture
for Testing and Analysis, held in conjunction with the {ACM} {SIGSOFT}
International Symposium on Software Testing and Analysis {(ISSTA}
2006), {ROSATEA} 2006, Portland, Maine, USA, July 17-20, 2006},
pages = {70--80},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1147249.1147259},
doi = {10.1145/1147249.1147259},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/KimG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Abi-AntounANSG06,
author = {Marwan Abi{-}Antoun and
Jonathan Aldrich and
Nagi H. Nahas and
Bradley R. Schmerl and
David Garlan},
title = {Differencing and Merging of Architectural Views},
booktitle = {21st {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
pages = {47--58},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ASE.2006.33},
doi = {10.1109/ASE.2006.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Abi-AntounANSG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FairbanksGS06,
author = {George Fairbanks and
David Garlan and
William L. Scherlis},
editor = {Peri L. Tarr and
William R. Cook},
title = {Design fragments make using frameworks easier},
booktitle = {Proceedings of the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {75--88},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1167473.1167480},
doi = {10.1145/1167473.1167480},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FairbanksGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FairbanksGS06a,
author = {George Fairbanks and
David Garlan and
William L. Scherlis},
editor = {Peri L. Tarr and
William R. Cook},
title = {Using framework interfaces with design fragments},
booktitle = {Companion to the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {718},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176690},
doi = {10.1145/1176617.1176690},
timestamp = {Sat, 31 Jul 2021 17:22:24 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/FairbanksGS06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FairbanksGS06b,
author = {George Fairbanks and
David Garlan and
William L. Scherlis},
editor = {Peri L. Tarr and
William R. Cook},
title = {Design fragments make using frameworks easier},
booktitle = {Companion to the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {762--763},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176713},
doi = {10.1145/1176617.1176713},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/FairbanksGS06b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/GarlanS06,
author = {David Garlan and
Bradley R. Schmerl},
editor = {Kang Zhang and
George Spanoudakis and
Giuseppe Visaggio},
title = {An Architecture for Personal Cognitive Assistance},
booktitle = {Proceedings of the Eighteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2006), San Francisco,
CA, USA, July 5-7, 2006},
pages = {91--97},
year = {2006},
timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
biburl = {https://dblp.org/rec/conf/seke/GarlanS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2006seams,
editor = {Betty H. C. Cheng and
Rog{\'{e}}rio de Lemos and
Stephen Fickas and
David Garlan and
Jeff Magee and
Hausi A. M{\"{u}}ller and
Richard Taylor},
title = {Proceedings of the 2006 international workshop on Self-adaptation
and self-managing systems, {SEAMS} 2006, Shanghai, China, May 21-22,
2006},
publisher = {{ACM}},
year = {2006},
url = {http://dl.acm.org/citation.cfm?id=1137677},
isbn = {1-59593-403-0},
timestamp = {Tue, 15 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/2006seams.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/CoutazCDG05,
author = {Jo{\"{e}}lle Coutaz and
James L. Crowley and
Simon Dobson and
David Garlan},
title = {Context is key},
journal = {Commun. {ACM}},
volume = {48},
number = {3},
pages = {49--53},
year = {2005},
url = {https://doi.org/10.1145/1047671.1047703},
doi = {10.1145/1047671.1047703},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/CoutazCDG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Abi-AntounAGSNT05,
author = {Marwan Abi{-}Antoun and
Jonathan Aldrich and
David Garlan and
Bradley R. Schmerl and
Nagi H. Nahas and
Tony Tseng},
title = {Improving system dependability by enforcing architectural intent},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {30},
number = {4},
pages = {1--7},
year = {2005},
url = {https://doi.org/10.1145/1082983.1083218},
doi = {10.1145/1082983.1083218},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Abi-AntounAGSNT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/GarlanLMMSW05,
author = {David Garlan and
Marin Litoiu and
Hausi A. M{\"{u}}ller and
John Mylopoulos and
Dennis B. Smith and
Kenny Wong},
title = {{DEAS} 2005: workshop on the design and evolution of autonomic application
software},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {30},
number = {4},
pages = {1},
year = {2005},
url = {https://doi.org/10.1145/1082983.1083064},
doi = {10.1145/1082983.1083064},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/GarlanLMMSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bertinoro/ChengGS05,
author = {Shang{-}Wen Cheng and
David Garlan and
Bradley R. Schmerl},
editor = {{\"{O}}zalp Babaoglu and
M{\'{a}}rk Jelasity and
Alberto Montresor and
Christof Fetzer and
Stefano Leonardi and
Aad P. A. van Moorsel and
Maarten van Steen},
title = {Making Self-Adaptation an Engineering Reality},
booktitle = {Self-star Properties in Complex Information Systems, Conceptual and
Practical Foundations [the book is a result from a workshop at Bertinoro,
Italy, Summer 2004]},
series = {Lecture Notes in Computer Science},
volume = {3460},
pages = {158--173},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11428589\_11},
doi = {10.1007/11428589\_11},
timestamp = {Tue, 27 Dec 2022 09:06:31 +0100},
biburl = {https://dblp.org/rec/conf/bertinoro/ChengGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/SousaPGS05,
author = {Jo{\~{a}}o Pedro Sousa and
Vahe Poladian and
David Garlan and
Bradley R. Schmerl},
editor = {Jaelson Castro and
Ernest Teniente},
title = {Capitalizing on Awareness of User Tasks for Guiding Self-Adaptation},
booktitle = {Advanced Information Systems Engineering, 17th International Conference,
CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings of the
CAiSE'05 Workshops, Vol. 2},
pages = {83--96},
publisher = {{FEUP} Edi{\c{c}}{\~{o}}es, Porto},
year = {2005},
timestamp = {Wed, 01 Mar 2006 14:22:39 +0100},
biburl = {https://dblp.org/rec/conf/caise/SousaPGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SeceleanuG05,
author = {Tiberiu Seceleanu and
David Garlan},
title = {Synchronized Architectures for Adaptive Systems},
booktitle = {29th Annual International Computer Software and Applications Conference,
{COMPSAC} 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume
2},
pages = {146--151},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/COMPSAC.2005.149},
doi = {10.1109/COMPSAC.2005.149},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SeceleanuG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Abi-AntounAGSNT05a,
author = {Marwan Abi{-}Antoun and
Jonathan Aldrich and
David Garlan and
Bradley R. Schmerl and
Nagi H. Nahas and
Tony Tseng},
title = {Improving system dependability by enforcing architectural intent},
booktitle = {Proceedings of the 2005 workshop on Architecting dependable systems,
{WADS} '05, St. Louis, Missouri, USA, May 17, 2005},
pages = {1:1--1:7},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1083217.1083218},
doi = {10.1145/1083217.1083218},
timestamp = {Mon, 31 Jan 2022 12:19:39 +0100},
biburl = {https://dblp.org/rec/conf/icse/Abi-AntounAGSNT05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Abi-AntounAGSNT05,
author = {Marwan Abi{-}Antoun and
Jonathan Aldrich and
David Garlan and
Bradley R. Schmerl and
Nagi H. Nahas and
Tony Tseng},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {Modeling and implementing software architecture with acme and archJava},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {676--677},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062604},
doi = {10.1145/1062455.1062604},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Abi-AntounAGSNT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GarlanMLSMW05,
author = {David Garlan and
John Mylopoulos and
Marin Litoiu and
Dennis B. Smith and
Hausi A. M{\"{u}}ller and
Kenny Wong},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {{DEAS} 2005: workshop on the design and evolution of autonomic application
software},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {699},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062624},
doi = {10.1145/1062455.1062624},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GarlanMLSMW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/GarlanRSST05,
author = {David Garlan and
William K. Reinholtz and
Bradley R. Schmerl and
Nicholas D. Sherman and
Tony Tseng},
title = {Bridging the Gap between Systems Design},
booktitle = {29th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-29}
2005), 6-7 April 2005, Greenbelt, Maryland, {USA}},
pages = {34--46},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SEW.2005.21},
doi = {10.1109/SEW.2005.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/GarlanRSST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SchmerlGY05,
author = {Bradley R. Schmerl and
David Garlan and
Hong Yan},
editor = {Michel Wermelinger and
Harald C. Gall},
title = {Dynamically discovering architectures with DiscoTect},
booktitle = {Proceedings of the 10th European Software Engineering Conference held
jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
pages = {103--106},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081706.1081724},
doi = {10.1145/1081706.1081724},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SchmerlGY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/Garlan05,
author = {David Garlan},
title = {Software Architecture Evaluation and Analysis Session Report},
booktitle = {Fifth Working {IEEE} / {IFIP} Conference on Software Architecture
{(WICSA} 2005), 6-10 November 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {227--228},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/WICSA.2005.64},
doi = {10.1109/WICSA.2005.64},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/Garlan05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/Abi-AntounAGSN05,
author = {Marwan Abi{-}Antoun and
Jonathan Aldrich and
David Garlan and
Bradley R. Schmerl and
Nagi H. Nahas},
title = {Semi-Automated Incremental Synchronization between Conceptual and
Implementation Level Architectures},
booktitle = {Fifth Working {IEEE} / {IFIP} Conference on Software Architecture
{(WICSA} 2005), 6-10 November 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {265--268},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/WICSA.2005.59},
doi = {10.1109/WICSA.2005.59},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/Abi-AntounAGSN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/TivoliG05,
author = {Massimo Tivoli and
David Garlan},
title = {Adaptor Synthesis for Protocol-Enhanced Component Based Architectures},
booktitle = {Fifth Working {IEEE} / {IFIP} Conference on Software Architecture
{(WICSA} 2005), 6-10 November 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {276--277},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/WICSA.2005.9},
doi = {10.1109/WICSA.2005.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/TivoliG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/GarlanCHSS04,
author = {David Garlan and
Shang{-}Wen Cheng and
An{-}Cheng Huang and
Bradley R. Schmerl and
Peter Steenkiste},
title = {Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure},
journal = {Computer},
volume = {37},
number = {10},
pages = {46--54},
year = {2004},
url = {https://doi.org/10.1109/MC.2004.175},
doi = {10.1109/MC.2004.175},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/GarlanCHSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsa/GarlanS04,
author = {David Garlan and
Bradley R. Schmerl},
editor = {Fl{\'{a}}vio Oquendo and
Brian Warboys and
Ronald Morrison},
title = {Using Architectural Models at Runtime: Research Challenges},
booktitle = {Software Architecture, First European Workshop, {EWSA} 2004, St Andrews,
UK, May 21-22, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3047},
pages = {200--205},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24769-2\_15},
doi = {10.1007/978-3-540-24769-2\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ewsa/GarlanS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icac/ChengHGSS04,
author = {Shang{-}Wen Cheng and
An{-}Cheng Huang and
David Garlan and
Bradley R. Schmerl and
Peter Steenkiste},
title = {Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure},
booktitle = {1st International Conference on Autonomic Computing {(ICAC} 2004),
17-19 May 2004, New York, NY, {USA}},
pages = {276--277},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ICAC.2004.46},
doi = {10.1109/ICAC.2004.46},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icac/ChengHGSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/YanGSAK04,
author = {Hong Yan and
David Garlan and
Bradley R. Schmerl and
Jonathan Aldrich and
Rick Kazman},
editor = {Anthony Finkelstein and
Jacky Estublier and
David S. Rosenblum},
title = {DiscoTect: {A} System for Discovering Architectures from Running Systems},
booktitle = {26th International Conference on Software Engineering {(ICSE} 2004),
23-28 May 2004, Edinburgh, United Kingdom},
pages = {470--479},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICSE.2004.1317469},
doi = {10.1109/ICSE.2004.1317469},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/YanGSAK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PoladianSGS04,
author = {Vahe Poladian and
Jo{\~{a}}o Pedro Sousa and
David Garlan and
Mary Shaw},
editor = {Anthony Finkelstein and
Jacky Estublier and
David S. Rosenblum},
title = {Dynamic Configuration of Resource-Aware Services},
booktitle = {26th International Conference on Software Engineering {(ICSE} 2004),
23-28 May 2004, Edinburgh, United Kingdom},
pages = {604--613},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICSE.2004.1317482},
doi = {10.1109/ICSE.2004.1317482},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PoladianSGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SchmerlG04,
author = {Bradley R. Schmerl and
David Garlan},
editor = {Anthony Finkelstein and
Jacky Estublier and
David S. Rosenblum},
title = {AcmeStudio: Supporting Style-Centered Architecture Development},
booktitle = {26th International Conference on Software Engineering {(ICSE} 2004),
23-28 May 2004, Edinburgh, United Kingdom},
pages = {704--705},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICSE.2004.1317497},
doi = {10.1109/ICSE.2004.1317497},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SchmerlG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isese/BoehmBGGHLMMMMPRRR04,
author = {Barry W. Boehm and
Jesal Bhuta and
David Garlan and
Eric Gradman and
LiGuo Huang and
Alexander Lam and
Raymond J. Madachy and
Nenad Medvidovic and
Kenneth Meyer and
Steven Meyers and
Gustavo P{\'{e}}rez and
Kirk Reinholtz and
Roshanak Roshandel and
Nicolas Rouquette},
title = {Using Empirical Testbeds to Accelerate Technology Maturity and Transition:
The SCRover Experience},
booktitle = {2004 International Symposium on Empirical Software Engineering {(ISESE}
2004), 19-20 August 2004, Redondo Beach, CA, {USA}},
pages = {117--126},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ISESE.2004.33},
doi = {10.1109/ISESE.2004.33},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isese/BoehmBGGHLMMMMPRRR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AldrichGST04,
author = {Jonathan Aldrich and
David Garlan and
Bradley R. Schmerl and
Tony Tseng},
editor = {John M. Vlissides and
Douglas C. Schmidt},
title = {Modeling and implementing software architecture with acme and archJava},
booktitle = {Companion to the 19th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2004,
October 24-28, 2004, Vancouver, BC, Canada},
pages = {6--7},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1028664.1028668},
doi = {10.1145/1028664.1028668},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/AldrichGST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AldrichGST04a,
author = {Jonathan Aldrich and
David Garlan and
Bradley R. Schmerl and
Tony Tseng},
editor = {John M. Vlissides and
Douglas C. Schmidt},
title = {Modeling and implementing software architecture with acme and archJava},
booktitle = {Companion to the 19th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2004,
October 24-28, 2004, Vancouver, BC, Canada},
pages = {156--157},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1028664.1028727},
doi = {10.1145/1028664.1028727},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/AldrichGST04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/RoshandelSMGZ04,
author = {Roshanak Roshandel and
Bradley R. Schmerl and
Nenad Medvidovic and
David Garlan and
Dehua Zhang},
title = {Understanding Tradeoffs among Different Architectural Modeling Approaches},
booktitle = {4th Working {IEEE} / {IFIP} Conference on Software Architecture {(WICSA}
2004), 12-15 June 2004, Oslo, Norway},
pages = {47--56},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/WICSA.2004.1310689},
doi = {10.1109/WICSA.2004.1310689},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/RoshandelSMGZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/ChengHGSS04,
author = {Shang{-}Wen Cheng and
An{-}Cheng Huang and
David Garlan and
Bradley R. Schmerl and
Peter Steenkiste},
title = {An Architecture for Coordinating Multiple Self-Management Systems},
booktitle = {4th Working {IEEE} / {IFIP} Conference on Software Architecture {(WICSA}
2004), 12-15 June 2004, Oslo, Norway},
pages = {243--254},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/WICSA.2004.1310707},
doi = {10.1109/WICSA.2004.1310707},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wicsa/ChengHGSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woss/GarlanPSS04,
author = {David Garlan and
Vahe Poladian and
Bradley R. Schmerl and
Jo{\~{a}}o Pedro Sousa},
editor = {David Garlan and
Jeff Kramer and
Alexander L. Wolf},
title = {Task-based self-adaptation},
booktitle = {Proceedings of the 1st {ACM} {SIGSOFT} Workshop on Self-Managed Systems,
{WOSS} 2004, Newport Beach, California, USA, October 31 - November
1, 2004},
pages = {54--57},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1075405.1075416},
doi = {10.1145/1075405.1075416},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woss/GarlanPSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/woss/2004,
editor = {David Garlan and
Jeff Kramer and
Alexander L. Wolf},
title = {Proceedings of the 1st {ACM} {SIGSOFT} Workshop on Self-Managed Systems,
{WOSS} 2004, Newport Beach, California, USA, October 31 - November
1, 2004},
publisher = {{ACM}},
year = {2004},
isbn = {1-58113-989-6},
timestamp = {Thu, 09 Mar 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woss/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SpitznagelG03,
author = {Bridget Spitznagel and
David Garlan},
editor = {Lori A. Clarke and
Laurie Dillon and
Walter F. Tichy},
title = {A Compositional Formalization of Connector Wrappers},
booktitle = {Proceedings of the 25th International Conference on Software Engineering,
May 3-10, 2003, Portland, Oregon, {USA}},
pages = {374--384},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICSE.2003.1201216},
doi = {10.1109/ICSE.2003.1201216},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SpitznagelG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ClementsGLNS03,
author = {Paul C. Clements and
David Garlan and
Reed Little and
Robert L. Nord and
Judith A. Stafford},
editor = {Lori A. Clarke and
Laurie Dillon and
Walter F. Tichy},
title = {Documenting Software Architectures: Views and Beyond},
booktitle = {Proceedings of the 25th International Conference on Software Engineering,
May 3-10, 2003, Portland, Oregon, {USA}},
pages = {740--741},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICSE.2003.1201264},
doi = {10.1109/ICSE.2003.1201264},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ClementsGLNS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Garlan03,
author = {David Garlan},
editor = {Marco Bernardo and
Paola Inverardi},
title = {Formal Modeling and Analysis of Software Architecture: Components,
Connectors, and Events},
booktitle = {Formal Methods for Software Architectures, Third International School
on Formal Methods for the Design of Computer, Communication and Software
Systems: Software Architectures, {SFM} 2003, Bertinoro, Italy, September
22-27, 2003, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2804},
pages = {1--24},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39800-4\_1},
doi = {10.1007/978-3-540-39800-4\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Garlan03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GarlanKK03,
author = {David Garlan and
Serge Khersonsky and
Jung Soo Kim},
editor = {Thomas Ball and
Sriram K. Rajamani},
title = {Model Checking Publish-Subscribe Systems},
booktitle = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
OR, USA, May 9-10, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2648},
pages = {166--180},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44829-2\_11},
doi = {10.1007/3-540-44829-2\_11},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/GarlanKK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pervasive/GarlanSSS02,
author = {David Garlan and
Daniel P. Siewiorek and
Asim Smailagic and
Peter Steenkiste},
title = {Project Aura: Toward Distraction-Free Pervasive Computing},
journal = {{IEEE} Pervasive Comput.},
volume = {1},
number = {2},
pages = {22--31},
year = {2002},
url = {https://doi.org/10.1109/MPRV.2002.1012334},
doi = {10.1109/MPRV.2002.1012334},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pervasive/GarlanSSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GarlanCK02,
author = {David Garlan and
Shang{-}Wen Cheng and
Andrew Kompanek},
title = {Reconciling the needs of architectural description with object-modeling
notations},
journal = {Sci. Comput. Program.},
volume = {44},
number = {1},
pages = {23--49},
year = {2002},
url = {https://doi.org/10.1016/S0167-6423(02)00031-X},
doi = {10.1016/S0167-6423(02)00031-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GarlanCK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/ChengGSSSSH02,
author = {Shang{-}Wen Cheng and
David Garlan and
Bradley R. Schmerl and
Jo{\~{a}}o Pedro Sousa and
Bridget Spitznagel and
Peter Steenkiste and
Ningning Hu},
editor = {Hartmut Schmeck and
Theo Ungerer and
Lars C. Wolf},
title = {Software Architecture-Based Adaptation for Pervasive Systems},
booktitle = {Trends in Network and Pervasive Computing - {ARCS} 2002, International
Conference on Architecture of Computing Systems, Karlsruhe, Germany,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2299},
pages = {67--82},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45997-9\_7},
doi = {10.1007/3-540-45997-9\_7},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arcs/ChengGSSSSH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/DingelGD02,
author = {J{\"{u}}rgen Dingel and
David Garlan and
Craig Damon},
title = {Bridging the {HLA:} Problems and Solutions},
booktitle = {6th {IEEE} International Workshop on Distributed Simulation and Real-Time
Applications {(DS-RT} 2002), 11-13 October 2002, Fort Worth, TX, {USA}},
pages = {33--42},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/DISRTA.2002.1166886},
doi = {10.1109/DISRTA.2002.1166886},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsrt/DingelGD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/ChengGSSH02,
author = {Shang{-}Wen Cheng and
David Garlan and
Bradley R. Schmerl and
Peter Steenkiste and
Ningning Hu},
title = {Software Architecture-Based Adaptation for Grid Computing},
booktitle = {11th {IEEE} International Symposium on High Performance Distributed
Computing {(HPDC-11} 2002), 23-26 July 2002, Edinburgh, Scotland,
{UK}},
pages = {389--398},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/HPDC.2002.1029939},
doi = {10.1109/HPDC.2002.1029939},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hpdc/ChengGSSH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GarlanCS02,
author = {David Garlan and
Shang{-}Wen Cheng and
Bradley R. Schmerl},
editor = {Rog{\'{e}}rio de Lemos and
Cristina Gacek and
Alexander B. Romanovsky},
title = {Increasing System Dependability through Architecture-Based Self-Repair},
booktitle = {Architecting Dependable Systems [the book is a result of the {ICSE}
2002 Workshop on Software Architectures for Dependable Systems]},
series = {Lecture Notes in Computer Science},
volume = {2677},
pages = {61--89},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45177-3\_3},
doi = {10.1007/3-540-45177-3\_3},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/icse/GarlanCS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/SchmerlG02,
author = {Bradley R. Schmerl and
David Garlan},
title = {Exploiting architectural design knowledge to support self-repairing
systems},
booktitle = {Proceedings of the 14th international conference on Software engineering
and knowledge engineering, {SEKE} 2002, Ischia, Italy, July 15-19,
2002},
pages = {241--248},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/568760.568804},
doi = {10.1145/568760.568804},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/SchmerlG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/Garlan02,
author = {David Garlan},
editor = {Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Heinrich Hu{\ss}mann and
Stephen Cook},
title = {Software, Heal Thyself!},
booktitle = {{UML} 2002 - The Unified Modeling Language, 5th International Conference,
Dresden, Germany, September 30 - October 4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2460},
pages = {351},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45800-X\_27},
doi = {10.1007/3-540-45800-X\_27},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/uml/Garlan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/SousaG02,
author = {Jo{\~{a}}o Pedro Sousa and
David Garlan},
editor = {Jan Bosch and
W. Morven Gentleman and
Christine Hofmeister and
Juha Kuusela},
title = {Aura: an Architectural Framework for User Mobility in Ubiquitous Computing
Environments},
booktitle = {Software Architecture: System Design, Development and Maintenance,
{IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC2} Stream
/ 3\({}^{\mbox{rd}}\) {IEEE/IFIP} Conference on Software Architecture
(WICSA3), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec,
Canada},
series = {{IFIP} Conference Proceedings},
volume = {224},
pages = {29--43},
publisher = {Kluwer},
year = {2002},
url = {https://doi.org/10.1007/978-0-387-35607-5\_2},
doi = {10.1007/978-0-387-35607-5\_2},
timestamp = {Thu, 25 Jul 2019 17:43:05 +0200},
biburl = {https://dblp.org/rec/conf/wicsa/SousaG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/ChengGSSSS02,
author = {Shang{-}Wen Cheng and
David Garlan and
Bradley R. Schmerl and
Jo{\~{a}}o Pedro Sousa and
Bridget Spitznagel and
Peter Steenkiste},
editor = {Jan Bosch and
W. Morven Gentleman and
Christine Hofmeister and
Juha Kuusela},
title = {Using Architectural Style as a Basis for System Self-repair},
booktitle = {Software Architecture: System Design, Development and Maintenance,
{IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC2} Stream
/ 3\({}^{\mbox{rd}}\) {IEEE/IFIP} Conference on Software Architecture
(WICSA3), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec,
Canada},
series = {{IFIP} Conference Proceedings},
volume = {224},
pages = {45--59},
publisher = {Kluwer},
year = {2002},
url = {https://doi.org/10.1007/978-0-387-35607-5\_3},
doi = {10.1007/978-0-387-35607-5\_3},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wicsa/ChengGSSSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woss/GarlanS02,
author = {David Garlan and
Bradley R. Schmerl},
editor = {David Garlan and
Jeff Kramer and
Alexander L. Wolf},
title = {Model-based adaptation for self-healing systems},
booktitle = {Proceedings of the First Workshop on Self-Healing Systems, {WOSS}
2002, Charleston, South Carolina, USA, November 18-19, 2002},
pages = {27--32},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/582128.582134},
doi = {10.1145/582128.582134},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woss/GarlanS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/woss/2002,
editor = {David Garlan and
Jeff Kramer and
Alexander L. Wolf},
title = {Proceedings of the First Workshop on Self-Healing Systems, {WOSS}
2002, Charleston, South Carolina, USA, November 18-19, 2002},
publisher = {{ACM}},
year = {2002},
isbn = {1-58113-609-9},
timestamp = {Fri, 26 Nov 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woss/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/SousaG01,
author = {Jo{\~{a}}o Pedro Sousa and
David Garlan},
title = {Formal modeling of the Enterprise JavaBeans(TM) component integration
framework},
journal = {Inf. Softw. Technol.},
volume = {43},
number = {3},
pages = {171--188},
year = {2001},
url = {https://doi.org/10.1016/S0950-5849(00)00157-9},
doi = {10.1016/S0950-5849(00)00157-9},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/SousaG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KramerGR01,
author = {Jeff Kramer and
David Garlan and
David S. Rosenblum},
title = {Guest Editors' Introduction: 1999 International Conference on Software
Engineering},
journal = {{IEEE} Trans. Software Eng.},
volume = {27},
number = {2},
pages = {97--98},
year = {2001},
url = {https://doi.org/10.1109/TSE.2001.908956},
doi = {10.1109/TSE.2001.908956},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KramerGR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ehci/Garlan01,
author = {David Garlan},
editor = {Murray Reed Little and
Laurence Nigay},
title = {Aura: Distraction-Free Ubiquitous Computing},
booktitle = {Engineering for Human-Computer Interaction, 8th {IFIP} International
Conference, {EHCI} 2001, Toronto, Canada, May 11-13, 2001, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2254},
pages = {1--2},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45348-2\_1},
doi = {10.1007/3-540-45348-2\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ehci/Garlan01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/SpitznagelG01,
author = {Bridget Spitznagel and
David Garlan},
title = {A Compositional Approach for Constructing Connectors},
booktitle = {2001 Working {IEEE} / {IFIP} Conference on Software Architecture {(WICSA}
2001), 28-31 August 2001, Amsterdam, The Netherlands},
pages = {148--157},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/WICSA.2001.948424},
doi = {10.1109/WICSA.2001.948424},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/SpitznagelG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Garlan00,
author = {David Garlan},
editor = {Anthony Finkelstein},
title = {Software architecture: a roadmap},
booktitle = {22nd International Conference on on Software Engineering, Future of
Software Engineering Track, {ICSE} 2000, Limerick Ireland, June 4-11,
2000},
pages = {91--101},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/336512.336537},
doi = {10.1145/336512.336537},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Garlan00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/GarlanK00,
author = {David Garlan and
Serge Khersonsky},
title = {Model Checking Implicit-Invocation Systems},
booktitle = {Proceedings of the 10th International Workshop on Software Specification
and Design, Shelter Island, San Diego, California, USA, November 5-7,
2000},
pages = {23--30},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/857171.857224},
doi = {10.5555/857171.857224},
timestamp = {Fri, 13 May 2022 15:20:05 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/GarlanK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/GarlanK00,
author = {David Garlan and
Andrew Kompanek},
editor = {Andy Evans and
Stuart Kent and
Bran Selic},
title = {Reconciling the Needs of Architectural Description with Object-Modeling
Notations},
booktitle = {{\guillemotleft}UML{\guillemotright} 2000 - The Unified Modeling Language,
Advancing the Standard, Third International Conference, York, UK,
October 2-6, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1939},
pages = {498--512},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40011-7\_37},
doi = {10.1007/3-540-40011-7\_37},
timestamp = {Mon, 24 Jun 2019 12:03:37 +0200},
biburl = {https://dblp.org/rec/conf/uml/GarlanK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/WeigertGKMS00,
author = {Thomas Weigert and
David Garlan and
John Knapman and
Birger M{\o}ller{-}Pedersen and
Bran Selic},
editor = {Andy Evans and
Stuart Kent and
Bran Selic},
title = {Modeling of Architectures with {UML} (Panel)},
booktitle = {{\guillemotleft}UML{\guillemotright} 2000 - The Unified Modeling Language,
Advancing the Standard, Third International Conference, York, UK,
October 2-6, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1939},
pages = {556--569},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40011-7\_41},
doi = {10.1007/3-540-40011-7\_41},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/WeigertGKMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/GarlanW99,
author = {David Garlan and
Zhenyu Wang},
editor = {Paolo Ciancarini and
Alexander L. Wolf},
title = {Acme-Based Software Architecture Interchange},
booktitle = {Coordination Languages and Models, Third International Conference,
{COORDINATION} '99, Amsterdam, The Netherlands, April 26-28, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1594},
pages = {340--354},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48919-3\_24},
doi = {10.1007/3-540-48919-3\_24},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/GarlanW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SousaG99,
author = {Jo{\~{a}}o Pedro Sousa and
David Garlan},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Formal Modeling of the Enterprise JavaBeans\({}^{\mbox{TM}}\) Component
Integration Framework},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1281--1300},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_18},
doi = {10.1007/3-540-48118-4\_18},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/SousaG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/1999,
editor = {Barry W. Boehm and
David Garlan and
Jeff Kramer},
title = {Proceedings of the 1999 International Conference on Software Engineering,
ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999},
publisher = {{ACM}},
year = {1999},
url = {http://dl.acm.org/citation.cfm?id=302405},
isbn = {1-58113-074-0},
timestamp = {Mon, 14 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DingelGJN98,
author = {J{\"{u}}rgen Dingel and
David Garlan and
Somesh Jha and
David Notkin},
title = {Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee
Reasoning},
journal = {Formal Aspects Comput.},
volume = {10},
number = {3},
pages = {193--213},
year = {1998},
url = {https://doi.org/10.1007/s001650050011},
doi = {10.1007/S001650050011},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DingelGJN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/AllenG98,
author = {Robert Allen and
David Garlan},
title = {Errata: {A} Formal Basis for Architectural Connection},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {7},
number = {3},
pages = {333--334},
year = {1998},
url = {https://doi.org/10.1145/287000.287031},
doi = {10.1145/287000.287031},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/AllenG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AllenDG98,
author = {Robert Allen and
R{\'{e}}mi Douence and
David Garlan},
editor = {Egidio Astesiano},
title = {Specifying and Analyzing Dynamic Software Architectures},
booktitle = {Fundamental Approaches to Software Engineering, 1st Internationsl
Conference, FASE'98, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal,
March 28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1382},
pages = {21--37},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053581},
doi = {10.1007/BFB0053581},
timestamp = {Sat, 07 Sep 2019 11:59:24 +0200},
biburl = {https://dblp.org/rec/conf/fase/AllenDG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AllenG98,
author = {Robert Allen and
David Garlan},
editor = {Leon J. Osterweil and
William L. Scherlis},
title = {Formal Modeling and Analysis of the {HLA} Component Integration Standard},
booktitle = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
USA, November 3-5, 1998},
pages = {70--79},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/288195.288251},
doi = {10.1145/288195.288251},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/AllenG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GarlanJN98,
author = {David Garlan and
Somesh Jha and
David Notkin},
editor = {Leon J. Osterweil and
William L. Scherlis},
title = {Reasoning about Implicit Invocation},
booktitle = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
USA, November 3-5, 1998},
pages = {209--221},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/288195.288312},
doi = {10.1145/288195.288312},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/GarlanJN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/GarlanGT97,
author = {David Garlan and
David P. Gluch and
James E. Tomayko},
title = {Agents of Change: Educating Software Engineering Leaders},
journal = {Computer},
volume = {30},
number = {11},
pages = {59--65},
year = {1997},
url = {https://doi.org/10.1109/2.634865},
doi = {10.1109/2.634865},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/GarlanGT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Garlan97,
author = {David Garlan},
title = {SIGSOFT'96 post mortem},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {22},
number = {1},
pages = {23},
year = {1997},
url = {https://doi.org/10.1145/251759.251812},
doi = {10.1145/251759.251812},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Garlan97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/MonroeKMG97,
author = {Robert T. Monroe and
Andrew Kompanek and
Ralph E. Melton and
David Garlan},
title = {Architectural Styles, Design Patterns, And Objects},
journal = {{IEEE} Softw.},
volume = {14},
number = {1},
pages = {43--52},
year = {1997},
url = {https://doi.org/10.1109/52.566427},
doi = {10.1109/52.566427},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/MonroeKMG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/AllenG97,
author = {Robert Allen and
David Garlan},
title = {A Formal Basis for Architectural Connection},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {6},
number = {3},
pages = {213--249},
year = {1997},
url = {https://doi.org/10.1145/258077.258078},
doi = {10.1145/258077.258078},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/AllenG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/GarlanMW97,
author = {David Garlan and
Robert T. Monroe and
David Wile},
editor = {J. Howard Johnson},
title = {Acme: an architecture description interchange language},
booktitle = {Proceedings of the 1997 conference of the Centre for Advanced Studies
on Collaborative Research, November 10-13, 1997, Toronto, Ontario,
Canada},
pages = {7},
publisher = {{IBM}},
year = {1997},
url = {https://dl.acm.org/citation.cfm?id=782017},
timestamp = {Fri, 30 Nov 2018 02:24:54 +0100},
biburl = {https://dblp.org/rec/conf/cascon/GarlanMW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/MeltonG97,
author = {Ralph E. Melton and
David Garlan},
editor = {J. Howard Johnson},
title = {Architectural unification},
booktitle = {Proceedings of the 1997 conference of the Centre for Advanced Studies
on Collaborative Research, November 10-13, 1997, Toronto, Ontario,
Canada},
pages = {18},
publisher = {{IBM}},
year = {1997},
url = {https://dl.acm.org/citation.cfm?id=782028},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cascon/MeltonG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/1997,
editor = {David Garlan and
Daniel Le M{\'{e}}tayer},
title = {Coordination Languages and Models, Second International Conference,
{COORDINATION} '97, Berlin, Germany, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1282},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63383-9},
doi = {10.1007/3-540-63383-9},
isbn = {3-540-63383-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0084284,
author = {Mary Shaw and
David Garlan},
title = {Software architecture - perspectives on an emerging discipline},
publisher = {Prentice Hall},
year = {1996},
isbn = {978-0-13-182957-2},
timestamp = {Tue, 26 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0084284.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/GarlanM96,
author = {David Garlan and
Mark Morieoni},
title = {The Fourth Symposium on the Foundations of Software Engineering {(FSE4)}},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {21},
number = {5},
pages = {4},
year = {1996},
url = {https://doi.org/10.1145/235969.773580},
doi = {10.1145/235969.773580},
timestamp = {Wed, 02 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/GarlanM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/MonroeG96,
author = {Robert T. Monroe and
David Garlan},
editor = {Murali Sitaraman},
title = {Style-based reuse for software architectures},
booktitle = {Proceedings of Fourth {IEEE} International Conference on Software
Reuse, {ICSR} 1996, April 23-26, 1996, Orlando, Florida, {USA}},
pages = {84--93},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICSR.1996.496116},
doi = {10.1109/ICSR.1996.496116},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsr/MonroeG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/AllenG96,
author = {Robert Allen and
David Garlan},
title = {A Case Study in Architectural Modelling: The {AEGIS} System},
booktitle = {Proceedings of the 8th International Workshop on Software Specification
and Design, {IWSSD} 1996, USA, March 22-23, 1996},
pages = {6},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://dl.acm.org/doi/10.5555/857204.858260},
doi = {10.5555/857204.858260},
timestamp = {Wed, 18 May 2022 15:05:33 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/AllenG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Garlan96,
author = {David Garlan},
editor = {Alexander L. Wolf and
Anthony Finkelstein and
George Spanoudakis and
Laura Vidal},
title = {Style-based refinement for software architecture},
booktitle = {Joint Proceedings of the Second International Software Architecture
Workshop {(ISAW-2)} and International Workshop on Multiple Perspectives
in Software Development (Viewpoints '96) on {SIGSOFT} '96 workshops,
{ISAW} '96, San Francisco, California, {USA}},
pages = {72--75},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/243327.243607},
doi = {10.1145/243327.243607},
timestamp = {Fri, 11 Feb 2022 12:39:52 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Garlan96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/1996,
editor = {David Garlan},
title = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
October 16-18, 1996},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/239098},
doi = {10.1145/239098},
isbn = {978-0-89791-797-1},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Garlan95,
author = {David Garlan},
title = {Research Directions on Software Architecture},
journal = {{ACM} Comput. Surv.},
volume = {27},
number = {2},
pages = {257--261},
year = {1995},
url = {https://doi.org/10.1145/210376.210388},
doi = {10.1145/210376.210388},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Garlan95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Garlan95,
author = {David Garlan},
title = {Making formal methods education effective for professional software
engineers},
journal = {Inf. Softw. Technol.},
volume = {37},
number = {5-6},
pages = {261--268},
year = {1995},
url = {https://doi.org/10.1016/0950-5849(95)99361-P},
doi = {10.1016/0950-5849(95)99361-P},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/Garlan95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/GarlanTP95,
author = {David Garlan and
Walter F. Tichy and
Frances Paulisch},
title = {Summary of the Dagstuhl workshop on software architecture},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {20},
number = {3},
pages = {63--83},
year = {1995},
url = {https://doi.org/10.1145/219308.219320},
doi = {10.1145/219308.219320},
timestamp = {Thu, 03 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/GarlanTP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Garlan95,
author = {David Garlan},
title = {First international workshop on architectures for software systems
workshop summary},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {20},
number = {3},
pages = {84--89},
year = {1995},
url = {https://doi.org/10.1145/219308.219322},
doi = {10.1145/219308.219322},
timestamp = {Thu, 03 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Garlan95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/GarlanAO95,
author = {David Garlan and
Robert Allen and
John Ockerbloom},
title = {Architectural Mismatch: Why Reuse Is So Hard},
journal = {{IEEE} Softw.},
volume = {12},
number = {6},
pages = {17--26},
year = {1995},
url = {https://doi.org/10.1109/52.469757},
doi = {10.1109/52.469757},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/GarlanAO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/AbowdAG95,
author = {Gregory D. Abowd and
Robert Allen and
David Garlan},
title = {Formalizing Style to Understand Descriptions of Software Architecture},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {4},
number = {4},
pages = {319--364},
year = {1995},
url = {https://doi.org/10.1145/226241.226244},
doi = {10.1145/226241.226244},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/AbowdAG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GarlanP95,
author = {David Garlan and
Dewayne E. Perry},
title = {Introduction to the Special Issue on Software Architecture},
journal = {{IEEE} Trans. Software Eng.},
volume = {21},
number = {4},
pages = {269--274},
year = {1995},
url = {http://doi.ieeecomputersociety.org/10.1109/TSE.1995.10003},
doi = {10.1109/TSE.1995.10003},
timestamp = {Thu, 10 Dec 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/GarlanP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/GarlanBJTW95,
author = {David Garlan and
Alan W. Brown and
Daniel Jackson and
James E. Tomayko and
Jeannette M. Wing},
editor = {Rosalind L. Ibrahim},
title = {The {CMU} Master of Software Engineering Core Curriculum},
booktitle = {Software Engineering Education, 8th {SEI} {CSEE} Conference, New Orleans,
LA, USA, March 29 - April 1, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {895},
pages = {65--86},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-58951-1\_93},
doi = {10.1007/3-540-58951-1\_93},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/csee/GarlanBJTW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GarlanAO95,
author = {David Garlan and
Robert Allen and
John Ockerbloom},
editor = {Dewayne E. Perry and
Ross Jeffery and
David Notkin},
title = {Architectural Mismatch or Why It's Hard to Build Systems Out Of Existing
Parts},
booktitle = {17th International Conference on Software Engineering, Seattle, Washington,
USA, April 23-30, 1995, Proceedings},
pages = {179--185},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/225014.225031},
doi = {10.1145/225014.225031},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GarlanAO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Garlan95,
author = {David Garlan},
editor = {Gail E. Kaiser},
title = {Software Architecture: Next Steps Towards an Engineering Discipline
for Software Systems Design (Panel)},
booktitle = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
10-13, 1995},
pages = {5},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/222124.222134},
doi = {10.1145/222124.222134},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/Garlan95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/cstoday95/ShawG95,
author = {Mary Shaw and
David Garlan},
editor = {Jan van Leeuwen},
title = {Formulations and Formalisms in Software Architecture},
booktitle = {Computer Science Today: Recent Trends and Developments},
series = {Lecture Notes in Computer Science},
volume = {1000},
pages = {307--323},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015251},
doi = {10.1007/BFB0015251},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/cstoday95/ShawG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GarlanKL94,
author = {David Garlan and
Charles W. Krueger and
Barbara Staudt Lerner},
title = {TransformGen: Automating the Maintenance of Structure-Oriented Environments},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {727--774},
year = {1994},
url = {https://doi.org/10.1145/177492.177697},
doi = {10.1145/177492.177697},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/GarlanKL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AllenG94,
author = {Robert Allen and
David Garlan},
editor = {Bruno Fadini and
Leon J. Osterweil and
Axel van Lamsweerde},
title = {Formalizing Architectural Connection},
booktitle = {Proceedings of the 16th International Conference on Software Engineering,
Sorrento, Italy, May 16-21, 1994},
pages = {71--80},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1994},
url = {https://dl.acm.org/citation.cfm?id=257745},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/AllenG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GarlanHR94,
author = {David Garlan and
J. Frits Habermann and
David Notkin},
editor = {Bruno Fadini and
Leon J. Osterweil and
Axel van Lamsweerde},
title = {Nico Habermann's Research: {A} Brief Retrospective},
booktitle = {Proceedings of the 16th International Conference on Software Engineering,
Sorrento, Italy, May 16-21, 1994},
pages = {149--153},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1994},
url = {http://portal.acm.org/citation.cfm?id=257734.257755},
timestamp = {Mon, 14 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GarlanHR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GarlanA94,
author = {David Garlan and
Dewayne E. Perry},
editor = {Bruno Fadini and
Leon J. Osterweil and
Axel van Lamsweerde},
title = {Software Architecture: Practice, Potential, and Pitfalls},
booktitle = {Proceedings of the 16th International Conference on Software Engineering,
Sorrento, Italy, May 16-21, 1994},
pages = {363--364},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1994},
url = {http://portal.acm.org/citation.cfm?id=257734.257806},
timestamp = {Mon, 14 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GarlanA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idl/AllenG94,
author = {Robert Allen and
David Garlan},
editor = {Jeannette M. Wing and
Richard L. Wexelblat},
title = {Beyond Definition/Use: Architectural Interconnection},
booktitle = {Proceedings of the Workshop on Interface Definition Languages, January
20, 1994, Portland, Oregon, USA, in conjunction with {POPL} 1994},
pages = {35--45},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/185084.185101},
doi = {10.1145/185084.185101},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/idl/AllenG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/ShekaranGJMPR94,
author = {M. Chandra Shekaran and
David Garlan and
Michael Jackson and
Nancy R. Mead and
Colin Potts and
Howard B. Reubenstein},
title = {The role of software architecture in requirements engineering},
booktitle = {Proceedings of the First {IEEE} International Conference on Requirements
Engineering, {ICRE} '94, Colorado Springs, Colorado, USA, April 18-21,
1994},
pages = {239--245},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICRE.1994.292379},
doi = {10.1109/ICRE.1994.292379},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/ShekaranGJMPR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Garlan94,
author = {David Garlan},
editor = {David Till},
title = {Using Refinement to Understand Architectural Connection},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {3--13},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_1},
doi = {10.1007/978-1-4471-3240-0\_1},
timestamp = {Tue, 20 Aug 2019 12:41:38 +0200},
biburl = {https://dblp.org/rec/conf/refine/Garlan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GarlanAO94,
author = {David Garlan and
Robert Allen and
John Ockerbloom},
editor = {David S. Wile},
title = {Exploiting Style in Architectural Design Environments},
booktitle = {Proceedings of the Second {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, {SIGSOFT} 1994, New Orleans, Louisiana, USA,
December 6-9, 1994},
pages = {175--188},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/193173.195404},
doi = {10.1145/193173.195404},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/GarlanAO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Garlan94,
author = {David Garlan},
editor = {Jonathan P. Bowen and
J. Anthony Hall},
title = {Integrating Formal Methods into a Professional Master of Software
Engineering Program},
booktitle = {Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings},
series = {Workshops in Computing},
pages = {71--85},
publisher = {Springer/BCS},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3452-7\_5},
doi = {10.1007/978-1-4471-3452-7\_5},
timestamp = {Mon, 24 Jun 2019 12:03:37 +0200},
biburl = {https://dblp.org/rec/conf/zum/Garlan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Garlan93,
author = {David Garlan},
editor = {David Alex Lamb},
title = {Formal Approaches to Software Architecture},
booktitle = {Studies of Software Design, ICSE'93 Workshop, Baltimore, Maryland,
USA, May 17-18, 1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1078},
pages = {64--76},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0030520},
doi = {10.1007/BFB0030520},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icse/Garlan93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GarlanS93,
author = {David Garlan and
Curtis M. Scott},
editor = {Victor R. Basili and
Richard A. DeMillo and
Takuya Katayama},
title = {Adding Implicit Invocation to Rraditional Programming Languages},
booktitle = {Proceedings of the 15th International Conference on Software Engineering,
Baltimore, Maryland, USA, May 17-21, 1993},
pages = {447--455},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1993},
url = {http://portal.acm.org/citation.cfm?id=257572.257673},
timestamp = {Fri, 05 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GarlanS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isotas/NotkinGGS93,
author = {David Notkin and
David Garlan and
William G. Griswold and
Kevin J. Sullivan},
editor = {Shojiro Nishio and
Akinori Yonezawa},
title = {Adding Implicit Invocation to Languages: Three Approaches},
booktitle = {Object Technologies for Advanced Software, First {JSSST} International
Symposium, Kanazawa, Japan, November 4-6, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {742},
pages = {489--510},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57342-9\_91},
doi = {10.1007/3-540-57342-9\_91},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/isotas/NotkinGGS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/PartridgeGBK93,
author = {D. Partridge and
David Garlan and
David R. Barstow and
Jeff Kramer},
title = {Should we specify systems or domain?},
booktitle = {Proceedings of {IEEE} International Symposium on Requirements Engineering,
{RE} 1993, San Diego, California, USA, January 4-6, 1993},
pages = {77--80},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/ISRE.1993.324833},
doi = {10.1109/ISRE.1993.324833},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/PartridgeGBK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AbowdAG93,
author = {Gregory D. Abowd and
Robert Allen and
David Garlan},
editor = {David Notkin},
title = {Using Style to Understand Descriptions of Software Architecture},
booktitle = {Proceedings of the First {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, {SIGSOFT} 1993, Los Angeles, California,
USA, December 7-10, 1993},
pages = {9--20},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/256428.167055},
doi = {10.1145/256428.167055},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/AbowdAG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/93/GarlanS93,
author = {David Garlan and
Mary Shaw},
editor = {Vincenzo Ambriola and
Genoveffa Tortora},
title = {An Introduction to Software Architecture},
booktitle = {Advances in Software Engineering and Knowledge Engineering},
series = {Series on Software Engineering and Knowledge Engineering},
volume = {2},
pages = {1--39},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812798039\_0001},
doi = {10.1142/9789812798039\_0001},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ws/93/GarlanS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/GarlanKN92,
author = {David Garlan and
Gail E. Kaiser and
David Notkin},
title = {Using Tool Abstraction to Compose Systems},
journal = {Computer},
volume = {25},
number = {6},
pages = {30--38},
year = {1992},
url = {https://doi.org/10.1109/2.153255},
doi = {10.1109/2.153255},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/GarlanKN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigchi/GoldensonCGMMPC92,
author = {Dennis R. Goldenson and
Ravinder Chandhok and
David Garlan and
Glenn Meter and
Philip L. Miller and
John Pane and
Jacobo Carrasquel and
James A. Roberts and
Edward Skwarecki},
title = {{GENIE:} Developing and Assessing State-of-the-Art Integrated Programming
Environments},
journal = {{ACM} {SIGCHI} Bull.},
volume = {24},
number = {2},
pages = {39--40},
year = {1992},
url = {https://doi.org/10.1145/142386.1055544},
doi = {10.1145/142386.1055544},
timestamp = {Sun, 20 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigchi/GoldensonCGMMPC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/SwongerSOSG92,
author = {Roy F. Swonger and
Curtis M. Scott and
Chris Okasaki and
Mary Shaw and
David Garlan},
editor = {Carol A. Sledge},
title = {Experience with a Course on Architectures for Software Systems},
booktitle = {Software Engineering Education, {SEI} Conference, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {640},
pages = {23--43},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55963-9\_38},
doi = {10.1007/3-540-55963-9\_38},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csee/SwongerSOSG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/Garlan92,
author = {David Garlan},
editor = {Carol A. Sledge},
title = {Formal Methods for Software Engineers: Tradeoffs in Curriculum Design},
booktitle = {Software Engineering Education, {SEI} Conference, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {640},
pages = {131--142},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55963-9\_45},
doi = {10.1007/3-540-55963-9\_45},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csee/Garlan92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/AllenG92,
author = {Robert Allen and
David Garlan},
editor = {Jan van Leeuwen},
title = {A Formal Approach to Software Architectures},
booktitle = {Algorithms, Software, Architecture - Information Processing '92, Volume
1, Proceedings of the {IFIP} 12th World Computer Congress, Madrid,
Spain, 7-11 September 1992},
series = {{IFIP} Transactions},
volume = {{A-12}},
pages = {134--141},
publisher = {North-Holland},
year = {1992},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/AllenG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Garlan92,
author = {David Garlan},
editor = {Jan van Leeuwen},
title = {Development Environments for Software Architecture},
booktitle = {Algorithms, Software, Architecture - Information Processing '92, Volume
1, Proceedings of the {IFIP} 12th World Computer Congress, Madrid,
Spain, 7-11 September 1992},
series = {{IFIP} Transactions},
volume = {{A-12}},
pages = {217},
publisher = {North-Holland},
year = {1992},
timestamp = {Wed, 14 Aug 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Garlan92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sde/GarlanCN92,
author = {David Garlan and
Linxi Cai and
Robert L. Nord},
editor = {Ian Thomas},
title = {A transformational approach to generating application-specific environments},
booktitle = {5th {ACM} {SIGSOFT} Symposium on Software Development Environments,
{SDE} 1992, Washington, DC, USA, December 9-11, 1992},
pages = {68--77},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/142868.142917},
doi = {10.1145/142868.142917},
timestamp = {Mon, 14 Feb 2022 14:46:35 +0100},
biburl = {https://dblp.org/rec/conf/sde/GarlanCN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GarlanN91,
author = {David Garlan and
David Notkin},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Formalizing Design Spaces: Implicit Invocation Mechanisms},
booktitle = {{VDM} '91 - Formal Software Development, 4th International Symposium
of {VDM} Europe, Noordwijkerhout, The Netherlands, October 21-25,
1991, Proceedings, Volume 1: Conference Contributions},
series = {Lecture Notes in Computer Science},
volume = {551},
pages = {31--44},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_5},
doi = {10.1007/3-540-54834-3\_5},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/GarlanN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Garlan91,
author = {David Garlan},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Preconditions for understanding},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {242--245},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952823},
doi = {10.5555/952786.952823},
timestamp = {Fri, 13 May 2022 15:04:49 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Garlan91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/DeliseG90,
author = {Norman M. Delisle and
David Garlan},
title = {A Formal Specification of an Oscilloscope},
journal = {{IEEE} Softw.},
volume = {7},
number = {5},
pages = {29--36},
year = {1990},
url = {https://doi.org/10.1109/52.57890},
doi = {10.1109/52.57890},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/DeliseG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GarlanD90,
author = {David Garlan and
Norman M. Delisle},
editor = {Dines Bj{\o}rner and
C. A. R. Hoare and
Hans Langmaack},
title = {Formal Specifications as Reusable Frameworks},
booktitle = {{VDM} '90, {VDM} and {Z} - Formal Methods in Software Development,
Third International Symposium of {VDM} Europe, Kiel, FRG, April 17-21,
1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {428},
pages = {150--163},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52513-0\_9},
doi = {10.1007/3-540-52513-0\_9},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/GarlanD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsd/Garlan90,
author = {David Garlan},
editor = {Mark Moriconi},
title = {The role of formal reusable frameworks},
booktitle = {Conference proceedings on Formal methods in software development,
Napa, California, USA, May 9-11, 1990},
pages = {42--44},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/99569.99812},
doi = {10.1145/99569.99812},
timestamp = {Thu, 17 Feb 2022 09:26:24 +0100},
biburl = {https://dblp.org/rec/conf/fmsd/Garlan90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sde/GarlanI90,
author = {David Garlan and
Ehsan Ilias},
editor = {Richard N. Taylor},
title = {Low-cost, adaptable tool integration policies for integrated environments},
booktitle = {SIGSOFT'90 4th Symposium on Software Development Environments, Irvine,
CA, USA, December 3-5, 1990},
pages = {1--10},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/99277.99279},
doi = {10.1145/99277.99279},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sde/GarlanI90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/Garlan89a,
author = {David Garlan},
editor = {Dewayne E. Perry},
title = {Emerging issues (session summary)},
booktitle = {Proceedings of the Fifth International Software Process Workshop {(ISPW}
'89), October 1989, Kennebunkport, Maine, {USA}},
pages = {33--38},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://dl.acm.org/doi/10.5555/317498.317692},
doi = {10.5555/317498.317692},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispw/Garlan89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/Garlan89,
author = {David Garlan},
editor = {Dewayne E. Perry},
title = {The role of formalized domain-specific software frameworks},
booktitle = {Proceedings of the Fifth International Software Process Workshop {(ISPW}
'89), October 1989, Kennebunkport, Maine, {USA}},
pages = {64--66},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/ISPW.1989.690419},
doi = {10.1109/ISPW.1989.690419},
timestamp = {Tue, 10 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispw/Garlan89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/DelisleG89,
author = {Norman M. Delisle and
David Garlan},
editor = {Sol J. Greenspan},
title = {Formally specifying electronic instruments},
booktitle = {Proceedings of the 5th International Workshop on Software Specification
and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
pages = {242--248},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/75199.75236},
doi = {10.1145/75199.75236},
timestamp = {Fri, 18 Feb 2022 16:26:12 +0100},
biburl = {https://dblp.org/rec/conf/iwssd/DelisleG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Garlan87,
author = {David Garlan},
title = {Extending {IDL} to Support Concurrent Views},
journal = {{ACM} {SIGPLAN} Notices},
volume = {22},
number = {11},
pages = {95--110},
year = {1987},
url = {https://doi.org/10.1145/39305.39315},
doi = {10.1145/39305.39315},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Garlan87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/KaiserG87,
author = {Gail E. Kaiser and
David Garlan},
title = {Melding Software Systems from Reusable Building Blocks},
journal = {{IEEE} Softw.},
volume = {4},
number = {4},
pages = {17--24},
year = {1987},
url = {https://doi.org/10.1109/MS.1987.231059},
doi = {10.1109/MS.1987.231059},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/KaiserG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KaiserG87,
author = {Gail E. Kaiser and
David Garlan},
editor = {Norman K. Meyrowitz},
title = {MELDing Data Flow and Object-Oriented Programming},
booktitle = {Conference on Object-Oriented Programming Systems, Languages, and
Applications, {OOPSLA} 1987, Orlando, Florida, USA, October 4-8, 1987,
Proceedings},
pages = {254--267},
publisher = {{ACM}},
year = {1987},
url = {https://doi.org/10.1145/38765.38830},
doi = {10.1145/38765.38830},
timestamp = {Wed, 30 Mar 2022 13:53:57 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KaiserG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/GoldensonCGMT86,
author = {Dennis R. Goldenson and
Ravinder Chandhok and
David Garlan and
Philip L. Miller and
Mark C. Tucker},
editor = {Lawrence A. Jehn and
Larry A. Crum},
title = {Integrated programming environments based on structure editing (panel
session)},
booktitle = {Proceedings of the 14th {ACM} Annual Conference on Computer Science,
Cincinnati, Ohio, USA, 1986},
pages = {385},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/324634.325459},
doi = {10.1145/324634.325459},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acm/GoldensonCGMT86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Garlan86,
author = {David Garlan},
editor = {Reidar Conradi and
Tor Didriksen and
Dag H. Wanvik},
title = {Views for Tools in Integrated Environments},
booktitle = {Advanced Programming Environments, Proceedings of an International
Workshop, Trondheim, Norway, June 16-18, 1986},
series = {Lecture Notes in Computer Science},
volume = {244},
pages = {314--343},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-17189-4\_105},
doi = {10.1007/3-540-17189-4\_105},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Garlan86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sde/StaudtKG86,
author = {Barbara J. Staudt and
Charles W. Krueger and
David Garlan},
editor = {Peter B. Henderson},
title = {A structural approach to the maintenance of structure-oriented environments},
booktitle = {SESPSDE'86: {ACM} {SIGSOFT/SIGPLAN} Software Engineering Symposium
on Practical Software Development Environments, Palo Alto, CA, USA,
December 9-11, 1986},
pages = {160--170},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/24208.24227},
doi = {10.1145/24208.24227},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/sde/StaudtKG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sde/GarlanM84,
author = {David Garlan and
Philip L. Miller},
editor = {William E. Riddle and
Peter B. Henderson},
title = {{GNOME:} An Introductory Programming Environment Based on a Family
of STructured Editors},
booktitle = {Proceedings of the {ACM} {SIGSOFT/SIGPLAN} Software Engineering Symposium
on Practical Software Development Environments, Pittsburgh, Pennsylvania,
USA, April 23-25, 1984},
pages = {65--72},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800020.808250},
doi = {10.1145/800020.808250},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/sde/GarlanM84.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-02-15 21:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
