{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:48:02Z","timestamp":1743040082082,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642020520"},{"type":"electronic","value":"9783642020537"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02053-7_11","type":"book-chapter","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T02:13:15Z","timestamp":1244599995000},"page":"204-224","source":"Crossref","is-referenced-by-count":3,"title":["Contract-Based Coordination of Hardware Components for the Development of Embedded Software"],"prefix":"10.1007","author":[{"given":"Tayeb","family":"Bouhadiba","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florence","family":"Maraninchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems. Ph.D thesis","author":"G. Agha","year":"1985","unstructured":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. Ph.D thesis. MIT, Cambridge (1985)"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1109\/LICS.1996.561320","volume-title":"Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science","author":"R. Alur","year":"1996","unstructured":"Alur, R., Henzinger, T.A.: Reactive modules. In: Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, July 27\u201330, pp. 207\u2013218. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"11_CR3","unstructured":"Buck, J., Ha, S., Lee, E.A., Messerschmitt, D.G.: Ptolemy: A framework for simulating and prototyping heterogenous systems. Int. Journal in Computer Simulation\u00a04(2) (1994)"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Cornet, J., Maraninchi, F., Maillet-Contoz, L.: A method for the efficient development of timed and untimed transaction-level models of systems-on-chip. In: Design Automation and Test in Europe (DATE), Munich, pp. 9\u201314 (March 2008)","DOI":"10.1145\/1403375.1403381"},{"key":"11_CR5","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Runtime Verification","author":"D. Bartetzko","year":"2001","unstructured":"Bartetzko, D., Fischer, C., M\u00f6ller, M., Wehrheim, H.: Jass \u2013 Java with assertions. In: Havelund, K., Ro\u015fu, G. (eds.) Runtime Verification. Electronic Notes in Theoretical Computer Science, vol.\u00a055. Elsevier, Amsterdam (2001)"},{"key":"11_CR6","first-page":"109","volume-title":"Proceedings of the Joint 8th ESEC\/FSE and 9th ACM SIGSOFT","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Gruhn, V. (ed.) Proceedings of the Joint 8th ESEC\/FSE and 9th ACM SIGSOFT, September 10\u201314, pp. 109\u2013120. ACM Press, New York (2001)"},{"issue":"5","key":"11_CR7","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1049\/sej.1992.0033","volume":"7","author":"N.E. Fuchs","year":"1992","unstructured":"Fuchs, N.E.: Fuchs. Specifications are (preferably) executable. Softw. Eng. J.\u00a07(5), 323\u2013334 (1992)","journal-title":"Softw. Eng. J."},{"key":"11_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/b137175","volume-title":"Transaction Level Modeling With SystemC: TLM Concepts And Applications for Embedded Systems","author":"F. Ghenassia","year":"2005","unstructured":"Ghenassia, F.: Transaction Level Modeling With SystemC: TLM Concepts And Applications for Embedded Systems. Springer, Heidelberg (2005)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Model checking for programming languages using verisoft. In: POPL, pp. 174\u2013186 (1997)","DOI":"10.1145\/263699.263717"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Hamie, A., Howse, J., Kent, S.: Interpreting the object constraint language. In: Software Engineering Conference, Proceedings. Asia Pacific, pp. 288\u2013295 (December 1998)","DOI":"10.1109\/APSEC.1998.733731"},{"key":"11_CR11","first-page":"171","volume-title":"FMCAD","author":"C. Helmstetter","year":"2006","unstructured":"Helmstetter, C., Maraninchi, F., Maillet-Contoz, L., Moy, M.: Automatic generation of schedulings for improving the test coverage of systems-on-a-chip. In: FMCAD, pp. 171\u2013178. IEEE Computer Society, Los Alamitos (2006)"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-1-4615-5229-1_12","volume-title":"Behavioral Specifications of Businesses and Systems","author":"G.T. Leavens","year":"1999","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: JML: A notation for detailed design. In: Kilov, H., Rumpe, B., Simmonds, I. (eds.) Behavioral Specifications of Businesses and Systems, pp. 175\u2013188. K.A Publishers, Boston (1999)"},{"issue":"9","key":"11_CR13","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P. LeGuernic","year":"1991","unstructured":"LeGuernic, P., Gautier, T., LeBorgne, M., LeMaire, C.: Programming real time applications with signal. Proceedings of the IEEE\u00a079(9), 1321\u20131336 (1991)","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"11_CR14","first-page":"309","volume":"4","author":"F. Mallet","year":"2008","unstructured":"Mallet, F.: Clock constraint specification language: specifying clock constraints with uml\/marte. Innovations in SSE\u00a04(3), 309\u2013314 (2008)","journal-title":"Innovations in SSE"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Maraninchi, F., Bouhadiba, T.: 42: Programmable models of computation for a component-based approach to heterogeneous embedded systems. In: Sixth ACM International Conference on Generative Programming and Component Engineering (GPCE 2007), Salzburg, Austria (October 2007)","DOI":"10.1145\/1289971.1289981"},{"key":"11_CR16","unstructured":"Maraninchi, F., Morel, L.: Logical-time contracts for the development of reactive embedded software. In: 30th Euromicro Conference, Component-Based Software Engineering Track (ECBSE), Rennes, France (September 2004)"},{"key":"11_CR17","unstructured":"Maraninchi, F., Bouhadiba, T.: 42: Programmable models of computation for the component-based virtual prototyping of heterogeneous embedded systems. Technical Report tr-2009-1, Verimag, Centre \u00c9quation, 38610 Gi\u00e8res (January 2009), http:\/\/www-verimag.imag.fr\/index.php?page=techrep-list"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-48153-2_30","volume-title":"Correct Hardware Design and Verification Methods","author":"K.L. McMillan","year":"1999","unstructured":"McMillan, K.L.: Circular compositional reasoning about liveness. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol.\u00a01703, pp. 342\u2013345. Springer, Heidelberg (1999)"},{"key":"11_CR19","unstructured":"Morel, L., Mandel, L.: Executabe contracts for incremental prototypes of embedded systems. In: Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2007), Braga (March 2007)"},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"1056","DOI":"10.1109\/TSE.2002.1049404","volume":"28","author":"S. Plasil","year":"2002","unstructured":"Plasil, S., Visnovsky, F.: Behavior protocols for software components. IEEE Transactions on Software Engineering\u00a028, 1056\u20131076 (2002)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"12","key":"11_CR21","doi-asserted-by":"publisher","first-page":"1473","DOI":"10.1109\/43.103497","volume":"10","author":"S. Devadas","year":"1991","unstructured":"Devadas, S.: Optimizing interacting finite state machines using sequential don\u2019t cares. IEEE Transaction of Computer-Aided Design\u00a010(12), 1473\u20131484 (1991)","journal-title":"IEEE Transaction of Computer-Aided Design"},{"issue":"5","key":"11_CR22","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0020-0190(89)90047-1","volume":"32","author":"J. Bos van den","year":"1989","unstructured":"van den Bos, J.: PROCOL: A protocol-constrained concurrent object-oriented language. Information Processing Letters\u00a032(5), 221\u2013227 (1989)","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02053-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T16:28:52Z","timestamp":1558369732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02053-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642020520","9783642020537"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02053-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}