{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:08:19Z","timestamp":1748750899431,"version":"3.41.0"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T00:00:00Z","timestamp":1743984000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T00:00:00Z","timestamp":1743984000000},"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,4,7]]},"DOI":"10.1109\/syscon64521.2025.11014788","type":"proceedings-article","created":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T17:43:30Z","timestamp":1748627010000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Automating Physics-Based Reasoning for SysML Model Validation"],"prefix":"10.1109","author":[{"given":"Candice","family":"Chambers","sequence":"first","affiliation":[{"name":"Florida Institute of Technology,Department of Computer Science,Melbourne,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Summer","family":"Mueller","sequence":"additional","affiliation":[{"name":"Florida Institute of Technology,Department of Computer Science,Melbourne,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Parth","family":"Ganeriwala","sequence":"additional","affiliation":[{"name":"Florida Institute of Technology,Department of Computer Science,Melbourne,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiradeep","family":"Sen","sequence":"additional","affiliation":[{"name":"Florida Institute of Technology,Department of Mechanical Engineering,Melbourne,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siddhartha","family":"Bhattacharyya","sequence":"additional","affiliation":[{"name":"Florida Institute of Technology,Department of Computer Science,Melbourne,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010986"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-64119-5_7"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1115\/DETC2022-90002"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2014.6979532"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/UEMCON59035.2023.10316143"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ISSE54508.2022.10005530"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/uemcon47517.2019.8992971"},{"key":"ref8","first-page":"1451","article-title":"TJ OConnor, and Adolf Dcosta. Modeling internet-of-things (iot) behavior for enforcing security and privacy policies","volume-title":"Science and Information Conference","author":"Gupta"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.3390\/systems9040076"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1115\/DETC2023-117193"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2021.00857.x"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1080\/09544828.2023.2247860"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.4271\/2021-01-0260"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_44"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/c2016-0-00866-5"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.cja.2019.03.037"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s00163-020-00343-8"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1115\/1.4062748"},{"journal-title":"What is the systems modeling language (sysml)?","key":"ref19"},{"journal-title":"Make your vision a reality","key":"ref20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1115\/1.4023488"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s00163-001-0008-3"}],"event":{"name":"2025 IEEE International systems Conference (SysCon)","start":{"date-parts":[[2025,4,7]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2025,4,10]]}},"container-title":["2025 IEEE International systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11014641\/11014642\/11014788.pdf?arnumber=11014788","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:48:28Z","timestamp":1748666908000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11014788\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,7]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/syscon64521.2025.11014788","relation":{},"subject":[],"published":{"date-parts":[[2025,4,7]]}}}