{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T15:18:55Z","timestamp":1791299935563,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540297352","type":"print"},{"value":"9783540322474","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11575467_23","type":"book-chapter","created":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T13:58:51Z","timestamp":1131717531000},"page":"347-363","source":"Crossref","is-referenced-by-count":14,"title":["Abstract Dependences for Alarm Diagnosis"],"prefix":"10.1007","author":[{"given":"Xavier","family":"Rival","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M.: Secrecy by typing in security protocols. Journal of the ACM (1999)","DOI":"10.1145\/324133.324266"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M., Banerjee, A., Heintze, N., Riecke, J.G.: A core calculus of dependency. In: POPL (1999)","DOI":"10.1145\/292540.292555"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Agrawal, H., Horgan, J.R.: Dynamic program slicing. In: PLDI (1990)","DOI":"10.1145\/93542.93576"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Ball, T., Naik, M., Rajamani, S.: From symptom to cause: Localizing errors in counterexample traces. In: POPL (2003)","DOI":"10.1145\/604131.604140"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: A Static Analyzer for Large Safety Critical Software. In: PLDI (2003)","DOI":"10.1145\/781131.781153"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Canfora, G., Cimitille, A., Lucia, A.D.: Condition program slicing. Information and Software Technology; Special issue on Program Slicing (1998)","DOI":"10.1016\/S0950-5849(98)00086-X"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Cartwright, R., Felleisen, M.: The semantics of program dependence. In: PLDI (1989)","DOI":"10.1145\/73141.74820"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Burke, M., Carini, P.: Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In: PLDI (1993)","DOI":"10.1145\/158511.158639"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Cousot, P.: Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. ENTCS\u00a06 (1997)","DOI":"10.1016\/S1571-0661(05)80168-9"},{"key":"23_CR10","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: POPL (1977)","DOI":"10.1145\/512950.512973"},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-31987-0_3","volume-title":"Programming Languages and Systems","author":"P. Cousot","year":"2005","unstructured":"Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: The ASTRE\u00c9 analyzer. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 21\u201330. Springer, Heidelberg (2005)"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Danicic, S., Daoudi, D., Fox, C., Hierons, R., Harman, M., Howroyd, J., Ouarbya, L., Ward, M.: ConSUS: A Light-Weight Program Conditioner. Journal of Systems and Software (2004)","DOI":"10.1016\/j.jss.2004.03.034"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Denning, D.E.: A lattice model of secure information flow. Communications of the ACM (1976)","DOI":"10.1145\/360051.360056"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Deutsch, A.: Interprocedural may-alias analysis for pointers: beyond k-limiting. In: PLDI (1994)","DOI":"10.1145\/178243.178263"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Dor, N., Rodeh, M., Sagiv, M.: CSSV: Towards a realistic tool for statically detecting all buffer overflows in C. In: PLDI (2003)","DOI":"10.1145\/781131.781149"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Fox, C., Danicic, S., Harman, M., Hierons, R.: ConSIT: A Conditioned Program Slicing System. Software - Practice and Experience (2004)","DOI":"10.1002\/spe.556"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Giacobazzi, R., Mastroeni, I.: Abstract non-interference: parameterizing non-interference by abstract interpretation. In: POPL (2004)","DOI":"10.1145\/964001.964017"},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: IEEE Symp. on Security and Privacy (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using dependence graphs. In: PLDI (1988)","DOI":"10.1145\/53990.53994"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Korel, B., Laski, J.: Dynamic Program Slicing. Information Processing Letters (1988)","DOI":"10.1016\/0020-0190(88)90054-3"},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-540-45099-3_15","volume-title":"Static Analysis","author":"T. Lev-Ami","year":"2000","unstructured":"Lev-Ami, T., Sagiv, M.: TVLA: A system for implementing static analyses. In: Palsberg, J. (ed.) SAS 2000. LNCS, vol.\u00a01824, pp. 280\u2013302. Springer, Heidelberg (2000)"},{"key":"23_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-540-31987-0_2","volume-title":"Programming Languages and Systems","author":"L. Mauborgne","year":"2005","unstructured":"Mauborgne, L., Rival, X.: Trace Partitioning in Abstract Interpretation Based Static Analyzers. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 5\u201320. Springer, Heidelberg (2005)"},{"key":"23_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/11547662_21","volume-title":"Static Analysis","author":"X. Rival","year":"2005","unstructured":"Rival, X.: Understanding the origin of alarms in astr\u00e9e. In: Hankin, C., Siveroni, I. (eds.) SAS 2005. LNCS, vol.\u00a03672, pp. 303\u2013319. Springer, Heidelberg (2005)"},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Myers, A.: Language-based information-flow security. IEEE Journal on Selected Areas in Communications (2003)","DOI":"10.1109\/JSAC.2002.806121"},{"key":"23_CR25","doi-asserted-by":"crossref","unstructured":"Venet, A., Brat, G.: Precise and efficient array bound checking for large embedded c programs. In: PLDI (2004)","DOI":"10.1145\/996841.996869"},{"key":"23_CR26","unstructured":"Weiser, M.: Program slicing. In: Proceeding of the Fifth International Conference on Software Engineering, pp. 439\u2013449 (1981)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11575467_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:57:29Z","timestamp":1605643049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11575467_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297352","9783540322474"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11575467_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}