{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,15]],"date-time":"2024-12-15T00:40:07Z","timestamp":1734223207914,"version":"3.30.2"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/memcod.2003.1210100","type":"proceedings-article","created":{"date-parts":[[2004,1,24]],"date-time":"2004-01-24T04:33:03Z","timestamp":1074918783000},"page":"153-162","source":"Crossref","is-referenced-by-count":5,"title":["Exact runtime analysis using automata-based symbolic simulation"],"prefix":"10.1109","author":[{"given":"T.","family":"Schule","sequence":"first","affiliation":[]},{"given":"K.","family":"Schneider","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"1298","DOI":"10.1007\/BFb0002886","article-title":"Deriving annotations for tight calculation of execution time","author":"ermedahl","year":"1997","journal-title":"European Conference on Parallel Processing (EUROPAR)"},{"key":"ref11","article-title":"A general approach for tight timing predictions of non-rectangular loops","author":"healy","year":"1999","journal-title":"Proceedings of the IEEE Real Time Technology and Applications Symposium"},{"key":"ref12","first-page":"89","article-title":"MONA: Monadic second-order logic in practice","author":"henriksen","year":"1996","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS)"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"1979","author":"hopcroft","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49519-3_30"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0057778"},{"key":"ref16","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)"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0057776","article-title":"Integrating path and timing analysis using instruction-level simulation techniques","author":"lundqvist","year":"1998","journal-title":"Languages Compilers and Tools for Embedded Systems (LCTES)"},{"journal-title":"Computation Finite and Infinite Machines","year":"1967","author":"minsky","key":"ref18"},{"year":"2003","key":"ref19"},{"key":"ref28","first-page":"1","article-title":"On the construction of automata from linear arithmetic constraints","volume":"1785","author":"wolper","year":"2000","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"journal-title":"CUDD CU decision diagram package release 2 3 1","year":"2001","author":"somenzi","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61064-2_27"},{"key":"ref6","first-page":"400","article-title":"Symbolic model checking of infinite state systems using Presburger arithmetic","volume":"1254","author":"bultan","year":"1997","journal-title":"In Proceedings of the 9th International Conference on Computer Aided Verification (CAV'97)"},{"key":"ref5","first-page":"1","article-title":"On a decision method in restricted second order arithmetic","author":"b\u00fcchi","year":"1960","journal-title":"Sixth International Congress for Logic Methodology and Philosophy of Science"},{"key":"ref8","first-page":"365","article-title":"Verification of synchronous sequential machines using symbolic execution","author":"coudert","year":"1989","journal-title":"Automatic Verification Methods for Finite State Systems International Workshop"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref7"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5641.003.0021","article-title":"The foundations of Esterel","author":"berry","year":"2000","journal-title":"Proof Language and Interaction Essays in Honour of Robin Milner"},{"key":"ref9","article-title":"Towards industry strength worst-case execution time analysis","author":"engblom","year":"1999","journal-title":"ASTEC Technical Report 99\/02"},{"key":"ref1","article-title":"An approach to symbolic worst-case execution time analysis","author":"bernat","year":"2000","journal-title":"IFAC Workshop on Real-Time Programming"},{"journal-title":"Advanced Compiler Design and Implementation","year":"1997","author":"muchnick","key":"ref20"},{"key":"ref22","first-page":"16","article-title":"Worst-case execution time analysis at low cost","author":"puschner","year":"1997","journal-title":"Distributed Computer Control Systems"},{"key":"ref21","first-page":"92","article-title":"Uber die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt","author":"presburger","year":"1929","journal-title":"Sprawozdanie z I Kongresu Matematyków Krajów Stowiariskich"},{"key":"ref24","first-page":"205","article-title":"A verified hardware synthesis for Esterel","author":"schneider","year":"2000","journal-title":"International IFIP Workshop on Distributed and Parallel Embedded Systems"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BF00571421"},{"journal-title":"The Equinox Toolbox","year":"2003","author":"schuele","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2001.981772"}],"event":{"name":"2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003)","start":{"date-parts":[[2003,6,24]]},"location":"Mont Saint Michel, France","end":{"date-parts":[[2003,6,26]]}},"container-title":["First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8593\/27232\/01210100.pdf?arnumber=1210100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,15]],"date-time":"2024-12-15T00:09:03Z","timestamp":1734221343000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1210100\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/memcod.2003.1210100","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}