{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T05:46:55Z","timestamp":1726033615698},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030223472"},{"type":"electronic","value":"9783030223489"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-22348-9_5","type":"book-chapter","created":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T13:04:54Z","timestamp":1561467894000},"page":"45-67","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading"],"prefix":"10.1007","author":[{"given":"Michael","family":"Mendler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joaqu\u00edn","family":"Aguado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Bodin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Partha","family":"Roop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"von Hanxleden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,26]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Aguado, J., Mendler, M., Wang, J.J., Bodin, B., Roop, P.: Compositional timing-aware semantics for synchronous programming. In: Forum on Specification & Design Languages (FDL 2017), pp. 1\u20138. IEEE, Verona, September 2017","key":"5_CR1","DOI":"10.1109\/FDL.2017.8303895"},{"key":"5_CR2","volume-title":"Synchronisation and Linearity","author":"FL Baccelli","year":"1992","unstructured":"Baccelli, F.L., Cohen, G., Olsder, G.J., Quadrat, J.P.: Synchronisation and Linearity. Wiley, New York (1992)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/3-540-15670-4_19","volume-title":"Seminar on Concurrency","author":"G Berry","year":"1985","unstructured":"Berry, G., Cosserat, L.: The ESTEREL synchronous programming language and its mathematical semantics. In: Brookes, S.D., Roscoe, A.W., Winskel, G. (eds.) CONCURRENCY 1984. LNCS, vol. 197, pp. 389\u2013448. Springer, Heidelberg (1985). \n                      https:\/\/doi.org\/10.1007\/3-540-15670-4_19"},{"issue":"1","key":"5_CR4","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1155\/2008\/594129","volume":"2008","author":"M Boldt","year":"2008","unstructured":"Boldt, M., Traulsen, C., von Hanxleden, R.: Compilation and worst-case reaction time analysis for multithreaded Esterel processing. EURASIP J. Embed. Syst. 2008(1), 4 (2008)","journal-title":"EURASIP J. Embed. Syst."},{"doi-asserted-by":"crossref","unstructured":"van Dalen, D.: Intuitionistic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. III, chap. 4, pp. 225\u2013339. Reidel, Dordrecht (1986)","key":"5_CR5","DOI":"10.1007\/978-94-009-5203-4_4"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"M Dummett","year":"1959","unstructured":"Dummett, M.: A propositional calculus with a denumerable matrix. J. Symb. Log. 24, 97\u2013106 (1959)","journal-title":"J. Symb. Log."},{"doi-asserted-by":"crossref","unstructured":"Edwards, S.A., Lee, E.A.: The case for the precision timed (PRET) machine. In: DAC 2007, San Diego, USA, June 2007","key":"5_CR7","DOI":"10.1109\/DAC.2007.375165"},{"doi-asserted-by":"crossref","unstructured":"Edwards, S.A., Kim, S., Lee, E.A., Liu, I., Patel, H.D., Schoeberl, M.: A disruptive computer design idea: architectures with repeatable timing. In: Proceedings of IEEE International Conference on Computer Design (ICCD 2009). IEEE, October 2009","key":"5_CR8","DOI":"10.1109\/ICCD.2009.5413177"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-45206-5_7","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"CG Ferm\u00fcller","year":"2003","unstructured":"Ferm\u00fcller, C.G.: Parallel dialogue games and hypersequents for intermediate logics. In: Cialdea Mayer, M., Pirri, F. (eds.) TABLEAUX 2003. LNCS (LNAI), vol. 2796, pp. 48\u201364. Springer, Heidelberg (2003). \n                      https:\/\/doi.org\/10.1007\/978-3-540-45206-5_7"},{"doi-asserted-by":"crossref","unstructured":"Geilen, M., Stuijk, S.: Worst-case performance analysis of synchronous dataflow networks. In: CODES+ISSS 2010. ACM, Scottsdale, October 2010","key":"5_CR10","DOI":"10.1145\/1878961.1878985"},{"key":"5_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)"},{"key":"5_CR12","first-page":"28","volume":"66","author":"R Hanxleden von","year":"2006","unstructured":"von Hanxleden, R., Li, X., Roop, P., Salcic, Z., Yoong, L.H.: Reactive processing for reactive systems. ERCIM News 66, 28\u201329 (2006)","journal-title":"ERCIM News"},{"unstructured":"von Hanxleden, R., Mendler, M., Traulsen, C.: WCRT algebra and scheduling interfaces for Esterel-style synchronous multi-threading. Technical report 0807, Christian-Albrechts-Univ. Kiel, Department of Computer Science, June 2008. \n                      http:\/\/rtsys.informatik.uni-kiel.de\/~biblio\/downloads\/papers\/report-0807.pdf","key":"5_CR13"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-29822-6_14","volume-title":"Functional and Logic Programming","author":"Y Hirai","year":"2012","unstructured":"Hirai, Y.: A lambda calculus for G\u00f6del\u2013Dummett logic capturing waitfreedom. In: Schrijvers, T., Thiemann, P. (eds.) FLOPS 2012. LNCS, vol. 7294, pp. 151\u2013165. Springer, Heidelberg (2012). \n                      https:\/\/doi.org\/10.1007\/978-3-642-29822-6_14"},{"doi-asserted-by":"crossref","unstructured":"Ju, L., Huynh, B.K., Chakraborty, S., Roychoudhury, A.: Context-sensitive timing analysis of Esterel programs. In: Proceedings of 46th Annual Design Automation Conference (DAC 2009), pp. 870\u2013873. ACM, New York (2009)","key":"5_CR15","DOI":"10.1145\/1629911.1630132"},{"issue":"5","key":"5_CR16","doi-asserted-by":"publisher","first-page":"570","DOI":"10.1007\/s11241-012-9155-z","volume":"48","author":"L Ju","year":"2012","unstructured":"Ju, L., Huynh, B.K., Roychoudhury, A., Chakraborty, S.: Performance debugging of Esterel specifications. Real-Time Syst. 48(5), 570\u2013600 (2012)","journal-title":"Real-Time Syst."},{"doi-asserted-by":"crossref","unstructured":"Kuo, M., Sinha, R., Roop, P.S.: Efficient WCRT analysis of synchronous programs using reachability. In: Proceedings of 48th Design Automation Conference (DAC 2011), pp. 480\u2013485 (2011)","key":"5_CR17","DOI":"10.1145\/2024724.2024837"},{"issue":"3","key":"5_CR18","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1109\/TC.2010.246","volume":"61","author":"X Li","year":"2012","unstructured":"Li, X., von Hanxleden, R.: Multi-threaded reactive programming\u2013the Kiel Esterel Processor. IEEE Trans. Comput. 61(3), 337\u2013349 (2012)","journal-title":"IEEE Trans. Comput."},{"doi-asserted-by":"crossref","unstructured":"Lickly, B., Liu, I., Kim, S., Patel, H.D., Edwards, S.A., Lee, E.A.: Predictable programming on a precision timed architecture. In: Proceedings of the Conference on Compilers, Architectures, and Synthesis of Embedded Systems (CASES 2008), Atlanta USA, October 2008, pp. 137\u2013146 (2008)","key":"5_CR19","DOI":"10.1145\/1450095.1450117"},{"unstructured":"Mendler, M., Bodin, B., Roop, P., Wang, J.J.: WCRT for synchronous programs: studying the tick alignment problem. Technical report 95, University of Bamberg, Faculty for Information Systems and Applied Computer Sciences, August 2014","key":"5_CR20"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"28","DOI":"10.4204\/EPTCS.46.3","volume":"46","author":"Michael Mendler","year":"2011","unstructured":"Mendler, M.: An algebra of synchronous scheduling interfaces. In: Legay, A., Caillaud, B. (eds.) Proceedings Foundations for Interface Technologies (FIT 2010), EPTCS, Paris, France, vol. 46, pp. 28\u201348 (2010)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Mendler, M., von Hanxleden, R., Traulsen, C.: WCRT algebra and interfaces for Esterel-Style synchronous processing. In: Proceedings of Design, Automation and Test in Europe Conference (DATE 2009), Nice, France, April 2009","key":"5_CR22","DOI":"10.1109\/DATE.2009.5090639"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-319-44878-7_12","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"M Mendler","year":"2016","unstructured":"Mendler, M., Roop, P.S., Bodin, B.: A novel WCET semantics of synchronous programs. In: Fr\u00e4nzle, M., Markey, N. (eds.) FORMATS 2016. LNCS, vol. 9884, pp. 195\u2013210. Springer, Cham (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-319-44878-7_12"},{"key":"5_CR24","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/s11241-015-9219-y","volume":"51","author":"P Raymond","year":"2015","unstructured":"Raymond, P., Maiza, C., Parent-Vigouroux, C., Carrier, F., Asavoae, M.: Timing analysis enhancement for synchronous programs. Real-Time Syst. 51, 192\u2013220 (2015)","journal-title":"Real-Time Syst."},{"doi-asserted-by":"crossref","unstructured":"Roop, P.S., Andalam, S., von Hanxleden, R., Yuan, S., Traulsen, C.: Tight WCRT analysis of synchronous C programs. In: Proceedings of Compilers, Architecture, and Synthesis for Embedded Systems (CASES 2009), pp. 205\u2013214 (2009)","key":"5_CR25","DOI":"10.1145\/1629395.1629424"},{"doi-asserted-by":"crossref","unstructured":"Schoeberl, M.: Time-predictable computer architecture. EURASIP J. Embed. Syst. 2009, 2:1\u20132:17 (2009)","key":"5_CR26","DOI":"10.1155\/2009\/758480"},{"key":"5_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.cosrev.2013.05.001","volume":"9","author":"MTB Waez","year":"2013","unstructured":"Waez, M.T.B., Dingel, J., Rudie, K.: A survey of timed automata for the development of real-time systems. Comput. Sci. Rev. 9, 1\u201326 (2013)","journal-title":"Comput. Sci. Rev."},{"issue":"5s","key":"5_CR28","first-page":"1","volume":"16","author":"Jiajie Wang","year":"2017","unstructured":"Wang, J., Mendler, M., Roop, P., Bodin, B.: Timing analysis of synchronous programs using WCRT algebra: scalability through abstraction. ACM TECS 16(5s), 177:1\u2013177:19 (2017)","journal-title":"ACM Transactions on Embedded Computing Systems"},{"doi-asserted-by":"crossref","unstructured":"Wang, J.J., Roop, P.S., Andalam, S.: ILPc: a novel approach for scalable timing analysis of synchronous programs. In: CASES 2013, Montreal, Canada, September\u2013October 2013, pp. 20:1\u201320:10 (2013)","key":"5_CR29","DOI":"10.1109\/CASES.2013.6662526"},{"doi-asserted-by":"crossref","unstructured":"Yip, E., Roop, P.S., Biglari-Abhari, M., Girault, A.: Programming and timing analysis of parallel programs on multicores. In: Proceedings on Application of Concurrency to System Design (ACSD 2013), pp. 160\u2013169. IEEE (2013)","key":"5_CR30","DOI":"10.1109\/ACSD.2013.19"}],"container-title":["Lecture Notes in Computer Science","Models, Mindsets, Meta: The What, the How, and the Why Not?"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-22348-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T13:19:44Z","timestamp":1561468784000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-22348-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030223472","9783030223489"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-22348-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"26 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}