Kreiker, J.; Reps, T.; Rinetzky, N.; Sagiv, M.; Wilhelm, Reinhard; Yahav, E. Interprocedural shape analysis for effectively cutpoint-free programs. (English) Zbl 1383.68025 Voronkov, Andrei (ed.) et al., Programming logics. Essays in memory of Harald Ganzinger. Berlin: Springer (ISBN 978-3-642-37650-4/pbk). Lecture Notes in Computer Science 7797, 414-445 (2013). MSC: 68N30 03B70 68Q55 PDF BibTeX XML Cite \textit{J. Kreiker} et al., Lect. Notes Comput. Sci. 7797, 414--445 (2013; Zbl 1383.68025) Full Text: DOI
Esparza, Javier; Kreiker, Jörg Three case studies on verification of infinite-state systems. (English) Zbl 1256.68117 D’Souza, Deepak (ed.) et al., Modern applications of automata theory. Dedicated to the memory of Professor Priti Shankar. Foreword by Reinhard Wilhelm. Hackensack, NJ: World Scientific; Bangalore: IISc Press (ISBN 978-981-4271-04-2/hbk; 978-981-4271-05-9/ebook). IISc Research Monographs Series 2, 373-414 (2012). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{J. Esparza} and \textit{J. Kreiker}, IISc Res. Monogr. Ser. 2, 373--414 (2012; Zbl 1256.68117) Full Text: DOI
Kreiker, Jörg; Seidl, Helmut; Vojdani, Vesal Shape analysis of low-level C with overlapping structures. (English) Zbl 1273.68086 Barthe, Gilles (ed.) et al., Verification, model checking, and abstract interpretation. 11th international conference, VMCAI 2010, Madrid, Spain, January 17–19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11318-5/pbk). Lecture Notes in Computer Science 5944, 214-230 (2010). MSC: 68N30 68P05 PDF BibTeX XML Cite \textit{J. Kreiker} et al., Lect. Notes Comput. Sci. 5944, 214--230 (2010; Zbl 1273.68086) Full Text: DOI