{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T23:20:41Z","timestamp":1777936841897,"version":"3.51.4"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,12,4]],"date-time":"2023-12-04T00:00:00Z","timestamp":1701648000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,12,4]],"date-time":"2023-12-04T00:00:00Z","timestamp":1701648000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100006965","name":"Dhabi's Advanced Technology Research Council (ATRC)","doi-asserted-by":"publisher","award":["IT5G ASPIRE\/ZU R22036 EU2105"],"award-info":[{"award-number":["IT5G ASPIRE\/ZU R22036 EU2105"]}],"id":[{"id":"10.13039\/100006965","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,12,4]]},"DOI":"10.1109\/globecom54140.2023.10437456","type":"proceedings-article","created":{"date-parts":[[2024,2,26]],"date-time":"2024-02-26T19:45:36Z","timestamp":1708976736000},"page":"2457-2462","source":"Crossref","is-referenced-by-count":3,"title":["Probabilistic Model Checking for Unconfirmed Transmission in LoRaWAN on the MAC Layer"],"prefix":"10.1109","author":[{"given":"Mi","family":"Chen","sequence":"first","affiliation":[{"name":"Univ Paris Est Creteil, LACL,Creteil,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lynda","family":"Mokdad","sequence":"additional","affiliation":[{"name":"Univ Paris Est Creteil, LACL,Creteil,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jalel Ben","family":"Othman","sequence":"additional","affiliation":[{"name":"Univ Paris-Saclay,CNRS, CentraleSupélec Lab. L2S,Gif-sur-Yvette,France,91190"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Michel","family":"Fourneau","sequence":"additional","affiliation":[{"name":"Univ de Versailles,Lab. DAVID"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Lorawan\u00ae 12 1.0.4 specification (ts001-1.0. 4)","year":"2020"},{"key":"ref2","volume-title":"Lora alliance lorawan and 5g info-graphic","year":"2022"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.3390\/s20030648"},{"key":"ref4","volume-title":"An in-depth look at lorawan class a devices","year":"2019"},{"key":"ref5","volume-title":"Rp002-1.0. 3 lorawan regional parameters","year":"2021"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1145\/2988287.2989163","article-title":"Do lora low-power wide-area networks scale?","volume-title":"Proceedings of the 19th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems","author":"Bor","year":"2016"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2017.2768498"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2019.2953804"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67639-5_13"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC53001.2021.9631494"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IWCMC58020.2023.10183205"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/GLOBECOM46510.2021.9685783"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2023.3239301"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/GLOBECOM54140.2023.10436733"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-042820-010947"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3055771"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2016.15"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCSPA49915.2021.9385754"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.34"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45605-8_11"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.04.012"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICC45855.2022.9838364"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/s0304-3975(01)00046-9"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1995.495197"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-48654-1_35"},{"key":"ref27","article-title":"Understanding collisions in a lorawan","author":"Rahmadhani","year":"2017","journal-title":"Surf Wiki"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/bf01211866"}],"event":{"name":"GLOBECOM 2023 - 2023 IEEE Global Communications Conference","location":"Kuala Lumpur, Malaysia","start":{"date-parts":[[2023,12,4]]},"end":{"date-parts":[[2023,12,8]]}},"container-title":["GLOBECOM 2023 - 2023 IEEE Global Communications Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10436708\/10436716\/10437456.pdf?arnumber=10437456","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T20:23:17Z","timestamp":1710361397000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10437456\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,4]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/globecom54140.2023.10437456","relation":{},"subject":[],"published":{"date-parts":[[2023,12,4]]}}}