{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:25:40Z","timestamp":1742948740548,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319657646"},{"type":"electronic","value":"9783319657653"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-65765-3_18","type":"book-chapter","created":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T05:08:38Z","timestamp":1501650518000},"page":"318-334","source":"Crossref","is-referenced-by-count":3,"title":["A Symbolic Operational Semantics for TESL"],"prefix":"10.1007","author":[{"given":"Hai","family":"Nguyen Van","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thibaut","family":"Balabonski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Boulanger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chantal","family":"Keller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beno\u00eet","family":"Valiron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Burkhart","family":"Wolff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,3]]},"reference":[{"key":"18_CR1","unstructured":"UML profile for MARTE $${^{\\mathtt{TM}}}$$ : Modeling and analysis of real-time embedded systems $${^{\\mathtt{TM}}}$$ . http:\/\/www.omg.org\/spec\/MARTE\/1.1\/"},{"key":"18_CR2","unstructured":"International online testing symposium (1995\u20132017). http:\/\/tima.imag.fr\/conferences\/iolts\/"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"IEEE standard verilog hardware description language. IEEE Std 1364\u20132001 (2001). https:\/\/doi.org\/10.1109\/IEEESTD.2001.93352","DOI":"10.1109\/IEEESTD.2001.93352"},{"key":"18_CR4","unstructured":"Specification: Business process execution language for web services version 1.1 (2003). http:\/\/www-106.ibm.com\/developerworks\/webservices\/library\/ws-bpel\/"},{"key":"18_CR5","unstructured":"Berry, G.: The Constructive Semantics of Pure Esterel (1999). http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.46.2076"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Boulanger, F., Jacquet, C., Hardebolle, C., Prodan, I.: TESL: a language for reconciling heterogeneous execution traces. In: Twelfth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014), pp. 114\u2013123. Lausanne, Switzerland, October 2014. http:\/\/ieeexplore.ieee.org\/xpl\/articleDetails.jsp?arnumber=6961849","DOI":"10.1109\/MEMCOD.2014.6961849"},{"issue":"3\u20134","key":"18_CR7","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/s10817-008-9108-3","volume":"41","author":"AD Brucker","year":"2008","unstructured":"Brucker, A.D., Wolff, B.: An extensible encoding of object-oriented data models in HOL. J. Autom. Reasoning 41(3\u20134), 219\u2013249 (2008). https:\/\/doi.org\/10.1007\/s10817-008-9108-3","journal-title":"J. Autom. Reasoning"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-319-41135-4_2","volume-title":"Tests and Proofs","author":"AD Brucker","year":"2016","unstructured":"Brucker, A.D., Wolff, B.: Monadic sequence testing and explicit test-refinements. In: Aichernig, B.K.K., Furia, C.A.A. (eds.) TAP 2016. LNCS, vol. 9762, pp. 17\u201336. Springer, Cham (2016). doi: 10.1007\/978-3-319-41135-4_2"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Globalizing Domain-Specific Languages","year":"2015","unstructured":"Cheng, B.H.C., Combemale, B., France, R.B., J\u00e9z\u00e9quel, J.-M., Rumpe, B. (eds.): Globalizing Domain-Specific Languages. LNCS, vol. 9400. Springer, Cham (2015)"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity - the Ptolemy approach. In: Proceedings of the IEEE, pp. 127\u2013144 (2003)","DOI":"10.1109\/JPROC.2002.805829"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Garc\u00e9s, K., Deantoni, J., Mallet, F.: A model-based approach for reconciliation of polychronous execution traces. In: SEAA 2011\u201337th EUROMICRO Conference on Software Engineering and Advanced Applications. IEEE, Oulu, Finland, August 2011. https:\/\/hal.inria.fr\/inria-00597981","DOI":"10.1109\/SEAA.2011.47"},{"key":"18_CR12","unstructured":"Hardebolle, C., Boulanger, F.: Exploring multi-paradigm modeling techniques. Simul. Trans. Soc. Model. Simul. Int. 85(11\/12), 688\u2013708 (2009). http:\/\/wdi.supelec.fr\/software\/downloads\/ModHelX\/2009MPMSimulation.pdf"},{"issue":"3","key":"18_CR13","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/s10703-009-0065-1","volume":"34","author":"M Krichen","year":"2009","unstructured":"Krichen, M., Tripakis, S.: Conformance testing for real-time systems. Form. Methods Syst. Des. 34(3), 238\u2013304 (2009). http:\/\/dx.doi.org\/10.1007\/s10703-009-0065-1","journal-title":"Form. Methods Syst. Des."},{"issue":"12","key":"18_CR14","doi-asserted-by":"crossref","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"EA Lee","year":"1998","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Trans. CAD 17(12), 1217\u20131229 (1998)","journal-title":"IEEE Trans. CAD"},{"issue":"1\u20132","key":"18_CR15","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/s11334-009-0109-0","volume":"6","author":"F Mallet","year":"2010","unstructured":"Mallet, F., Deantoni, J., Andr\u00e9, C., De Simone, R.: The clock constraint specification language for building timed causality models. Innov. Syst. Softw. Eng. 6(1\u20132), 99\u2013106 (2010). https:\/\/hal.inria.fr\/inria-00464894","journal-title":"Innov. Syst. Softw. Eng."},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL\u2014A Proof Assistant for Higher-Order Logic","year":"2002","unstructured":"Nipkow, T., Wenzel, M., Paulson, L.C. (eds.): Isabelle\/HOL\u2014A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45949-9"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-540-85778-5_18","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"J Schmaltz","year":"2008","unstructured":"Schmaltz, J., Tretmans, J.: On conformance testing for timed systems. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol. 5215, pp. 250\u2013264. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-85778-5_18"},{"key":"18_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/3-540-63533-5_17","volume-title":"FME \u201997: Industrial Applications and Strengthened Foundations of Formal Methods","author":"H Tej","year":"1997","unstructured":"Tej, H., Wolff, B.: A corrected failure-divergence model for CSP in Isabelle\/HOL. In: Fitzgerald, J., Jones, C.B., Lucas, P. (eds.) FME 1997. LNCS, vol. 1313, pp. 318\u2013337. Springer, Heidelberg (1997). doi: 10.1007\/3-540-63533-5_17"},{"issue":"3","key":"18_CR19","first-page":"103","volume":"17","author":"J Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Softw. Concepts Tools 17(3), 103\u2013120 (1996)","journal-title":"Softw. Concepts Tools"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Vara Larsen, M.E., Deantoni, J., Combemale, B., Mallet, F.: A Behavioral coordination operator language (BCOoL). In: 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), August 2015. https:\/\/hal.inria.fr\/hal-01182773","DOI":"10.1109\/MODELS.2015.7338249"},{"issue":"1","key":"18_CR21","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1016\/j.jlap.2006.05.006","volume":"70","author":"M Viroli","year":"2007","unstructured":"Viroli, M.: A core calculus for correlation in orchestration languages. J. Logic Algebraic Program. 70(1), 74\u201395 (2007). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1567832606000300","journal-title":"J. Logic Algebraic Program."},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Weeks, S.: Whole-program Compilation in MLton. In: Proceedings of the 2006 Workshop on ML. ML 2006, p. 1. ACM New York (2006). http:\/\/doi.acm.org\/10.1145\/1159876.1159877","DOI":"10.1145\/1159876.1159877"},{"key":"18_CR23","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-319-29510-7_2","volume-title":"Formal Techniques for Safety-Critical Systems","author":"M Zhang","year":"2016","unstructured":"Zhang, M., Mallet, F.: An executable semantics of clock constraint specification language and its applications. In: Artho, C., \u00d6lveczky, P.C. (eds.) FTSCS 2015. CCIS, vol. 596, pp. 37\u201351. Springer, Cham (2016). doi: 10.1007\/978-3-319-29510-7_2"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-65765-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T19:17:40Z","timestamp":1569957460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-65765-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319657646","9783319657653"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-65765-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}