{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T02:49:32Z","timestamp":1764557372785,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319461397"},{"type":"electronic","value":"9783319461403"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-46140-3_25","type":"book-chapter","created":{"date-parts":[[2016,9,14]],"date-time":"2016-09-14T00:39:51Z","timestamp":1473813591000},"page":"311-317","source":"Crossref","is-referenced-by-count":1,"title":["The 4-Octahedron Abstract Domain"],"prefix":"10.1007","author":[{"given":"Rachid","family":"Oucheikh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ismail","family":"Berrada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Outman","family":"El Hichami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,15]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: SPPL, pp. 238\u2013252. ACM Press (1977)","DOI":"10.1145\/512950.512973"},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/11823230_3","volume-title":"Static Analysis","author":"\u00c9 Goubault","year":"2006","unstructured":"Goubault, \u00c9., Putot, S.: Static analysis of numerical algorithms. In: Yi, K. (ed.) SAS 2006. LNCS, vol. 4134, pp. 18\u201334. Springer, Heidelberg (2006)"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/3-540-44978-7_10","volume-title":"Programs as Data Objects","author":"A Min\u00e9","year":"2001","unstructured":"Min\u00e9, A.: A new numerical abstract domain based on difference-bound matrices. In: Danvy, O., Filinski, A. (eds.) PADO 2001. LNCS, vol. 2053, pp. 155\u2013172. Springer, Heidelberg (2001)"},{"key":"25_CR4","series-title":"Lecture Notes in Computer Science","first-page":"197","volume-title":"Timed Specifications: Automatic Verification Methods for Finite State Systems","author":"DL Dill","year":"1989","unstructured":"Dill, D.L.: Timing assumptions and verification of finite-state concurrent systems. In: Sifakis, J. (ed.) Timed Specifications: Automatic Verification Methods for Finite State Systems. LNCS, vol. 407, pp. 197\u2013212. Springer, Heidelberg (1989)"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Min\u00e9, A.: The octagon abstract domain. In: Proceedings of Analysis, Slicing and Tranformation, pp. 310\u2013319. IEEE CS Press (2001)","DOI":"10.1109\/WCRE.2001.957836"},{"key":"25_CR6","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1090\/qam\/102435","volume":"16","author":"R Bellman","year":"1958","unstructured":"Bellman, R.: On a routing problem. Q. Appl. Math. 16, 87\u201390 (1958)","journal-title":"Q. Appl. Math."},{"key":"25_CR7","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.scico.2006.03.009","volume":"64","author":"R Claris\u00f2","year":"2007","unstructured":"Claris\u00f2, R., Cortadella, J.: The octahedron abstract domain. Sci. Comput. Program. 64, 115\u2013139 (2007)","journal-title":"Sci. Comput. Program."},{"key":"25_CR8","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1023\/A:1008678014487","volume":"11","author":"N Halbwachs","year":"1997","unstructured":"Halbwachs, N., Proy, Y.-E., Roumanoff, P.: Verification of real-time systems using linear relation analysis. Form. Methods Syst. Des. 11, 157\u2013185 (1997)","journal-title":"Form. Methods Syst. Des."},{"key":"25_CR9","unstructured":"Benes, N., Bezdek, P., Larsen, K.G., Srba, J. Language Emptiness of Continuous-Time Parametric Timed Automata (2015). arXiv preprint arXiv:1504.07838"},{"key":"25_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/978-3-319-22975-1_3","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"\u00c9 Andr\u00e9","year":"2015","unstructured":"Andr\u00e9, \u00c9., Markey, N.: Language preservation problems in parametric timed automata. In: Sankaranarayanan, S., Vicario, E. (eds.) FORMATS 2015. LNCS, vol. 9268, pp. 27\u201343. Springer, Heidelberg (2015)"},{"key":"25_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/978-3-642-29072-5_6","volume-title":"Transactions on Petri Nets and Other Models of Concurrency V","author":"M Knapik","year":"2012","unstructured":"Knapik, M., Penczek, W.: Bounded model checking for parametric timed automata. In: Jensen, K., Donatelli, S., Kleijn, J. (eds.) Transactions on Petri Nets and Other Models of Concurrency V. LNCS, vol. 6900, pp. 141\u2013159. Springer, Heidelberg (2012)"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Blunno, I., Cortadella, J., Kondratyev, A., Lavagno, L., Lwin, K., Sotiriou, C.: Handshake protocols for de-synchronization. In: The 10th International Symposium on Advanced Research in Asynchronous Circuits and Systems, pp. 149\u2013158 (2004)","DOI":"10.1109\/ASYNC.2004.1299296"},{"key":"25_CR13","unstructured":"The detailed proofs and explanations website: http:\/\/www.fsdmfes.ac.ma\/Octahedron"}],"container-title":["Lecture Notes in Computer Science","Networked Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46140-3_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T18:44:16Z","timestamp":1498329856000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46140-3_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319461397","9783319461403"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46140-3_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}