{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:42:27Z","timestamp":1730342547578,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,4]]},"DOI":"10.23919\/date56975.2023.10137198","type":"proceedings-article","created":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T19:32:57Z","timestamp":1685734377000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems"],"prefix":"10.23919","author":[{"given":"Benjamin","family":"Rouxel","sequence":"first","affiliation":[{"name":"Unimore,Italy"}]},{"given":"Christopher","family":"Brown","sequence":"additional","affiliation":[{"name":"University of St.Andrews,United Kingdom"}]},{"given":"Emad","family":"Ebeid","sequence":"additional","affiliation":[{"name":"University of Southern Denmark,Denmark"}]},{"given":"Kerstin","family":"Eder","sequence":"additional","affiliation":[{"name":"University of Bristol,United Kingdom"}]},{"given":"Heiko","family":"Falk","sequence":"additional","affiliation":[{"name":"Hamburg University of Technology,Germany"}]},{"given":"Clemens","family":"Grelck","sequence":"additional","affiliation":[{"name":"University of Amsterdam,Netherlands"}]},{"given":"Jesper","family":"Holst","sequence":"additional","affiliation":[{"name":"Sky Watch A\/S,Denmark"}]},{"given":"Shashank","family":"Jadhav","sequence":"additional","affiliation":[{"name":"Hamburg University of Technology,Germany"}]},{"given":"Yoann","family":"Marquer","sequence":"additional","affiliation":[{"name":"University of Luxembourg,Luxembourg"}]},{"given":"Marcos Martinez","family":"De Alejandro","sequence":"additional","affiliation":[{"name":"Thales Alenia Space, Madrid, Spain"}]},{"given":"Kris","family":"Nikov","sequence":"additional","affiliation":[{"name":"University of Bristol,United Kingdom"}]},{"given":"Ali","family":"Sahafi","sequence":"additional","affiliation":[{"name":"University of Southern Denmark,Denmark"}]},{"given":"Ulrik Pagh Schultz","family":"Lundquist","sequence":"additional","affiliation":[{"name":"University of Southern Denmark,Denmark"}]},{"given":"Adam","family":"Seewald","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, Connecticut, 06520"}]},{"given":"Vangelis","family":"Vassalos","sequence":"additional","affiliation":[{"name":"Irida Labs AE,Greece"}]},{"given":"Simon","family":"Wegener","sequence":"additional","affiliation":[{"name":"AbsInt Angewandte Informatik GmbH,Germany"}]},{"given":"Olivier","family":"Zendra","sequence":"additional","affiliation":[{"name":"INRIA, University of Rennes, CNRS, IRISA,France"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-50029-0_4"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3425898.3426954"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3498886.3502202"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3354166.3354171"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3464298.3493402"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/IROS47612.2022.9981285"},{"key":"ref30","first-page":"11","volume":"61","author":"ebeid","year":"2018","journal-title":"A survey of open-source UAV flight controllers and flight simulators"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/IRC.2020.00054"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH48897.2020.00017"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/IRC.2020.00028"},{"journal-title":"The Indiscernibility Methodology quantifying information leakage from side-channels with no prior knowledge","year":"2022","author":"marquer","key":"ref10"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-010-9101-x"},{"journal-title":"Deliverable D1 2 Report on Initial Implementation of Proof Library including Initial Contract Specification Language Implementation","article-title":"TeamPlay Consortium","year":"2020","key":"ref1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814618"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3412932.3412944"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-019-00645-y"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3359061.3362775"},{"key":"ref24","article-title":"Tuning the WCET of embedded applications","author":"zhao","year":"2004","journal-title":"Proc IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2001.933993"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2006.882884"},{"journal-title":"Deliverable D5 4 Report on Assessment of Project Outcomes","year":"2020","key":"ref25"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3412841.3441930"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2016.07.003"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MCSoC51149.2021.00016"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/RTC.2005.1547397"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-022-17502-7"},{"key":"ref29","article-title":"GR712RC LEON3 Power Model Data","author":"nikov","year":"2021","journal-title":"IEEE Dataport"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2022.3147308"},{"article-title":"Deliverable D4.5: Report on Energy Usage Analysis and on Prototype","year":"2020","author":"consortium","key":"ref7"},{"key":"ref9","article-title":"A comprehensive and accurate energy model for arm's cortex-m0 processor","author":"georgiou","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref4","first-page":"25","article-title":"Reasoning about non-functional properties using compiler intrinsic function annotations","author":"jadhav","year":"0","journal-title":"13th Junior Researcher Workshop on Real-Time Computing ser JRWRTC ‘19"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3207719.3207729"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8157-6_29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3323439.3323977"}],"event":{"name":"2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2023,4,17]]},"location":"Antwerp, Belgium","end":{"date-parts":[[2023,4,19]]}},"container-title":["2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10136870\/10136706\/10137198.pdf?arnumber=10137198","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,10]],"date-time":"2023-10-10T17:56:17Z","timestamp":1696960577000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10137198\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4]]},"references-count":34,"URL":"https:\/\/doi.org\/10.23919\/date56975.2023.10137198","relation":{},"subject":[],"published":{"date-parts":[[2023,4]]}}}