{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:14Z","timestamp":1750307534755,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,7,26]],"date-time":"2009-07-26T00:00:00Z","timestamp":1248566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["SFB 694"],"award-info":[{"award-number":["SFB 694"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,7,26]]},"DOI":"10.1145\/1629911.1629925","type":"proceedings-article","created":{"date-parts":[[2009,10,13]],"date-time":"2009-10-13T15:11:11Z","timestamp":1255446671000},"page":"43-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis"],"prefix":"10.1145","author":[{"given":"Michael","family":"Gla\u00df","sequence":"first","affiliation":[{"name":"University of Erlangen-Nuremberg, Germany"}]},{"given":"Martin","family":"Lukasiewycz","sequence":"additional","affiliation":[{"name":"University of Erlangen-Nuremberg, Germany"}]},{"given":"J\u00fcrgen","family":"Teich","sequence":"additional","affiliation":[{"name":"University of Erlangen-Nuremberg, Germany"}]},{"given":"Unmesh D.","family":"Bordoloi","sequence":"additional","affiliation":[{"name":"Verimag, France"}]},{"given":"Samarjit","family":"Chakraborty","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Germany"}]}],"member":"320","published-online":{"date-parts":[[2009,7,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1276958.1277341"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1090\/qam\/102435"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.1007\/0-387-27578-9","volume-title":"Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications","author":"Buttazzo G.","year":"2005","unstructured":"G. Buttazzo . Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications . Springer , 2005 . G. Buttazzo. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Springer, 2005."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278553"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278554"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings Future Trends in Automotive Electronics and Tool Integration Workshop (DATE Conference)","author":"Hamann A.","year":"2006","unstructured":"A. Hamann , R. Racu , and R. Ernst . Formal methods for automotive platform analysis and optimization . In Proceedings Future Trends in Automotive Electronics and Tool Integration Workshop (DATE Conference) , 2006 . A. Hamann, R. Racu, and R. Ernst. Formal methods for automotive platform analysis and optimization. In Proceedings Future Trends in Automotive Electronics and Tool Integration Workshop (DATE Conference), 2006."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.263752"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31880-4_56"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2007.4424570"},{"key":"e_1_3_2_1_10_1","unstructured":"Opt4J. The optimization framework for java. http:\/\/www.opt4j.org\/ Version 1.5.  Opt4J. The optimization framework for java. http:\/\/www.opt4j.org\/ Version 1.5."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/net.v43:4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1131355.1131394"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0967-0661(95)00112-8"},{"key":"e_1_3_2_1_15_1","unstructured":"E. Wandeler and L. Thiele. Real-Time Calculus (RTC) Toolbox. http:\/\/www.mpa.ethz.ch\/Rtctoolbox 2006.  E. Wandeler and L. Thiele. Real-Time Calculus (RTC) Toolbox. http:\/\/www.mpa.ethz.ch\/Rtctoolbox 2006."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.4271\/2006-01-1468"}],"event":{"name":"DAC '09: The 46th Annual Design Automation Conference 2009","sponsor":["EDAC Electronic Design Automation Consortium","SIGDA ACM Special Interest Group on Design Automation","IEEE-CAS Circuits & Systems"],"location":"San Francisco California","acronym":"DAC '09"},"container-title":["Proceedings of the 46th Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629911.1629925","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1629911.1629925","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:15Z","timestamp":1750249395000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629911.1629925"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,26]]},"references-count":16,"alternative-id":["10.1145\/1629911.1629925","10.1145\/1629911"],"URL":"https:\/\/doi.org\/10.1145\/1629911.1629925","relation":{},"subject":[],"published":{"date-parts":[[2009,7,26]]},"assertion":[{"value":"2009-07-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}