{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:55:53Z","timestamp":1743090953324},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030323035"},{"type":"electronic","value":"9783030323042"}],"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-32304-2_9","type":"book-chapter","created":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T05:04:01Z","timestamp":1570251841000},"page":"162-180","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["On the Monniaux Problem in Abstract Interpretation"],"prefix":"10.1007","author":[{"given":"Nathana\u00ebl","family":"Fijalkow","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Engel","family":"Lefaucheux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Ohlmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00ebl","family":"Ouaknine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amaury","family":"Pouly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Worrell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,2]]},"reference":[{"key":"9_CR1","unstructured":"Almagor, S., Chistikov, D., Ouaknine, J., Worrell, J.: O-minimal invariants for linear loops. In: Proceedings of ICALP. LIPIcs, vol. 107, pp. 114:1\u2013114:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2018)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-319-99725-4_10","volume-title":"Static Analysis","author":"A Bakhirkin","year":"2018","unstructured":"Bakhirkin, A., Monniaux, D.: Extending constraint-only representation of polyhedra with boolean constraints. In: Podelski, A. (ed.) SAS 2018. LNCS, vol. 11002, pp. 127\u2013145. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99725-4_10"},{"key":"9_CR3","unstructured":"Cai, J.-Y.: Computing Jordan normal forms exactly for commuting matrices in polynomial time. Technical report, SUNY at Buffalo (2000)"},{"issue":"6","key":"9_CR4","doi-asserted-by":"publisher","first-page":"1878","DOI":"10.1137\/S0097539794276853","volume":"29","author":"J-Y Cai","year":"2000","unstructured":"Cai, J.-Y., Lipton, R.J., Zalcstein, Y.: The complexity of the A B C problem. SIAM J. Comput. 29(6), 1878\u20131888 (2000)","journal-title":"SIAM J. Comput."},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-540-27864-1_23","volume-title":"Static Analysis","author":"R Claris\u00f3","year":"2004","unstructured":"Claris\u00f3, R., Cortadella, J.: The octahedron abstract domain. In: Giacobazzi, R. (ed.) SAS 2004. LNCS, vol. 3148, pp. 312\u2013327. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27864-1_23"},{"key":"9_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02945-9","volume-title":"A Course in Computational Algebraic Number Theory","author":"H Cohen","year":"1993","unstructured":"Cohen, H.: A Course in Computational Algebraic Number Theory. Springer-Verlag, Heidelberg (1993). https:\/\/doi.org\/10.1007\/978-3-662-02945-9"},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10703-009-0089-6","volume":"35","author":"P Cousot","year":"2009","unstructured":"Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Rival, X.: Why does Astr\u00e9e scale up? Formal Meth. Syst. Des. 35(3), 229\u2013264 (2009)","journal-title":"Formal Meth. Syst. Des."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Proceedings of POPL, pp. 84\u201396. ACM Press (1978)","DOI":"10.1145\/512760.512770"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Fijalkow, N., Lefaucheux, E., Ohlmann, P., Ouaknine, J., Pouly, A., Worrell, J.: On the monniaux problem in abstract interpretation. CoRR, abs\/1907.08257 (2019)","DOI":"10.1007\/978-3-030-32304-2_9"},{"key":"9_CR10","unstructured":"Fijalkow, N., Ohlmann, P., Ouaknine, J., Pouly, A., Worrell, J.: Semialgebraic invariant synthesis for the Kannan-Lipton Orbit Problem. In: Proceedings of STACS. LIPIcs, vol. 66, pp. 29:1\u201329:13. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2017)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Fijalkow, N., Ohlmann, P., Ouaknine, J., Pouly, A., Worrell, J.: Complete semialgebraic invariant synthesis for the Kannan-LiptonOrbit Problem. Theory of Computing Systems (2019)","DOI":"10.1007\/s00224-019-09913-3"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-642-27940-9_16","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"K Ghorbal","year":"2012","unstructured":"Ghorbal, K., Ivan\u010di\u0107, F., Balakrishnan, G., Maeda, N., Gupta, A.: Donut domains: efficient non-convex domains for abstract interpretation. In: Kuncak, V., Rybalchenko, A. (eds.) VMCAI 2012. LNCS, vol. 7148, pp. 235\u2013250. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-27940-9_16"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Giacobazzi, R., Logozzo, F., Ranzato, F.: Analyzing program analyses. In: Proceedings POPL, pp. 261\u2013273. ACM (2015)","DOI":"10.1145\/2775051.2676987"},{"issue":"2","key":"9_CR14","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1145\/333979.333989","volume":"47","author":"R Giacobazzi","year":"2000","unstructured":"Giacobazzi, R., Ranzato, F., Scozzari, F.: Making abstract interpretations complete. J. ACM 47(2), 361\u2013416 (2000)","journal-title":"J. ACM"},{"issue":"4","key":"9_CR15","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1051\/ita:2006039","volume":"40","author":"V Halava","year":"2006","unstructured":"Halava, V., Harju, T.: Undecidability of infinite Post correspondence problem for instances of size 9. RAIRO - Theoret. Inf. Appl. Informatique Th\u00e9orique Appl. 40(4), 551\u2013557 (2006)","journal-title":"RAIRO - Theoret. Inf. Appl. Informatique Th\u00e9orique Appl."},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Hrushovski, E., Ouaknine, J., Pouly, A., Worrell, J.: Polynomial invariants for affine programs. In: Proceedings of LICS, pp. 530\u2013539. ACM (2018)","DOI":"10.1145\/3209108.3209142"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Kannan, R., Lipton, R.J.: The Orbit Problem is decidable. In: Proceedings of STOC, pp. 252\u2013261 (1980)","DOI":"10.1145\/800141.804673"},{"issue":"4","key":"9_CR18","doi-asserted-by":"publisher","first-page":"808","DOI":"10.1145\/6490.6496","volume":"33","author":"R Kannan","year":"1986","unstructured":"Kannan, R., Lipton, R.J.: Polynomial-time algorithm for the Orbit Problem. J. ACM 33(4), 808\u2013821 (1986)","journal-title":"J. ACM"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF00268497","volume":"6","author":"M Karr","year":"1976","unstructured":"Karr, M.: Affine relationships among variables of a program. Acta Inf. 6, 133\u2013151 (1976)","journal-title":"Acta Inf."},{"issue":"POPL","key":"9_CR20","first-page":"54:1","volume":"2","author":"Z Kincaid","year":"2018","unstructured":"Kincaid, Z., Cyphert, J., Breck, J., Reps, T.W.: Non-linear reasoning for invariant synthesis. PACMPL 2(POPL), 54:1\u201354:33 (2018)","journal-title":"PACMPL"},{"key":"9_CR21","unstructured":"Min\u00e9, A.: The octagon abstract domain. In: Proceedings of WCRE, p. 310. IEEE Computer Society (2001)"},{"key":"9_CR22","unstructured":"Monniaux, D.: On the decidability of the existence of polyhedral invariants in transition systems. CoRR, abs\/1709.04382 (2017)"},{"issue":"4","key":"9_CR23","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s00236-018-0324-y","volume":"56","author":"D Monniaux","year":"2019","unstructured":"Monniaux, D.: On the decidability of the existence of polyhedral invariants in transition systems. Acta Inf. 56(4), 385\u2013389 (2019)","journal-title":"Acta Inf."},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1016","DOI":"10.1007\/978-3-540-27836-8_85","volume-title":"Automata, Languages and Programming","author":"M M\u00fcller-Olm","year":"2004","unstructured":"M\u00fcller-Olm, M., Seidl, H.: A note on Karr\u2019s Algorithm. In: D\u00edaz, J., Karhum\u00e4ki, J., Lepist\u00f6, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol. 3142, pp. 1016\u20131028. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27836-8_85"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-30579-8_2","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"S Sankaranarayanan","year":"2005","unstructured":"Sankaranarayanan, S., Sipma, H.B., Manna, Z.: Scalable analysis of linear systems using mathematical programming. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol. 3385, pp. 25\u201341. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-30579-8_2"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-32304-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,8]],"date-time":"2019-12-08T15:33:26Z","timestamp":1575819206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-32304-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030323035","9783030323042"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-32304-2_9","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":"2 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Static Analysis Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sas2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/staticanalysis.org\/sas2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"50","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"40% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.44","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6.2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}