{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:08Z","timestamp":1750307588411,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,12]],"date-time":"2009-10-12T00:00:00Z","timestamp":1255305600000},"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,10,12]]},"DOI":"10.1145\/1629335.1629342","type":"proceedings-article","created":{"date-parts":[[2009,10,13]],"date-time":"2009-10-13T15:11:11Z","timestamp":1255446671000},"page":"39-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Compositional timing analysis"],"prefix":"10.1145","author":[{"given":"Ramzi","family":"Ben Salah","sequence":"first","affiliation":[{"name":"Verimag, Gieres, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius Dorel","family":"Bozga","sequence":"additional","affiliation":[{"name":"Verimag, Gieres, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oded","family":"Maler","sequence":"additional","affiliation":[{"name":"Verimag, Gieres, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/646788.704040"},{"key":"e_1_3_2_1_2_1","first-page":"8","volume":"1633","author":"Alur R.","year":"1999","unstructured":"R. Alur , Timed Automata , CAV'99 , LNCS 1633 , 8 -- 22 , 1999 . R. Alur, Timed Automata, CAV'99, LNCS 1633, 8--22, 1999.","journal-title":"LNCS"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/506147.506151"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04368-0_4"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817949_31"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1292316.1292324"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/646245.684545"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.734275"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/92.711317"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/239587.239607"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/827268.828974"},{"key":"e_1_3_2_1_14_1","first-page":"148","volume":"152","author":"Henia R.","year":"2005","unstructured":"R. Henia , A. Hamann , M. Jersak , R. Racu , K. Richter , and R. Ernst , System level performance analysis-the SymTA\/S approach, IEE Proc. CDT 152 , 148 -- 166 , 2005 . R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst, System level performance analysis-the SymTA\/S approach, IEE Proc. CDT 152, 148--166, 2005.","journal-title":"System level performance analysis-the SymTA\/S approach, IEE Proc. CDT"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.11"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1045"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450083"},{"key":"e_1_3_2_1_18_1","volume-title":"Combining Simulation and Formal Methods for System-Level Performance Analysis DATE'06","author":"Kunzli S.","year":"2006","unstructured":"S. Kunzli , F. Poletti , L. Benini and L. Thiele , Combining Simulation and Formal Methods for System-Level Performance Analysis DATE'06 , 236--241, 2006 . S. Kunzli, F. Poletti, L. Benini and L. Thiele, Combining Simulation and Formal Methods for System-Level Performance Analysis DATE'06, 236--241, 2006."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/646702.701843"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.293952"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289959"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/646731.703837"},{"key":"e_1_3_2_1_24_1","volume-title":"Embedded System Handbook","author":"Thiele L.","year":"2005","unstructured":"L. Thiele and E. Wandeler , Performance Analysis of Embedded Systems , Embedded System Handbook , CRC Press , 2005 . L. Thiele and E. Wandeler, Performance Analysis of Embedded Systems, Embedded System Handbook, CRC Press, 2005."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008734703554"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-006-0019-5"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050009"}],"event":{"name":"ESWeek '09: Fifth Embedded Systems Week","sponsor":["ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"location":"Grenoble France","acronym":"ESWeek '09"},"container-title":["Proceedings of the seventh ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629335.1629342","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1629335.1629342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:41:26Z","timestamp":1750250486000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629335.1629342"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,12]]},"references-count":26,"alternative-id":["10.1145\/1629335.1629342","10.1145\/1629335"],"URL":"https:\/\/doi.org\/10.1145\/1629335.1629342","relation":{},"subject":[],"published":{"date-parts":[[2009,10,12]]},"assertion":[{"value":"2009-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}