{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T09:49:46Z","timestamp":1782899386818,"version":"3.54.5"},"reference-count":43,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,24]],"date-time":"2026-05-24T00:00:00Z","timestamp":1779580800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,24]],"date-time":"2026-05-24T00:00:00Z","timestamp":1779580800000},"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":[[2026,5,24]]},"DOI":"10.23919\/ifipnetworking70592.2026.11579070","type":"proceedings-article","created":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T21:15:34Z","timestamp":1782854134000},"page":"1-9","source":"Crossref","is-referenced-by-count":0,"title":["JADE: Just A Deterministic Emulator to Support the Verification of Protocol Implementations"],"prefix":"10.23919","author":[{"given":"Tom","family":"Rousseaux","sequence":"first","affiliation":[{"name":"UCLouvain (ICTEAM),Louvain-la-Neuve,Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alix","family":"Temmerman","sequence":"additional","affiliation":[{"name":"UCLouvain (ICTEAM),Louvain-la-Neuve,Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olivier","family":"Bonaventure","sequence":"additional","affiliation":[{"name":"UCLouvain (ICTEAM),Louvain-la-Neuve,Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.26"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2133375.2133378"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.17487\/RFC9000","article-title":"QUIC: A UDP-Based Multiplexed and Secure Transport","author":"Iyengar","year":"2021"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.17487\/RFC8446","article-title":"The Transport Layer Security (TLS) Protocol Version 1.3","author":"Rescorla","year":"2018"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-56252-5_13"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3708821.3736222"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3284850.3284852"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53291-8_12"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908118"},{"key":"ref10","first-page":"9","article-title":"On the formal verification of the stellar consensus protocol","volume-title":"2nd Workshop on Formal Methods for Blockchains (FMBC 2020)","author":"Losa"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3158114"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-021-00377-1"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192414"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25543-5_15"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3140568"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2016.7886668"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3488660.3493803"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/SecDev.2019.00031"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-62645-6_10"},{"key":"ref20","article-title":"Towards scalable automated program verification for system software","author":"Zhou","year":"2025"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2499368.2451170"},{"key":"ref22","article-title":"The network simulator\u2013ns-2","author":"Simulator","year":"2009"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12331-3_2"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-12842-5_1"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2017.8247825"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.21236\/ADA559181"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2535372.2535374"},{"key":"ref28","first-page":"10","article-title":"Temporal control in real-time systems: Languages and systems","author":"Fischmeister","year":"2007","journal-title":"Handbook of Real-Time and Embedded Systems"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.3390\/electronics9020272"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3321349.3321351"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3460797.3460798"},{"key":"ref32","article-title":"quic-network-simulator","author":"Iyengar","year":"2025"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3532577.3532597"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1868447.1868466"},{"issue":"2008","key":"ref35","article-title":"Finding and reproducing heisenbugs in concurrent programs","volume":"8","author":"Musuvathi","year":"2008","journal-title":"OSDI"},{"key":"ref36","article-title":"Helgrind: a thread error detector"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250746"},{"key":"ref38","article-title":"Deterministic process groups in {dOS}","volume-title":"in 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10)","author":"Bergan"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45449-7_12"},{"key":"ref40","first-page":"103","article-title":"Fun with ld preload","volume":"153","author":"Pulo","year":"2009","journal-title":"linux. conf. au"},{"key":"ref41","article-title":"The gnu c library","year":"2023"},{"key":"ref42","article-title":"User space tcp-getting lkl ready for the prime time","volume":"1","author":"Chu","year":"2016","journal-title":"Linux Netdev"},{"key":"ref43","first-page":"327","article-title":"Co-opting linux processes for {High-Performance} network simulation","volume-title":"2022 USENIX Annual Technical Conference (USENIX ATC 22)","author":"Jansen"}],"event":{"name":"2026 IFIP Networking Conference (IFIP Networking)","location":"Lugano, Switzerland","start":{"date-parts":[[2026,5,24]]},"end":{"date-parts":[[2026,5,27]]}},"container-title":["2026 IFIP Networking Conference (IFIP Networking)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11578949\/11578438\/11579070.pdf?arnumber=11579070","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T09:23:49Z","timestamp":1782897829000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11579070\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,24]]},"references-count":43,"URL":"https:\/\/doi.org\/10.23919\/ifipnetworking70592.2026.11579070","relation":{},"subject":[],"published":{"date-parts":[[2026,5,24]]}}}