BibTeX records: Kerstin Eder

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics