{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T06:54:22Z","timestamp":1764658462815,"version":"3.46.0"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T00:00:00Z","timestamp":1761004800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T00:00:00Z","timestamp":1761004800000},"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":[[2025,10,21]]},"DOI":"10.1109\/issrew67781.2025.00046","type":"proceedings-article","created":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T18:23:50Z","timestamp":1764613430000},"page":"57-62","source":"Crossref","is-referenced-by-count":0,"title":["Mercury 6.1: a Unified Platform for Stochastic Modeling, Analysis, and Decision Support"],"prefix":"10.1109","author":[{"given":"Thiago","family":"Pinheiro","sequence":"first","affiliation":[{"name":"Informatics Center, Federal University of Pernambuco (UFPE),Recife,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vin\u00edcius","family":"Almeida","sequence":"additional","affiliation":[{"name":"Informatics Center, Federal University of Pernambuco (UFPE),Recife,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo","family":"Santana","sequence":"additional","affiliation":[{"name":"Informatics Center, Federal University of Pernambuco (UFPE),Recife,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f4natas","family":"Silva","sequence":"additional","affiliation":[{"name":"Informatics Center, Federal University of Pernambuco (UFPE),Recife,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Mialaret","sequence":"additional","affiliation":[{"name":"Informatics Center, Federal University of Pernambuco (UFPE),Recife,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo","family":"Maciel","sequence":"additional","affiliation":[{"name":"Informatics Center, Federal University of Pernambuco (UFPE),Recife,Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1201\/9781003306016"},{"volume-title":"Intro to blocksim: System reliability, availability and maintainability analysis tool","year":"2021","author":"Br\u00fcel","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66335-7_19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2017.7934794"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_31"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530884"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10696-0_18"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1201\/9781003306030"},{"issue":"1","key":"ref10","doi-asserted-by":"crossref","first-page":"238","DOI":"10.3390\/en7010238","article-title":"An integrated modeling approach to evaluate and optimize data center sustainability, dependability and cost","volume":"7","author":"Callou","year":"2014","journal-title":"Energies"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-022-04361-2"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-020-03617-z"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-020-03617-z"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon61195.2024.10553490"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-022-04967-6"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon61195.2024.10553421"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon61195.2024.10553470"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s40860-024-00220-4"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1016\/j.pmcj.2016.10.002","article-title":"Impact of capacity and discharging rate on battery life time: A stochastic model to support mobile device autonomy planning","volume":"39","author":"Araujo","year":"2017","journal-title":"Pervasive and Mobile Computing"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-015-0447-8"}],"event":{"name":"2025 IEEE 36th International Symposium on Software Reliability Engineering Workshops (ISSREW)","start":{"date-parts":[[2025,10,21]]},"location":"S\u00e3o Paulo, Brazil","end":{"date-parts":[[2025,10,21]]}},"container-title":["2025 IEEE 36th International Symposium on Software Reliability Engineering Workshops (ISSREW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11262267\/11262260\/11262340.pdf?arnumber=11262340","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T06:51:11Z","timestamp":1764658271000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11262340\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,21]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/issrew67781.2025.00046","relation":{},"subject":[],"published":{"date-parts":[[2025,10,21]]}}}