Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Kerstin Eder
@article{DBLP:journals/ais/SmithEI24, author = {Helen Smith and Kerstin Eder and Jonathan Ives}, title = {Hasta la vista baby: why we should dispense of "autonomy" in "autonomous systems"}, journal = {{AI} Soc.}, volume = {39}, number = {1}, pages = {395--396}, year = {2024}, url = {https://doi.org/10.1007/s00146-023-01662-9}, doi = {10.1007/S00146-023-01662-9}, timestamp = {Sat, 16 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ais/SmithEI24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cacm/AbeywickramaBCDKLMMMNRRWWE24, author = {Dhaminda B. Abeywickrama and Amel Bennaceur and Greg Chance and Yiannis Demiris and Anastasia Kordoni and Mark Levine and Luke Moffat and Luc Moreau and Mohammad Reza Mousavi and Bashar Nuseibeh and Subramanian Ramamoorthy and Jan Oliver Ringert and James Wilson and Shane Windsor and Kerstin Eder}, title = {On Specifying for Trustworthiness}, journal = {Commun. {ACM}}, volume = {67}, number = {1}, pages = {98--109}, year = {2024}, url = {https://doi.org/10.1145/3624699}, doi = {10.1145/3624699}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cacm/AbeywickramaBCDKLMMMNRRWWE24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/esl/NascimentoGES24, author = {Diego V. Cirilo do Nascimento and Kyriakos Georgiou and Kerstin I. Eder and Samuel Xavier de Souza}, title = {Evaluating the Effects of Reducing Voltage Margins for Energy-Efficient Operation of MPSoCs}, journal = {{IEEE} Embed. Syst. Lett.}, volume = {16}, number = {1}, pages = {25--28}, year = {2024}, url = {https://doi.org/10.1109/LES.2023.3240625}, doi = {10.1109/LES.2023.3240625}, timestamp = {Sat, 16 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/esl/NascimentoGES24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sii/GotoE24, author = {Akinobu Goto and Kerstin Eder}, title = {Would you Trust a Vehicle Merging into Your Lane? Subjective Evaluation of Negotiating Behaviour in a Congested Merging Scenario}, booktitle = {{IEEE/SICE} International Symposium on System Integration, {SII} 2024, Ha Long, Vietnam, January 8-11, 2024}, pages = {1045--1051}, publisher = {{IEEE}}, year = {2024}, url = {https://doi.org/10.1109/SII58957.2024.10417246}, doi = {10.1109/SII58957.2024.10417246}, timestamp = {Tue, 20 Feb 2024 14:41:06 +0100}, biburl = {https://dblp.org/rec/conf/sii/GotoE24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2402-19058, author = {Anas Shrinah and Masoud S. Bahraini and Fahad Khan and Seemal Asif and Niels Lohse and Kerstin Eder}, title = {On the Design of Human-Robot Collaboration Gestures}, journal = {CoRR}, volume = {abs/2402.19058}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.19058}, doi = {10.48550/ARXIV.2402.19058}, eprinttype = {arXiv}, eprint = {2402.19058}, timestamp = {Tue, 26 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-19058.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/finr/LoucaVET23, author = {Joe Louca and John Vrublevskis and Kerstin Eder and Antonia Tzemanaki}, title = {Elicitation of trustworthiness requirements for highly dexterous teleoperation systems with signal latency}, journal = {Frontiers Neurorobotics}, volume = {17}, year = {2023}, url = {https://doi.org/10.3389/fnbot.2023.1187264}, doi = {10.3389/FNBOT.2023.1187264}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/finr/LoucaVET23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aitest/GhobrialHAE23, author = {Abanoub Ghobrial and Darryl Hond and Hamid Asgari and Kerstin Eder}, title = {A Trustworthiness Score to Evaluate {DNN} Predictions}, booktitle = {{IEEE} International Conference On Artificial Intelligence Testing, AITest 2023, Athens, Greece, July 17-20, 2023}, pages = {9--16}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/AITest58265.2023.00011}, doi = {10.1109/AITEST58265.2023.00011}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aitest/GhobrialHAE23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aitest/ZhengEB23, author = {Xuan Zheng and Kerstin Eder and Tim Blackmore}, title = {Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure}, booktitle = {{IEEE} International Conference On Artificial Intelligence Testing, AITest 2023, Athens, Greece, July 17-20, 2023}, pages = {114--121}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/AITest58265.2023.00026}, doi = {10.1109/AITEST58265.2023.00026}, timestamp = {Wed, 06 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aitest/ZhengEB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/RouxelBEEFGHJMANSLSVWZ23, author = {Benjamin Rouxel and Christopher Brown and Emad Ebeid and Kerstin Eder and Heiko Falk and Clemens Grelck and Jesper Holst and Shashank Jadhav and Yoann Marquer and Marcos Martinez de Alejandro and Kris Nikov and Ali Sahafi and Ulrik Pagh Schultz Lundquist and Adam Seewald and Vangelis Vassalos and Simon Wegener and Olivier Zendra}, title = {The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems}, booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2023, Antwerp, Belgium, April 17-19, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.23919/DATE56975.2023.10137198}, doi = {10.23919/DATE56975.2023.10137198}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/date/RouxelBEEFGHJMANSLSVWZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/AbeywickramaWLCWMHWHE23, author = {Dhaminda B. Abeywickrama and James Wilson and Suet Lee and Greg Chance and Peter D. Winter and Arianna Manzini and Ibrahim Habli and Shane Windsor and Sabine Hauert and Kerstin Eder}, editor = {J{\'{e}}r{\'{e}}mie Guiochet and Stefano Tonetta and Erwin Schoitsch and Matthieu Roy and Friedemann Bitsch}, title = {AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms}, booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14182}, pages = {341--354}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40953-0\_28}, doi = {10.1007/978-3-031-40953-0\_28}, timestamp = {Wed, 20 Sep 2023 23:28:48 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/AbeywickramaWLCWMHWHE23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tas/WilsonCWLMAWDEI23, author = {James Wilson and Greg Chance and Peter D. Winter and Suet Lee and Emma Milner and Dhaminda B. Abeywickrama and Shane Windsor and John Downer and Kerstin Eder and Jonathan Ives and Sabine Hauert}, title = {Trustworthy Swarms}, booktitle = {Proceedings of the First International Symposium on Trustworthy Autonomous Systems, {TAS} 2023, Edinburgh, United Kingdom, July 11-12, 2023}, pages = {10:1--10:11}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3597512.3599705}, doi = {10.1145/3597512.3599705}, timestamp = {Fri, 21 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tas/WilsonCWLMAWDEI23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wcet/WegenerNNE23, author = {Simon Wegener and Kris K. Nikov and Jos{\'{e}} L. N{\'{u}}{\~{n}}ez{-}Y{\'{a}}{\~{n}}ez and Kerstin Eder}, editor = {Peter W{\"{a}}gemann}, title = {EnergyAnalyzer: Using Static {WCET} Analysis Techniques to Estimate the Energy Consumption of Embedded Applications}, booktitle = {21th International Workshop on Worst-Case Execution Time Analysis, {WCET} 2023, July 11, 2023, Vienna, Austria}, series = {OASIcs}, volume = {114}, pages = {9:1--9:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/OASIcs.WCET.2023.9}, doi = {10.4230/OASICS.WCET.2023.9}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wcet/WegenerNNE23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-08839, author = {Abanoub Ghobrial and Hamid Asgari and Kerstin Eder}, title = {Towards a Measure of Trustworthiness to Evaluate CNNs During Operation}, journal = {CoRR}, volume = {abs/2301.08839}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.08839}, doi = {10.48550/ARXIV.2301.08839}, eprinttype = {arXiv}, eprint = {2301.08839}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-08839.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-12806, author = {Kris Nikov and Kyriakos Georgiou and Zbigniew Chamski and Kerstin Eder and Jos{\'{e}} L. N{\'{u}}{\~{n}}ez{-}Y{\'{a}}{\~{n}}ez}, title = {Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis}, journal = {CoRR}, volume = {abs/2301.12806}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.12806}, doi = {10.48550/ARXIV.2301.12806}, eprinttype = {arXiv}, eprint = {2301.12806}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-12806.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2302-10292, author = {Dhaminda B. Abeywickrama and James Wilson and Suet Lee and Greg Chance and Peter D. Winter and Arianna Manzini and Ibrahim Habli and Shane Windsor and Sabine Hauert and Kerstin Eder}, title = {AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms}, journal = {CoRR}, volume = {abs/2302.10292}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2302.10292}, doi = {10.48550/ARXIV.2302.10292}, eprinttype = {arXiv}, eprint = {2302.10292}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2302-10292.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-03411, author = {Gregory Chance and Dhaminda B. Abeywickrama and Beckett LeClair and Owen Kerr and Kerstin Eder}, title = {Assessing Trustworthiness of Autonomous Systems}, journal = {CoRR}, volume = {abs/2305.03411}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.03411}, doi = {10.48550/ARXIV.2305.03411}, eprinttype = {arXiv}, eprint = {2305.03411}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-03411.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-10616, author = {Abanoub Ghobrial and Samuel Budgett and Dieter Balemans and Hamid Asgari and Philippe Reiter and Kerstin Eder}, title = {Evaluation Metrics for DNNs Compression}, journal = {CoRR}, volume = {abs/2305.10616}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.10616}, doi = {10.48550/ARXIV.2305.10616}, eprinttype = {arXiv}, eprint = {2305.10616}, timestamp = {Mon, 05 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-10616.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-14968, author = {Simon Wegener and Kris K. Nikov and Jos{\'{e}} L. N{\'{u}}{\~{n}}ez{-}Y{\'{a}}{\~{n}}ez and Kerstin Eder}, title = {EnergyAnalyzer: Using Static {WCET} Analysis Techniques to Estimate the Energy Consumption of Embedded Applications}, journal = {CoRR}, volume = {abs/2305.14968}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.14968}, doi = {10.48550/ARXIV.2305.14968}, eprinttype = {arXiv}, eprint = {2305.14968}, timestamp = {Tue, 06 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-14968.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2306-06115, author = {Benjamin Rouxel and Christopher Brown and Emad Ebeid and Kerstin Eder and Heiko Falk and Clemens Grelck and Jesper Holst and Shashank Jadhav and Yoann Marquer and Marcos Martinez de Alejandro and Kris Nikov and Ali Sahafi and Ulrik Pagh Schultz Lundquist and Adam Seewald and Vangelis Vassalos and Simon Wegener and Olivier Zendra}, title = {The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems}, journal = {CoRR}, volume = {abs/2306.06115}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2306.06115}, doi = {10.48550/ARXIV.2306.06115}, eprinttype = {arXiv}, eprint = {2306.06115}, timestamp = {Fri, 16 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2306-06115.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-01159, author = {Dhaminda B. Abeywickrama and Nguyen Hao Le and Greg Chance and Peter D. Winter and Arianna Manzini and Alix J. Partridge and Jonathan Ives and John Downer and Graham Deacon and Jonathan Rossiter and Kerstin Eder and Shane Windsor}, title = {Soft Gripping: Specifying for Trustworthiness}, journal = {CoRR}, volume = {abs/2307.01159}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.01159}, doi = {10.48550/ARXIV.2307.01159}, eprinttype = {arXiv}, eprint = {2307.01159}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-01159.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2310-08361, author = {Akinobu Goto and Kerstin Eder}, title = {Would you trust a vehicle merging into your lane? Subjective evaluation of negotiating behaviour in a congested merging scenario}, journal = {CoRR}, volume = {abs/2310.08361}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2310.08361}, doi = {10.48550/ARXIV.2310.08361}, eprinttype = {arXiv}, eprint = {2310.08361}, timestamp = {Tue, 24 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-08361.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2311-07461, author = {Abanoub Ghobrial and Kerstin Eder}, title = {On Self-Supervised Dynamic Incremental Regularised Adaptation}, journal = {CoRR}, volume = {abs/2311.07461}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2311.07461}, doi = {10.48550/ARXIV.2311.07461}, eprinttype = {arXiv}, eprint = {2311.07461}, timestamp = {Wed, 15 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-07461.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/GeorgiouCGME22, author = {Kyriakos Georgiou and Zbigniew Chamski and Andr{\'{e}}s Amaya Garc{\'{\i}}a and David May and Kerstin Eder}, title = {Lost In Translation: Exposing Hidden Compiler Optimization Opportunities}, journal = {Comput. J.}, volume = {65}, number = {3}, pages = {718--735}, year = {2022}, url = {https://doi.org/10.1093/comjnl/bxaa103}, doi = {10.1093/COMJNL/BXAA103}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/GeorgiouCGME22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/esl/NikovMWNCGE22, author = {Kris Nikov and Marcos Mart{\'{\i}}nez and Simon Wegener and Jos{\'{e}} L. N{\'{u}}{\~{n}}ez{-}Y{\'{a}}{\~{n}}ez and Zbigniew Chamski and Kyriakos Georgiou and Kerstin Eder}, title = {Robust and Accurate Fine-Grain Power Models for Embedded Systems With No On-Chip {PMU}}, journal = {{IEEE} Embed. Syst. Lett.}, volume = {14}, number = {3}, pages = {147--150}, year = {2022}, url = {https://doi.org/10.1109/LES.2022.3147308}, doi = {10.1109/LES.2022.3147308}, timestamp = {Thu, 22 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/esl/NikovMWNCGE22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tits/ChanceGMLPE22, author = {Greg Chance and Abanoub Ghobrial and Kevin McAreavey and S{\'{e}}verin Lemaignan and Tony Pipe and Kerstin Eder}, title = {On Determinism of Game Engines Used for Simulation-Based Autonomous Vehicle Verification}, journal = {{IEEE} Trans. Intell. Transp. Syst.}, volume = {23}, number = {11}, pages = {20538--20552}, year = {2022}, url = {https://doi.org/10.1109/TITS.2022.3177887}, doi = {10.1109/TITS.2022.3177887}, timestamp = {Thu, 27 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tits/ChanceGMLPE22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aitest/MasambaEB22, author = {Nyasha Masamba and Kerstin Eder and Tim Blackmore}, title = {Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification}, booktitle = {{IEEE} International Conference On Artificial Intelligence Testing, AITest 2022, Newark, CA, USA, August 15-18, 2022}, pages = {19--25}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/AITest55621.2022.00012}, doi = {10.1109/AITEST55621.2022.00012}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aitest/MasambaEB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aitest/MasambaEB22a, author = {Nyasha Masamba and Kerstin Eder and Tim Blackmore}, title = {Hybrid Intelligent Testing in Simulation-Based Verification}, booktitle = {{IEEE} International Conference On Artificial Intelligence Testing, AITest 2022, Newark, CA, USA, August 15-18, 2022}, pages = {26--33}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/AITest55621.2022.00013}, doi = {10.1109/AITEST55621.2022.00013}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aitest/MasambaEB22a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icecsys/NikovGCEN22, author = {Kris Nikov and Kyriakos Georgiou and Zbigniew Chamski and Kerstin Eder and Jos{\'{e}} L. N{\'{u}}{\~{n}}ez{-}Y{\'{a}}{\~{n}}ez}, title = {Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis}, booktitle = {29th {IEEE} International Conference on Electronics, Circuits and Systems, {ICECS} 2022, Glasgow, United Kingdom, October 24-26, 2022}, pages = {1--4}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ICECS202256217.2022.9971086}, doi = {10.1109/ICECS202256217.2022.9971086}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icecsys/NikovGCEN22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@misc{DBLP:data/10/NikovMVBNE22, author = {Kris Nikov and Marcos Mart{\'{\i}}nez and Pedro Vallejo and Abel Balbis and Jos{\'{e}} L. N{\'{u}}{\~{n}}ez{-}Y{\'{a}}{\~{n}}ez and Kerstin Eder}, title = {{GR712RC} {LEON3} Power Model Data}, publisher = {{IEEE} DataPort}, year = {2022}, month = may, howpublished = {\url{https://doi.org/10.21227/1y7r-am78}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.21227/1y7r-am78}, doi = {10.21227/1Y7R-AM78}, timestamp = {Wed, 15 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/data/10/NikovMVBNE22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-00147, author = {Abanoub Ghobrial and Xuan Zheng and Darryl Hond and Hamid Asgari and Kerstin Eder}, title = {Operational Adaptation of {DNN} Classifiers using Elastic Weight Consolidation}, journal = {CoRR}, volume = {abs/2205.00147}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.00147}, doi = {10.48550/ARXIV.2205.00147}, eprinttype = {arXiv}, eprint = {2205.00147}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-00147.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-08524, author = {Nyasha Masamba and Kerstin Eder and Tim Blackmore}, title = {Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification}, journal = {CoRR}, volume = {abs/2205.08524}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.08524}, doi = {10.48550/ARXIV.2205.08524}, eprinttype = {arXiv}, eprint = {2205.08524}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-08524.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-09552, author = {Nyasha Masamba and Kerstin Eder and Tim Blackmore}, title = {Hybrid Intelligent Testing in Simulation-Based Verification}, journal = {CoRR}, volume = {abs/2205.09552}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.09552}, doi = {10.48550/ARXIV.2205.09552}, eprinttype = {arXiv}, eprint = {2205.09552}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-09552.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2206-11421, author = {Dhaminda B. Abeywickrama and Amel Bennaceur and Greg Chance and Yiannis Demiris and Anastasia Kordoni and Mark Levine and Luke Moffat and Luc Moreau and Mohammad Reza Mousavi and Bashar Nuseibeh and Subramanian Ramamoorthy and Jan Oliver Ringert and James Wilson and Shane Windsor and Kerstin Eder}, title = {On Specifying for Trustworthiness}, journal = {CoRR}, volume = {abs/2206.11421}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2206.11421}, doi = {10.48550/ARXIV.2206.11421}, eprinttype = {arXiv}, eprint = {2206.11421}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2206-11421.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2207-00445, author = {Xuan Zheng and Kerstin Eder and Tim Blackmore}, title = {Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure}, journal = {CoRR}, volume = {abs/2207.00445}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2207.00445}, doi = {10.48550/ARXIV.2207.00445}, eprinttype = {arXiv}, eprint = {2207.00445}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2207-00445.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2208-05273, author = {Maike Schwammberger and Christopher Harper and Gleifer Vaz Alves and Greg Chance and Tony Pipe and Kerstin Eder}, title = {Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V{\&}V Process}, journal = {CoRR}, volume = {abs/2208.05273}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2208.05273}, doi = {10.48550/ARXIV.2208.05273}, eprinttype = {arXiv}, eprint = {2208.05273}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2208-05273.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2209-12134, author = {Diego V. Cirilo do Nascimento and Kyriakos Georgiou and Kerstin I. Eder and Samuel Xavier de Souza}, title = {Evaluating the effects of reducing voltage margins for energy-efficient operation of MPSoCs}, journal = {CoRR}, volume = {abs/2209.12134}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2209.12134}, doi = {10.48550/ARXIV.2209.12134}, eprinttype = {arXiv}, eprint = {2209.12134}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2209-12134.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/EderHMPK22, author = {Kerstin I. Eder and Timo H{\"{o}}nig and Daniel Moss{\'{e}} and Max Plauth and Maja Hanne Kirkeby}, title = {Power and Energy-Aware Computing on Heterogeneous Systems {(PEACHES)} (Dagstuhl Seminar 22341)}, journal = {Dagstuhl Reports}, volume = {12}, number = {8}, pages = {31--59}, year = {2022}, url = {https://doi.org/10.4230/DagRep.12.8.31}, doi = {10.4230/DAGREP.12.8.31}, timestamp = {Mon, 06 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/EderHMPK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cacm/Kress-GazitEHAA21, author = {Hadas Kress{-}Gazit and Kerstin Eder and Guy Hoffman and Henny Admoni and Brenna Argall and R{\"{u}}diger Ehlers and Christoffer Heckman and Nils Jansen and Ross A. Knepper and Jan Kret{\'{\i}}nsk{\'{y}} and Shelly Levy{-}Tzedek and Jamy Li and Todd D. Murphey and Laurel D. Riek and Dorsa Sadigh}, title = {Formalizing and guaranteeing human-robot interaction}, journal = {Commun. {ACM}}, volume = {64}, number = {9}, pages = {78--84}, year = {2021}, url = {https://doi.org/10.1145/3433637}, doi = {10.1145/3433637}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cacm/Kress-GazitEHAA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2110-12586, author = {Kerstin I. Eder and Wen{-}ling Huang and Jan Peleska}, editor = {Marie Farrell and Matt Luckcuck}, title = {Complete Agent-driven Model-based System Testing for Autonomous Systems}, booktitle = {Proceedings Third Workshop on Formal Methods for Autonomous Systems, {FMAS} 2021, Virtual, October 21-22, 2021}, series = {{EPTCS}}, volume = {348}, pages = {54--72}, year = {2021}, url = {https://doi.org/10.4204/EPTCS.348.4}, doi = {10.4204/EPTCS.348.4}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2110-12586.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-01055, author = {Kyriakos Georgiou and Zbigniew Chamski and Kris Nikov and Kerstin Eder}, title = {A Comprehensive and Accurate Energy Model for Arm's Cortex-M0 Processor}, journal = {CoRR}, volume = {abs/2104.01055}, year = {2021}, url = {https://arxiv.org/abs/2104.01055}, eprinttype = {arXiv}, eprint = {2104.01055}, timestamp = {Mon, 12 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-01055.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-06262, author = {Greg Chance and Abanoub Ghobrial and Kevin McAreavey and S{\'{e}}verin Lemaignan and Tony Pipe and Kerstin Eder}, title = {On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification}, journal = {CoRR}, volume = {abs/2104.06262}, year = {2021}, url = {https://arxiv.org/abs/2104.06262}, eprinttype = {arXiv}, eprint = {2104.06262}, timestamp = {Mon, 19 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-06262.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-14602, author = {Anas Shrinah and Derek Long and Kerstin Eder}, title = {{D-VAL:} An automatic functional equivalence validation tool for planning domain models}, journal = {CoRR}, volume = {abs/2104.14602}, year = {2021}, url = {https://arxiv.org/abs/2104.14602}, eprinttype = {arXiv}, eprint = {2104.14602}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-14602.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-00565, author = {Kris Nikov and Marcos Mart{\'{\i}}nez and Simon Wegener and Jos{\'{e}} L. N{\'{u}}{\~{n}}ez{-}Y{\'{a}}{\~{n}}ez and Zbigniew Chamski and Kyriakos Georgiou and Kerstin Eder}, title = {Robust and accurate fine-grain power models for embedded systems with no on-chip {PMU}}, journal = {CoRR}, volume = {abs/2106.00565}, year = {2021}, url = {https://arxiv.org/abs/2106.00565}, eprinttype = {arXiv}, eprint = {2106.00565}, timestamp = {Sat, 10 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-00565.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2111-04611, author = {Christopher Harper and Greg Chance and Abanoub Ghobrial and Saquib Alam and Tony Pipe and Kerstin Eder}, title = {Safety Validation of Autonomous Vehicles using Assertion-based Oracles}, journal = {CoRR}, volume = {abs/2111.04611}, year = {2021}, url = {https://arxiv.org/abs/2111.04611}, eprinttype = {arXiv}, eprint = {2111.04611}, timestamp = {Wed, 10 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-04611.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/FurtunatoGES20, author = {Alex F. A. Furtunato and Kyriakos Georgiou and Kerstin Eder and Samuel Xavier de Souza}, title = {When Parallel Speedups Hit the Memory Wall}, journal = {{IEEE} Access}, volume = {8}, pages = {79225--79238}, year = {2020}, url = {https://doi.org/10.1109/ACCESS.2020.2990418}, doi = {10.1109/ACCESS.2020.2990418}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/FurtunatoGES20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijrr/WebsterWADEFP20, author = {Matt Webster and David G. Western and Dejanira Araiza{-}Illan and Clare Dixon and Kerstin Eder and Michael Fisher and Anthony G. Pipe}, title = {A corroborative approach to verification and validation of human-robot teams}, journal = {Int. J. Robotics Res.}, volume = {39}, number = {1}, year = {2020}, url = {https://doi.org/10.1177/0278364919883338}, doi = {10.1177/0278364919883338}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijrr/WebsterWADEFP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aitest/ChanceGLPE20, author = {Greg Chance and Abanoub Ghobrial and S{\'{e}}verin Lemaignan and Tony Pipe and Kerstin Eder}, title = {An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification}, booktitle = {{IEEE} International Conference On Artificial Intelligence Testing, AITest 2020, Oxford, UK, August 3-6, 2020}, pages = {31--38}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/AITEST49225.2020.00012}, doi = {10.1109/AITEST49225.2020.00012}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aitest/ChanceGLPE20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/ShrinahE20, author = {Anas Shrinah and Kerstin Eder}, editor = {Sebastian Rudolph and Goreti Marreiros}, title = {Goal-constrained planning domain model verification of safety properties}, booktitle = {Proceedings of the 9th European Starting {AI} Researchers' Symposium 2020 co-located with 24th European Conference on Artificial Intelligence {(ECAI} 2020), Santiago Compostela, Spain, August, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2655}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2655/paper19.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:14 +0100}, biburl = {https://dblp.org/rec/conf/ecai/ShrinahE20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hipeac/Nunez-YanezNEH20, author = {Jos{\'{e}} L. N{\'{u}}{\~{n}}ez{-}Y{\'{a}}{\~{n}}ez and Kris Nikov and Kerstin Eder and Mohammad Hosseinabady}, title = {Run-Time Power Modelling in Embedded GPUs with Dynamic Voltage and Frequency Scaling}, booktitle = {11th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures / 9th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM@HiPEAC 2020, Bologna, Italy, January, 2020}, pages = {2:1--2:6}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3381427.3381429}, doi = {10.1145/3381427.3381429}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hipeac/Nunez-YanezNEH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-02947, author = {Demetrios A. M. Coutinho and Daniele De Sensi and Arthur Francisco Lorenzon and Kyriakos Georgiou and Jos{\'{e}} L. N{\'{u}}{\~{n}}ez{-}Y{\'{a}}{\~{n}}ez and Kerstin Eder and Samuel Xavier de Souza}, title = {Performance and Energy Trade-Offs for Parallel Applications on Heterogeneous Multi-Processing Systems}, journal = {CoRR}, volume = {abs/2005.02947}, year = {2020}, url = {https://arxiv.org/abs/2005.02947}, eprinttype = {arXiv}, eprint = {2005.02947}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-02947.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2006-12176, author = {Jos{\'{e}} L. N{\'{u}}{\~{n}}ez{-}Y{\'{a}}{\~{n}}ez and Kris Nikov and Kerstin Eder and Mohammad Hosseinabady}, title = {Run-Time Power Modelling in Embedded GPUs with Dynamic Voltage and Frequency Scaling}, journal = {CoRR}, volume = {abs/2006.12176}, year = {2020}, url = {https://arxiv.org/abs/2006.12176}, eprinttype = {arXiv}, eprint = {2006.12176}, timestamp = {Tue, 23 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2006-12176.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2006-14890, author = {Carsten Maple and Peter Davies and Kerstin Eder and Chris Hankin and Greg Chance and Gregory Epiphaniou}, title = {CyRes - Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract)}, journal = {CoRR}, volume = {abs/2006.14890}, year = {2020}, url = {https://arxiv.org/abs/2006.14890}, eprinttype = {arXiv}, eprint = {2006.14890}, timestamp = {Wed, 01 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2006-14890.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2006-16732, author = {Hadas Kress{-}Gazit and Kerstin Eder and Guy Hoffman and Henny Admoni and Brenna Argall and R{\"{u}}diger Ehlers and Christoffer Heckman and Nils Jansen and Ross A. Knepper and Jan Kret{\'{\i}}nsk{\'{y}} and Shelly Levy{-}Tzedek and Jamy Li and Todd D. Murphey and Laurel D. Riek and Dorsa Sadigh}, title = {Formalizing and Guaranteeing* Human-Robot Interaction}, journal = {CoRR}, volume = {abs/2006.16732}, year = {2020}, url = {https://arxiv.org/abs/2006.16732}, eprinttype = {arXiv}, eprint = {2006.16732}, timestamp = {Tue, 28 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2006-16732.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ieeehpcs/SilvaFGSES19, author = {Vitor R. G. Silva and Alex F. A. Furtunato and Kyriakos Georgiou and Carlos Alberto Valderrama Sakuyama and Kerstin I. Eder and Samuel Xavier de Souza}, title = {Energy-Optimal Configurations for Single-Node {HPC} Applications}, booktitle = {17th International Conference on High Performance Computing {\&} Simulation, {HPCS} 2019, Dublin, Ireland, July 15-19, 2019}, pages = {448--454}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/HPCS48598.2019.9188110}, doi = {10.1109/HPCS48598.2019.9188110}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ieeehpcs/SilvaFGSES19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vlsi/NascimentoGES19, author = {Diego V. Cirilo do Nascimento and Kyriakos Georgiou and Kerstin I. Eder and Samuel Xavier de Souza}, title = {Exploiting guard band limits for energy gains in MPSoCs}, booktitle = {27th {IFIP/IEEE} International Conference on Very Large Scale Integration, VLSI-SoC 2019, Cuzco, Peru, October 6-9, 2019}, pages = {1--2}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/VLSI-SoC46951.2019.9047904}, doi = {10.1109/VLSI-SOC46951.2019.9047904}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vlsi/NascimentoGES19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vlsi/CoutinhoGENS19, author = {Demetrios A. M. Coutinho and Kyriakos Georgiou and Kerstin I. Eder and Jos{\'{e}} L. N{\'{u}}{\~{n}}ez{-}Y{\'{a}}{\~{n}}ez and Samuel Xavier de Souza}, title = {Performance and Energy Efficiency Trade-Offs in Single-ISA Heterogeneous Multi-Processing for Parallel Applications}, booktitle = {27th {IFIP/IEEE} International Conference on Very Large Scale Integration, VLSI-SoC 2019, Cuzco, Peru, October 6-9, 2019}, pages = {232--233}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/VLSI-SoC.2019.8920384}, doi = {10.1109/VLSI-SOC.2019.8920384}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vlsi/CoutinhoGENS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1903-11397, author = {Kyriakos Georgiou and Zbigniew Chamski and Andr{\'{e}}s Amaya Garc{\'{\i}}a and David May and Kerstin Eder}, title = {Lost in translation: Exposing hidden compiler optimization opportunities}, journal = {CoRR}, volume = {abs/1903.11397}, year = {2019}, url = {http://arxiv.org/abs/1903.11397}, eprinttype = {arXiv}, eprint = {1903.11397}, timestamp = {Wed, 03 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1903-11397.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1905-01234, author = {Alex F. A. Furtunato and Kyriakos Georgiou and Kerstin Eder and Samuel Xavier de Souza}, title = {When parallel speedups hit the memory wall}, journal = {CoRR}, volume = {abs/1905.01234}, year = {2019}, url = {http://arxiv.org/abs/1905.01234}, eprinttype = {arXiv}, eprint = {1905.01234}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1905-01234.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1912-05434, author = {Greg Chance and Abanoub Ghobrial and S{\'{e}}verin Lemaignan and Tony Pipe and Kerstin Eder}, title = {An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification}, journal = {CoRR}, volume = {abs/1912.05434}, year = {2019}, url = {http://arxiv.org/abs/1912.05434}, eprinttype = {arXiv}, eprint = {1912.05434}, timestamp = {Thu, 02 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1912-05434.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/AlamiEHK19, author = {Rachid Alami and Kerstin I. Eder and Guy Hoffman and Hadas Kress{-}Gazit}, title = {Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)}, journal = {Dagstuhl Reports}, volume = {9}, number = {2}, pages = {91--110}, year = {2019}, url = {https://doi.org/10.4230/DagRep.9.2.91}, doi = {10.4230/DAGREP.9.2.91}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AlamiEHK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/esl/GeorgiouSE18, author = {Kyriakos Georgiou and Samuel Xavier de Souza and Kerstin Eder}, title = {The IoT Energy Challenge: {A} Software Perspective}, journal = {{IEEE} Embed. Syst. Lett.}, volume = {10}, number = {3}, pages = {53--56}, year = {2018}, url = {https://doi.org/10.1109/LES.2017.2741419}, doi = {10.1109/LES.2017.2741419}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/esl/GeorgiouSE18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tecs/MorseKE18, author = {Jeremy Morse and Steve Kerrison and Kerstin Eder}, title = {On the Limitations of Analyzing Worst-Case Dynamic Energy of Processing}, journal = {{ACM} Trans. Embed. Comput. Syst.}, volume = {17}, number = {3}, pages = {59:1--59:22}, year = {2018}, url = {https://doi.org/10.1145/3173042}, doi = {10.1145/3173042}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tecs/MorseKE18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scopes/GeorgiouBSE18, author = {Kyriakos Georgiou and Craig Blackmore and Samuel Xavier de Souza and Kerstin Eder}, editor = {Sander Stuijk}, title = {Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption}, booktitle = {Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, {SCOPES} 2018, Sankt Goar, Germany, May 28-30, 2018}, pages = {35--42}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3207719.3207727}, doi = {10.1145/3207719.3207727}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/scopes/GeorgiouBSE18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wosp/OliveiraFSGES18, author = {Victor H. F. Oliveira and Alex F. A. Furtunato and Luiz Felipe Q. Silveira and Kyriakos Georgiou and Kerstin I. Eder and Samuel Xavier de Souza}, editor = {Katinka Wolter and William J. Knottenbelt and Andr{\'{e}} van Hoorn and Manoj Nambiar}, title = {Application Speedup Characterization: Modeling Parallelization Overhead and Variations of Problem Size and Number of Cores}, booktitle = {Companion of the 2018 {ACM/SPEC} International Conference on Performance Engineering, {ICPE} 2018, Berlin, Germany, April 09-13, 2018}, pages = {43--44}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3185768.3185770}, doi = {10.1145/3185768.3185770}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wosp/OliveiraFSGES18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1802-09845, author = {Kyriakos Georgiou and Craig Blackmore and Samuel Xavier de Souza and Kerstin Eder}, title = {Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption}, journal = {CoRR}, volume = {abs/1802.09845}, year = {2018}, url = {http://arxiv.org/abs/1802.09845}, eprinttype = {arXiv}, eprint = {1802.09845}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1802-09845.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1805-00998, author = {Vitor R. G. Silva and Alex F. A. Furtunato and Kyriakos Georgiou and Kerstin Eder and Samuel Xavier de Souza}, title = {Energy-Optimal Configurations for Single-Node {HPC} Applications}, journal = {CoRR}, volume = {abs/1805.00998}, year = {2018}, url = {http://arxiv.org/abs/1805.00998}, eprinttype = {arXiv}, eprint = {1805.00998}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1805-00998.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1811-09231, author = {Anas Shrinah and Kerstin Eder}, title = {Verification of Planning Domain Models - Revisited}, journal = {CoRR}, volume = {abs/1811.09231}, year = {2018}, url = {http://arxiv.org/abs/1811.09231}, eprinttype = {arXiv}, eprint = {1811.09231}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1811-09231.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/taco/GeorgiouKCE17, author = {Kyriakos Georgiou and Steve Kerrison and Zbigniew Chamski and Kerstin Eder}, title = {Energy Transparency for Deeply Embedded Programs}, journal = {{ACM} Trans. Archit. Code Optim.}, volume = {14}, number = {1}, pages = {8:1--8:26}, year = {2017}, url = {https://doi.org/10.1145/3046679}, doi = {10.1145/3046679}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/taco/GeorgiouKCE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fuzzIEEE/MorseAELR17, author = {Jeremy Morse and Dejanira Araiza{-}Illan and Kerstin Eder and Jonathan Lawry and Arthur Richards}, title = {A fuzzy approach to qualification in design exploration for autonomous robots and systems}, booktitle = {2017 {IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE} 2017, Naples, Italy, July 9-12, 2017}, pages = {1--6}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/FUZZ-IEEE.2017.8015456}, doi = {10.1109/FUZZ-IEEE.2017.8015456}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/fuzzIEEE/MorseAELR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/IsakovicGRKPKGE17, author = {Haris Isakovic and Radu Grosu and Denise Ratasich and Jiri Kadlec and Zdenek Pohl and Steve Kerrison and Kyriakos Georgiou and Kerstin Eder and Norbert Druml and Lillian Tadros and Flemming Christensen and Emilie Wheatley and Bastian Farkas and Rolf Meyer and Mladen Berekovic}, editor = {Stefano Tonetta and Erwin Schoitsch and Friedemann Bitsch}, title = {A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC{\^{}}2}, booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10489}, pages = {127--140}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66284-8\_12}, doi = {10.1007/978-3-319-66284-8\_12}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/IsakovicGRKPKGE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scopes/PallisterKME17, author = {James Pallister and Steve Kerrison and Jeremy Morse and Kerstin Eder}, editor = {Sander Stuijk}, title = {Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis}, booktitle = {Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, {SCOPES} 2017, Sankt Goar, Germany, June 12-13, 2017}, pages = {51--59}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3078659.3078666}, doi = {10.1145/3078659.3078666}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/scopes/PallisterKME17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/taros/ChiuAE17, author = {Sing{-}Kai Chiu and Dejanira Araiza{-}Illan and Kerstin Eder}, editor = {Yang Gao and Saber Fallah and Yaochu Jin and Constantina Lekakou}, title = {Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from Threats}, booktitle = {Towards Autonomous Robotic Systems - 18th Annual Conference, {TAROS} 2017, Guildford, UK, July 19-21, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10454}, pages = {166--181}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-64107-2\_14}, doi = {10.1007/978-3-319-64107-2\_14}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/taros/ChiuAE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ChiuAE17, author = {Sing{-}Kai Chiu and Dejanira Araiza{-}Illan and Kerstin Eder}, title = {Risk-based Triggering of Bio-inspired Self-Preservation to Protect Robots from Threats}, journal = {CoRR}, volume = {abs/1702.06756}, year = {2017}, url = {http://arxiv.org/abs/1702.06756}, eprinttype = {arXiv}, eprint = {1702.06756}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ChiuAE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/SarkarAE17, author = {Satragni Sarkar and Dejanira Araiza{-}Illan and Kerstin Eder}, title = {Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker}, journal = {CoRR}, volume = {abs/1703.02335}, year = {2017}, url = {http://arxiv.org/abs/1703.02335}, eprinttype = {arXiv}, eprint = {1703.02335}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/SarkarAE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BlackmoreRE17, author = {Craig Blackmore and Oliver Ray and Kerstin Eder}, title = {Automatically Tuning the {GCC} Compiler to Optimize the Performance of Applications Running on the {ARM} Cortex-M3}, journal = {CoRR}, volume = {abs/1703.08228}, year = {2017}, url = {http://arxiv.org/abs/1703.08228}, eprinttype = {arXiv}, eprint = {1703.08228}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BlackmoreRE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GeorgiouSE17, author = {Kyriakos Georgiou and Samuel Xavier de Souza and Kerstin Eder}, title = {The IoT energy challenge: {A} software perspective}, journal = {CoRR}, volume = {abs/1706.08817}, year = {2017}, url = {http://arxiv.org/abs/1706.08817}, eprinttype = {arXiv}, eprint = {1706.08817}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/GeorgiouSE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1709-08689, author = {Samuel Xavier de Souza and Eduardo Andr{\'{e}} Neves and Alex F. A. Furtunato and Luiz Felipe Q. Silveira and Kyriakos Georgiou and Kerstin I. Eder}, title = {The Benefits of Low Operating Voltage Devices to the Energy Efficiency of Parallel Systems}, journal = {CoRR}, volume = {abs/1709.08689}, year = {2017}, url = {http://arxiv.org/abs/1709.08689}, eprinttype = {arXiv}, eprint = {1709.08689}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1709-08689.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mam/EderGLMBGHHKKKK16, author = {Kerstin Eder and John P. Gallagher and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Henk L. Muller and Zorana Bankovic and Kyriakos Georgiou and R{\'{e}}my Haemmerl{\'{e}} and Manuel V. Hermenegildo and Bishoksan Kafle and Steve Kerrison and Maja H. Kirkeby and Maximiliano Klemen and Xueliang Li and Umer Liqat and Jeremy Morse and Morten Rhiger and Mads Rosendahl}, title = {{ENTRA:} Whole-systems energy transparency}, journal = {Microprocess. Microsystems}, volume = {47}, pages = {278--286}, year = {2016}, url = {https://doi.org/10.1016/j.micpro.2016.07.003}, doi = {10.1016/J.MICPRO.2016.07.003}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mam/EderGLMBGHHKKKK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mcsoc/KerrisonME16, author = {Steve Kerrison and David May and Kerstin Eder}, title = {A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems}, booktitle = {10th {IEEE} International Symposium on Embedded Multicore/Many-core Systems-on-Chip, {MCSOC} 2016, Lyon, France, September 21-23, 2016}, pages = {125--132}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/MCSoC.2016.50}, doi = {10.1109/MCSOC.2016.50}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mcsoc/KerrisonME16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ro-man/HamacherBPE16, author = {Adriana Hamacher and Nadia Bianchi{-}Berthouze and Anthony G. Pipe and Kerstin Eder}, title = {Believing in {BERT:} Using expressive communication to enhance trust and counteract operational error in physical Human-robot interaction}, booktitle = {25th {IEEE} International Symposium on Robot and Human Interactive Communication, {RO-MAN} 2016, New York, NY, USA, August 26-31, 2016}, pages = {493--500}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ROMAN.2016.7745163}, doi = {10.1109/ROMAN.2016.7745163}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ro-man/HamacherBPE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/robocup/Araiza-IllanPE16, author = {Dejanira Araiza{-}Illan and Anthony G. Pipe and Kerstin Eder}, editor = {Uwe A{\ss}mann and Davide Brugali and Christian Piechnick}, title = {Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions}, booktitle = {Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering, MORSE@RoboCup 2016, Leipzig, Germany, July 1, 2016}, pages = {9--16}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/3022099.3022101}, doi = {10.1145/3022099.3022101}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/robocup/Araiza-IllanPE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/taros/Araiza-IllanWPE16, author = {Dejanira Araiza{-}Illan and David G. Western and Anthony G. Pipe and Kerstin Eder}, editor = {Lyuba Alboul and Dana D. Damian and Jonathan M. Aitken}, title = {Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions}, booktitle = {Towards Autonomous Robotic Systems - 17th Annual Conference, {TAROS} 2016, Sheffield, UK, June 26 - July 1, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9716}, pages = {20--32}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40379-3\_3}, doi = {10.1007/978-3-319-40379-3\_3}, timestamp = {Mon, 03 Jan 2022 22:19:33 +0100}, biburl = {https://dblp.org/rec/conf/taros/Araiza-IllanWPE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EekelenE16, author = {Marko C. J. D. van Eekelen and Kerstin Eder}, editor = {Marko C. J. D. van Eekelen and Kerstin Eder}, title = {Preface}, booktitle = {Resource Aware Computing, RAC@ETAPS 2016, Eindhoven, The Netherlands, April 2, 2016}, series = {Electronic Notes in Theoretical Computer Science}, volume = {330}, pages = {1--3}, publisher = {Elsevier}, year = {2016}, url = {https://doi.org/10.1016/j.entcs.2016.12.011}, doi = {10.1016/J.ENTCS.2016.12.011}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/EekelenE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/etaps/2016rac, editor = {Marko C. J. D. van Eekelen and Kerstin Eder}, title = {Resource Aware Computing, RAC@ETAPS 2016, Eindhoven, The Netherlands, April 2, 2016}, series = {Electronic Notes in Theoretical Computer Science}, volume = {330}, publisher = {Elsevier}, year = {2016}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/330/suppl/C}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/etaps/2016rac.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Araiza-IllanPE16, author = {Dejanira Araiza{-}Illan and Tony Pipe and Kerstin Eder}, title = {Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions}, journal = {CoRR}, volume = {abs/1603.00656}, year = {2016}, url = {http://arxiv.org/abs/1603.00656}, eprinttype = {arXiv}, eprint = {1603.00656}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Araiza-IllanPE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MorseALE16, author = {Jeremy Morse and Dejanira Araiza{-}Illan and Jonathan Lawry and Kerstin Eder}, title = {Towards the Specification of Adaptive Robotic Systems}, journal = {CoRR}, volume = {abs/1603.01082}, year = {2016}, url = {http://arxiv.org/abs/1603.01082}, eprinttype = {arXiv}, eprint = {1603.01082}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MorseALE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MorseKE16, author = {Jeremy Morse and Steve Kerrison and Kerstin Eder}, title = {On the infeasibility of analysing worst-case dynamic energy}, journal = {CoRR}, volume = {abs/1603.02580}, year = {2016}, url = {http://arxiv.org/abs/1603.02580}, eprinttype = {arXiv}, eprint = {1603.02580}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MorseKE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Araiza-IllanPE16a, author = {Dejanira Araiza{-}Illan and Anthony G. Pipe and Kerstin Eder}, title = {Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions}, journal = {CoRR}, volume = {abs/1604.05508}, year = {2016}, url = {http://arxiv.org/abs/1604.05508}, eprinttype = {arXiv}, eprint = {1604.05508}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Araiza-IllanPE16a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/HamacherBPE16, author = {Adriana Hamacher and Nadia Bianchi{-}Berthouze and Anthony G. Pipe and Kerstin Eder}, title = {Believing in {BERT:} Using expressive communication to enhance trust and counteract operational error in physical Human-Robot Interaction}, journal = {CoRR}, volume = {abs/1605.08817}, year = {2016}, url = {http://arxiv.org/abs/1605.08817}, eprinttype = {arXiv}, eprint = {1605.08817}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/HamacherBPE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MorseALRE16, author = {Jeremy Morse and Dejanira Araiza{-}Illan and Jonathan Lawry and Arthur Richards and Kerstin Eder}, title = {A formal approach to analysing requirements conformance in adaptive systems}, journal = {CoRR}, volume = {abs/1606.01077}, year = {2016}, url = {http://arxiv.org/abs/1606.01077}, eprinttype = {arXiv}, eprint = {1606.01077}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MorseALRE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/EderGLMBGHHKKKK16, author = {Kerstin Eder and John P. Gallagher and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Henk L. Muller and Zorana Bankovic and Kyriakos Georgiou and R{\'{e}}my Haemmerl{\'{e}} and Manuel V. Hermenegildo and Bishoksan Kafle and Steve Kerrison and Maja H. Kirkeby and Maximiliano Klemen and Xueliang Li and Umer Liqat and Jeremy Morse and Morten Rhiger and Mads Rosendahl}, title = {{ENTRA:} Whole-Systems Energy Transparency}, journal = {CoRR}, volume = {abs/1606.04074}, year = {2016}, url = {http://arxiv.org/abs/1606.04074}, eprinttype = {arXiv}, eprint = {1606.04074}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/EderGLMBGHHKKKK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/KerrisonME16, author = {Steve Kerrison and David May and Kerstin Eder}, title = {A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems}, journal = {CoRR}, volume = {abs/1606.08686}, year = {2016}, url = {http://arxiv.org/abs/1606.08686}, eprinttype = {arXiv}, eprint = {1606.08686}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KerrisonME16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/WebsterWADEFP16, author = {Matt Webster and David G. Western and Dejanira Araiza{-}Illan and Clare Dixon and Kerstin Eder and Michael Fisher and Anthony G. Pipe}, title = {An Assurance-based Approach to Verification and Validation of Human-Robot Teams}, journal = {CoRR}, volume = {abs/1608.07403}, year = {2016}, url = {http://arxiv.org/abs/1608.07403}, eprinttype = {arXiv}, eprint = {1608.07403}, timestamp = {Tue, 18 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/WebsterWADEFP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GeorgiouKCE16, author = {Kyriakos Georgiou and Steve Kerrison and Zbigniew Chamski and Kerstin Eder}, title = {Energy Transparency for Deeply Embedded Programs}, journal = {CoRR}, volume = {abs/1609.02193}, year = {2016}, url = {http://arxiv.org/abs/1609.02193}, eprinttype = {arXiv}, eprint = {1609.02193}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GeorgiouKCE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Araiza-IllanPE16b, author = {Dejanira Araiza{-}Illan and Anthony G. Pipe and Kerstin Eder}, title = {Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents}, journal = {CoRR}, volume = {abs/1609.08439}, year = {2016}, url = {http://arxiv.org/abs/1609.08439}, eprinttype = {arXiv}, eprint = {1609.08439}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Araiza-IllanPE16b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/robotics/DondrupBHEL15, author = {Christian Dondrup and Nicola Bellotto and Marc Hanheide and Kerstin Eder and Ute Leonards}, title = {A Computational Model of Human-Robot Spatial Interactions Based on a Qualitative Trajectory Calculus}, journal = {Robotics}, volume = {4}, number = {1}, pages = {63--102}, year = {2015}, url = {https://doi.org/10.3390/robotics4010063}, doi = {10.3390/ROBOTICS4010063}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/robotics/DondrupBHEL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tecs/KerrisonE15, author = {Steve Kerrison and Kerstin Eder}, title = {Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor}, journal = {{ACM} Trans. Embed. Comput. Syst.}, volume = {14}, number = {3}, pages = {56:1--56:25}, year = {2015}, url = {https://doi.org/10.1145/2700104}, doi = {10.1145/2700104}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tecs/KerrisonE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/BlackmoreRE15, author = {Craig Blackmore and Oliver Ray and Kerstin Eder}, title = {A logic programming approach to predict effective compiler settings for embedded software}, journal = {Theory Pract. Log. Program.}, volume = {15}, number = {4-5}, pages = {481--494}, year = {2015}, url = {https://doi.org/10.1017/S1471068415000174}, doi = {10.1017/S1471068415000174}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tplp/BlackmoreRE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/HernandezEMSR15, author = {No{\'{e}} Hern{\'{a}}ndez and Kerstin Eder and Evgeni Magid and Jes{\'{u}}s Savage and David A. Rosenblueth}, editor = {Bernd Finkbeiner and Geguang Pu and Lijun Zhang}, title = {Marimba: {A} Tool for Verifying Properties of Hidden Markov Models}, booktitle = {Automated Technology for Verification and Analysis - 13th International Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9364}, pages = {201--206}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24953-7\_14}, doi = {10.1007/978-3-319-24953-7\_14}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/HernandezEMSR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cgo/PallisterEH15, author = {James Pallister and Kerstin Eder and Simon J. Hollis}, editor = {Kunle Olukotun and Aaron Smith and Robert Hundt and Jason Mars}, title = {Optimizing the flash-RAM energy trade-off in deeply embedded systems}, booktitle = {Proceedings of the 13th Annual {IEEE/ACM} International Symposium on Code Generation and Optimization, {CGO} 2015, San Francisco, CA, USA, February 07 - 11, 2015}, pages = {115--124}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/CGO.2015.7054192}, doi = {10.1109/CGO.2015.7054192}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cgo/PallisterEH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eucc/Araiza-IllanER15, author = {Dejanira Araiza{-}Illan and Kerstin Eder and Arthur Richards}, title = {Verification of control systems implemented in simulink with assertion checks and theorem proving: {A} case study}, booktitle = {14th European Control Conference, {ECC} 2015, Linz, Austria, July 15-17, 2015}, pages = {2670--2675}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/ECC.2015.7330941}, doi = {10.1109/ECC.2015.7330941}, timestamp = {Tue, 01 Jun 2021 15:22:59 +0200}, biburl = {https://dblp.org/rec/conf/eucc/Araiza-IllanER15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fopara/LiqatGK0GHE15, author = {Umer Liqat and Kyriakos Georgiou and Steve Kerrison and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and John P. Gallagher and Manuel V. Hermenegildo and Kerstin Eder}, editor = {Marko C. J. D. van Eekelen and Ugo Dal Lago}, title = {Inferring Parametric Energy Consumption Functions at Different Software Levels: {ISA} vs. {LLVM} {IR}}, booktitle = {Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, {FOPARA} 2015, London, UK, April 11, 2015, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9964}, pages = {81--100}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-46559-3\_5}, doi = {10.1007/978-3-319-46559-3\_5}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fopara/LiqatGK0GHE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/Araiza-IllanWPE15, author = {Dejanira Araiza{-}Illan and David G. Western and Anthony G. Pipe and Kerstin Eder}, editor = {Nir Piterman}, title = {Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans}, booktitle = {Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9434}, pages = {69--84}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-26287-1\_5}, doi = {10.1007/978-3-319-26287-1\_5}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hvc/Araiza-IllanWPE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mtv/SalemE15, author = {Mohamed A. Salem and Kerstin I. Eder}, title = {Novel {MC/DC} Coverage Test Sets Generation Algorithm, and {MC/DC} Design Fault Detection Strength Insights}, booktitle = {16th International Workshop on Microprocessor and {SOC} Test and Verification, {MTV} 2015, Austin, TX, USA, December 3-4, 2015}, pages = {32--37}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/MTV.2015.15}, doi = {10.1109/MTV.2015.15}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mtv/SalemE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scopes/GrechGPKME15, author = {Neville Grech and Kyriakos Georgiou and James Pallister and Steve Kerrison and Jeremy Morse and Kerstin Eder}, editor = {Henk Corporaal and Sander Stuijk}, title = {Static analysis of energy consumption for {LLVM} {IR} programs}, booktitle = {Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, {SCOPES} 2015, Sankt Goar, Germany, June 1-3, 2015}, pages = {12--21}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2764967.2764974}, doi = {10.1145/2764967.2764974}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/scopes/GrechGPKME15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/siot/McCannEO15, author = {David McCann and Kerstin Eder and Elisabeth Oswald}, editor = {Gabriel Ghinita and Pedro Peris{-}Lopez}, title = {Characterising and Comparing the Energy Consumption of Side Channel Attack Countermeasures and Lightweight Cryptography on Embedded Devices}, booktitle = {2015 International Workshop on Secure Internet of Things, SIoT 2015, Vienna, Austria, September 21-25, 2015}, pages = {65--71}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/SIOT.2015.11}, doi = {10.1109/SIOT.2015.11}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/siot/McCannEO15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/taros/AntunaACE15, author = {Laura R. Antu{\~{n}}a and Dejanira Araiza{-}Illan and S{\'{e}}rgio Campos and Kerstin Eder}, editor = {Clare Dixon and Karl Tuyls}, title = {Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms}, booktitle = {Towards Autonomous Robotic Systems - 16th Annual Conference, {TAROS} 2015, Liverpool, UK, September 8-10, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9287}, pages = {26--37}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-22416-9\_4}, doi = {10.1007/978-3-319-22416-9\_4}, timestamp = {Sat, 19 Oct 2019 20:07:36 +0200}, biburl = {https://dblp.org/rec/conf/taros/AntunaACE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/KerrisonE15, author = {Steve Kerrison and Kerstin Eder}, title = {A software controlled voltage tuning system using multi-purpose ring oscillators}, journal = {CoRR}, volume = {abs/1503.05733}, year = {2015}, url = {http://arxiv.org/abs/1503.05733}, eprinttype = {arXiv}, eprint = {1503.05733}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KerrisonE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/PallisterKME15, author = {James Pallister and Steve Kerrison and Jeremy Morse and Kerstin Eder}, title = {Data dependent energy modelling: {A} worst case perspective}, journal = {CoRR}, volume = {abs/1505.03374}, year = {2015}, url = {http://arxiv.org/abs/1505.03374}, eprinttype = {arXiv}, eprint = {1505.03374}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/PallisterKME15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AntunaACE15, author = {Laura R. Antu{\~{n}}a and Dejanira Araiza{-}Illan and S{\'{e}}rgio Campos and Kerstin Eder}, title = {Symmetry Reduction Enables Model Checking More Complex Emergent Behaviours of Swarm Navigation Algorithms}, journal = {CoRR}, volume = {abs/1505.05695}, year = {2015}, url = {http://arxiv.org/abs/1505.05695}, eprinttype = {arXiv}, eprint = {1505.05695}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AntunaACE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Araiza-IllanER15, author = {Dejanira Araiza{-}Illan and Kerstin Eder and Arthur Richards}, title = {Verification of Control Systems Implemented in Simulink with Assertion Checks and Theorem Proving: {A} Case Study}, journal = {CoRR}, volume = {abs/1505.05699}, year = {2015}, url = {http://arxiv.org/abs/1505.05699}, eprinttype = {arXiv}, eprint = {1505.05699}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Araiza-IllanER15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/HernandezEMSR15, author = {No{\'{e}} Hern{\'{a}}ndez and Kerstin Eder and Evgeni Magid and Jesus Savage and David A. Rosenblueth}, title = {Marimba: {A} Tool for Verifying Properties of Hidden Markov Models}, journal = {CoRR}, volume = {abs/1507.05597}, year = {2015}, url = {http://arxiv.org/abs/1507.05597}, eprinttype = {arXiv}, eprint = {1507.05597}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/HernandezEMSR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/KerrisonE15a, author = {Steve Kerrison and Kerstin Eder}, title = {Modeling and visualizing networked multi-core embedded software energy consumption}, journal = {CoRR}, volume = {abs/1509.02830}, year = {2015}, url = {http://arxiv.org/abs/1509.02830}, eprinttype = {arXiv}, eprint = {1509.02830}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KerrisonE15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Araiza-IllanWPE15, author = {Dejanira Araiza{-}Illan and David G. Western and Anthony G. Pipe and Kerstin Eder}, title = {Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans}, journal = {CoRR}, volume = {abs/1509.04852}, year = {2015}, url = {http://arxiv.org/abs/1509.04852}, eprinttype = {arXiv}, eprint = {1509.04852}, timestamp = {Tue, 18 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Araiza-IllanWPE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GeorgiouKE15, author = {Kyriakos Georgiou and Steve Kerrison and Kerstin Eder}, title = {On the Value and Limits of Multi-level Energy Consumption Static Analysis for Deeply Embedded Single and Multi-threaded Programs}, journal = {CoRR}, volume = {abs/1510.07095}, year = {2015}, url = {http://arxiv.org/abs/1510.07095}, eprinttype = {arXiv}, eprint = {1510.07095}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GeorgiouKE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Araiza-IllanE15, author = {Dejanira Araiza{-}Illan and Kerstin Eder}, title = {Evaluating Model Checking Approaches to Verify Stability of Control Systems in Simulink}, journal = {CoRR}, volume = {abs/1511.00412}, year = {2015}, url = {http://arxiv.org/abs/1511.00412}, eprinttype = {arXiv}, eprint = {1511.00412}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Araiza-IllanE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Araiza-IllanWPE15a, author = {Dejanira Araiza{-}Illan and David G. Western and Anthony G. Pipe and Kerstin Eder}, title = {Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions}, journal = {CoRR}, volume = {abs/1511.01354}, year = {2015}, url = {http://arxiv.org/abs/1511.01354}, eprinttype = {arXiv}, eprint = {1511.01354}, timestamp = {Tue, 18 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Araiza-IllanWPE15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/LiqatGKLGHE15, author = {Umer Liqat and Kyriakos Georgiou and Steve Kerrison and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and John P. Gallagher and Manuel V. Hermenegildo and Kerstin Eder}, title = {Inferring Parametric Energy Consumption Functions at Different Software Levels: {ISA} vs. {LLVM} {IR}}, journal = {CoRR}, volume = {abs/1511.01413}, year = {2015}, url = {http://arxiv.org/abs/1511.01413}, eprinttype = {arXiv}, eprint = {1511.01413}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/LiqatGKLGHE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/McCannEO15, author = {David McCann and Kerstin Eder and Elisabeth Oswald}, title = {Characterising and Comparing the Energy Consumption of Side Channel Attack Countermeasures and Lightweight Cryptography on Embedded Devices}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {832}, year = {2015}, url = {http://eprint.iacr.org/2015/832}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/McCannEO15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cases/PallisterEHB14, author = {James Pallister and Kerstin Eder and Simon J. Hollis and Jeremy Bennett}, editor = {Karam S. Chatha and Rolf Ernst and Anand Raghunathan and Ravishankar R. Iyer}, title = {A high-level model of embedded flash energy consumption}, booktitle = {2014 International Conference on Compilers, Architecture and Synthesis for Embedded Systems, {CASES} 2014, Uttar Pradesh, India, October 12-17, 2014}, pages = {20:1--20:9}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2656106.2656108}, doi = {10.1145/2656106.2656108}, timestamp = {Mon, 15 May 2023 22:11:16 +0200}, biburl = {https://dblp.org/rec/conf/cases/PallisterEHB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iros/TrojanekE14, author = {Piotr Trojanek and Kerstin Eder}, title = {Verification and testing of mobile robot navigation algorithms: {A} case study in {SPARK}}, booktitle = {2014 {IEEE/RSJ} International Conference on Intelligent Robots and Systems, {IROS} 2014, Chicago, IL, USA, September 14-18, 2014}, pages = {1489--1494}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/IROS.2014.6942753}, doi = {10.1109/IROS.2014.6942753}, timestamp = {Tue, 05 Sep 2023 15:07:47 +0200}, biburl = {https://dblp.org/rec/conf/iros/TrojanekE14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ro-man/EderHL14, author = {Kerstin Eder and Chris Harper and Ute Leonards}, title = {Towards the safety of human-in-the-loop robotics: Challenges and opportunities for safety assurance of robotic co-workers'}, booktitle = {The 23rd {IEEE} International Symposium on Robot and Human Interactive Communication, {IEEE} {RO-MAN} 2014, Edinburgh, UK, August 25-29, 2014}, pages = {660--665}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ROMAN.2014.6926328}, doi = {10.1109/ROMAN.2014.6926328}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ro-man/EderHL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/FieldAE14, author = {Hayden Field and Glen Anderson and Kerstin Eder}, editor = {Yookun Cho and Sung Y. Shin and Sang{-}Wook Kim and Chih{-}Cheng Hung and Jiman Hong}, title = {{EACOF:} a framework for providing energy transparency to enable energy-aware software development}, booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014}, pages = {1194--1199}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2554850.2554920}, doi = {10.1145/2554850.2554920}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/FieldAE14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/PallisterEHB14, author = {James Pallister and Kerstin Eder and Simon J. Hollis and Jeremy Bennett}, title = {A high-level model of embedded flash energy consumption}, journal = {CoRR}, volume = {abs/1404.1602}, year = {2014}, url = {http://arxiv.org/abs/1404.1602}, eprinttype = {arXiv}, eprint = {1404.1602}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/PallisterEHB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/EderHL14, author = {Kerstin Eder and Chris Harper and Ute Leonards}, title = {Towards the Safety of Human-in-the-Loop Robotics: Challenges and Opportunities for Safety Assurance of Robotic Co-Workers}, journal = {CoRR}, volume = {abs/1404.2229}, year = {2014}, url = {http://arxiv.org/abs/1404.2229}, eprinttype = {arXiv}, eprint = {1404.2229}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/EderHL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GrechGPKE14, author = {Neville Grech and Kyriakos Georgiou and James Pallister and Steve Kerrison and Kerstin Eder}, title = {Static energy consumption analysis of {LLVM} {IR} programs}, journal = {CoRR}, volume = {abs/1405.4565}, year = {2014}, url = {http://arxiv.org/abs/1405.4565}, eprinttype = {arXiv}, eprint = {1405.4565}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/GrechGPKE14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Araiza-IllanER14, author = {Dejanira Araiza{-}Illan and Kerstin Eder and Arthur Richards}, title = {Formal Verification of Control Systems Properties with Theorem Proving}, journal = {CoRR}, volume = {abs/1405.7615}, year = {2014}, url = {http://arxiv.org/abs/1405.7615}, eprinttype = {arXiv}, eprint = {1405.7615}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Araiza-IllanER14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FieldAE14, author = {Hayden Field and Glen Anderson and Kerstin Eder}, title = {{EACOF:} {A} Framework for Providing Energy Transparency to enable Energy-Aware Software Development}, journal = {CoRR}, volume = {abs/1406.0117}, year = {2014}, url = {http://arxiv.org/abs/1406.0117}, eprinttype = {arXiv}, eprint = {1406.0117}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FieldAE14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/PallisterEH14, author = {James Pallister and Kerstin Eder and Simon J. Hollis}, title = {Optimizing the flash-RAM energy trade-off in deeply embedded systems}, journal = {CoRR}, volume = {abs/1406.0403}, year = {2014}, url = {http://arxiv.org/abs/1406.0403}, eprinttype = {arXiv}, eprint = {1406.0403}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/PallisterEH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iros/GrigoreEPML13, author = {Elena Corina Grigore and Kerstin Eder and Anthony G. Pipe and Chris Melhuish and Ute Leonards}, title = {Joint action understanding improves robot-to-human object handover}, booktitle = {2013 {IEEE/RSJ} International Conference on Intelligent Robots and Systems, {IROS} 2013, Tokyo, Japan, November 3-7, 2013}, pages = {4622--4629}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/IROS.2013.6697021}, doi = {10.1109/IROS.2013.6697021}, timestamp = {Tue, 05 Sep 2023 15:06:24 +0200}, biburl = {https://dblp.org/rec/conf/iros/GrigoreEPML13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/LiqatKSGLGHE13, author = {Umer Liqat and Steve Kerrison and Alejandro Serrano and Kyriakos Georgiou and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Neville Grech and Manuel V. Hermenegildo and Kerstin Eder}, editor = {Gopal Gupta and Ricardo Pe{\~{n}}a}, title = {Energy Consumption Analysis of Programs Based on {XMOS} ISA-Level Models}, booktitle = {Logic-Based Program Synthesis and Transformation, 23rd International Symposium, {LOPSTR} 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8901}, pages = {72--90}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-14125-1\_5}, doi = {10.1007/978-3-319-14125-1\_5}, timestamp = {Wed, 26 Oct 2022 22:55:46 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/LiqatKSGLGHE13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mtv/SalemE13, author = {Mohamed A. Salem and Kerstin I. Eder}, title = {Modified Condition Decision Coverage: {A} Hardware Verification Perspective}, booktitle = {14th International Workshop on Microprocessor Test and Verification, {MTV} 2013, Austin, TX, USA, December 11-13, 2013}, pages = {8--13}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/MTV.2013.16}, doi = {10.1109/MTV.2013.16}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mtv/SalemE13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/daglib/p/WrightE13, author = {Stephen Wright and Kerstin Eder}, editor = {Alexander B. Romanovsky and Martyn Thomas}, title = {Experience of Deploying Event-B in Industrial Microprocessor Development}, booktitle = {Industrial Deployment of System Engineering Methods}, pages = {107--122}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-33170-1\_9}, doi = {10.1007/978-3-642-33170-1\_9}, timestamp = {Mon, 05 Feb 2024 20:35:54 +0100}, biburl = {https://dblp.org/rec/books/daglib/p/WrightE13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/todaes/IoannidesE12, author = {Charalambos Ioannides and Kerstin Eder}, title = {Coverage-Directed Test Generation Automated by Machine Learning - {A} Review}, journal = {{ACM} Trans. Design Autom. Electr. Syst.}, volume = {17}, number = {1}, pages = {7:1--7:21}, year = {2012}, url = {https://doi.org/10.1145/2071356.2071363}, doi = {10.1145/2071356.2071363}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/todaes/IoannidesE12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifm/BlackmoreHBER12, author = {Tim Blackmore and David Halliwell and Philip Barker and Kerstin Eder and Naresh Ramaram}, editor = {John Derrick and Stefania Gnesi and Diego Latella and Helen Treharne}, title = {Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports}, booktitle = {Integrated Formal Methods - 9th International Conference, {IFM} 2012, Pisa, Italy, June 18-21, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7321}, pages = {84--98}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30729-4\_7}, doi = {10.1007/978-3-642-30729-4\_7}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/ifm/BlackmoreHBER12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/hvc/2011, editor = {Kerstin Eder and Jo{\~{a}}o Louren{\c{c}}o and Onn Shehory}, title = {Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7261}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34188-5}, doi = {10.1007/978-3-642-34188-5}, isbn = {978-3-642-34187-8}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hvc/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/WrightE11, author = {Stephen Wright and Kerstin Eder}, title = {Using Event-B to construct instruction set architectures}, journal = {Formal Aspects Comput.}, volume = {23}, number = {1}, pages = {73--89}, year = {2011}, url = {https://doi.org/10.1007/s00165-009-0142-7}, doi = {10.1007/S00165-009-0142-7}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/WrightE11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cec/IoannidesBE11, author = {Charalambos Ioannides and Geoff Barrett and Kerstin Eder}, title = {Improving {XCS} performance on overlapping binary problems}, booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC} 2011, New Orleans, LA, USA, 5-8 June, 2011}, pages = {1420--1427}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/CEC.2011.5949782}, doi = {10.1109/CEC.2011.5949782}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cec/IoannidesBE11.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/formats/KharmehEM11, author = {Suleiman Abu Kharmeh and Kerstin Eder and David May}, editor = {Uli Fahrenberg and Stavros Tripakis}, title = {A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface}, booktitle = {Formal Modeling and Analysis of Timed Systems - 9th International Conference, {FORMATS} 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6919}, pages = {335--351}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24310-3\_23}, doi = {10.1007/978-3-642-24310-3\_23}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/formats/KharmehEM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gecco/IoannidesBE11, author = {Charalambos Ioannides and Geoff Barrett and Kerstin Eder}, editor = {Natalio Krasnogor and Pier Luca Lanzi}, title = {{XCS} cannot learn all boolean functions}, booktitle = {13th Annual Genetic and Evolutionary Computation Conference, {GECCO} 2011, Proceedings, Dublin, Ireland, July 12-16, 2011}, pages = {1283--1290}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2001576.2001749}, doi = {10.1145/2001576.2001749}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gecco/IoannidesBE11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hldvt/IoannidesBE11, author = {Charalambos Ioannides and Geoff Barrett and Kerstin Eder}, editor = {Zeljko Zilic and Sandeep K. Shukla}, title = {Introducing {XCS} to Coverage Directed test Generation}, booktitle = {2011 {IEEE} International High Level Design Validation and Test Workshop, {HLDVT} 2011, Napa Valley, CA, USA, November 9-11, 2011}, pages = {57--64}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/HLDVT.2011.6114166}, doi = {10.1109/HLDVT.2011.6114166}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hldvt/IoannidesBE11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/YuanWEM11, author = {Fangfang Yuan and Stephen Wright and Kerstin Eder and David May}, editor = {Shengchao Qin and Zongyan Qiu}, title = {Managing Complexity through Abstraction: {A} Refinement-Based Approach to Formalize Instruction Set Architectures}, booktitle = {Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6991}, pages = {585--600}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24559-6\_39}, doi = {10.1007/978-3-642-24559-6\_39}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/icfem/YuanWEM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/taros/GrigoreELSPM11, author = {Elena Corina Grigore and Kerstin Eder and Alexander Lenz and Sergey Skachek and Anthony G. Pipe and Chris Melhuish}, editor = {Roderich Gro{\ss} and Lyuba Alboul and Chris Melhuish and Mark Witkowski and Tony J. Prescott and Jacques Penders}, title = {Towards Safe Human-Robot Interaction}, booktitle = {Towards Autonomous Robotic Systems - 12th Annual Conference, {TAROS} 2011, Sheffield, UK, August 31 - September 2, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6856}, pages = {323--335}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23232-9\_29}, doi = {10.1007/978-3-642-23232-9\_29}, timestamp = {Mon, 03 Jan 2022 22:19:33 +0100}, biburl = {https://dblp.org/rec/conf/taros/GrigoreELSPM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/IoannidesBE10, author = {Charalambos Ioannides and Geoff Barrett and Kerstin Eder}, editor = {Sharon Barner and Ian G. Harris and Daniel Kroening and Orna Raz}, title = {Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation}, booktitle = {Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, {HVC} 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6504}, pages = {112--128}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-19583-9\_13}, doi = {10.1007/978-3-642-19583-9\_13}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hvc/IoannidesBE10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hldvt/HsuehE06, author = {Hsiou{-}Wen Hsueh and Kerstin Eder}, title = {Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming}, booktitle = {Eleventh Annual {IEEE} International High-Level Design Validation and Test Workshop 2006, Monterey, CA, USA, Nov 9-10, 2006}, pages = {11--18}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/HLDVT.2006.320005}, doi = {10.1109/HLDVT.2006.320005}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hldvt/HsuehE06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ilp/EderFH06, author = {Kerstin Eder and Peter A. Flach and Hsiou{-}Wen Hsueh}, editor = {Stephen H. Muggleton and Ram{\'{o}}n P. Otero and Alireza Tamaddoni{-}Nezhad}, title = {Towards Automating Simulation-Based Design Verification Using {ILP}}, booktitle = {Inductive Logic Programming, 16th International Conference, {ILP} 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4455}, pages = {154--168}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-73847-3\_20}, doi = {10.1007/978-3-540-73847-3\_20}, timestamp = {Sat, 30 Apr 2022 12:43:31 +0200}, biburl = {https://dblp.org/rec/conf/ilp/EderFH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/EderB02, author = {Kerstin Eder and Geoff Barrett}, title = {Achieving maximum performance: a method for the verification of interlocked pipeline control logic}, booktitle = {Proceedings of the 39th Design Automation Conference, {DAC} 2002, New Orleans, LA, USA, June 10-14, 2002}, pages = {135--140}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/513918.513953}, doi = {10.1145/513918.513953}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/EderB02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/ethos/Eder98, author = {Kerstin I. Eder}, title = {{EMA} : implementing the rewriting computational model of Escher}, school = {University of Bristol, {UK}}, year = {1998}, url = {http://research-information.bristol.ac.uk/en/theses/ema-implementing-the-rewriting-computational-model-of-escher(88b9dbfb-4c91-454b-8a25-163c12e8d72e).html}, timestamp = {Tue, 05 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ethos/Eder98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/elp/EderHT96, author = {Kerstin Eder and Steffen H{\"{o}}lldobler and Michael Thielscher}, editor = {Roy Dyckhoff and Heinrich Herre and Peter Schroeder{-}Heister}, title = {An Abstract Machine for Reasoning about Situations, Actions, and Causality}, booktitle = {Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1050}, pages = {137--151}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-60983-0\_9}, doi = {10.1007/3-540-60983-0\_9}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/elp/EderHT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wlp/EderHT95, author = {Kerstin Eder and Steffen H{\"{o}}lldobler and Michael Thielscher}, editor = {Andreas Krall and Ulrich Geske}, title = {A Resource-Oriented Deductive Approach Towards Hierarchical Planning}, booktitle = {11. Workshop Logische Programmierung, Technische Universit{\"{a}}t Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270}, pages = {237--246}, year = {1995}, timestamp = {Thu, 21 Mar 2019 11:27:24 +0100}, biburl = {https://dblp.org/rec/conf/wlp/EderHT95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.