{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T16:07:42Z","timestamp":1770739662687,"version":"3.49.0"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Région Occitanie","award":["Cossues-EnR"],"award-info":[{"award-number":["Cossues-EnR"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Sustain. Comput."],"published-print":{"date-parts":[[2026,1]]},"DOI":"10.1109\/tsusc.2025.3645150","type":"journal-article","created":{"date-parts":[[2025,12,17]],"date-time":"2025-12-17T18:48:46Z","timestamp":1765997326000},"page":"57-71","source":"Crossref","is-referenced-by-count":0,"title":["Formal Modeling and Analysis of Small-Scale Data Centers Integrating Renewable Energy Using Timed Automata"],"prefix":"10.1109","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-1933-504X","authenticated-orcid":false,"given":"Ismael","family":"Samaye","sequence":"first","affiliation":[{"name":"LIRMM, Univ. Montpellier and CNRS, Montpellier, France"}]},{"given":"Gilles","family":"Sassatelli","sequence":"additional","affiliation":[{"name":"LIRMM, Univ. Montpellier and CNRS, Montpellier, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8326-3257","authenticated-orcid":false,"given":"Abdoulaye","family":"Gamati\u00e9","sequence":"additional","affiliation":[{"name":"LIRMM, Univ. Montpellier and CNRS, Montpellier, France"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1126\/science.aba3758"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1038\/d41586-018-06610-y"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2016.2545109"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSUSC.2020.3031450"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC57885.2023.10275260"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSUSC.2020.3035234"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.applthermaleng.2024.122479"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.enconman.2023.117985"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSUSC.2021.3086087"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSUSC.2022.3210564"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSUSC.2021.3058588"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSUSC.2022.3197090"},{"key":"ref13","article-title":"Shining a light on small data centers in the U.S. energy analysis and environmental impacts division LBN Lab","author":"Ganeshalingam","year":"2017"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2022.06.008"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11936-6_10"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD53861.2021.00037"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSUSC.2018.2822674"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3472456.3473514"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2022.04.001"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSUSC.2017.2709980"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSUSC.2020.3014943"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2013.6655227"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.renene.2012.10.038"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSUSC.2023.3307790"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2018.10.160"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/IGSC51522.2020.9291049"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSUSC.2021.3115388"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2800693"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.suscom.2022.100844"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24310-3_7"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9474224"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75454-1_15"},{"key":"ref34","article-title":"Evaluation de l\u2019impact environ. du num\u00e9rique en France et analyse prospective","year":"2022"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-011-0194-3"},{"key":"ref36","article-title":"Open-meteo API documentation","year":"2024"},{"key":"ref37","article-title":"Data centers & the environment","author":"Company","year":"2021"},{"key":"ref38","article-title":"Astroids","year":"2024"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2016.12.022"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2015.2458273"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3007611.2892245"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2023.3239113"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71389-0_9"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/FSKD.2008.410"},{"key":"ref45","article-title":"Genesis PTA templates for Uppaal Stratego","author":"Samaye","year":"2024"}],"container-title":["IEEE Transactions on Sustainable Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/7274860\/11372598\/11301665.pdf?arnumber=11301665","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T21:09:21Z","timestamp":1770671361000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11301665\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1]]},"references-count":45,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tsusc.2025.3645150","relation":{},"ISSN":["2377-3782","2377-3790"],"issn-type":[{"value":"2377-3782","type":"electronic"},{"value":"2377-3790","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,1]]}}}