{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:32:22Z","timestamp":1725611542319},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/fmcad.2014.6987591","type":"proceedings-article","created":{"date-parts":[[2014,12,30]],"date-time":"2014-12-30T20:00:39Z","timestamp":1419969639000},"page":"23-30","source":"Crossref","is-referenced-by-count":3,"title":["Towards Pareto-optimal parameter synthesis for monotonie cost functions"],"prefix":"10.1109","author":[{"given":"B.","family":"Bittner","sequence":"first","affiliation":[]},{"given":"M.","family":"Bozzano","sequence":"additional","affiliation":[]},{"given":"A.","family":"Cimatti","sequence":"additional","affiliation":[]},{"given":"M.","family":"Gario","sequence":"additional","affiliation":[]},{"given":"A.","family":"Griggio","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"265","article-title":"Hytech: The cornell hybrid technology tool","author":"henzinger","year":"1994","journal-title":"Hybrid Systems"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2014.161"},{"key":"18","first-page":"69","article-title":"Approximating the pareto front of multi-criteria optimization problems","author":"legriel","year":"2010","journal-title":"TACAS"},{"key":"15","first-page":"70","article-title":"Sat-based model checking without unrolling","author":"bradley","year":"2011","journal-title":"VMCAI"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2012.6345800"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75596-8_13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679406"},{"key":"11","article-title":"Manuale di economia politica ser. Collezione saggi & documenti","author":"pareto","year":"1994","journal-title":"Edizioni Studio Tesi"},{"journal-title":"Fault Tree Handbook with Aerospace Applications","year":"2002","author":"vesely","key":"12"},{"key":"21","first-page":"187","article-title":"A counterexample-guided approach to parameter synthesis for linear hybrid automata","author":"frehse","year":"2008","journal-title":"HSCC"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.13"},{"key":"22","first-page":"33","article-title":"Imitator 2.5: A tool for analyzing robustness in scheduling problems","author":"andr\ufffd","year":"2012","journal-title":"FM"},{"key":"23","first-page":"16","article-title":"Parametric analysis of hybrid systems using hymitator","author":"andr\ufffd","year":"2012","journal-title":"IFM"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_22"},{"key":"25","article-title":"The nuxmv symbolic model checker","author":"cavada","year":"2014","journal-title":"CAV"},{"key":"26","article-title":"On-board autonomy via symbolic model-based reasoning","author":"bozzano","year":"2008","journal-title":"Proceedings of the 10th ESA Workshop on Advanced Space Technologies for Robotics and Automation"},{"key":"27","article-title":"A comprehensive approach to on-board autonomy verification and validation","author":"bozzano","year":"2011","journal-title":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence"},{"key":"28","article-title":"Empirical evaluation of diagnostic algorithm performance using a generic framework","author":"feldman","year":"2010","journal-title":"International Journal of Prognostics and Health Management"},{"key":"29","article-title":"Formal verification of diagnosability via symbolic model checking","author":"cimatti","year":"2003","journal-title":"Proceedings of the 18th International Joint Conference on Artificial Intelligence"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2011.36"},{"key":"2","first-page":"441","article-title":"Synthesizing cyberphysical architectural models with real-time constraints","author":"hang","year":"2011","journal-title":"CAV"},{"key":"10","article-title":"Symbolic synthesis of observability requirements for diagnosability","author":"bittner","year":"2012","journal-title":"AAAI"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273473"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243771"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985838"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039394"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/DELTA.2011.22"},{"key":"9","article-title":"Symbolic testing of diagnosability","author":"grastien","year":"2009","journal-title":"Twentieth International Workshop on Principles of Diagnosis (DX-09"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.36"}],"event":{"name":"2014 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2014,10,21]]},"location":"Lausanne, Switzerland","end":{"date-parts":[[2014,10,24]]}},"container-title":["2014 Formal Methods in Computer-Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6975680\/6987576\/06987591.pdf?arnumber=6987591","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T20:51:29Z","timestamp":1490302289000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6987591\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/fmcad.2014.6987591","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}