{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:55:52Z","timestamp":1729670152329,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/sbcci.2003.1232831","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"211-216","source":"Crossref","is-referenced-by-count":0,"title":["Runtime analysis of synchronous programs for low-level real-time verification"],"prefix":"10.1109","author":[{"given":"G.","family":"Logothetis","sequence":"first","affiliation":[]},{"given":"K.","family":"Schneider","sequence":"additional","affiliation":[]},{"given":"C.","family":"Metzler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/325478.325479"},{"journal-title":"GNU gcc website","year":"0","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1992.242675"},{"journal-title":"Intel Intel vtune website","year":"0","key":"ref15"},{"journal-title":"Jester Home Page","year":"0","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/7351.7352"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2001.934025"},{"key":"ref19","first-page":"795","article-title":"Extending synchronous languages for generating abstract real-time models","author":"logothetis","year":"2002","journal-title":"Proc Design Automation and Test in Europe Conf e (DATE)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2000.854003"},{"journal-title":"The Constructive Semantics of Pure Esterel","year":"1999","author":"berry","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref5","article-title":"SugarCubes implementation of causality","author":"boussinot","year":"1998","journal-title":"Research Report 3487"},{"journal-title":"ECL Homepage Website","year":"0","key":"ref8"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0020947","article-title":"The tool KRONOS","volume":"1066","author":"daws","year":"1996","journal-title":"Hybrid Systems III"},{"key":"ref2","first-page":"431","article-title":"UPPAAL in 1995","author":"bengtsson","year":"1996","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems Number 1055 in Lecture Notes in Computer Science"},{"journal-title":"Esterel Website","year":"0","key":"ref9"},{"key":"ref1","article-title":"Model Checking in Dense Real-time","author":"alur","year":"1991","journal-title":"Technical Report"},{"key":"ref20","first-page":"196","article-title":"Exact high level wcet analysis of synchronous programs by symbolic state space exploration","author":"logothetis","year":"2003","journal-title":"Proc Design Automation and Test in Europe Conf e (DATE)"},{"journal-title":"Predicting Instruction Cache Behavior","year":"1993","author":"mueller","key":"ref22"},{"journal-title":"Timing analysis for instruction caches","year":"2000","author":"mueller","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2001.981772"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BF00571421"},{"key":"ref25","article-title":"Realizing real-time systems from synchronous language specifications","author":"shyamasundar","year":"2000","journal-title":"Proc Real-Time Systems Symp Work-In-Progress Session"}],"event":{"name":"16th Symposium on Integrated Circuits and Systems Design. SBCCI 2003","acronym":"SBCCI-03","location":"Sao Paulo, Brazil"},"container-title":["16th Symposium on Integrated Circuits and Systems Design, 2003. SBCCI 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8726\/27627\/01232831.pdf?arnumber=1232831","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T23:18:34Z","timestamp":1497568714000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1232831\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/sbcci.2003.1232831","relation":{},"subject":[]}}