{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T17:11:02Z","timestamp":1758474662304,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/sies.2017.7993379","type":"proceedings-article","created":{"date-parts":[[2017,7,31]],"date-time":"2017-07-31T16:38:21Z","timestamp":1501519101000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["SMT-based architecture modelling for safety assessment"],"prefix":"10.1109","author":[{"given":"Kevin","family":"Delmas","sequence":"first","affiliation":[]},{"given":"Remi","family":"Delmas","sequence":"additional","affiliation":[]},{"given":"Claire","family":"Pagetti","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24255-2_21"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1044"},{"key":"ref30","article-title":"Performing safety analyses with aadl and altarica","author":"prosvirnova","year":"2017","journal-title":"Under submission"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"109","DOI":"10.3233\/FI-1999-402302","article-title":"The altarica formalism for describing concurrent systems","volume":"40","author":"arnold","year":"1999","journal-title":"Fund Informaticae"},{"journal-title":"Dassault Aviation Cecilia Workshop User's Manual Dassault Aviation","year":"2011","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2013.37"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75596-8_13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48249-0_13"},{"journal-title":"Open-PSA Model Exchange Format","year":"2017","author":"steven","key":"ref15"},{"key":"ref16","article-title":"Xfta: pour que cent arbres de defaillance fleurissent au printemps","volume":"18","author":"rauzy","year":"2012","journal-title":"Actes du Congres Lambda-Mu"},{"journal-title":"GRIF 2016 Fault Tree User Manual Total","year":"2016","key":"ref17"},{"key":"ref18","first-page":"27","article-title":"Safety architect: un outil d'analyse de risques s'inscrivant dans les processus d'ingenierie de systemes complexes","author":"dumont","year":"2011","journal-title":"Genie logiciel"},{"key":"ref19","first-page":"19","article-title":"Safety conflict analysis in medical cyber-physical systems using an smt-solver","volume":"1337","author":"kuhn","year":"2015","journal-title":"Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015 Dresden Germany 17 -18 Marz 2015 ser CEUR Workshop Proceedings"},{"journal-title":"Javabdd library","year":"0","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/24.983400"},{"journal-title":"The Definitive Antlr 4 Reference","year":"2013","author":"parr","key":"ref27"},{"journal-title":"Reliability Availability Maintainability and Safety Assessment","year":"1992","author":"villemeur","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6926012"},{"journal-title":"The SMT-LIB Standard Version 2 0","year":"2010","author":"barrett","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(02)00042-X"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_31"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MECATRONICS.2014.7018626"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"journal-title":"SAE","article-title":"Aerospace Recommended Practices 4754a - Development of Civil Aircraft and Systems","year":"2010","key":"ref1"},{"key":"ref20","first-page":"825","article-title":"Satisfiability modulo theories","volume":"185","author":"barrett","year":"2009","journal-title":"Handbook of Satisfiability"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/978-3-319-24318-4_2","article-title":"Pblib - A library for encoding pseudo-boolean constraints into CNF","author":"philipp","year":"2015","journal-title":"Theory and Applications of Satisfiability Testing - SAT 2015-18th International Conference"},{"key":"ref21","article-title":"Sat encodings of the at-most-k constraint. some old, some new, some fast, some slow","author":"frisch","year":"2010","journal-title":"Proc of the Tenth Int Workshop of Constraint Modelling and Reformulation"},{"key":"ref24","article-title":"Clingo = ASP + control: Preliminary report","author":"gebser","year":"2014","journal-title":"CoRR vol abs\/1405 3694"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40196-1_16"},{"journal-title":"KCR analyser download page","year":"0","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(93)90060-C"}],"event":{"name":"2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2017,6,14]]},"location":"Toulouse, France","end":{"date-parts":[[2017,6,16]]}},"container-title":["2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7992954\/7993372\/07993379.pdf?arnumber=7993379","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,13]],"date-time":"2020-10-13T18:46:17Z","timestamp":1602614777000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7993379\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/sies.2017.7993379","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}