Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lars Grunske
@article{DBLP:journals/spe/MullerSKDG24,
author = {Sebastian M{\"{u}}ller and
Jan Arne Sparka and
Martin Kuban and
Claudia Draxl and
Lars Grunske},
title = {Grammar-based fuzzing of data integration parsers in computational
materials science},
journal = {Softw. Pract. Exp.},
volume = {54},
number = {2},
pages = {208--224},
year = {2024},
url = {https://doi.org/10.1002/spe.3266},
doi = {10.1002/SPE.3266},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spe/MullerSKDG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/EberleinSSGZ24,
author = {Martin Eberlein and
Marius Smytzek and
Dominic Steinh{\"{o}}fel and
Lars Grunske and
Andreas Zeller},
editor = {Rick Rabiser and
Manuel Wimmer and
Iris Groher and
Andreas Wortmann and
Bianca Wiesmayr},
title = {Semantic Debugging},
booktitle = {Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik,
Linz, Austria, February 26 - March 1, 2024},
series = {{LNI}},
volume = {{P-343}},
pages = {135--136},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2024},
url = {https://doi.org/10.18420/sw2024\_44},
doi = {10.18420/SW2024\_44},
timestamp = {Mon, 11 Mar 2024 16:51:10 +0100},
biburl = {https://dblp.org/rec/conf/se/EberleinSSGZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Carwehl0RG24,
author = {Marc Carwehl and
Thomas Vogel and
Gena{\'{\i}}na Nunes Rodrigues and
Lars Grunske},
editor = {Rick Rabiser and
Manuel Wimmer and
Iris Groher and
Andreas Wortmann and
Bianca Wiesmayr},
title = {Runtime Verification of Self-Adaptive Systems with Changing Requirements},
booktitle = {Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik,
Linz, Austria, February 26 - March 1, 2024},
series = {{LNI}},
volume = {{P-343}},
pages = {151--152},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2024},
url = {https://doi.org/10.18420/sw2024\_50},
doi = {10.18420/SW2024\_50},
timestamp = {Mon, 11 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/Carwehl0RG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-17187,
author = {Marc Carwehl and
Calum Imrie and
Thomas Vogel and
Gena{\'{\i}}na Nunes Rodrigues and
Radu Calinescu and
Lars Grunske},
title = {Formal Synthesis of Uncertainty Reduction Controllers},
journal = {CoRR},
volume = {abs/2401.17187},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.17187},
doi = {10.48550/ARXIV.2401.17187},
eprinttype = {arXiv},
eprint = {2401.17187},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-17187.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/KaleeswaranNVG23,
author = {Arut Prakash Kaleeswaran and
Arne Nordmann and
Thomas Vogel and
Lars Grunske},
title = {A user study for evaluation of formal verification results and their
explanation at Bosch},
journal = {Empir. Softw. Eng.},
volume = {28},
number = {5},
pages = {125},
year = {2023},
url = {https://doi.org/10.1007/s10664-023-10353-4},
doi = {10.1007/S10664-023-10353-4},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ese/KaleeswaranNVG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/VogelCRG23,
author = {Thomas Vogel and
Marc Carwehl and
Gena{\'{\i}}na Nunes Rodrigues and
Lars Grunske},
title = {A property specification pattern catalog for real-time system verification
with {UPPAAL}},
journal = {Inf. Softw. Technol.},
volume = {154},
pages = {107100},
year = {2023},
url = {https://doi.org/10.1016/j.infsof.2022.107100},
doi = {10.1016/J.INFSOF.2022.107100},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/VogelCRG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/SchultheissBBGTK23,
author = {Alexander Schulthei{\ss} and
Paul Maximilian Bittner and
Alexander Boll and
Lars Grunske and
Thomas Th{\"{u}}m and
Timo Kehrer},
title = {RaQuN: a generic and scalable n-way model matching algorithm},
journal = {Softw. Syst. Model.},
volume = {22},
number = {5},
pages = {1495--1517},
year = {2023},
url = {https://doi.org/10.1007/s10270-022-01062-5},
doi = {10.1007/S10270-022-01062-5},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/SchultheissBBGTK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/CaiZDGJY23,
author = {Hanbo Cai and
Pengcheng Zhang and
Hai Dong and
Lars Grunske and
Shunhui Ji and
Tianhao Yuan},
title = {Adversarial example-based test case generation for black-box speech
recognition systems},
journal = {Softw. Test. Verification Reliab.},
volume = {33},
number = {5},
year = {2023},
url = {https://doi.org/10.1002/stvr.1848},
doi = {10.1002/STVR.1848},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/CaiZDGJY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eScience/VuSMKLG23,
author = {Anh Duc Vu and
Jan Arne Sparka and
Ninon De Mecquenem and
Timo Kehrer and
Ulf Leser and
Lars Grunske},
title = {Design by Contract Revisited in the Context of Scientific Data Analysis
Workflows},
booktitle = {19th {IEEE} International Conference on e-Science, e-Science 2023,
Limassol, Cyprus, October 9-13, 2023},
pages = {1--2},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/e-Science58273.2023.10254869},
doi = {10.1109/E-SCIENCE58273.2023.10254869},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eScience/VuSMKLG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eScience/VuSMKLG23a,
author = {Anh Duc Vu and
Jan Arne Sparka and
Ninon De Mecquenem and
Timo Kehrer and
Ulf Leser and
Lars Grunske},
title = {Contract-Driven Design of Scientific Data Analysis Workflows},
booktitle = {19th {IEEE} International Conference on e-Science, e-Science 2023,
Limassol, Cyprus, October 9-13, 2023},
pages = {1--10},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/e-Science58273.2023.10254898},
doi = {10.1109/E-SCIENCE58273.2023.10254898},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eScience/VuSMKLG23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RaselimoGF23,
author = {Moeketsi Raselimo and
Lars Grunske and
Bernd Fischer},
title = {Static Test Case Prioritization Strategies for Grammar-Based Testing},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023 - Workshops, Luxembourg, September 11-15, 2023},
pages = {151--158},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASEW60602.2023.00025},
doi = {10.1109/ASEW60602.2023.00025},
timestamp = {Thu, 16 Nov 2023 09:03:51 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RaselimoGF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SiefkeSBG23,
author = {Lennart Siefke and
Volker Sommer and
Murat Can Baylan and
Lars Grunske},
editor = {J{\'{e}}r{\'{e}}mie Guiochet and
Stefano Tonetta and
Friedemann Bitsch},
title = {Probabilistic Spatial Relations for Monitoring Behavior of Road Users},
booktitle = {Computer Safety, Reliability, and Security - 42nd International Conference,
{SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14181},
pages = {151--164},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40923-3\_12},
doi = {10.1007/978-3-031-40923-3\_12},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/SiefkeSBG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KaleeswaranN0G23,
author = {Arut Prakash Kaleeswaran and
Arne Nordmann and
Thomas Vogel and
Lars Grunske},
editor = {Gregor Engels and
Regina Hebig and
Matthias Tichy},
title = {A systematic literature review on counterexample explanation - Summary},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik,
20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {71--72},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40087},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/KaleeswaranN0G23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/NguyenG23,
author = {Hoang Lam Nguyen and
Lars Grunske},
editor = {Gregor Engels and
Regina Hebig and
Matthias Tichy},
title = {BeDivFuzz: Integrating Behavioral Diversity into Generator-based Fuzzing
- Summary},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik,
20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {97--98},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40101},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/NguyenG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/OhrndorfPKGK23,
author = {Manuel Ohrndorf and
Christopher Pietsch and
Udo Kelter and
Lars Grunske and
Timo Kehrer},
editor = {Gregor Engels and
Regina Hebig and
Matthias Tichy},
title = {A Summary of ReVision: History-based Model Repair Recommendations},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik,
20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {99--100},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40103},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/OhrndorfPKGK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/0001TG23,
author = {Thomas Vogel and
Chinh Tran and
Lars Grunske},
editor = {Gregor Engels and
Regina Hebig and
Matthias Tichy},
title = {A comprehensive empirical evaluation of generating test suites for
mobile applications with diversity - Summary},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik,
20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {121--122},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40115},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/0001TG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/WartschinskiN0K23,
author = {Laura Wartschinski and
Yannic Noller and
Thomas Vogel and
Timo Kehrer and
Lars Grunske},
editor = {Gregor Engels and
Regina Hebig and
Matthias Tichy},
title = {Vudenc: Vulnerability Detection with Deep Learning on a Natural Codebase
for Python - Summary},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik,
20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {125--126},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40117},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/WartschinskiN0K23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KugeleG23,
author = {Stefan Kugele and
Lars Grunske},
editor = {Gregor Engels and
Regina Hebig and
Matthias Tichy},
title = {20th Workshop on Automotive Software Engineering (ASE'23)},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik,
20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {137--138},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40122},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/KugeleG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seams/CarwehlVRG23,
author = {Marc Carwehl and
Thomas Vogel and
Gena{\'{\i}}na Nunes Rodrigues and
Lars Grunske},
title = {Runtime Verification of Self-Adaptive Systems with Changing Requirements},
booktitle = {18th {IEEE/ACM} Symposium on Software Engineering for Adaptive and
Self-Managing Systems, {SEAMS} 2023, Melbourne, Australia, May 15-16,
2023},
pages = {104--114},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SEAMS59076.2023.00024},
doi = {10.1109/SEAMS59076.2023.00024},
timestamp = {Tue, 18 Jul 2023 16:25:40 +0200},
biburl = {https://dblp.org/rec/conf/seams/CarwehlVRG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/EberleinSSGZ23,
author = {Martin Eberlein and
Marius Smytzek and
Dominic Steinh{\"{o}}fel and
Lars Grunske and
Andreas Zeller},
editor = {Satish Chandra and
Kelly Blincoe and
Paolo Tonella},
title = {Semantic Debugging},
booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023},
pages = {438--449},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3611643.3616296},
doi = {10.1145/3611643.3616296},
timestamp = {Mon, 04 Dec 2023 11:02:39 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/EberleinSSGZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-16530,
author = {Marc Carwehl and
Thomas Vogel and
Gena{\'{\i}}na Nunes Rodrigues and
Lars Grunske},
title = {Runtime Verification of Self-Adaptive Systems with Changing Requirements},
journal = {CoRR},
volume = {abs/2303.16530},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.16530},
doi = {10.48550/ARXIV.2303.16530},
eprinttype = {arXiv},
eprint = {2303.16530},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-16530.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-08950,
author = {Arut Prakash Kaleeswaran and
Arne Nordmann and
Thomas Vogel and
Lars Grunske},
title = {A User Study for Evaluation of Formal Verification Results and their
Explanation at Bosch},
journal = {CoRR},
volume = {abs/2304.08950},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.08950},
doi = {10.48550/ARXIV.2304.08950},
eprinttype = {arXiv},
eprint = {2304.08950},
timestamp = {Mon, 24 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-08950.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-05147,
author = {Marius Smytzek and
Martin Eberlein and
Batuhan Serce and
Lars Grunske and
Andreas Zeller},
title = {Tests4Py: {A} Benchmark for System Testing},
journal = {CoRR},
volume = {abs/2307.05147},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.05147},
doi = {10.48550/ARXIV.2307.05147},
eprinttype = {arXiv},
eprint = {2307.05147},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05147.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/WartschinskiNVK22,
author = {Laura Wartschinski and
Yannic Noller and
Thomas Vogel and
Timo Kehrer and
Lars Grunske},
title = {{VUDENC:} Vulnerability Detection with Deep Learning on a Natural
Codebase for Python},
journal = {Inf. Softw. Technol.},
volume = {144},
pages = {106809},
year = {2022},
url = {https://doi.org/10.1016/j.infsof.2021.106809},
doi = {10.1016/J.INFSOF.2021.106809},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/WartschinskiNVK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/KaleeswaranNVG22,
author = {Arut Prakash Kaleeswaran and
Arne Nordmann and
Thomas Vogel and
Lars Grunske},
title = {A systematic literature review on counterexample explanation},
journal = {Inf. Softw. Technol.},
volume = {145},
pages = {106800},
year = {2022},
url = {https://doi.org/10.1016/j.infsof.2021.106800},
doi = {10.1016/J.INFSOF.2021.106800},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/KaleeswaranNVG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/WeynsGBCCDGJJMM22,
author = {Danny Weyns and
Ilias Gerostathopoulos and
Barbora Buhnova and
Nicol{\'{a}}s Cardozo and
Emilia Cioroaica and
Ivana Dusparic and
Lars Grunske and
Pooyan Jamshidi and
Christine Julien and
Judith Michael and
Gabriel A. Moreno and
Shiva Nejati and
Patrizio Pelliccione and
Federico Quin and
Gena{\'{\i}}na Nunes Rodrigues and
Bradley R. Schmerl and
Marco Vieira and
Thomas Vogel and
Rebekka Wohlrab},
title = {Guidelines for Artifacts to Support Industry-Relevant Research on
Self-Adaptation},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {47},
number = {4},
pages = {18--24},
year = {2022},
url = {https://doi.org/10.1145/3561846.3561852},
doi = {10.1145/3561846.3561852},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/WeynsGBCCDGJJMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SoremekunPHGZ22,
author = {Ezekiel O. Soremekun and
Esteban Pavese and
Nikolas Havrikov and
Lars Grunske and
Andreas Zeller},
title = {Inputs From Hell},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {4},
pages = {1138--1153},
year = {2022},
url = {https://doi.org/10.1109/TSE.2020.3013716},
doi = {10.1109/TSE.2020.3013716},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SoremekunPHGZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eScience/MullerGVKG22,
author = {Sebastian M{\"{u}}ller and
Valentin Gogoll and
Anh Duc Vu and
Timo Kehrer and
Lars Grunske},
title = {Automatically finding Metamorphic Relations in Computational Material
Science Parsers},
booktitle = {18th {IEEE} International Conference on e-Science, e-Science 2022,
Salt Lake City, UT, USA, October 11-14, 2022},
pages = {521--528},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/eScience55777.2022.00092},
doi = {10.1109/ESCIENCE55777.2022.00092},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eScience/MullerGVKG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NguyenG22,
author = {Hoang Lam Nguyen and
Lars Grunske},
title = {{BEDIVFUZZ:} Integrating Behavioral Diversity into Generator-based
Fuzzing},
booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
{ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
pages = {249--261},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3510003.3510182},
doi = {10.1145/3510003.3510182},
timestamp = {Mon, 18 Jul 2022 16:47:42 +0200},
biburl = {https://dblp.org/rec/conf/icse/NguyenG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HilbrichMKLMG22,
author = {Marcus Hilbrich and
Sebastian M{\"{u}}ller and
Svetlana Kulagina and
Christopher Lazik and
Ninon De Mecquenem and
Lars Grunske},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Consolidated View on Specification Languages for Data Analysis Workflows},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {201--215},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_12},
doi = {10.1007/978-3-031-19756-7\_12},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HilbrichMKLMG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbst/TrubenbachMG22,
author = {Daniel Tr{\"{u}}benbach and
Sebastian M{\"{u}}ller and
Lars Grunske},
title = {A Comparative Evaluation on the Quality of Manual and Automatic Test
Case Generation Techniques for Scientific Software - a Case Study
of a Python Project for Material Science Workflows},
booktitle = {15th {IEEE/ACM} International Workshop on Search-Based Software Testing,
SBST@ICSE 2022, Pittsburgh, PA, USA, May 9, 2022},
pages = {6--13},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1145/3526072.3527523},
doi = {10.1145/3526072.3527523},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbst/TrubenbachMG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/se/2022,
editor = {Lars Grunske and
Janet Siegmund and
Andreas Vogelsang},
title = {Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik,
21.-25. Februar 2022, Virtuell},
series = {{LNI}},
volume = {{P-320}},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2022},
url = {https://dl.gi.de/handle/20.500.12116/37960},
isbn = {978-3-88579-714-2},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-03061,
author = {Arut Prakash Kaleeswaran and
Arne Nordmann and
Thomas Vogel and
Lars Grunske},
title = {A systematic literature review on counterexample explanation},
journal = {CoRR},
volume = {abs/2201.03061},
year = {2022},
url = {https://arxiv.org/abs/2201.03061},
eprinttype = {arXiv},
eprint = {2201.03061},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-03061.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-08441,
author = {Laura Wartschinski and
Yannic Noller and
Thomas Vogel and
Timo Kehrer and
Lars Grunske},
title = {{VUDENC:} Vulnerability Detection with Deep Learning on a Natural
Codebase for Python},
journal = {CoRR},
volume = {abs/2201.08441},
year = {2022},
url = {https://arxiv.org/abs/2201.08441},
eprinttype = {arXiv},
eprint = {2201.08441},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-08441.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-13114,
author = {Hoang Lam Nguyen and
Lars Grunske},
title = {BeDivFuzz: Integrating Behavioral Diversity into Generator-based Fuzzing},
journal = {CoRR},
volume = {abs/2202.13114},
year = {2022},
url = {https://arxiv.org/abs/2202.13114},
eprinttype = {arXiv},
eprint = {2202.13114},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-13114.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-12492,
author = {Danny Weyns and
Ilias Gerostathopoulos and
Barbora Buhnova and
Nicol{\'{a}}s Cardozo and
Emilia Cioroaica and
Ivana Dusparic and
Lars Grunske and
Pooyan Jamshidi and
Christine Julien and
Judith Michael and
Gabriel A. Moreno and
Shiva Nejati and
Patrizio Pelliccione and
Federico Quin and
Gena{\'{\i}}na Nunes Rodrigues and
Bradley R. Schmerl and
Marco Vieira and
Thomas Vogel and
Rebekka Wohlrab},
title = {Guidelines for Artifacts to Support Industry-Relevant Research on
Self-Adaptation},
journal = {CoRR},
volume = {abs/2206.12492},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.12492},
doi = {10.48550/ARXIV.2206.12492},
eprinttype = {arXiv},
eprint = {2206.12492},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-12492.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-03817,
author = {Thomas Vogel and
Marc Carwehl and
Gena{\'{\i}}na Nunes Rodrigues and
Lars Grunske},
title = {A Property Specification Pattern Catalog for Real-Time System Verification
with {UPPAAL}},
journal = {CoRR},
volume = {abs/2211.03817},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.03817},
doi = {10.48550/ARXIV.2211.03817},
eprinttype = {arXiv},
eprint = {2211.03817},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-03817.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dbsk/LeserHDEGHKKKKK21,
author = {Ulf Leser and
Marcus Hilbrich and
Claudia Draxl and
Peter Eisert and
Lars Grunske and
Patrick Hostert and
Dagmar Kainm{\"{u}}ller and
Odej Kao and
Birte Kehr and
Timo Kehrer and
Christoph Koch and
Volker Markl and
Henning Meyerhenke and
Tilmann Rabl and
Alexander Reinefeld and
Knut Reinert and
Kerstin Ritter and
Bj{\"{o}}rn Scheuermann and
Florian Schintke and
Nicole Schweikardt and
Matthias Weidlich},
title = {The Collaborative Research Center {FONDA}},
journal = {Datenbank-Spektrum},
volume = {21},
number = {3},
pages = {255--260},
year = {2021},
url = {https://doi.org/10.1007/s13222-021-00397-5},
doi = {10.1007/S13222-021-00397-5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dbsk/LeserHDEGHKKKKK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/YamanPG21,
author = {Sinem Getir Yaman and
Esteban Pavese and
Lars Grunske},
title = {Quantitative Verification of Stochastic Regular Expressions},
journal = {Fundam. Informaticae},
volume = {179},
number = {2},
pages = {135--163},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2018},
doi = {10.3233/FI-2021-2018},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/YamanPG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/VogelTG21,
author = {Thomas Vogel and
Chinh Tran and
Lars Grunske},
title = {A comprehensive empirical evaluation of generating test suites for
mobile applications with diversity},
journal = {Inf. Softw. Technol.},
volume = {130},
pages = {106436},
year = {2021},
url = {https://doi.org/10.1016/j.infsof.2020.106436},
doi = {10.1016/J.INFSOF.2020.106436},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/VogelTG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/OhrndorfPKGK21,
author = {Manuel Ohrndorf and
Christopher Pietsch and
Udo Kelter and
Lars Grunske and
Timo Kehrer},
title = {History-based Model Repair Recommendations},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {30},
number = {2},
pages = {15:1--15:46},
year = {2021},
url = {https://doi.org/10.1145/3419017},
doi = {10.1145/3419017},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/OhrndorfPKGK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/MilewskiHG21,
author = {Roman Milewski and
Simon Heiden and
Lars Grunske},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {Evaluating Fault Localization Techniques with Bug Signatures and Joined
Predicates},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {2--17},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/MilewskiHG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/KabierskiNGW21,
author = {Martin Kabierski and
Hoang Lam Nguyen and
Lars Grunske and
Matthias Weidlich},
editor = {Claudio Di Ciccio and
Chiara Di Francescomarino and
Pnina Soffer},
title = {Sampling What Matters: Relevance-guided Sampling of Event Logs},
booktitle = {3rd International Conference on Process Mining, {ICPM} 2021, Eindhoven,
The Netherlands, October 31 - Nov. 4, 2021},
pages = {64--71},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICPM53251.2021.9576875},
doi = {10.1109/ICPM53251.2021.9576875},
timestamp = {Fri, 26 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icpm/KabierskiNGW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SchultheissBGTK21,
author = {Alexander Schulthei{\ss} and
Paul Maximilian Bittner and
Lars Grunske and
Thomas Th{\"{u}}m and
Timo Kehrer},
title = {Scalable N-Way Model Matching Using Multi-Dimensional Search Trees},
booktitle = {24th International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2021, Fukuoka, Japan, October 10-15, 2021},
pages = {1--12},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MODELS50736.2021.00010},
doi = {10.1109/MODELS50736.2021.00010},
timestamp = {Wed, 23 Feb 2022 10:19:29 +0100},
biburl = {https://dblp.org/rec/conf/models/SchultheissBGTK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ShariffdeenNGR21,
author = {Ridwan Salihin Shariffdeen and
Yannic Noller and
Lars Grunske and
Abhik Roychoudhury},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Concolic program repair},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {390--405},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454051},
doi = {10.1145/3453483.3454051},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ShariffdeenNGR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/NguyenNKG21,
author = {Hoang Lam Nguyen and
Nebras Nassar and
Timo Kehrer and
Lars Grunske},
editor = {Anne Koziolek and
Ina Schaefer and
Christoph Seidl},
title = {MoFuzz: {A} Fuzzer Suite for Testing Model-Driven Software Engineering
Tools},
booktitle = {Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik,
22.-26. Februar 2021, Braunschweig/Virtuell},
series = {{LNI}},
volume = {{P-310}},
pages = {81--82},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2021},
url = {https://doi.org/10.18420/SE2021\_29},
doi = {10.18420/SE2021\_29},
timestamp = {Thu, 18 Feb 2021 17:09:52 +0100},
biburl = {https://dblp.org/rec/conf/se/NguyenNKG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/SoremekunPHGZ21,
author = {Ezekiel O. Soremekun and
Esteban Pavese and
Nikolas Havrikov and
Lars Grunske and
Andreas Zeller},
editor = {Anne Koziolek and
Ina Schaefer and
Christoph Seidl},
title = {Probabilistic Grammar-based Test Generation},
booktitle = {Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik,
22.-26. Februar 2021, Braunschweig/Virtuell},
series = {{LNI}},
volume = {{P-310}},
pages = {97--98},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2021},
url = {https://doi.org/10.18420/SE2021\_36},
doi = {10.18420/SE2021\_36},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/SoremekunPHGZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-08038,
author = {Dirk Beyer and
Lars Grunske and
Thomas Lemberger and
Minxing Tang},
title = {Towards a Benchmark Set for Program Repair Based on Partial Fixes},
journal = {CoRR},
volume = {abs/2107.08038},
year = {2021},
url = {https://arxiv.org/abs/2107.08038},
eprinttype = {arXiv},
eprint = {2107.08038},
timestamp = {Wed, 21 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-08038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-06376,
author = {Arut Prakash Kaleeswaran and
Arne Nordmann and
Thomas Vogel and
Lars Grunske},
title = {A User-Study Protocol for Evaluation of Formal Verification Results
and their Explanation},
journal = {CoRR},
volume = {abs/2108.06376},
year = {2021},
url = {https://arxiv.org/abs/2108.06376},
eprinttype = {arXiv},
eprint = {2108.06376},
timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-06376.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/ArthoPAABBBCCDE20,
author = {Cyrille Artho and
Quoc{-}Sang Phan and
Peter Aldous and
Alyas Almaawi and
Lucas Bang and
Lasse Berglund and
Tevfik Bultan and
Zhenbang Chen and
Hayes Converse and
Wei Dong and
William Eiers and
Milos Gligoric and
Simon Goldsmith and
Lars Grunske and
Joshua Hooker and
Ismet Burak Kadron and
Timo Kehrer and
Sarfraz Khurshid and
Xuan{-}Bach Dinh Le and
David Lo and
Eric Mercer and
Sasa Misailovic and
Egor Namakonov and
Hoang Lam Nguyen and
Yannic Noller and
Benjamin Ogles and
Rohan Padhye and
Pavel Par{\'{\i}}zek and
Corina S. Pasareanu and
Sheridan Jacob Powell and
Seemanta Saha and
Koushik Sen and
Elena Sherman and
Kyle Storey and
Minxing Tang and
Willem Visser and
Ji Wang and
Hengbiao Yu},
title = {The Java Pathfinder Workshop 2019},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {45},
number = {2},
pages = {20--22},
year = {2020},
url = {https://doi.org/10.1145/3385678.3385685},
doi = {10.1145/3385678.3385685},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/ArthoPAABBBCCDE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NollerPBSNG20,
author = {Yannic Noller and
Corina S. Pasareanu and
Marcel B{\"{o}}hme and
Youcheng Sun and
Hoang Lam Nguyen and
Lars Grunske},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {HyDiff: hybrid differential software analysis},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {1273--1285},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380363},
doi = {10.1145/3377811.3380363},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NollerPBSNG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/KaleeswaranNVG20,
author = {Arut Prakash Kaleeswaran and
Arne Nordmann and
Thomas Vogel and
Lars Grunske},
editor = {Marc Zeller and
Kai H{\"{o}}fig},
title = {Counterexample Interpretation for Contract-Based Design},
booktitle = {Model-Based Safety and Assessment - 7th International Symposium, {IMBSA}
2020, Lisbon, Portugal, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12297},
pages = {99--114},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58920-2\_7},
doi = {10.1007/978-3-030-58920-2\_7},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/imbsa/KaleeswaranNVG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NguyenNKG20,
author = {Hoang Lam Nguyen and
Nebras Nassar and
Timo Kehrer and
Lars Grunske},
title = {MoFuzz: {A} Fuzzer Suite for Testing Model-Driven Software Engineering
Tools},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {1103--1115},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3416668},
doi = {10.1145/3324884.3416668},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/NguyenNKG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/EberleinN0G20,
author = {Martin Eberlein and
Yannic Noller and
Thomas Vogel and
Lars Grunske},
editor = {Aldeida Aleti and
Annibale Panichella},
title = {Evolutionary Grammar-Based Fuzzing},
booktitle = {Search-Based Software Engineering - 12th International Symposium,
{SSBSE} 2020, Bari, Italy, October 7-8, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12420},
pages = {105--120},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59762-7\_8},
doi = {10.1007/978-3-030-59762-7\_8},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssbse/EberleinN0G20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/Muller0G20,
author = {Sebastian M{\"{u}}ller and
Thomas Vogel and
Lars Grunske},
editor = {Aldeida Aleti and
Annibale Panichella},
title = {Bet and Run for Test Case Generation},
booktitle = {Search-Based Software Engineering - 12th International Symposium,
{SSBSE} 2020, Bari, Italy, October 7-8, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12420},
pages = {204--219},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59762-7\_15},
doi = {10.1007/978-3-030-59762-7\_15},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssbse/Muller0G20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-01150,
author = {Martin Eberlein and
Yannic Noller and
Thomas Vogel and
Lars Grunske},
title = {Evolutionary Grammar-Based Fuzzing},
journal = {CoRR},
volume = {abs/2008.01150},
year = {2020},
url = {https://arxiv.org/abs/2008.01150},
eprinttype = {arXiv},
eprint = {2008.01150},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-01150.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-01172,
author = {Sebastian M{\"{u}}ller and
Thomas Vogel and
Lars Grunske},
title = {Bet and Run for Test Case Generation},
journal = {CoRR},
volume = {abs/2008.01172},
year = {2020},
url = {https://arxiv.org/abs/2008.01172},
eprinttype = {arXiv},
eprint = {2008.01172},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-01172.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-14237,
author = {Thomas Vogel and
Chinh Tran and
Lars Grunske},
title = {A Comprehensive Empirical Evaluation of Generating Test Suites for
Mobile Applications with Diversity},
journal = {CoRR},
volume = {abs/2012.14237},
year = {2020},
url = {https://arxiv.org/abs/2012.14237},
eprinttype = {arXiv},
eprint = {2012.14237},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-14237.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/NollerNTKG19,
author = {Yannic Noller and
Hoang Lam Nguyen and
Minxing Tang and
Timo Kehrer and
Lars Grunske},
title = {Complete Shadow Symbolic Execution with Java PathFinder},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {44},
number = {4},
pages = {15--16},
year = {2019},
url = {https://doi.org/10.1145/3364452.33644558},
doi = {10.1145/3364452.33644558},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/NollerNTKG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/HeidenGKKHFL19,
author = {Simon Heiden and
Lars Grunske and
Timo Kehrer and
Fabian Keller and
Andr{\'{e}} van Hoorn and
Antonio Filieri and
David Lo},
title = {An evaluation of pure spectrum-based fault localization techniques
for large-scale software systems},
journal = {Softw. Pract. Exp.},
volume = {49},
number = {8},
pages = {1197--1224},
year = {2019},
url = {https://doi.org/10.1002/spe.2703},
doi = {10.1002/SPE.2703},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/HeidenGKKHFL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/0001DSDG19,
author = {Thomas Vogel and
Stephan Druskat and
Markus Scheidgen and
Claudia Draxl and
Lars Grunske},
title = {Challenges for verifying and validating scientific software in computational
materials science},
booktitle = {Proceedings of the 14th International Workshop on Software Engineering
for Science, SE4Science@ICSE 2019, Montreal, QC, Canada, May 28, 2019},
pages = {25--32},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/SE4Science.2019.00010},
doi = {10.1109/SE4SCIENCE.2019.00010},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/0001DSDG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/0001TG19,
author = {Thomas Vogel and
Chinh Tran and
Lars Grunske},
editor = {Shiva Nejati and
Gregory Gay},
title = {Does Diversity Improve the Test Suite Generation for Mobile Applications?},
booktitle = {Search-Based Software Engineering - 11th International Symposium,
{SSBSE} 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11664},
pages = {58--74},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-27455-9\_5},
doi = {10.1007/978-3-030-27455-9\_5},
timestamp = {Thu, 09 Mar 2023 15:35:16 +0100},
biburl = {https://dblp.org/rec/conf/ssbse/0001TG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/KogelTCFVHTKLGUBGCKLBHK19,
author = {Stefan K{\"{o}}gel and
Matthias Tichy and
Abhishek Chakraborty and
Alexander Fay and
Birgit Vogel{-}Heuser and
Christopher Haubeck and
Gabriele Taentzer and
Timo Kehrer and
Jan Ladiges and
Lars Grunske and
Mattias Ulbrich and
Safa Bougouffa and
Sinem Getir and
Suhyun Cha and
Udo Kelter and
Winfried Lamersdorf and
Kiana Busch and
Robert Heinrich and
Sandro Koch},
editor = {Ralf H. Reussner and
Michael Goedicke and
Wilhelm Hasselbring and
Birgit Vogel{-}Heuser and
Jan Keim and
Lukas M{\"{a}}rtin},
title = {Learning from Evolution for Evolution},
booktitle = {Managed Software Evolution},
pages = {255--308},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-13499-0\_10},
doi = {10.1007/978-3-030-13499-0\_10},
timestamp = {Sat, 30 Sep 2023 09:32:41 +0200},
biburl = {https://dblp.org/rec/books/sp/19/KogelTCFVHTKLGUBGCKLBHK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-04771,
author = {Danny Weyns and
Nelly Bencomo and
Radu Calinescu and
Javier C{\'{a}}mara and
Carlo Ghezzi and
Vincenzo Grassi and
Lars Grunske and
Paola Inverardi and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Sam Malek and
Raffaela Mirandola and
Marco Mori and
Giordano Tamburrelli},
title = {Perpetual Assurances for Self-Adaptive Systems},
journal = {CoRR},
volume = {abs/1903.04771},
year = {2019},
url = {http://arxiv.org/abs/1903.04771},
eprinttype = {arXiv},
eprint = {1903.04771},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-04771.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-08142,
author = {Thomas Vogel and
Chinh Tran and
Lars Grunske},
title = {Does Diversity Improve the Test Suite Generation for Mobile Applications?},
journal = {CoRR},
volume = {abs/1906.08142},
year = {2019},
url = {http://arxiv.org/abs/1906.08142},
eprinttype = {arXiv},
eprint = {1906.08142},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-08142.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-09179,
author = {Thomas Vogel and
Stephan Druskat and
Markus Scheidgen and
Claudia Draxl and
Lars Grunske},
title = {Challenges for Verifying and Validating Scientific Software in Computational
Materials Science},
journal = {CoRR},
volume = {abs/1906.09179},
year = {2019},
url = {http://arxiv.org/abs/1906.09179},
eprinttype = {arXiv},
eprint = {1906.09179},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-09179.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/GrunskeW18,
author = {Lars Grunske and
Mike Whalen},
title = {Guest editorial: advanced topics in automated software engineering},
journal = {Autom. Softw. Eng.},
volume = {25},
number = {4},
pages = {743--744},
year = {2018},
url = {https://doi.org/10.1007/s10515-018-0245-6},
doi = {10.1007/S10515-018-0245-6},
timestamp = {Sun, 23 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/GrunskeW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/PitakratOHG18,
author = {Teerat Pitakrat and
Dusan Okanovic and
Andr{\'{e}} van Hoorn and
Lars Grunske},
title = {Hora: Architecture-aware online failure prediction},
journal = {J. Syst. Softw.},
volume = {137},
pages = {669--685},
year = {2018},
url = {https://doi.org/10.1016/j.jss.2017.02.041},
doi = {10.1016/J.JSS.2017.02.041},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/PitakratOHG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/GetirGHKNT18,
author = {Sinem Getir and
Lars Grunske and
Andr{\'{e}} van Hoorn and
Timo Kehrer and
Yannic Noller and
Matthias Tichy},
title = {Supporting semi-automatic co-evolution of architecture and fault tree
models},
journal = {J. Syst. Softw.},
volume = {142},
pages = {115--135},
year = {2018},
url = {https://doi.org/10.1016/j.jss.2018.04.001},
doi = {10.1016/J.JSS.2018.04.001},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/GetirGHKNT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/OliveiraAGS18,
author = {Carlos Oliveira and
Aldeida Aleti and
Lars Grunske and
Kate Smith{-}Miles},
title = {Mapping the Effectiveness of Automated Test Suite Generation Techniques},
journal = {{IEEE} Trans. Reliab.},
volume = {67},
number = {3},
pages = {771--785},
year = {2018},
url = {https://doi.org/10.1109/TR.2018.2832072},
doi = {10.1109/TR.2018.2832072},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/OliveiraAGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BauerSGGW18,
author = {Martin Bauer and
Arik Senderovich and
Avigdor Gal and
Lars Grunske and
Matthias Weidlich},
editor = {John Krogstie and
Hajo A. Reijers},
title = {How Much Event Data Is Enough? {A} Statistical Framework for Process
Discovery},
booktitle = {Advanced Information Systems Engineering - 30th International Conference,
CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10816},
pages = {239--256},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91563-0\_15},
doi = {10.1007/978-3-319-91563-0\_15},
timestamp = {Fri, 26 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/BauerSGGW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/GetirPG18,
author = {Sinem Getir and
Esteban Pavese and
Lars Grunske},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {Formal Semantics for Probabilistic Verification of Stochastic Regular
Expressions},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/GetirPG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MechtaevNNGR18,
author = {Sergey Mechtaev and
Manh{-}Dung Nguyen and
Yannic Noller and
Lars Grunske and
Abhik Roychoudhury},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Semantic program repair using a reference implementation},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {129--139},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180247},
doi = {10.1145/3180155.3180247},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MechtaevNNGR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/PitakratOHG18,
author = {Teerat Pitakrat and
Dusan Okanovic and
Andr{\'{e}} van Hoorn and
Lars Grunske},
editor = {Matthias Tichy and
Eric Bodden and
Marco Kuhrmann and
Stefan Wagner and
Jan{-}Philipp Stegh{\"{o}}fer},
title = {Architecture-Aware Online Failure Prediction for Distributed Software
Systems},
booktitle = {Software Engineering und Software Management 2018, Fachtagung des
GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz
2018, Ulm, Germany},
series = {{LNI}},
volume = {{P-279}},
pages = {121--122},
publisher = {Gesellschaft f{\"{u}}r Informatik},
year = {2018},
url = {https://dl.gi.de/handle/20.500.12116/16331},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/PitakratOHG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-07525,
author = {Esteban Pavese and
Ezekiel O. Soremekun and
Nikolas Havrikov and
Lars Grunske and
Andreas Zeller},
title = {Inputs from Hell: Generating Uncommon Inputs from Common Samples},
journal = {CoRR},
volume = {abs/1812.07525},
year = {2018},
url = {http://arxiv.org/abs/1812.07525},
eprinttype = {arXiv},
eprint = {1812.07525},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-07525.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/AletiMG17,
author = {Aldeida Aleti and
Irene Moser and
Lars Grunske},
title = {Analysing the fitness landscape of search-based software testing problems},
journal = {Autom. Softw. Eng.},
volume = {24},
number = {3},
pages = {603--621},
year = {2017},
url = {https://doi.org/10.1007/s10515-016-0197-7},
doi = {10.1007/S10515-016-0197-7},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/AletiMG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/KellerGHFHL17,
author = {Fabian Keller and
Lars Grunske and
Simon Heiden and
Antonio Filieri and
Andr{\'{e}} van Hoorn and
David Lo},
title = {A Critical Evaluation of Spectrum-Based Fault Localization Techniques
on a Large-Scale Software System},
booktitle = {2017 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2017, Prague, Czech Republic, July 25-29, 2017},
pages = {114--125},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/QRS.2017.22},
doi = {10.1109/QRS.2017.22},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/qrs/KellerGHFHL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/HerbstAAGKMS17,
author = {Nikolas Herbst and
Ayman A. Amin and
Artur Andrzejak and
Lars Grunske and
Samuel Kounev and
Ole J. Mengshoel and
Priya Krishnan Sundararajan},
editor = {Samuel Kounev and
Jeffrey O. Kephart and
Aleksandar Milenkoski and
Xiaoyun Zhu},
title = {Online Workload Forecasting},
booktitle = {Self-Aware Computing Systems},
pages = {529--553},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-47474-8\_18},
doi = {10.1007/978-3-319-47474-8\_18},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/17/HerbstAAGKMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/PaechAGP16,
author = {Barbara Paech and
Sven Apel and
Lars Grunske and
Christian Prehofer},
title = {Empirische Forschung zu Software-Evolution - Bestandsaufnahme und
Vision aus dem DFG-Schwerpunktprogramm Design for Future - Managed
Software Evolution},
journal = {Inform. Spektrum},
volume = {39},
number = {3},
pages = {186--193},
year = {2016},
url = {https://doi.org/10.1007/s00287-015-0910-0},
doi = {10.1007/S00287-015-0910-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/PaechAGP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LeLGG16,
author = {Tien{-}Duy B. Le and
David Lo and
Claire Le Goues and
Lars Grunske},
editor = {Andreas Zeller and
Abhik Roychoudhury},
title = {A learning-to-rank based fault localization approach using likely
invariants},
booktitle = {Proceedings of the 25th International Symposium on Software Testing
and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July
18-20, 2016},
pages = {177--188},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2931037.2931049},
doi = {10.1145/2931037.2931049},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/LeLGG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/PitakratOHG16,
author = {Teerat Pitakrat and
Dusan Okanovic and
Andr{\'{e}} van Hoorn and
Lars Grunske},
title = {An Architecture-Aware Approach to Hierarchical Online Failure Prediction},
booktitle = {12th International {ACM} {SIGSOFT} Conference on Quality of Software
Architectures, QoSA 2016, Venice, Italy, April 5-8, 2016},
pages = {60--69},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/QoSA.2016.16},
doi = {10.1109/QOSA.2016.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qosa/PitakratOHG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/AletiG15,
author = {Aldeida Aleti and
Lars Grunske},
title = {Test data generation with a Kalman filter-based adaptive genetic algorithm},
journal = {J. Syst. Softw.},
volume = {103},
pages = {343--352},
year = {2015},
url = {https://doi.org/10.1016/j.jss.2014.11.035},
doi = {10.1016/J.JSS.2014.11.035},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/AletiG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AutiliGLPT15,
author = {Marco Autili and
Lars Grunske and
Markus Lumpe and
Patrizio Pelliccione and
Antony Tang},
title = {Aligning Qualitative, Real-Time, and Probabilistic Property Specification
Patterns Using a Structured English Grammar},
journal = {{IEEE} Trans. Software Eng.},
volume = {41},
number = {7},
pages = {620--638},
year = {2015},
url = {https://doi.org/10.1109/TSE.2015.2398877},
doi = {10.1109/TSE.2015.2398877},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/AutiliGLPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/AvazpourGG15,
author = {Iman Avazpour and
John Grundy and
Lars Grunske},
title = {Specifying model transformations by direct manipulation using concrete
visual notations and interactive recommendations},
journal = {J. Vis. Lang. Comput.},
volume = {28},
pages = {195--211},
year = {2015},
url = {https://doi.org/10.1016/j.jvlc.2015.02.005},
doi = {10.1016/J.JVLC.2015.02.005},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/AvazpourGG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/GetirGBKST15,
author = {Sinem Getir and
Lars Grunske and
Christian Karl Bernasko and
Verena K{\"{a}}fer and
Tim Sanwald and
Matthias Tichy},
editor = {Dimitris S. Kolovos and
Manuel Wimmer},
title = {CoWolf - {A} Generic Framework for Multi-view Co-evolution and Evaluation
of Models},
booktitle = {Theory and Practice of Model Transformations - 8th International Conference,
ICMT@STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9152},
pages = {34--40},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21155-8\_3},
doi = {10.1007/978-3-319-21155-8\_3},
timestamp = {Wed, 24 Jun 2020 13:02:21 +0200},
biburl = {https://dblp.org/rec/conf/icmt/GetirGBKST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FilieriGL15,
author = {Antonio Filieri and
Lars Grunske and
Alberto Leva},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Lightweight Adaptive Filtering for Efficient Learning and Updating
of Probabilistic Models},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {200--211},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.41},
doi = {10.1109/ICSE.2015.41},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FilieriGL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2015,
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://ieeexplore.ieee.org/xpl/conhome/7371449/proceeding},
isbn = {978-1-5090-0025-8},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ec/AletiMMG14,
author = {Aldeida Aleti and
Irene Moser and
Indika Meedeniya and
Lars Grunske},
title = {Choosing the Appropriate Forecasting Model for Predictive Parameter
Control},
journal = {Evol. Comput.},
volume = {22},
number = {2},
pages = {319--349},
year = {2014},
url = {https://doi.org/10.1162/EVCO\_a\_00113},
doi = {10.1162/EVCO\_A\_00113},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ec/AletiMMG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MeedeniyaMAG14,
author = {Indika Meedeniya and
Irene Moser and
Aldeida Aleti and
Lars Grunske},
title = {Evaluating probabilistic models with uncertain model parameters},
journal = {Softw. Syst. Model.},
volume = {13},
number = {4},
pages = {1395--1415},
year = {2014},
url = {https://doi.org/10.1007/s10270-012-0277-5},
doi = {10.1007/S10270-012-0277-5},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/MeedeniyaMAG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/PitakratHG14,
author = {Teerat Pitakrat and
Andr{\'{e}} van Hoorn and
Lars Grunske},
title = {Increasing Dependability of Component-Based Software Systems by Online
Failure Prediction (Short Paper)},
booktitle = {2014 Tenth European Dependable Computing Conference, Newcastle, United
Kingdom, May 13-16, 2014},
pages = {66--69},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/EDCC.2014.28},
doi = {10.1109/EDCC.2014.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/PitakratHG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/HofigZG14,
author = {Kai H{\"{o}}fig and
Marc Zeller and
Lars Grunske},
editor = {Frank Ortmeier and
Antoine Rauzy},
title = {metaFMEA-A Framework for Reusable FMEAs},
booktitle = {Model-Based Safety and Assessment - 4th International Symposium, {IMBSA}
2014, Munich, Germany, October 27-29, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8822},
pages = {110--122},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12214-4\_9},
doi = {10.1007/978-3-319-12214-4\_9},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/imbsa/HofigZG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/GrunskeA14,
author = {Lars Grunske and
Ayman A. Amin},
editor = {Wilhelm Hasselbring and
Nils Christian Ehmke},
title = {Reactive vs. Proactive Detection of Quality of Service Problems},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
25. Februar - 28. Februar 2014, Kiel, Germany},
series = {{LNI}},
volume = {{P-227}},
pages = {37--38},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/31021},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/GrunskeA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/AletiBGKM14,
author = {Aldeida Aleti and
Barbora Buhnova and
Lars Grunske and
Anne Koziolek and
Indika Meedeniya},
editor = {Wilhelm Hasselbring and
Nils Christian Ehmke},
title = {Software Architecture Optimization Methods: {A} Systematic Literature
Review},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
25. Februar - 28. Februar 2014, Kiel, Germany},
series = {{LNI}},
volume = {{P-227}},
pages = {77--78},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/30968},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/AletiBGKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/rsse14/AvazpourPGG14,
author = {Iman Avazpour and
Teerat Pitakrat and
Lars Grunske and
John Grundy},
editor = {Martin P. Robillard and
Walid Maalej and
Robert J. Walker and
Thomas Zimmermann},
title = {Dimensions and Metrics for Evaluating Recommendation Systems},
booktitle = {Recommendation Systems in Software Engineering},
pages = {245--273},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-45135-5\_10},
doi = {10.1007/978-3-642-45135-5\_10},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/rsse14/AvazpourPGG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gi/2014,
editor = {Erhard Pl{\"{o}}dereder and
Lars Grunske and
Eric Schneider and
Dominik Ull},
title = {44. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Big Data
- Komplexit{\"{a}}t meistern, {INFORMATIK} 2014, Stuttgart, Germany,
September 22-26, 2014},
series = {{LNI}},
volume = {{P-232}},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/20501},
isbn = {978-3-88579-626-8},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/AminGC13,
author = {Ayman A. Amin and
Lars Grunske and
Alan Colman},
title = {An approach to software reliability prediction based on time series
modeling},
journal = {J. Syst. Softw.},
volume = {86},
number = {7},
pages = {1923--1932},
year = {2013},
url = {https://doi.org/10.1016/j.jss.2013.03.045},
doi = {10.1016/J.JSS.2013.03.045},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/AminGC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/GrunskeA13,
author = {Lars Grunske and
Aldeida Aleti},
title = {Quality optimisation of software architectures and design specifications},
journal = {J. Syst. Softw.},
volume = {86},
number = {10},
pages = {2465--2466},
year = {2013},
url = {https://doi.org/10.1016/j.jss.2013.06.001},
doi = {10.1016/J.JSS.2013.06.001},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/GrunskeA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AletiBGKM13,
author = {Aldeida Aleti and
Barbora Buhnova and
Lars Grunske and
Anne Koziolek and
Indika Meedeniya},
title = {Software Architecture Optimization Methods: {A} Systematic Literature
Review},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {5},
pages = {658--683},
year = {2013},
url = {https://doi.org/10.1109/TSE.2012.64},
doi = {10.1109/TSE.2012.64},
timestamp = {Thu, 25 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AletiBGKM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LemosGGGALSWBBB13,
author = {Rog{\'{e}}rio de Lemos and
David Garlan and
Carlo Ghezzi and
Holger Giese and
Jesper Andersson and
Marin Litoiu and
Bradley R. Schmerl and
Danny Weyns and
Luciano Baresi and
Nelly Bencomo and
Yuriy Brun and
Javier C{\'{a}}mara and
Radu Calinescu and
Myra B. Cohen and
Alessandra Gorla and
Vincenzo Grassi and
Lars Grunske and
Paola Inverardi and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Sam Malek and
Raffaela Mirandola and
Marco Mori and
Hausi A. M{\"{u}}ller and
Romain Rouvoy and
Cec{\'{\i}}lia M. F. Rubira and
{\'{E}}ric Rutten and
Mary Shaw and
Giordano Tamburrelli and
Gabriel Tamura and
Norha M. Villegas and
Thomas Vogel and
Franco Zambonelli},
editor = {Rog{\'{e}}rio de Lemos and
David Garlan and
Carlo Ghezzi and
Holger Giese},
title = {Software Engineering for Self-Adaptive Systems: Research Challenges
in the Provision of Assurances},
booktitle = {Software Engineering for Self-Adaptive Systems {III.} Assurances -
International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013,
Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {9640},
pages = {3--30},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-74183-3\_1},
doi = {10.1007/978-3-319-74183-3\_1},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LemosGGGALSWBBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/WeynsBCCGGGIJMM13,
author = {Danny Weyns and
Nelly Bencomo and
Radu Calinescu and
Javier C{\'{a}}mara and
Carlo Ghezzi and
Vincenzo Grassi and
Lars Grunske and
Paola Inverardi and
Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Sam Malek and
Raffaela Mirandola and
Marco Mori and
Giordano Tamburrelli},
editor = {Rog{\'{e}}rio de Lemos and
David Garlan and
Carlo Ghezzi and
Holger Giese},
title = {Perpetual Assurances for Self-Adaptive Systems},
booktitle = {Software Engineering for Self-Adaptive Systems {III.} Assurances -
International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013,
Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {9640},
pages = {31--63},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-74183-3\_2},
doi = {10.1007/978-3-319-74183-3\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/WeynsBCCGGGIJMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isarcs/PitakratHG13,
author = {Teerat Pitakrat and
Andr{\'{e}} van Hoorn and
Lars Grunske},
editor = {Philippe Kruchten and
Sam Malek},
title = {A comparison of machine learning algorithms for proactive hard disk
drive failure detection},
booktitle = {Proceedings of the 4th international {ACM} Sigsoft symposium on Architecting
critical systems, {ISARCS} 2013, Vancouver, BC, Canada, June 17-21,
2013},
pages = {1--10},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2465470.2465473},
doi = {10.1145/2465470.2465473},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isarcs/PitakratHG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AvazpourGG13,
author = {Iman Avazpour and
John Grundy and
Lars Grunske},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Tool support for automatic model transformation specification using
concrete visualisations},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {718--721},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693141},
doi = {10.1109/ASE.2013.6693141},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/kbse/AvazpourGG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GetirHGT13,
author = {Sinem Getir and
Andr{\'{e}} van Hoorn and
Lars Grunske and
Matthias Tichy},
editor = {Simona Bernardi and
Marko Boskovic and
Jos{\'{e}} Merseguer},
title = {Co-Evolution of Software Architecture and Fault Tree models: An Explorative
Case Study on a Pick and Place Factory Automation System},
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 = {32--40},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1074/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/GetirHGT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/TrubianiMCAG13,
author = {Catia Trubiani and
Indika Meedeniya and
Vittorio Cortellessa and
Aldeida Aleti and
Lars Grunske},
editor = {Philippe Kruchten and
Anne Koziolek and
Robert L. Nord},
title = {Model-based performance analysis of software architectures under uncertainty},
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 = {69--78},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2465478.2465487},
doi = {10.1145/2465478.2465487},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qosa/TrubianiMCAG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/MeedeniyaAG12,
author = {Indika Meedeniya and
Aldeida Aleti and
Lars Grunske},
title = {Architecture-driven reliability optimization with uncertain model
parameters},
journal = {J. Syst. Softw.},
volume = {85},
number = {10},
pages = {2340--2355},
year = {2012},
url = {https://doi.org/10.1016/j.jss.2012.04.056},
doi = {10.1016/J.JSS.2012.04.056},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/MeedeniyaAG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/AminCG12,
author = {Ayman A. Amin and
Alan Colman and
Lars Grunske},
editor = {Carole A. Goble and
Peter P. Chen and
Jia Zhang},
title = {An Approach to Forecasting QoS Attributes of Web Services Based on
{ARIMA} and {GARCH} Models},
booktitle = {2012 {IEEE} 19th International Conference on Web Services, Honolulu,
HI, USA, June 24-29, 2012},
pages = {74--81},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICWS.2012.37},
doi = {10.1109/ICWS.2012.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/AminCG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AminGC12,
author = {Ayman A. Amin and
Lars Grunske and
Alan Colman},
editor = {Michael Goedicke and
Tim Menzies and
Motoshi Saeki},
title = {An automated approach to forecasting QoS attributes based on linear
and non-linear time series modeling},
booktitle = {{IEEE/ACM} International Conference on Automated Software Engineering,
ASE'12, Essen, Germany, September 3-7, 2012},
pages = {130--139},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2351676.2351695},
doi = {10.1145/2351676.2351695},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/AminGC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/AminCG12,
author = {Ayman A. Amin and
Alan Colman and
Lars Grunske},
editor = {David R. Kaeli and
Jerry Rolia and
Lizy K. John and
Diwakar Krishnamurthy},
title = {Statistical detection of QoS violations based on {CUSUM} control charts},
booktitle = {Third Joint {WOSP/SIPEW} International Conference on Performance Engineering,
ICPE'12, Boston, MA, {USA} - April 22 - 25, 2012},
pages = {97--108},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2188286.2188302},
doi = {10.1145/2188286.2188302},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/AminCG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Grunske11,
author = {Lars Grunske},
title = {An effective sequential statistical test for probabilistic monitoring},
journal = {Inf. Softw. Technol.},
volume = {53},
number = {3},
pages = {190--199},
year = {2011},
url = {https://doi.org/10.1016/j.infsof.2010.10.003},
doi = {10.1016/J.INFSOF.2010.10.003},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/Grunske11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/MeedeniyaBAG11,
author = {Indika Meedeniya and
Barbora Buhnova and
Aldeida Aleti and
Lars Grunske},
title = {Reliability-driven deployment optimization for embedded systems},
journal = {J. Syst. Softw.},
volume = {84},
number = {5},
pages = {835--846},
year = {2011},
url = {https://doi.org/10.1016/j.jss.2011.01.004},
doi = {10.1016/J.JSS.2011.01.004},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/MeedeniyaBAG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/ZhangLWG11,
author = {Pengcheng Zhang and
Wenrui Li and
Dingsheng Wan and
Lars Grunske},
title = {Monitoring of Probabilistic Timed Property Sequence Charts},
journal = {Softw. Pract. Exp.},
volume = {41},
number = {7},
pages = {841--866},
year = {2011},
url = {https://doi.org/10.1002/spe.1038},
doi = {10.1002/SPE.1038},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/ZhangLWG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/GrunskeWYZL11,
author = {Lars Grunske and
Kirsten Winter and
Nisansala Yatapanage and
Saad Zafar and
Peter A. Lindsay},
title = {Experience with fault injection experiments for {FMEA}},
journal = {Softw. Pract. Exp.},
volume = {41},
number = {11},
pages = {1233--1258},
year = {2011},
url = {https://doi.org/10.1002/spe.1039},
doi = {10.1002/SPE.1039},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spe/GrunskeWYZL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CalinescuGKMT11,
author = {Radu Calinescu and
Lars Grunske and
Marta Z. Kwiatkowska and
Raffaela Mirandola and
Giordano Tamburrelli},
title = {Dynamic QoS Management and Optimization in Service-Based Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {37},
number = {3},
pages = {387--409},
year = {2011},
url = {https://doi.org/10.1109/TSE.2010.92},
doi = {10.1109/TSE.2010.92},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CalinescuGKMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ChengEGGLMPPQRSTV11,
author = {Betty H. C. Cheng and
Kerstin I. Eder and
Martin Gogolla and
Lars Grunske and
Marin Litoiu and
Hausi A. M{\"{u}}ller and
Patrizio Pelliccione and
Anna Perini and
Nauman A. Qureshi and
Bernhard Rumpe and
Daniel Schneider and
Frank Trollmann and
Norha M. Villegas},
editor = {Nelly Bencomo and
Robert B. France and
Betty H. C. Cheng and
Uwe A{\ss}mann},
title = {Using Models at Runtime to Address Assurance for Self-Adaptive Systems},
booktitle = {Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl
Seminar 11481, November 27 - December 2, 2011]},
series = {Lecture Notes in Computer Science},
volume = {8378},
pages = {101--136},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-319-08915-7\_4},
doi = {10.1007/978-3-319-08915-7\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ChengEGGLMPPQRSTV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/AminCG11,
author = {Ayman A. Amin and
Alan Colman and
Lars Grunske},
editor = {Taghi M. Khoshgoftaar},
title = {Using Automated Control Charts for the Runtime Evaluation of QoS Attributes},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {299--306},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.20},
doi = {10.1109/HASE.2011.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/AminCG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/MeedeniyaMAG11,
author = {Indika Meedeniya and
Irene Moser and
Aldeida Aleti and
Lars Grunske},
editor = {Ivica Crnkovic and
Judith A. Stafford and
Dorina C. Petriu and
Jens Happe and
Paola Inverardi},
title = {Architecture-based reliability evaluation under uncertainty},
booktitle = {7th International Conference on the Quality of Software Architectures,
QoSA 2011 and 2nd International Symposium on Architecting Critical
Systems, {ISARCS} 2011. Boulder, CO, USA, June 20-24, 2011, Proceedings},
pages = {85--94},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2000259.2000275},
doi = {10.1145/2000259.2000275},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qosa/MeedeniyaMAG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LumpeMG11,
author = {Markus Lumpe and
Indika Meedeniya and
Lars Grunske},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {PSPWizard: machine-assisted definition of temporal logical properties
with specification patterns},
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 = {468--471},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025193},
doi = {10.1145/2025113.2025193},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LumpeMG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/WolforthWPG10,
author = {Ian Philip Wolforth and
Martin Walker and
Yiannis Papadopoulos and
Lars Grunske},
title = {Capture and reuse of composable failure patterns},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {1},
number = {1/2/3},
pages = {128--147},
year = {2010},
url = {https://doi.org/10.1504/IJCCBS.2010.031710},
doi = {10.1504/IJCCBS.2010.031710},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/WolforthWPG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/ZhangLG10,
author = {Pengcheng Zhang and
Bixin Li and
Lars Grunske},
title = {Timed Property Sequence Chart},
journal = {J. Syst. Softw.},
volume = {83},
number = {3},
pages = {371--390},
year = {2010},
url = {https://doi.org/10.1016/j.jss.2009.09.013},
doi = {10.1016/J.JSS.2009.09.013},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/ZhangLG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/WolforthWGP10,
author = {Ian Philip Wolforth and
Martin Walker and
Lars Grunske and
Yiannis Papadopoulos},
title = {Generalizable safety annotations for specification of failure patterns},
journal = {Softw. Pract. Exp.},
volume = {40},
number = {5},
pages = {453--483},
year = {2010},
url = {https://doi.org/10.1002/spe.966},
doi = {10.1002/SPE.966},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/WolforthWGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GhezziGM10,
author = {Carlo Ghezzi and
Lars Grunske and
Raffaela Mirandola},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {First International Workshop on Quantitative Stochastic Models in
the Verification and Design of Software Systems {(QUOVADIS} 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 = {451--452},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1810295.1810424},
doi = {10.1145/1810295.1810424},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GhezziGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MeedeniyaG10,
author = {Indika Meedeniya and
Lars Grunske},
title = {An Efficient Method for Architecture-Based Reliability Evaluation
for Evolving Systems with Changing Parameters},
booktitle = {{IEEE} 21st International Symposium on Software Reliability Engineering,
{ISSRE} 2010, San Jose, CA, USA, 1-4 November 2010},
pages = {229--238},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ISSRE.2010.19},
doi = {10.1109/ISSRE.2010.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/MeedeniyaG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/MeedeniyaBAG10,
author = {Indika Meedeniya and
Barbora Buhnova and
Aldeida Aleti and
Lars Grunske},
editor = {George T. Heineman and
Jan Kofron and
Frantisek Pl{\'{a}}sil},
title = {Architecture-Driven Reliability and Energy Optimization for Complex
Embedded Systems},
booktitle = {Research into Practice - Reality and Gaps, 6th International Conference
on the Quality of Software Architectures, QoSA 2010, Prague, Czech
Republic, June 23 - 25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6093},
pages = {52--67},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13821-8\_6},
doi = {10.1007/978-3-642-13821-8\_6},
timestamp = {Mon, 26 Jun 2023 20:49:12 +0200},
biburl = {https://dblp.org/rec/conf/qosa/MeedeniyaBAG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cbse/2010,
editor = {Lars Grunske and
Ralf H. Reussner and
Frantisek Pl{\'{a}}sil},
title = {Component-Based Software Engineering, 13th International Symposium,
{CBSE} 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6092},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13238-4},
doi = {10.1007/978-3-642-13238-4},
isbn = {978-3-642-13237-7},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cbse/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2010quovadis,
editor = {Carlo Ghezzi and
Lars Grunske and
Raffaela Mirandola},
title = {Proceedings of the 2010 {ICSE} Workshop on Quantitative Stochastic
Models in the Verification and Design of Software Systems, {QUOVADIS}
'10, May 3, 2010, Cape Town, South Africa},
publisher = {{ACM}},
year = {2010},
url = {http://dl.acm.org/citation.cfm?id=1808880},
isbn = {978-1-60558-972-5},
timestamp = {Thu, 20 Feb 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/2010quovadis.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangGTL09,
author = {Pengcheng Zhang and
Lars Grunske and
Antony Tang and
Bixin Li},
title = {A Formal Syntax for Probabilistic Timed Property Sequence Charts},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {500--504},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.56},
doi = {10.1109/ASE.2009.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ZhangGTL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AletiGMM09,
author = {Aldeida Aleti and
Lars Grunske and
Indika Meedeniya and
Irene Moser},
title = {Let the Ants Deploy Your Software - An {ACO} Based Deployment Optimisation
Strategy},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {505--509},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.59},
doi = {10.1109/ASE.2009.59},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AletiGMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mompes/AletiBGM09,
author = {Aldeida Aleti and
Stefan Bj{\"{o}}rnander and
Lars Grunske and
Indika Meedeniya},
title = {ArcheOpterix: An extendable tool for architecture optimization of
{AADL} models},
booktitle = {{ICSE} 2009 Workshop on Model-Based Methodologies for Pervasive and
Embedded Software, {MOMPES} 2009, May 16, 2009, Vancouver, Canada},
pages = {61--71},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/MOMPES.2009.5069138},
doi = {10.1109/MOMPES.2009.5069138},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mompes/AletiBGM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AljazzarFGKLL09,
author = {Husain Aljazzar and
Manuel Fischer and
Lars Grunske and
Matthias Kuntz and
Florian Leitner{-}Fischer and
Stefan Leue},
title = {Safety Analysis of an Airbag System Using Probabilistic {FMEA} and
Probabilistic Counterexamples},
booktitle = {{QEST} 2009, Sixth International Conference on the Quantitative Evaluation
of Systems, Budapest, Hungary, 13-16 September 2009},
pages = {299--308},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/QEST.2009.8},
doi = {10.1109/QEST.2009.8},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/AljazzarFGKLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/BjornanderGL09,
author = {Stefan Bj{\"{o}}rnander and
Lars Grunske and
Kristina Lundqvist},
editor = {Raffaela Mirandola and
Ian Gorton and
Christine Hofmeister},
title = {Timed Simulation of Extended AADL-Based Architecture Specifications
with Timed Abstract State Machines},
booktitle = {Architectures for Adaptive Software Systems, 5th International Conference
on the Quality of Software Architectures, QoSA 2009, East Stroudsburg,
PA, USA, June 24-26, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5581},
pages = {101--115},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02351-4\_7},
doi = {10.1007/978-3-642-02351-4\_7},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/qosa/BjornanderGL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GrunskeZ09,
author = {Lars Grunske and
Pengcheng Zhang},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {Monitoring probabilistic properties},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2009, Amsterdam, The Netherlands, August
24-28, 2009},
pages = {183--192},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595724},
doi = {10.1145/1595696.1595724},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/GrunskeZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/GrunskeJ08,
author = {Lars Grunske and
David Joyce},
title = {Quantitative risk-based security prediction for component-based systems
with explicitly modeled attack profiles},
journal = {J. Syst. Softw.},
volume = {81},
number = {8},
pages = {1327--1345},
year = {2008},
url = {https://doi.org/10.1016/j.jss.2007.11.716},
doi = {10.1016/J.JSS.2007.11.716},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/GrunskeJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/ColvinGW08,
author = {Robert Colvin and
Lars Grunske and
Kirsten Winter},
title = {Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical
systems},
journal = {J. Syst. Softw.},
volume = {81},
number = {12},
pages = {2163--2182},
year = {2008},
url = {https://doi.org/10.1016/j.jss.2008.04.035},
doi = {10.1016/J.JSS.2008.04.035},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/ColvinGW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/GrunskeWY08,
author = {Lars Grunske and
Kirsten Winter and
Nisansala Yatapanage},
title = {Defining the abstract syntax of visual languages with advanced graph
grammars - {A} case study based on behavior trees},
journal = {J. Vis. Lang. Comput.},
volume = {19},
number = {3},
pages = {343--379},
year = {2008},
url = {https://doi.org/10.1016/j.jvlc.2007.11.003},
doi = {10.1016/J.JVLC.2007.11.003},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlc/GrunskeWY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/LumpeGS08,
author = {Markus Lumpe and
Lars Grunske and
Jean{-}Guy Schneider},
editor = {Michel R. V. Chaudron and
Clemens A. Szyperski and
Ralf H. Reussner},
title = {State Space Reduction Techniques for Component Interfaces},
booktitle = {Component-Based Software Engineering, 11th International Symposium,
{CBSE} 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5282},
pages = {130--145},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87891-9\_9},
doi = {10.1007/978-3-540-87891-9\_9},
timestamp = {Sat, 30 Sep 2023 09:35:59 +0200},
biburl = {https://dblp.org/rec/conf/cbse/LumpeGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/GrunskeH08,
author = {Lars Grunske and
Jun Han},
title = {A Comparative Study into Architecture-Based Safety Evaluation Methodologies
Using AADL's Error Annex and Failure Propagation Models},
booktitle = {11th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2008,
Nanjing, China, December 3 - 5, 2008},
pages = {283--292},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HASE.2008.32},
doi = {10.1109/HASE.2008.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/GrunskeH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Grunske08,
author = {Lars Grunske},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {Specification patterns for probabilistic quality properties},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008},
pages = {31--40},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368088.1368094},
doi = {10.1145/1368088.1368094},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Grunske08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/GrunskeM07,
author = {Lars Grunske and
Roger McCowan},
title = {Systems engineering, test and evaluation: maximising customer satisfaction},
journal = {Innov. Syst. Softw. Eng.},
volume = {3},
number = {2},
pages = {103--104},
year = {2007},
url = {https://doi.org/10.1007/s11334-007-0019-y},
doi = {10.1007/S11334-007-0019-Y},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/GrunskeM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/Grunske07,
author = {Lars Grunske},
title = {Early quality prediction of component-based systems - {A} generic
framework},
journal = {J. Syst. Softw.},
volume = {80},
number = {5},
pages = {678--686},
year = {2007},
url = {https://doi.org/10.1016/j.jss.2006.08.014},
doi = {10.1016/J.JSS.2006.08.014},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/Grunske07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/GrunskeWC07,
author = {Lars Grunske and
Kirsten Winter and
Robert Colvin},
title = {Timed Behavior Trees and Their Application to Verifying Real-Time
Systems},
booktitle = {18th Australian Software Engineering Conference {(ASWEC} 2007), April
10-13, 2007, Melbourne, Australia},
pages = {211--222},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ASWEC.2007.49},
doi = {10.1109/ASWEC.2007.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/GrunskeWC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CrnkovicG07,
author = {Ivica Crnkovic and
Lars Grunske},
title = {Evaluating Dependability Attributes of Component-Based Specifications},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007, Companion Volume},
pages = {157--158},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSECOMPANION.2007.36},
doi = {10.1109/ICSECOMPANION.2007.36},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CrnkovicG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ColvinGW07,
author = {Robert Colvin and
Lars Grunske and
Kirsten Winter},
editor = {Jim Davies and
Jeremy Gibbons},
title = {Probabilistic Timed Behavior Trees},
booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4591},
pages = {156--175},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5\_9},
doi = {10.1007/978-3-540-73210-5\_9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/ColvinGW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/GrunskeCW07,
author = {Lars Grunske and
Robert Colvin and
Kirsten Winter},
title = {Probabilistic Model-Checking Support for {FMEA}},
booktitle = {Fourth International Conference on the Quantitative Evaluaiton of
Systems {(QEST} 2007), 17-19 September 2007, Edinburgh, Scotland,
{UK}},
pages = {119--128},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/QEST.2007.18},
doi = {10.1109/QEST.2007.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/GrunskeCW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GrunskeLBPP06,
author = {Lars Grunske and
Peter A. Lindsay and
Egor Bondarev and
Yiannis Papadopoulos and
David Parker},
editor = {Rog{\'{e}}rio de Lemos and
Cristina Gacek and
Alexander B. Romanovsky},
title = {An Outline of an Architecture-Based Method for Optimizing Dependability
Attributes of Software-Intensive Systems},
booktitle = {Architecting Dependable Systems {IV} [the book is a result of {DSN}
2006 workshops, Philadelphia, PA, {USA]}},
series = {Lecture Notes in Computer Science},
volume = {4615},
pages = {188--209},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74035-3\_9},
doi = {10.1007/978-3-540-74035-3\_9},
timestamp = {Mon, 26 Feb 2024 07:46:57 +0100},
biburl = {https://dblp.org/rec/conf/icse/GrunskeLBPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Grunske06,
author = {Lars Grunske},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {Identifying "good" architectural design alternatives with
multi-objective optimization strategies},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {849--852},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134431},
doi = {10.1145/1134285.1134431},
timestamp = {Thu, 25 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Grunske06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/Grunske06,
author = {Lars Grunske},
editor = {Christine Hofmeister and
Ivica Crnkovic and
Ralf H. Reussner},
title = {Towards an Integration of Standard Component-Based Safety Evaluation
Techniques with SaveCCM},
booktitle = {Quality of Software Architectures, Second International Conference
on Quality of Software Architectures, QoSA 2006, V{\"{a}}ster{\aa}s,
Sweden, June 27-29, 2006 Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4214},
pages = {199--213},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11921998\_17},
doi = {10.1007/11921998\_17},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/qosa/Grunske06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/GrunskeKP05,
author = {Lars Grunske and
Bernhard Kaiser and
Yiannis Papadopoulos},
editor = {George T. Heineman and
Ivica Crnkovic and
Heinz W. Schmidt and
Judith A. Stafford and
Clemens A. Szyperski and
Kurt C. Wallnau},
title = {Model-Driven Safety Evaluation with State-Event-Based Component Failure
Annotations},
booktitle = {Component-Based Software Engineering, 8th International Symposium,
{CBSE} 2005, St. Louis, MO, USA, May 14-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3489},
pages = {33--48},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11424529\_3},
doi = {10.1007/11424529\_3},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbse/GrunskeKP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/GrunskeGL05,
author = {Lars Grunske and
Leif Geiger and
Michael Lawley},
editor = {Alan Hartman and
David Kreische},
title = {A Graphical Specification of Model Transformations with Triple Graph
Grammars},
booktitle = {Model Driven Architecture - Foundations and Applications, 1st European
Conference, {ECMDA-FA} 2005, Nuremberg, Germany, November 7-10, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3748},
pages = {284--298},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11581741\_21},
doi = {10.1007/11581741\_21},
timestamp = {Wed, 24 Jun 2020 12:15:03 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/GrunskeGL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccbss/GrunskeK05,
author = {Lars Grunske and
Bernhard Kaiser},
editor = {Xavier Franch and
Daniel Port},
title = {An Automated Dependability Analysis Method for COTS-Based Systems},
booktitle = {COTS-Based Software Systems, 4th International Conference, {ICCBSS}
2005, Bilbao, Spain, February 7-11, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3412},
pages = {178--190},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30587-3\_28},
doi = {10.1007/978-3-540-30587-3\_28},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccbss/GrunskeK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/GrunskeLYW05,
author = {Lars Grunske and
Peter A. Lindsay and
Nisansala Yatapanage and
Kirsten Winter},
editor = {Judi Romijn and
Graeme Smith and
Jaco van de Pol},
title = {An Automated Failure Mode and Effect Analysis Based on High-Level
Design Specification with Behavior Trees},
booktitle = {Integrated Formal Methods, 5th International Conference, {IFM} 2005,
Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3771},
pages = {129--149},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11589976\_9},
doi = {10.1007/11589976\_9},
timestamp = {Thu, 07 Apr 2022 08:44:27 +0200},
biburl = {https://dblp.org/rec/conf/ifm/GrunskeLYW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/GrunskeK05,
author = {Lars Grunske and
Bernhard Kaiser},
title = {Automatic Generation of Analyzable Failure Propagation Models from
Component-Level Failure Annotations},
booktitle = {Fifth International Conference on Quality Software {(QSIC} 2005),
19-20 September 2005, Melbourne, Australia},
pages = {117--123},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/QSIC.2005.16},
doi = {10.1109/QSIC.2005.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/GrunskeK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/Grunske05,
author = {Lars Grunske},
editor = {Lawrence Chung and
Yeong{-}Tae Song},
title = {Formalizing Architectural Refactorings as Graph Transformation Systems},
booktitle = {Proceedings of the 6th {ACIS} International Conference on Software
Engineering, Artificial Intelligence, Networking and Parallel/Distributed
Computing {(SNPD} 2005), May 23-25, 2005, Towson, Maryland, {USA}},
pages = {324--329},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SNPD-SAWN.2005.37},
doi = {10.1109/SNPD-SAWN.2005.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/Grunske05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/05/GrunskeGZEGV05,
author = {Lars Grunske and
Leif Geiger and
Albert Z{\"{u}}ndorf and
Niels Van Eetvelde and
Pieter Van Gorp and
D{\'{a}}niel Varr{\'{o}}},
editor = {Sami Beydeda and
Matthias Book and
Volker Gruhn},
title = {Using Graph Transformation for Practical Model-Driven Software Engineering},
booktitle = {Model-Driven Software Development},
pages = {91--117},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/3-540-28554-7\_5},
doi = {10.1007/3-540-28554-7\_5},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/05/GrunskeGZEGV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/MaydlG05,
author = {Walter Maydl and
Lars Grunske},
editor = {Colin Atkinson and
Christian Bunse and
Hans{-}Gerhard Gross and
Christian Peper},
title = {Behavioral Types for Embedded Software - {A} Survey},
booktitle = {Component-Based Software Development for Embedded Systems - An Overview
of Current Research Trends},
series = {Lecture Notes in Computer Science},
volume = {3778},
pages = {82--106},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591962\_5},
doi = {10.1007/11591962\_5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/MaydlG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/GrunskeKR05,
author = {Lars Grunske and
Bernhard Kaiser and
Ralf H. Reussner},
editor = {Colin Atkinson and
Christian Bunse and
Hans{-}Gerhard Gross and
Christian Peper},
title = {Specification and Evaluation of Safety Properties in a Component-Based
Software Engineering Process},
booktitle = {Component-Based Software Development for Embedded Systems - An Overview
of Current Research Trends},
series = {Lecture Notes in Computer Science},
volume = {3778},
pages = {249--274},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591962\_13},
doi = {10.1007/11591962\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/GrunskeKR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Grunske2004,
author = {Lars Grunske},
title = {Strukturorientierte Optimierung der Qualit{\"{a}}tseigenschaften
von softwareintensiven technischen Systemen im Architekturentwurf},
school = {University of Potsdam},
year = {2004},
url = {https://d-nb.info/971923299},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Grunske2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acisj/GrunskeL04,
author = {Lars Grunske and
Einar Lueck},
title = {Applicaton of Behavior-Preserving Transformations to Improve Non-Functional
Properties of an Architecture Specification},
journal = {{ACIS} Int. J. Comput. Inf. Sci.},
volume = {5},
number = {2},
pages = {122--128},
year = {2004},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acisj/GrunskeL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BeckerGMO04,
author = {Steffen Becker and
Lars Grunske and
Raffaela Mirandola and
Sven Overhage},
editor = {Ralf H. Reussner and
Judith A. Stafford and
Clemens A. Szyperski},
title = {Performance Prediction of Component-Based Systems - {A} Survey from
an Engineering Perspective},
booktitle = {Architecting Systems with Trustworthy Components, International Seminar,
Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3938},
pages = {169--192},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11786160\_10},
doi = {10.1007/11786160\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BeckerGMO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/Grunske03,
author = {Lars Grunske},
editor = {Walter Dosch and
Roger Y. Lee},
title = {Application of Behavior-Preserving Transformations to Improve Non-Functional
Properties of an Architecture Specification},
booktitle = {Proceedings of the {ACIS} Fourth International Conference on Software
Engineering, Artificial Intelligence, Networking and Parallel/Distributed
Computing (SNPD'03), October 16-18, 2003, L{\"{u}}beck, Germany},
pages = {439--445},
publisher = {{ACIS}},
year = {2003},
timestamp = {Wed, 26 Nov 2003 12:28:17 +0100},
biburl = {https://dblp.org/rec/conf/snpd/Grunske03.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-25 20:55 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:
