{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:53Z","timestamp":1750307513176,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":3,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,8,24]],"date-time":"2009-08-24T00:00:00Z","timestamp":1251072000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,8,24]]},"DOI":"10.1145\/1595696.1595744","type":"proceedings-article","created":{"date-parts":[[2009,8,24]],"date-time":"2009-08-24T14:08:35Z","timestamp":1251122915000},"page":"285-286","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Verification and performance evaluation of aadl models"],"prefix":"10.1145","author":[{"given":"Marco","family":"Bozzano","sequence":"first","affiliation":[{"name":"Fondazione Bruno Kessler, Trento, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Cimatti","sequence":"additional","affiliation":[{"name":"Fondazione Bruno Kessler, Trento, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Roveri","sequence":"additional","affiliation":[{"name":"Fondazione Bruno Kessler, Trento, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[{"name":"Aachen University, Aachen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viet Yen","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Aachen University, Aachen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Noll","sequence":"additional","affiliation":[{"name":"Aachen University, Aachen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,8,24]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Website of the COMPASS Project: http:\/\/compass.informatik.rwth-aachen.de\/  Website of the COMPASS Project: http:\/\/compass.informatik.rwth-aachen.de\/"},{"key":"e_1_3_2_1_2_1","volume-title":"Codesign of Dependable Systems: A Component-Based Modeling Language in 7th MEMOCODE","author":"Bozzano M.","year":"2009","unstructured":"M. Bozzano , A. Cimatti , M. Roveri , J.-P. Katoen , V. Y. Nguyen , T. Noll , Codesign of Dependable Systems: A Component-Based Modeling Language in 7th MEMOCODE . IEEE Computer Society , 2009 . M. Bozzano, A. Cimatti, M. Roveri, J.-P. Katoen, V. Y. Nguyen, T. Noll, Codesign of Dependable Systems: A Component-Based Modeling Language in 7th MEMOCODE. IEEE Computer Society, 2009."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04468-7_15"}],"event":{"name":"ESEC\/FSE09: Joint 12th European Software Engineering Conference","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Amsterdam The Netherlands","acronym":"ESEC\/FSE09"},"container-title":["Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1595696.1595744","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1595696.1595744","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:18:04Z","timestamp":1750249084000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1595696.1595744"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,24]]},"references-count":3,"alternative-id":["10.1145\/1595696.1595744","10.1145\/1595696"],"URL":"https:\/\/doi.org\/10.1145\/1595696.1595744","relation":{},"subject":[],"published":{"date-parts":[[2009,8,24]]},"assertion":[{"value":"2009-08-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}