{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:08:16Z","timestamp":1740100096742,"version":"3.37.3"},"reference-count":29,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,28]],"date-time":"2021-06-28T00:00:00Z","timestamp":1624838400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,28]],"date-time":"2021-06-28T00:00:00Z","timestamp":1624838400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,28]],"date-time":"2021-06-28T00:00:00Z","timestamp":1624838400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100012952","name":"Univ. Grenoble Alpes","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100012952","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6,28]]},"DOI":"10.1109\/iolts52814.2021.9486705","type":"proceedings-article","created":{"date-parts":[[2021,7,27]],"date-time":"2021-07-27T01:11:20Z","timestamp":1627348280000},"page":"1-6","source":"Crossref","is-referenced-by-count":5,"title":["Automated Dysfunctional Model Extraction for Model Based Safety Assessment of Digital Systems"],"prefix":"10.1109","author":[{"given":"Tiziano","family":"Fiorucci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marc","family":"Daveau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgio","family":"di Natale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Roche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"218","article-title":"Automatic abstraction and verification of verilog models","author":"andraus","year":"0","journal-title":"Proceedings 41st Design Automation Conference 2004"},{"key":"ref11","first-page":"31","article-title":"Atlas: Automatic term-level abstraction of rtl designs","author":"brady","year":"0","journal-title":"Eighth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)"},{"key":"ref12","first-page":"1","article-title":"Uclid5: Integrating modeling, verification, synthesis and learning","author":"seshia","year":"0","journal-title":"2018 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design(MEMOCODE)"},{"key":"ref13","first-page":"1","article-title":"Automatic generation of rams analyses from model-based functional descriptions using uml state machines","author":"christof","year":"0","journal-title":"2020 Annual Reliability and Maintainability Symposium(RAMS)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2093889"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2016.7805863"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.188"},{"journal-title":"Simfianeo complex systems yet simple safety","year":"2018","author":"machin","key":"ref17"},{"key":"ref18","article-title":"Un Nouvel Outil de Safety pour Maitriser la Complexité des Systèmes","author":"de bossoreille","year":"2018","journal-title":"Maîtrise des risques et transformation numérique opportunités et menaces"},{"year":"0","key":"ref19"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"11","DOI":"10.25080\/TCWV9851","article-title":"Exploring network structure, dynamics, and function using networkx","author":"hagberg","year":"2008","journal-title":"Proceedings of the 7th Python in Science Conference"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.97299"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090716"},{"key":"ref3","first-page":"125","author":"hendriks","year":"0","journal-title":"Uppaal 4 0 In Third International Conference on the Quantitative Evaluation of Systems -'06)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/AERO47225.2020.9172762"},{"journal-title":"Discrete-time markov chain","year":"2018","author":"chen","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS48030.2020.9153630"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364641"},{"journal-title":"AltaRica 3 0 a Model-Based Approach for Safety Analyses","year":"2014","author":"prosvirnova","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2013.6622976"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"132","DOI":"10.23919\/FMCAD.2017.8102251","article-title":"Property directed reachability with word-level abstraction","author":"ho","year":"2017","journal-title":"2017 Formal Methods in Computer Aided Design(FMCAD)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2001.902480"},{"year":"0","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICATIECE45860.2019.9063856"},{"key":"ref21","article-title":"Review of i2c protocol","volume":"2","author":"mankar","year":"2014","journal-title":"International Journal of Research in AdventTechnology"},{"year":"0","key":"ref24"},{"year":"0","key":"ref23"},{"year":"0","key":"ref26"},{"year":"0","key":"ref25"}],"event":{"name":"2021 IEEE 27th International Symposium on On-Line Testing and Robust System Design (IOLTS)","start":{"date-parts":[[2021,6,28]]},"location":"Torino, Italy","end":{"date-parts":[[2021,6,30]]}},"container-title":["2021 IEEE 27th International Symposium on On-Line Testing and Robust System Design (IOLTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9486678\/9486679\/09486705.pdf?arnumber=9486705","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:18:07Z","timestamp":1725506287000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9486705\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,28]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/iolts52814.2021.9486705","relation":{},"subject":[],"published":{"date-parts":[[2021,6,28]]}}}