{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:17:34Z","timestamp":1725733054618},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642387081"},{"type":"electronic","value":"9783642387098"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44857-1_12","type":"book-chapter","created":{"date-parts":[[2014,10,17]],"date-time":"2014-10-17T18:48:42Z","timestamp":1413571722000},"page":"173-179","source":"Crossref","is-referenced-by-count":1,"title":["A Customizable Monitoring Infrastructure for Hardware\/Software Embedded Systems"],"prefix":"10.1007","author":[{"given":"Martial","family":"Chabot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurence","family":"Pierre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Carloni, L., De Bernardinis, F., Pinello, C., Sangiovanni-Vincentelli, A., Sgroi, M.: Platform-Based Design for Embedded Systems, \n                    \n                      http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.66.7365"},{"key":"12_CR2","unstructured":"Gr\u00f6tker, T., Liao, S., Martin, G., Swan, S.: System Design with SystemC. Kluwer Academic Pub. (2002)"},{"key":"12_CR3","unstructured":"Klingauf, W., Burton, M., G\u00fcnzel, R., Golze, U.: Why We Need Standards for Transaction-Level Modeling. SOC Central (2007)"},{"key":"12_CR4","unstructured":"IEEE Std 1666-2005, IEEE Standard SystemC Language Ref. Manual (2005)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Cai, L., Gajski, D.: Transaction Level Modeling: An Overview. In: Proc. International Conference CODES+ISSS 2003 (2003)","DOI":"10.1145\/944650.944651"},{"key":"12_CR6","unstructured":"IEEE Std 1850-2005, Standard for Property Specification Language, PSL (2005)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Pierre, L., Ferro, L.: A Tractable and Fast Method for Monitoring SystemC TLM Specifications. IEEE Transactions on Computers 57 (2008)","DOI":"10.1109\/TC.2008.74"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-24431-5_4","volume-title":"Formal Methods for Industrial Critical Systems","author":"L. Ferro","year":"2011","unstructured":"Ferro, L., Pierre, L., Bel Hadj Amor, Z., Lachaize, J., Lefftz, V.: Runtime Verification of Typical Requirements for a Space Critical SoC Platform. In: Sala\u00fcn, G., Sch\u00e4tz, B. (eds.) FMICS 2011. LNCS, vol.\u00a06959, pp. 21\u201336. Springer, Heidelberg (2011)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Pierre, L., Ferro, L., Bel Hadj Amor, Z., Bourgon, P., Qu\u00e9vremont, J.: Integrating PSL Properties into SystemC Transactional Modeling - Application to the Verification of a Modem SoC. In: Proc. IEEE SIES 2012 (2012)","DOI":"10.1109\/SIES.2012.6356588"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/11527695_5","volume-title":"Theory and Applications of Satisfiability Testing","author":"A. Biere","year":"2005","unstructured":"Biere, A.: Resolve and expand. In: Hoos, H.H., Mitchell, D.G. (eds.) SAT 2004. LNCS, vol.\u00a03542, pp. 59\u201370. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44857-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T21:59:32Z","timestamp":1558994372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44857-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642387081","9783642387098"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44857-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}