{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:18:19Z","timestamp":1740122299078,"version":"3.37.3"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,5,31]],"date-time":"2017-05-31T00:00:00Z","timestamp":1496188800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1007\/s10601-017-9268-z","type":"journal-article","created":{"date-parts":[[2017,5,31]],"date-time":"2017-05-31T17:32:43Z","timestamp":1496251963000},"page":"463-490","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A global constraint for over-approximation of real-time streams"],"prefix":"10.1007","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9869-3428","authenticated-orcid":false,"given":"Anicet","family":"Bart","sequence":"first","affiliation":[]},{"given":"Charlotte","family":"Truchet","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Monfroy","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,31]]},"reference":[{"issue":"1-2","key":"9268_CR1","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/S0304-3975(99)00032-8","volume":"221","author":"KR Apt","year":"1999","unstructured":"Apt, K.R. (1999). The essence of constraint propagation. Theoretical Computer Science, 221(1-2), 179\u2013210.","journal-title":"Theoretical Computer Science"},{"key":"9268_CR2","doi-asserted-by":"crossref","unstructured":"Araya, I., Trombettoni, G., Neveu, B., & Chabert, G. Upper Bounding in Inner Regions for Global Optimization under Inequality Constraints. Journal of Global Optimization (2), 145\u2013164 (2014).","DOI":"10.1007\/s10898-014-0145-7"},{"key":"9268_CR3","volume-title":"27th IEEE international conference on tools with artificial intelligence, ICTAI 2015, Vietri sul Mare, Italy, November 9-11, 2015 (pp. 844\u2013851), IEEE","author":"A Bart","year":"2015","unstructured":"Bart, A., Truchet, C., & Monfroy, E. (2015). Verifying a real-time language with constraints, 27th IEEE international conference on tools with artificial intelligence, ICTAI 2015, Vietri sul Mare, Italy, November 9-11, 2015 (pp. 844\u2013851), IEEE."},{"key":"9268_CR4","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1016\/S1574-6526(06)80020-9","volume-title":"Handbook of constraint programming","author":"F Benhamou","year":"2006","unstructured":"Benhamou, F., & Granvilliers, L. (2006). Continuous and interval constraints, Handbook of constraint programming (pp. 571\u2013603)."},{"issue":"1","key":"9268_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0743-1066(96)00142-2","volume":"32","author":"F Benhamou","year":"1997","unstructured":"Benhamou, F., & J. Older, W. (1997). Applying interval arithmetic to real, integer and Boolean constraints. Journal of Logic Programming, 32(1), 1\u201324.","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"9268_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2010.12.011","volume":"264","author":"B Blanc","year":"2010","unstructured":"Blanc, B., Junke, C., Marre, B., Gall, P.L., & Andrieu, O. (2010). Handling state-machines specifications with gatel. Electronic Notes in Theoretical Computer Science, 264(3), 3\u201317.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9268_CR7","first-page":"13","volume-title":"15th IEEE international conference on embedded and real-time computing systems and applications, TCSA 2009, Beijing, China, 24-26 August 2009","author":"S Bygde","year":"2009","unstructured":"Bygde, S., Ermedahl, A., & Lisper, B. (2009). An efficient algorithm for parametric WCET calculation, 15th IEEE international conference on embedded and real-time computing systems and applications, TCSA 2009, Beijing, China, 24-26 August 2009 (pp. 13\u201321)."},{"issue":"11","key":"9268_CR8","doi-asserted-by":"crossref","first-page":"1079","DOI":"10.1016\/j.artint.2009.03.002","volume":"173","author":"G Chabert","year":"2009","unstructured":"Chabert, G., & Jaulin, L. (2009). Contractor programming. Artificial Intelligence, 173(11), 1079\u20131100.","journal-title":"Artificial Intelligence"},{"key":"9268_CR9","first-page":"147","volume-title":"A note on partial consistencies over continuous domains","author":"H Collavizza","year":"1998","unstructured":"Collavizza, H., Delobel, F., & Rueher, M. (1998). A note on partial consistencies over continuous domains (pp. 147\u2013161). Berlin: Springer."},{"key":"9268_CR10","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/2593735.2593737","volume-title":"Proceedings of the 6th international workshop on constraints in software testing, verification, and analysis, CSTVA 2014","author":"H Collavizza","year":"2014","unstructured":"Collavizza, H., Michel, C., Ponsini, O., & Rueher, M. (2014). Generating test cases inside suspicious intervals for floating-point number programs, Proceedings of the 6th international workshop on constraints in software testing, verification, and analysis, CSTVA 2014 (pp. 7\u201311). New York: ACM."},{"key":"9268_CR11","first-page":"106","volume-title":"Proceedings of the 2nd international symposium on programming","author":"P Cousot","year":"1976","unstructured":"Cousot, P., & Cousot, R. (1976). Static determination of dynamic properties of programs, Proceedings of the 2nd international symposium on programming (pp. 106\u2013130). Paris: Dunod."},{"key":"9268_CR12","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"Conference record of the 4th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages","author":"P Cousot","year":"1977","unstructured":"Cousot, P., & Cousot, R. (1977). Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Conference record of the 4th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages (pp. 238\u2013252). New York, Los Angeles: ACM."},{"issue":"4","key":"9268_CR13","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P Cousot","year":"1992","unstructured":"Cousot, P., & Cousot, R. (1992). Abstract interpretation frameworks. Journal of Logic and Computation, 2(4), 511\u2013547.","journal-title":"Journal of Logic and Computation"},{"key":"9268_CR14","first-page":"241","volume-title":"Proceedings of the principles and practice of constraint programming CP 2007, Providence, RI USA, September 23-27, 2007","author":"T Denmat","year":"2007","unstructured":"Denmat, T., Gotlieb, A., & Ducass\u00e9, M. (2007). An abstract interpretation based combinator for modeling while loops in constraint programming, Proceedings of the principles and practice of constraint programming CP 2007, Providence, RI USA, September 23-27, 2007 (pp. 241\u2013255)."},{"key":"9268_CR15","volume-title":"Proceedings of the principles and practice of constraint programming CP 2014, Lyon, France, September 8-12, 2014","author":"S Di Alesio","year":"2014","unstructured":"Di Alesio, S., Nejati, S., Briand, L.C., & Gotlieb, A. (2014). Worst-case scheduling of software tasks - a constraint optimization model to support performance testing, Proceedings of the principles and practice of constraint programming CP 2014, Lyon, France, September 8-12, 2014."},{"key":"9268_CR16","volume-title":"Interval analysis","author":"R Edgar Moore","year":"1966","unstructured":"Edgar Moore, R. (1966). Interval analysis. Englewood Cliffs: Prentice-Hall."},{"key":"9268_CR17","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/bs.adcom.2015.05.002","volume":"99","author":"A Gotlieb","year":"2015","unstructured":"Gotlieb, A. (2015). Constraint-based testing: An emerging trend in software testing. Advances in Computers, 99, 67\u2013101.","journal-title":"Advances in Computers"},{"issue":"9","key":"9268_CR18","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., & Pilaud, D. (1991). The synchronous dataflow programming language lustre. Proceedings of the IEEE, 79(9), 1305\u20131320.","journal-title":"Proceedings of the IEEE"},{"key":"9268_CR19","volume-title":"Proceedings of the 22nd international joint conference on artificial intelligence-volume volume one. AAAI Press","author":"A Lallouet","year":"2011","unstructured":"Lallouet, A., Law, Y.C., Lee, J.H., & Siu, C.F. (2011). Constraint programming on infinite data streams, Proceedings of the 22nd international joint conference on artificial intelligence-volume volume one. AAAI Press."},{"key":"9268_CR20","first-page":"80","volume-title":"Proceedings, chap. correcting the dynamic call graph using control-flow constraints","author":"B Lee","year":"2007","unstructured":"Lee, B., Resnick, K., Bond, M.D., & McKinley, K.S. (2007). Compiler construction: 16th international conference, CC 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings, chap. correcting the dynamic call graph using control-flow constraints (pp. 80\u201395). Berlin: Springer."},{"key":"9268_CR21","unstructured":"Lee, J., & Lee, J. In: Principles and Practice of Constraint Programming."},{"key":"9268_CR22","unstructured":"Lhomme, O. (1993). Consistency techniques for numeric csps (pp. 232\u2013238)."},{"key":"9268_CR23","unstructured":"(2013). moForte: audio modeling for mobile. http:\/\/www.moforte.com ."},{"issue":"2","key":"9268_CR24","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U Montanari","year":"1974","unstructured":"Montanari, U. (1974). Networks of constraints: fundamental properties and applications to picture processing. Information Science, 7(2), 95\u2013132.","journal-title":"Information Science"},{"key":"9268_CR25","volume-title":"Signals & systems","author":"AV Oppenheim","year":"1996","unstructured":"Oppenheim, A.V., Willsky, A.S., & Nawab, S.H. (1996). Signals & systems, 2nd Edn. Upper Saddle River: Prentice-Hall.","edition":"2nd Edn."},{"key":"9268_CR26","volume-title":"International computer music conference","author":"Y Orlarey","year":"2002","unstructured":"Orlarey, Y., Fober, D., & Letz, S. (2002). An algebra for block diagram languages, International computer music conference."},{"issue":"9","key":"9268_CR27","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1007\/s00500-004-0388-1","volume":"8","author":"Y Orlarey","year":"2004","unstructured":"Orlarey, Y., Fober, D., & Letz, S. (2004). Syntactical and semantical aspects of Faust. Soft Computing, 8(9), 623\u2013632.","journal-title":"Soft Computing"},{"key":"9268_CR28","first-page":"434","volume-title":"Proceedings of the verification, model checking, and abstract interpretation, 14th international conference, VMCAI 2013, Rome, Italy, January 20-22, 2013","author":"M Pelleau","year":"2013","unstructured":"Pelleau, M., Min\u00e9, A., Truchet, C., & Benhamou, F. (2013). A constraint solver based on abstract domains, Proceedings of the verification, model checking, and abstract interpretation, 14th international conference, VMCAI 2013, Rome, Italy, January 20-22, 2013 (pp. 434\u2013454)."},{"key":"9268_CR29","unstructured":"Podelski, A. (2000). chap. Model checking as constraint solving. In Proceedings of the static analysis: 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 (pp. 22\u201337). Berlin: Springer."},{"key":"9268_CR30","unstructured":"Ponsini, O., Michel, C., & Rueher, M. (2011). Refining Abstract Interpretation-based Approximations with Constraint Solvers. Tech. rep."},{"issue":"2","key":"9268_CR31","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/s10515-014-0154-2","volume":"23","author":"O Ponsini","year":"2016","unstructured":"Ponsini, O., Michel, C., & Rueher, M. (2016). Verifying floating-point programs with constraint programming and abstract interpretation techniques. Automated Software Engineering, 23(2), 191\u2013217.","journal-title":"Automated Software Engineering"},{"key":"9268_CR32","unstructured":"Schrammel, P. (2013). Logico-numerical verification methods for discrete and hybrid systems. Ph.D. thesis, University of Grenoble."},{"key":"9268_CR33","unstructured":"Smith, J.O. (2011). Spectral Audio Signal Processing. http:\/\/ccrma.stanford.edu\/~jos\/sasp\/ . Online book, 2011 edition."}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-017-9268-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-017-9268-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-017-9268-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T05:49:15Z","timestamp":1569390555000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-017-9268-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,31]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,7]]}},"alternative-id":["9268"],"URL":"https:\/\/doi.org\/10.1007\/s10601-017-9268-z","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[2017,5,31]]}}}