{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T11:01:20Z","timestamp":1725706880972},"reference-count":45,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1109\/fdl.2016.7880382","type":"proceedings-article","created":{"date-parts":[[2017,3,27]],"date-time":"2017-03-27T22:57:49Z","timestamp":1490655469000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Designing reliable cyber-physical systems overview associated to the special session at FDL'16"],"prefix":"10.1109","author":[{"given":"Gadi","family":"Aleksandrowicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eli","family":"Arbel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roderick","family":"Bloem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timon","family":"Ter Braak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergei","family":"Devadze","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Goerschwin","family":"Fey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maksim","family":"Jenihhin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Artur","family":"Jutman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans G.","family":"Kerkhoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Konighofer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Malburg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiri","family":"Moran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaan","family":"Raik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerard","family":"Rauwerda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heinz","family":"Riener","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franz","family":"Rock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantin","family":"Shibin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim","family":"Sunesen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinbo","family":"Wan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Introduction to Embedded Systems \u2014 A Cyber-Physical Systems Approach","volume-title":"LeeSeshia.org","author":"Lee","year":"2015"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TNANO.2015.2505092"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DTIS.2016.7483805"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/NEWCAS.2015.7181979"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2015.7229834"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.3990\/1.9789036537773","volume-title":"On improving dependability of analog and mixed- signal SoCs: A system-level approach","author":"Khan","year":"2014"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2003.1253181"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICICDT.2010.5510252"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2010.5469589"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.2009139"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090770"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090716"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244062"},{"key":"ref15","first-page":"82","article-title":"Complete and effective robustness checking by means of interpolation","volume-title":"FMCAD","author":"Frehse"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364501"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2014.7001322"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ReCoSoC.2015.7238079"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2786572.2788713"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-009-0120-y"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.7873\/DATE2014.171"},{"key":"ref22","first-page":"211","article-title":"Reconfigurable Computing: From FPGAs to Hardware\/Software Codesign","volume-title":"ch. CRISP: Cutting Edge Reconfigurable ICs for Stream Processing","author":"Ahonen","year":"2011"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SAMOS.2011.6045489"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2013.08.008"},{"key":"ref25","first-page":"52","article-title":"Design and synthesis of synchronization skeletons using branching-time temporal logic","author":"Clarke","year":"1981","journal-title":"LOP"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-11494-7_22"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.402"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.05.016"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/125489.125473"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref33","first-page":"91","article-title":"Synthesis with incomplete informatio","volume-title":"ICTL","author":"Kupferman"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989799"},{"key":"ref36","article-title":"Linear temporal logic and linear dynamic logic on finite traces","author":"De Giacomo","year":"2013","journal-title":"IJCAI"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v28i1.8872"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2005.12.001"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27836-8_6"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225161"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007520"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0249-7"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_14"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679406"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26287-1_2"},{"article-title":"SMT-based CPS parameter synthesis","volume-title":"ARCH","author":"Riener","key":"ref46"}],"event":{"name":"2016 Forum on Specification and Design Languages (FDL)","start":{"date-parts":[[2016,9,14]]},"location":"Bremen","end":{"date-parts":[[2016,9,16]]}},"container-title":["2016 Forum on Specification and Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7879501\/7880364\/07880382.pdf?arnumber=7880382","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T19:21:08Z","timestamp":1706037668000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7880382\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/fdl.2016.7880382","relation":{},"subject":[],"published":{"date-parts":[[2016,9]]}}}