Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Simos Gerasimou
@inproceedings{DBLP:conf/aaai/BethellGC24,
author = {Daniel Bethell and
Simos Gerasimou and
Radu Calinescu},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Robust Uncertainty Quantification Using Conformalised Monte Carlo
Prediction},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {20939--20948},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i19.30084},
doi = {10.1609/AAAI.V38I19.30084},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BethellGC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-00169,
author = {Kangfeng Ye and
Fang Yan and
Simos Gerasimou},
title = {Quantitative Assurance and Synthesis of Controllers from Activity
Diagrams},
journal = {CoRR},
volume = {abs/2403.00169},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.00169},
doi = {10.48550/ARXIV.2403.00169},
eprinttype = {arXiv},
eprint = {2403.00169},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-00169.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-16768,
author = {Sondess Missaoui and
Simos Gerasimou and
Nikolaos Drivalos Matragkas},
title = {DeepKnowledge: Generalisation-Driven Deep Learning Testing},
journal = {CoRR},
volume = {abs/2403.16768},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.16768},
doi = {10.48550/ARXIV.2403.16768},
eprinttype = {arXiv},
eprint = {2403.16768},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-16768.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/StefanakosCG23,
author = {Ioannis Stefanakos and
Radu Calinescu and
Simos Gerasimou},
title = {Probabilistic program performance analysis with confidence intervals},
journal = {Inf. Softw. Technol.},
volume = {156},
pages = {107143},
year = {2023},
url = {https://doi.org/10.1016/j.infsof.2022.107143},
doi = {10.1016/J.INFSOF.2022.107143},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/StefanakosCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/WeynsCMTABBBCDEGGYGHLLMMMRPQSVZ23,
author = {Danny Weyns and
Radu Calinescu and
Raffaela Mirandola and
Kenji Tei and
Maribel Acosta and
Amel Bennaceur and
Nicolas Boltz and
Tom{\'{a}}s Bures and
Javier C{\'{a}}mara and
Ada Diaconescu and
Gregor Engels and
Simos Gerasimou and
Ilias Gerostathopoulos and
Sinem Getir Yaman and
Vincenzo Grassi and
Sebastian Hahner and
Emmanuel Letier and
Marin Litoiu and
Lina Marsso and
Angelika Musil and
Juergen Musil and
Gena{\'{\i}}na Nunes Rodrigues and
Diego Perez{-}Palacin and
Federico Quin and
Patrizia Scandurra and
Antonio Vallecillo and
Andrea Zisman},
title = {Towards a Research Agenda for Understanding and ManagingUncertainty
in Self-Adaptive Systems},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {48},
number = {4},
pages = {20--36},
year = {2023},
url = {https://doi.org/10.1145/3617946.3617951},
doi = {10.1145/3617946.3617951},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/WeynsCMTABBBCDEGGYGHLLMMMRPQSVZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HarbinGMZCS23,
author = {James Harbin and
Simos Gerasimou and
Nicholas Drivalos Matragkas and
Thanos Zolotas and
Radu Calinescu and
Misael Alpizar Santana},
title = {Model-driven design space exploration for multi-robot systems in simulation},
journal = {Softw. Syst. Model.},
volume = {22},
number = {5},
pages = {1665--1688},
year = {2023},
url = {https://doi.org/10.1007/s10270-022-01041-w},
doi = {10.1007/S10270-022-01041-W},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/HarbinGMZCS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FangCGA23,
author = {Xinwei Fang and
Radu Calinescu and
Simos Gerasimou and
Faisal Alhwikem},
title = {Fast Parametric Model Checking With Applications to Software Performability
Analysis},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {10},
pages = {4707--4730},
year = {2023},
url = {https://doi.org/10.1109/TSE.2023.3313645},
doi = {10.1109/TSE.2023.3313645},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FangCGA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/OllierAGM23,
author = {Guillaume Ollier and
Morayo Adedjouma and
Simos Gerasimou and
Chokri Mraidha},
title = {An Ontological Approach for the Dependability Analysis of Automated
Systems},
booktitle = {26th Euromicro Conference on Digital System Design, {DSD} 2023, Golem,
Albania, September 6-8, 2023},
pages = {593--601},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DSD60849.2023.00087},
doi = {10.1109/DSD60849.2023.00087},
timestamp = {Tue, 02 Apr 2024 21:06:08 +0200},
biburl = {https://dblp.org/rec/conf/dsd/OllierAGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipeac/OllierAALGM23,
author = {Guillaume Ollier and
Fabio Arnez and
Morayo Adedjouma and
Rapha{\"{e}}l Lallement and
Simos Gerasimou and
Chokri Mraidha},
title = {Towards an Ontological Methodology for Dynamic Dependability Management
of Unmanned Aerial Vehicles},
booktitle = {Proceedings of the DroneSE and {RAPIDO:} System Engineering for constrained
embedded systems, {RAPIDO} 2023, Toulouse, France, January 17-18,
2023},
pages = {12--19},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3579170.3579265},
doi = {10.1145/3579170.3579265},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hipeac/OllierAALGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MissaouiGM23,
author = {Sondess Missaoui and
Simos Gerasimou and
Nicholas Matragkas},
title = {Semantic Data Augmentation for Deep Learning Testing Using Generative
{AI}},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {1694--1698},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00194},
doi = {10.1109/ASE56229.2023.00194},
timestamp = {Thu, 16 Nov 2023 09:03:51 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MissaouiGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/JahanbinKG23,
author = {Sorour Jahanbin and
Dimitris S. Kolovos and
Simos Gerasimou},
title = {Towards Memory-Efficient Validation of Large {XMI} Models},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2023 Companion, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {241--250},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS-C59198.2023.00053},
doi = {10.1109/MODELS-C59198.2023.00053},
timestamp = {Fri, 05 Jan 2024 16:35:45 +0100},
biburl = {https://dblp.org/rec/conf/models/JahanbinKG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-08476,
author = {Xingyu Zhao and
Simos Gerasimou and
Radu Calinescu and
Calum Imrie and
Valentin Robu and
David Flynn},
title = {Bayesian Learning for the Robust Verification of Autonomous Robots},
journal = {CoRR},
volume = {abs/2303.08476},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.08476},
doi = {10.48550/ARXIV.2303.08476},
eprinttype = {arXiv},
eprint = {2303.08476},
timestamp = {Mon, 20 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-08476.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-09647,
author = {Daniel Bethell and
Simos Gerasimou and
Radu Calinescu},
title = {Robust Uncertainty Quantification using Conformalised Monte Carlo
Prediction},
journal = {CoRR},
volume = {abs/2308.09647},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.09647},
doi = {10.48550/ARXIV.2308.09647},
eprinttype = {arXiv},
eprint = {2308.09647},
timestamp = {Fri, 25 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-09647.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/ArnezORAGMT22,
author = {Fabio Arnez and
Guillaume Ollier and
Ansgar Radermacher and
Morayo Adedjouma and
Simos Gerasimou and
Chokri Mraidha and
Fran{\c{c}}ois Terrier},
title = {Skeptical Dynamic Dependability Management for Automated Systems},
booktitle = {25th Euromicro Conference on Digital System Design, {DSD} 2022, Maspalomas,
Spain, August 31 - Sept. 2, 2022},
pages = {118--125},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/DSD57027.2022.00025},
doi = {10.1109/DSD57027.2022.00025},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/ArnezORAGMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/OllierRAGM22,
author = {Guillaume Ollier and
Diana Razafindrabe and
Morayo Adedjouma and
Simos Gerasimou and
Chokri Mraidha},
title = {Using Operational Design Domain in Hazard Identification for Automated
Systems},
booktitle = {18th European Dependable Computing Conference, {EDCC} 2022, Zaragoza,
Spain, September 12-15, 2022},
pages = {109--112},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/EDCC57035.2022.00027},
doi = {10.1109/EDCC57035.2022.00027},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/OllierRAGM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/JahanbinKGS22,
author = {Sorour Jahanbin and
Dimitris S. Kolovos and
Simos Gerasimou and
Gerson Suny{\'{e}}},
editor = {Bernd Fischer and
Lola Burgue{\~{n}}o and
Walter Cazzola},
title = {Partial Loading of Repository-Based Models through Static Analysis},
booktitle = {Proceedings of the 15th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2022, Auckland, New Zealand,
December 6-7, 2022},
pages = {266--278},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3567512.3567535},
doi = {10.1145/3567512.3567535},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sle/JahanbinKGS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-12723,
author = {Xinwei Fang and
Radu Calinescu and
Simos Gerasimou and
Faisal Alhwikem},
title = {Fast Parametric Model Checking},
journal = {CoRR},
volume = {abs/2208.12723},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.12723},
doi = {10.48550/ARXIV.2208.12723},
eprinttype = {arXiv},
eprint = {2208.12723},
timestamp = {Tue, 30 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-12723.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/StefanakosCG21,
author = {Ioannis Stefanakos and
Radu Calinescu and
Simos Gerasimou},
editor = {Maria Teresa Baldassarre and
Giuseppe Scanniello and
Amund Skavhaug},
title = {Probabilistic Program Performance Analysis},
booktitle = {47th Euromicro Conference on Software Engineering and Advanced Applications,
{SEAA} 2021, Palermo, Italy, September 1-3, 2021},
pages = {148--157},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SEAA53835.2021.00027},
doi = {10.1109/SEAA53835.2021.00027},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/euromicro/StefanakosCG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FangCGA21,
author = {Xinwei Fang and
Radu Calinescu and
Simos Gerasimou and
Faisal Alhwikem},
title = {Fast Parametric Model Checking through Model Fragmentation},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {835--846},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00081},
doi = {10.1109/ICSE43902.2021.00081},
timestamp = {Mon, 07 Jun 2021 14:59:31 +0200},
biburl = {https://dblp.org/rec/conf/icse/FangCGA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GerasimouCCAAF21,
author = {Simos Gerasimou and
Javier C{\'{a}}mara and
Radu Calinescu and
Naif Alasmari and
Faisal Alhwikem and
Xinwei Fang},
title = {Evolutionary-Guided Synthesis of Verified Pareto-Optimal {MDP} Policies},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {842--853},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678727},
doi = {10.1109/ASE51524.2021.9678727},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/GerasimouCCAAF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/StefanakosGC21,
author = {Ioannis Stefanakos and
Simos Gerasimou and
Radu Calinescu},
title = {Software Performance Engineering with Performance Antipatterns and
Code-level Probabilistic Analysis},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems Companion, {MODELS} 2021 Companion, Fukuoka, Japan, October
10-15, 2021},
pages = {249--253},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MODELS-C53483.2021.00045},
doi = {10.1109/MODELS-C53483.2021.00045},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/StefanakosGC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HarbinGMZC21,
author = {James Harbin and
Simos Gerasimou and
Nicholas Matragkas and
Athanasios Zolotas and
Radu Calinescu},
title = {Model-Driven Simulation-Based Analysis for Multi-Robot Systems},
booktitle = {24th International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2021, Fukuoka, Japan, October 10-15, 2021},
pages = {331--341},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MODELS50736.2021.00040},
doi = {10.1109/MODELS50736.2021.00040},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/HarbinGMZC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2021w,
editor = {Ibrahim Habli and
Mark Sujan and
Simos Gerasimou and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Computer Safety, Reliability, and Security. {SAFECOMP} 2021 Workshops
- DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September
7, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12853},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-83906-2},
doi = {10.1007/978-3-030-83906-2},
isbn = {978-3-030-83905-5},
timestamp = {Thu, 26 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/2021w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-01490,
author = {Xinwei Fang and
Radu Calinescu and
Simos Gerasimou and
Faisal Alhwikem},
title = {Fast Parametric Model Checking through Model Fragmentation},
journal = {CoRR},
volume = {abs/2102.01490},
year = {2021},
url = {https://arxiv.org/abs/2102.01490},
eprinttype = {arXiv},
eprint = {2102.01490},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-01490.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/LangdonWPFLWBCB20,
author = {William B. Langdon and
Westley Weimer and
Justyna Petke and
Erik M. Fredericks and
Seongmin Lee and
Emily Winter and
Michail Basios and
Myra B. Cohen and
Aymeric Blot and
Markus Wagner and
Bobby R. Bruce and
Shin Yoo and
Simos Gerasimou and
Oliver Krauss and
Yu Huang and
Michael C. Gerten},
title = {Genetic Improvement @ {ICSE} 2020},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {45},
number = {4},
pages = {24--30},
year = {2020},
url = {https://doi.org/10.1145/3417564.3417575},
doi = {10.1145/3417564.3417575},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/LangdonWPFLWBCB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/WeiZRGKP20,
author = {Ran Wei and
Athanasios Zolotas and
Horacio Hoyos Rodriguez and
Simos Gerasimou and
Dimitrios S. Kolovos and
Richard F. Paige},
title = {Automatic generation of {UML} profile graphical editors for Papyrus},
journal = {Softw. Syst. Model.},
volume = {19},
number = {5},
pages = {1083--1106},
year = {2020},
url = {https://doi.org/10.1007/s10270-020-00813-6},
doi = {10.1007/S10270-020-00813-6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/WeiZRGKP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/DAngeloGGGNTP20,
author = {Mirko D'Angelo and
Sona Ghahremani and
Simos Gerasimou and
Johannes Grohmann and
Ingrid Nunes and
Sven Tomforde and
Evangelos Pournaras},
title = {Learning to Learn in Collective Adaptive Systems: Mining Design Patterns
for Data-driven Reasoning},
booktitle = {2020 {IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2020, Companion Volume, Washington, DC, USA, August
17-21, 2020},
pages = {121--126},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ACSOS-C51401.2020.00042},
doi = {10.1109/ACSOS-C51401.2020.00042},
timestamp = {Fri, 23 Oct 2020 15:40:34 +0200},
biburl = {https://dblp.org/rec/conf/acsos/DAngeloGGGNTP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/DziurzanskiGKM20,
author = {Piotr Dziurzanski and
Simos Gerasimou and
Dimitrios S. Kolovos and
Nicholas Matragkas},
title = {Empirical Analysis of 1-edit Degree Patches in Syntax-Based Automatic
Program Repair},
booktitle = {{IEEE} Congress on Evolutionary Computation, {CEC} 2020, Glasgow,
United Kingdom, July 19-24, 2020},
pages = {1--10},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CEC48606.2020.9185913},
doi = {10.1109/CEC48606.2020.9185913},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cec/DziurzanskiGKM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GerasimouE0C20a,
author = {Simos Gerasimou and
Hasan Ferit Eniser and
Alper Sen and
Alper {\c{C}}akan},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Importance-driven deep learning system testing},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020},
pages = {322--323},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377812.3390793},
doi = {10.1145/3377812.3390793},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GerasimouE0C20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GerasimouE0C20,
author = {Simos Gerasimou and
Hasan Ferit Eniser and
Alper Sen and
Alper {\c{C}}akan},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Importance-driven deep learning system testing},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {702--713},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380391},
doi = {10.1145/3377811.3380391},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GerasimouE0C20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhaoCGRF20,
author = {Xingyu Zhao and
Radu Calinescu and
Simos Gerasimou and
Valentin Robu and
David Flynn},
title = {Interval Change-Point Detection for Runtime Probabilistic Model Checking},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {163--174},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3416565},
doi = {10.1145/3324884.3416565},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ZhaoCGRF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/JahanbinKG20,
author = {Sorour Jahanbin and
Dimitris S. Kolovos and
Simos Gerasimou},
editor = {Esther Guerra and
Ludovico Iovino},
title = {Intelligent run-time partitioning of low-code system models},
booktitle = {{MODELS} '20: {ACM/IEEE} 23rd International Conference on Model Driven
Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,
2020, Companion Proceedings},
pages = {64:1--64:5},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3417990.3420198},
doi = {10.1145/3417990.3420198},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/JahanbinKG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/WoodMKPG20,
author = {Sophie Wood and
Nicholas Matragkas and
Dimitris S. Kolovos and
Richard F. Paige and
Simos Gerasimou},
editor = {Eugene Syriani and
Houari A. Sahraoui and
Juan de Lara and
Silvia Abrah{\~{a}}o},
title = {Supporting robotic software migration using static analysis and model-driven
engineering},
booktitle = {MoDELS '20: {ACM/IEEE} 23rd International Conference on Model Driven
Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,
2020},
pages = {154--164},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3365438.3410965},
doi = {10.1145/3365438.3410965},
timestamp = {Thu, 24 Sep 2020 13:32:12 +0200},
biburl = {https://dblp.org/rec/conf/models/WoodMKPG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-03433,
author = {Simos Gerasimou and
Hasan Ferit Eniser and
Alper Sen and
Alper {\c{C}}akan},
title = {Importance-Driven Deep Learning System Testing},
journal = {CoRR},
volume = {abs/2002.03433},
year = {2020},
url = {https://arxiv.org/abs/2002.03433},
eprinttype = {arXiv},
eprint = {2002.03433},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-03433.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-15987,
author = {William B. Langdon and
Westley Weimer and
Justyna Petke and
Erik M. Fredericks and
Seongmin Lee and
Emily Winter and
Michail Basios and
Myra B. Cohen and
Aymeric Blot and
Markus Wagner and
Bobby R. Bruce and
Shin Yoo and
Simos Gerasimou and
Oliver Krauss and
Yu Huang and
Michael C. Gerten},
title = {Genetic Improvement @ {ICSE} 2020},
journal = {CoRR},
volume = {abs/2007.15987},
year = {2020},
url = {https://arxiv.org/abs/2007.15987},
eprinttype = {arXiv},
eprint = {2007.15987},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-15987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-02164,
author = {Sophie Wood and
Nicholas Matragkas and
Dimitris S. Kolovos and
Richard F. Paige and
Simos Gerasimou},
title = {Supporting Robotic Software Migration Using Static Analysis and Model-Driven
Engineering},
journal = {CoRR},
volume = {abs/2008.02164},
year = {2020},
url = {https://arxiv.org/abs/2008.02164},
eprinttype = {arXiv},
eprint = {2008.02164},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02164.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-03995,
author = {Mirko D'Angelo and
Sona Ghahremani and
Simos Gerasimou and
Johannes Grohmann and
Ingrid Nunes and
Sven Tomforde and
Evangelos Pournaras},
title = {Learning to Learn in Collective Adaptive Systems: Mining Design Patterns
for Data-driven Reasoning},
journal = {CoRR},
volume = {abs/2008.03995},
year = {2020},
url = {https://arxiv.org/abs/2008.03995},
eprinttype = {arXiv},
eprint = {2008.03995},
timestamp = {Fri, 14 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-03995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/EniserGS19,
author = {Hasan Ferit Eniser and
Simos Gerasimou and
Alper Sen},
editor = {Reiner H{\"{a}}hnle and
Wil M. P. van der Aalst},
title = {DeepFault: Fault Localization for Deep Neural Networks},
booktitle = {Fundamental Approaches to Software Engineering - 22nd International
Conference, {FASE} 2019, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11424},
pages = {171--191},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16722-6\_10},
doi = {10.1007/978-3-030-16722-6\_10},
timestamp = {Tue, 29 Dec 2020 18:33:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/EniserGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/CalinescuWGH19,
author = {Radu Calinescu and
Danny Weyns and
Simos Gerasimou and
Ibrahim Habli},
title = {Architecting Trustworthy Self-Adaptive Systems (Tutorial)},
booktitle = {{IEEE} International Conference on Software Architecture Companion,
{ICSA} Companion 2019, Hamburg, Germany, March 25-26, 2019},
pages = {3--4},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICSA-C.2019.00008},
doi = {10.1109/ICSA-C.2019.00008},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsa/CalinescuWGH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DAngeloGGGNPT19,
author = {Mirko D'Angelo and
Simos Gerasimou and
Sona Ghahremani and
Johannes Grohmann and
Ingrid Nunes and
Evangelos Pournaras and
Sven Tomforde},
editor = {Marin Litoiu and
Siobh{\'{a}}n Clarke and
Kenji Tei},
title = {On learning in collective self-adaptive systems: state of practice
and a 3D framework},
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 = {13--24},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1109/SEAMS.2019.00012},
doi = {10.1109/SEAMS.2019.00012},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/DAngeloGGGNPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GerasimouMC19,
author = {Simos Gerasimou and
Nicholas Matragkas and
Radu Calinescu},
title = {Towards systematic engineering of collaborative heterogeneous robotic
systems},
booktitle = {Proceedings of the 2nd International Workshop on Robotics Software
Engineering, RoSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019},
pages = {25--28},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/RoSE.2019.00012},
doi = {10.1109/ROSE.2019.00012},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GerasimouMC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-05974,
author = {Hasan Ferit Eniser and
Simos Gerasimou and
Alper Sen},
title = {DeepFault: Fault Localization for Deep Neural Networks},
journal = {CoRR},
volume = {abs/1902.05974},
year = {2019},
url = {http://arxiv.org/abs/1902.05974},
eprinttype = {arXiv},
eprint = {1902.05974},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-05974.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-01518,
author = {Simos Gerasimou and
Thomas Vogel and
Ada Diaconescu},
title = {Software Engineering for Intelligent and Autonomous Systems: Report
from the {GI} Dagstuhl Seminar 18343},
journal = {CoRR},
volume = {abs/1904.01518},
year = {2019},
url = {http://arxiv.org/abs/1904.01518},
eprinttype = {arXiv},
eprint = {1904.01518},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-01518.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/GerasimouCT18,
author = {Simos Gerasimou and
Radu Calinescu and
Giordano Tamburrelli},
title = {Synthesis of probabilistic models for quality-of-service software
engineering},
journal = {Autom. Softw. Eng.},
volume = {25},
number = {4},
pages = {785--831},
year = {2018},
url = {https://doi.org/10.1007/s10515-018-0235-8},
doi = {10.1007/S10515-018-0235-8},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/GerasimouCT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CalinescuCGKP18,
author = {Radu Calinescu and
Milan Ceska and
Simos Gerasimou and
Marta Kwiatkowska and
Nicola Paoletti},
title = {Efficient synthesis of robust models for stochastic systems},
journal = {J. Syst. Softw.},
volume = {143},
pages = {140--158},
year = {2018},
url = {https://doi.org/10.1016/j.jss.2018.05.013},
doi = {10.1016/J.JSS.2018.05.013},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/CalinescuCGKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CalinescuCGKP18a,
author = {Radu Calinescu and
Milan Ceska and
Simos Gerasimou and
Marta Kwiatkowska and
Nicola Paoletti},
title = {Erratum to "Efficient synthesis of robust models for stochastic
systems" [The Journal of Systems {\&} Software 143 {(2018)}
140-158]},
journal = {J. Syst. Softw.},
volume = {145},
pages = {195},
year = {2018},
url = {https://doi.org/10.1016/j.jss.2018.08.029},
doi = {10.1016/J.JSS.2018.08.029},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/CalinescuCGKP18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CalinescuWGIHK18,
author = {Radu Calinescu and
Danny Weyns and
Simos Gerasimou and
Muhammad Usman Iftikhar and
Ibrahim Habli and
Tim Kelly},
title = {Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance
Cases},
journal = {{IEEE} Trans. Software Eng.},
volume = {44},
number = {11},
pages = {1039--1069},
year = {2018},
url = {https://doi.org/10.1109/TSE.2017.2738640},
doi = {10.1109/TSE.2017.2738640},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/CalinescuWGIHK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/ZolotasWGRKP18,
author = {Athanasios Zolotas and
Ran Wei and
Simos Gerasimou and
Horacio Hoyos Rodriguez and
Dimitrios S. Kolovos and
Richard F. Paige},
editor = {Alfonso Pierantonio and
Salvador Trujillo},
title = {Towards Automatic Generation of {UML} Profile Graphical Editors for
Papyrus},
booktitle = {Modelling Foundations and Applications - 14th European Conference,
ECMFA@STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10890},
pages = {12--27},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92997-2\_2},
doi = {10.1007/978-3-319-92997-2\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/ZolotasWGRKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GerasimouKKPG18,
author = {Simos Gerasimou and
Maria Kechagia and
Dimitris S. Kolovos and
Richard F. Paige and
Georgios Gousios},
title = {On Software Modernisation due to Library Obsolescence},
booktitle = {2nd {IEEE/ACM} International Workshop on {API} Usage and Evolution,
WAPI@ICSE 2018, Gothenburg, Sweden, June 2, 2018},
pages = {6--9},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194793.3194798},
doi = {10.1145/3194793.3194798},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GerasimouKKPG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CalinescuWGIHK18,
author = {Radu Calinescu and
Danny Weyns and
Simos Gerasimou and
M. Usman Iftikhar and
Ibrahim Habli and
Tim Kelly},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {{ENTRUST:} engineering trustworthy self-adaptive software with dynamic
assurance cases},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {495},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3182540},
doi = {10.1145/3180155.3182540},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/CalinescuWGIHK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/WeiKRG18,
author = {Ran Wei and
Tim Kelly and
Jan Reich and
Simos Gerasimou},
editor = {Regina Hebig and
Thorsten Berger},
title = {On the Transition from Design Time to Runtime Model-Based Assurance
Cases},
booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
International Conference on Model Driven Engineering Languages and
Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2245},
pages = {56--61},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2245/mrt\_paper\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/WeiKRG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/GerasimouCSW17,
author = {Simos Gerasimou and
Radu Calinescu and
Stepan Shevtsov and
Danny Weyns},
title = {{UNDERSEA:} An Exemplar for Engineering Self-Adaptive Unmanned Underwater
Vehicles (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {1},
pages = {03:1--03:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.1.3},
doi = {10.4230/DARTS.3.1.3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/GerasimouCSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/CalinescuCGKP17,
author = {Radu Calinescu and
Milan Ceska and
Simos Gerasimou and
Marta Kwiatkowska and
Nicola Paoletti},
title = {Designing Robust Software Systems through Parametric Markov Chain
Synthesis},
booktitle = {2017 {IEEE} International Conference on Software Architecture, {ICSA}
2017, Gothenburg, Sweden, April 3-7, 2017},
pages = {131--140},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSA.2017.16},
doi = {10.1109/ICSA.2017.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsa/CalinescuCGKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GerasimouCSW17,
author = {Simos Gerasimou and
Radu Calinescu and
Stepan Shevtsov and
Danny Weyns},
title = {{UNDERSEA:} An Exemplar for Engineering Self-Adaptive Unmanned Underwater
Vehicles},
booktitle = {12th {IEEE/ACM} International Symposium on Software Engineering for
Adaptive and Self-Managing Systems, SEAMS@ICSE 2017, Buenos Aires,
Argentina, May 22-23, 2017},
pages = {83--89},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SEAMS.2017.19},
doi = {10.1109/SEAMS.2017.19},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GerasimouCSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/CalinescuCGKP17,
author = {Radu Calinescu and
Milan Ceska and
Simos Gerasimou and
Marta Kwiatkowska and
Nicola Paoletti},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {{RODES:} {A} Robust-Design Synthesis Tool for Probabilistic Systems},
booktitle = {Quantitative Evaluation of Systems - 14th International Conference,
{QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10503},
pages = {304--308},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66335-7\_20},
doi = {10.1007/978-3-319-66335-7\_20},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/CalinescuCGKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/GerasimouKPS17,
author = {Simos Gerasimou and
Dimitris S. Kolovos and
Richard F. Paige and
Michael Standish},
editor = {Martina Seidl and
Steffen Zschaler},
title = {Technical Obsolescence Management Strategies for Safety-Related Software
for Airborne Systems},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2017
Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10748},
pages = {385--393},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74730-9\_34},
doi = {10.1007/978-3-319-74730-9\_34},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/staf/GerasimouKPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/CalinescuACMGIP0KKMST17,
author = {Radu Calinescu and
Marco Autili and
Javier C{\'{a}}mara and
Antinisca Di Marco and
Simos Gerasimou and
Paola Inverardi and
Alexander Perucci and
Nils Jansen and
Joost{-}Pieter Katoen and
Marta Z. Kwiatkowska and
Ole J. Mengshoel and
Romina Spalazzese and
Massimo Tivoli},
editor = {Samuel Kounev and
Jeffrey O. Kephart and
Aleksandar Milenkoski and
Xiaoyun Zhu},
title = {Synthesis and Verification of Self-aware Computing Systems},
booktitle = {Self-Aware Computing Systems},
pages = {337--373},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-47474-8\_11},
doi = {10.1007/978-3-319-47474-8\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/CalinescuACMGIP0KKMST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CalinescuGHIKW17,
author = {Radu Calinescu and
Simos Gerasimou and
Ibrahim Habli and
M. Usman Iftikhar and
Tim Kelly and
Danny Weyns},
title = {Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance
Cases},
journal = {CoRR},
volume = {abs/1703.06350},
year = {2017},
url = {http://arxiv.org/abs/1703.06350},
eprinttype = {arXiv},
eprint = {1703.06350},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CalinescuGHIKW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Gerasimou16,
author = {Simos Gerasimou},
title = {Runtime quantitative verification of self-adaptive systems},
school = {University of York, {UK}},
year = {2016},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.707141},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Gerasimou16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/CalinescuGB15,
author = {Radu Calinescu and
Simos Gerasimou and
Alec Banks},
editor = {Alexander Egyed and
Ina Schaefer},
title = {Self-adaptive Software with Decentralised Control Loops},
booktitle = {Fundamental Approaches to Software Engineering - 18th International
Conference, {FASE} 2015, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2015, London, UK, April
11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9033},
pages = {235--251},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46675-9\_16},
doi = {10.1007/978-3-662-46675-9\_16},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/CalinescuGB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GerasimouTC15,
author = {Simos Gerasimou and
Giordano Tamburrelli and
Radu Calinescu},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {Search-Based Synthesis of Probabilistic Models for Quality-of-Service
Software Engineering {(T)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {319--330},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.22},
doi = {10.1109/ASE.2015.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GerasimouTC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GerasimouCB14,
author = {Simos Gerasimou and
Radu Calinescu and
Alec Banks},
editor = {Gregor Engels and
Nelly Bencomo},
title = {Efficient runtime quantitative verification using caching, lookahead,
and nearly-optimal reconfiguration},
booktitle = {9th International Symposium on Software Engineering for Adaptive and
Self-Managing Systems, {SEAMS} 2014, Proceedings, Hyderabad, India,
June 2-3, 2014},
pages = {115--124},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593929.2593932},
doi = {10.1145/2593929.2593932},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GerasimouCB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CalinescuGJP13,
author = {Radu Calinescu and
Simos Gerasimou and
Kenneth Johnson and
Colin Paterson},
editor = {Rog{\'{e}}rio de Lemos and
David Garlan and
Carlo Ghezzi and
Holger Giese},
title = {Using Runtime Quantitative Verification to Provide Assurance Evidence
for Self-Adaptive Software - Advances, Applications and Research Challenges},
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 = {223--248},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-74183-3\_8},
doi = {10.1007/978-3-319-74183-3\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/CalinescuGJP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CalinescuJRGSP13,
author = {Radu Calinescu and
Kenneth Johnson and
Yasmin Rafiq and
Simos Gerasimou and
Gabriel Costa Silva and
Stanimir N. Pehlivanov},
editor = {Simona Bernardi and
Marko Boskovic and
Jos{\'{e}} Merseguer},
title = {Continual Verification of Non-Functional Properties in Cloud-Based
Systems},
booktitle = {Proceedings of the 5th International Workshop Non-functional Properties
in Modeling: Analysis, Languages and Processes co-located with 16th
International Conference on Model Driven Engineering Languages and
Systems {(MODELS} 2013), Miami, USA, September 29, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1074},
pages = {1--5},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1074/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/CalinescuJRGSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/GerasimouSA12,
author = {Simos Gerasimou and
Constantinos Stylianou and
Andreas S. Andreou},
editor = {Leszek A. Maciaszek and
Alfredo Cuzzocrea and
Jos{\'{e}} Cordeiro},
title = {An Investigation of Optimal Project Scheduling and Team Staffing in
Software Development using Particle Swarm Optimization},
booktitle = {{ICEIS} 2012 - Proceedings of the 14th International Conference on
Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June
- 1 July, 2012},
pages = {168--171},
publisher = {SciTePress},
year = {2012},
timestamp = {Tue, 21 Aug 2012 14:19:32 +0200},
biburl = {https://dblp.org/rec/conf/iceis/GerasimouSA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/StylianouGA12,
author = {Constantinos Stylianou and
Simos Gerasimou and
Andreas S. Andreou},
title = {A Novel Prototype Tool for Intelligent Software Project Scheduling
and Staffing Enhanced with Personality Factors},
booktitle = {{IEEE} 24th International Conference on Tools with Artificial Intelligence,
{ICTAI} 2012, Athens, Greece, November 7-9, 2012},
pages = {277--284},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICTAI.2012.45},
doi = {10.1109/ICTAI.2012.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/StylianouGA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-10 23:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
