{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:54:38Z","timestamp":1729673678075,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/hase.2012.21","type":"proceedings-article","created":{"date-parts":[[2012,12,12]],"date-time":"2012-12-12T22:01:50Z","timestamp":1355349710000},"page":"201-208","source":"Crossref","is-referenced-by-count":1,"title":["Multi-objective Optimization of Formal Specifications"],"prefix":"10.1109","author":[{"given":"Simon","family":"Struck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Lipaczewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Ortmeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Gudemann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/978-3-642-13821-8_6","article-title":"Architecturedriven reliability and energy optimization for complex embedded systems","author":"meedeniya","year":"2010","journal-title":"Research into Practice - Reality and Gaps"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/NOTERE.2010.5536852"},{"key":"17","doi-asserted-by":"crossref","first-page":"722","DOI":"10.1007\/978-3-540-30217-9_73","article-title":"Finding knees in multi-objective optimization","volume":"3242","author":"branke","year":"2004","journal-title":"Lecture Notes in Computer Science"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2004.1311935"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-75101-4_12","article-title":"Compositional Temporal Fault Tree Analysis","author":"walker","year":"2007","journal-title":"Proceedings of the 26th International Conference on Computer Safety Reliability and Security (SAFECOMP 2007)"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.28.8"},{"key":"14","article-title":"The Definitive ANTLR Reference: Building Domain-Specific Languages","author":"parr","year":"2007","journal-title":"Pragmatic Programmers"},{"key":"11","article-title":"Formal failure models","author":"ortmeier","year":"2007","journal-title":"Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2007)"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100051"},{"key":"3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-44719-9_1","article-title":"Some methods for nonlinear multi-objective optimization","volume":"1993","author":"miettinen","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"20","doi-asserted-by":"crossref","first-page":"660","DOI":"10.1007\/978-3-642-14295-6_56","article-title":"Param: A model checker for parametric markov models","author":"hahn","year":"2010","journal-title":"Computer Aided Verification"},{"key":"2","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/978-3-540-39878-3_5","article-title":"Improving system reliability via model checking: The FSAP\/NuSMV-SA safety analysis platform","author":"bozzano","year":"2003","journal-title":"Proceedings of the 22nd International Conference on Computer Safety Reliability and Security (SAFECOMP 2003)"},{"key":"1","article-title":"Designing safe, reliable systems using SCADE","author":"abdulla","year":"2004","journal-title":"Proceedings of the 2nd Int Symposium on Leveraging Applications of Formal Methods Verification and Validation (ISoLA 2006)"},{"key":"10","article-title":"Computing ordered minimal critical sets","author":"gu?demann","year":"2008","journal-title":"Proceedings of the 7th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS\/FORMAT 2008)"},{"journal-title":"The PRISM Language - Semantics [Online]","year":"0","author":"norman","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DCDS.2011.5970318"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2010.24"},{"key":"4","first-page":"423","article-title":"Model-Based Multi-Objective Safety Optimization","author":"gu?demann","year":"2011","journal-title":"Springer LNCS"},{"journal-title":"Model checking","year":"2000","author":"clarke","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.07.033"}],"event":{"name":"2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE)","start":{"date-parts":[[2012,10,25]]},"location":"Omaha, NE, USA","end":{"date-parts":[[2012,10,27]]}},"container-title":["2012 IEEE 14th International Symposium on High-Assurance Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6374352\/6375604\/06375618.pdf?arnumber=6375618","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,7]],"date-time":"2019-07-07T00:07:38Z","timestamp":1562458058000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6375618\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/hase.2012.21","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}