{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T06:35:19Z","timestamp":1774679719862,"version":"3.50.1"},"reference-count":55,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T00:00:00Z","timestamp":1693526400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"name":"NRRP Mission 4, Comp. 2, Inv. 1.5, NextGenEU, MUR CUP","award":["B83C22002820006"],"award-info":[{"award-number":["B83C22002820006"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2023,9,1]]},"DOI":"10.1109\/tse.2023.3298432","type":"journal-article","created":{"date-parts":[[2023,7,26]],"date-time":"2023-07-26T18:33:40Z","timestamp":1690396420000},"page":"4443-4455","source":"Crossref","is-referenced-by-count":9,"title":["Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems"],"prefix":"10.1109","volume":"49","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3355-2170","authenticated-orcid":false,"given":"Toni","family":"Mancini","sequence":"first","affiliation":[{"name":"Computer Science Department, Sapienza University of Rome, Rome, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6273-6190","authenticated-orcid":false,"given":"Igor","family":"Melatti","sequence":"additional","affiliation":[{"name":"Department of Information Engineering, Computer Science and Mathematics, University of L’Aquila, L’Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0377-3119","authenticated-orcid":false,"given":"Enrico","family":"Tronci","sequence":"additional","affiliation":[{"name":"Computer Science Department, Sapienza University of Rome, Rome, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24953-7_35"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24372-1_1"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17524-9_10"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0187-8"},{"key":"ref52","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/978-3-540-79707-4_7","article-title":"Integration of formal analysis into a model-based software development process","volume":"4916","author":"whalen","year":"2007","journal-title":"Proc FMICS in Lecture Notes in Computer Science"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0076-y"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-013-0195-3"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40196-1_12"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_17"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_22"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref19","first-page":"165","article-title":"Quantitative model checking","author":"grosu","year":"2004","journal-title":"Proc ISOLA"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3127041.3127057"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2019.8917375"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2014.6987615"},{"key":"ref46","doi-asserted-by":"crossref","first-page":"5465","DOI":"10.1093\/bioinformatics\/btaa1026","article-title":"Complete populations of virtual patients for in silico clinical trials","volume":"36","author":"sinisi","year":"2020","journal-title":"Bioinformatics"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2021.102277"},{"key":"ref48","author":"sontag","year":"1998","journal-title":"Mathematical Control Theory Deterministic Finite Dimensional Systems"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/63.484413"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/2506583.2512390"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/11901433_33"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3076125.3076128"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88494-9_17"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/1113830.1113834"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21461-5_4"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13464-7_4"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0477-x"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22944-2_28"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3158668"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_20"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19835-9_21","article-title":"S-TaLiRo: A tool for temporal logic falsification for hybrid systems","volume":"6605","author":"annpureddy","year":"2011","journal-title":"Proc TACAS in Lecture Notes in Computer Science"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2559934"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/SmartGridComm.2014.7007745"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2021.100640"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2015.35"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/SmartGridComm.2018.8587416"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.193.7"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2014.91"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2016-1444"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2015.10.010"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_24"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465797"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16480-9_52"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3109842"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_38"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_37"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.35"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2013.24"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_18"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/s10009-017-0447-4","article-title":"Mining parametric temporal logic properties in model based design for cyber-physical systems","volume":"20","author":"hoxha","year":"2017","journal-title":"Int J Softw Tools for Technol Transfer"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2016.2596790"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_21"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2017.02.001"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/10255132\/10195878.pdf?arnumber=10195878","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,9]],"date-time":"2023-10-09T18:56:07Z","timestamp":1696877767000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10195878\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,1]]},"references-count":55,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tse.2023.3298432","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,9,1]]}}}