{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:21:30Z","timestamp":1729610490516,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1109\/notere.2010.5536852","type":"proceedings-article","created":{"date-parts":[[2010,8,9]],"date-time":"2010-08-09T22:13:57Z","timestamp":1281392037000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Formal system-level design space exploration"],"prefix":"10.1109","author":[{"given":"Daniel","family":"Knorreck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ludovic","family":"Apvrille","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Renaud","family":"Pacalet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"A methodology for architecture exploration of heterogeneous signal processing systems","author":"wolf","year":"1999","journal-title":"IEEE Signal Processing Systems Worksho 1999"},{"key":"ref11","article-title":"High-level architectural co-simulation using Esterel and C","author":"chatelain","year":"2001","journal-title":"Proc of IEEE\/ACM symposium on H0ardware\/software codesign"},{"key":"ref12","article-title":"A framework for modelling and performance analysis of multiprocessor embedded systems: Models and benefits","author":"assayad","year":"2007","journal-title":"Proceedings of the 8th conference on Nouvelles Technologies de la Distribution (NOTERE'2007)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.20"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISSOC.2005.1595642"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090662"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484910"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090645"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-006-6884-x"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20045088"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.34"},{"year":"0","key":"ref4","article-title":"The TURTLE Toolkit"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2009.27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1416729.1416764"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-27755-2_3","article-title":"Timed automata: Semantics, algorithms and tools","volume":"lncs 3098","author":"bengtsson","year":"2004","journal-title":"Lecture Notes on Concurrency and Petri Nets"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/SCCC.2007.21"},{"journal-title":"Draft International Standard 8807 International Organization for Standardization - Information Processing Systems - Open Systems Interconnection","article-title":"A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour","year":"1987","key":"ref5"},{"article-title":"Hardware-Software Co-Design of Embedded Systems, The POLIS Approach","year":"2003","author":"balarin","key":"ref8"},{"key":"ref7","article-title":"Abstract application modeling for system design space exploration","author":"muhammad","year":"2006","journal-title":"9th EUROMICRO Conference on Digital System Design (DSD'06)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02571-6_18"},{"journal-title":"Metropolis An integrated environment for electronic system design","year":"2001","author":"watanabe","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECS.2006.379694"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2006.1639422"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1142980.1142983"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244110"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2003.1210105"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1071021.1071022"},{"year":"0","key":"ref26","article-title":"The CADP toolkit"},{"journal-title":"UML 2 0 Superstructure Specification","year":"2003","key":"ref25"}],"event":{"name":"2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)","start":{"date-parts":[[2010,5,31]]},"location":"Tozeur, Tunisia","end":{"date-parts":[[2010,6,2]]}},"container-title":["2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5520336\/5536542\/05536852.pdf?arnumber=5536852","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T12:19:56Z","timestamp":1497874796000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5536852\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/notere.2010.5536852","relation":{},"subject":[],"published":{"date-parts":[[2010,5]]}}}