Seidl, Helmut; Vogler, Ralf Three improvements to the top-down solver. (English) Zbl 1489.68053 Math. Struct. Comput. Sci. 31, No. 9, 1090-1134 (2021). MSC: 68N30 PDFBibTeX XMLCite \textit{H. Seidl} and \textit{R. Vogler}, Math. Struct. Comput. Sci. 31, No. 9, 1090--1134 (2021; Zbl 1489.68053) Full Text: DOI
Schulze Frielinghaus, Stefan; Seidl, Helmut; Vogler, Ralf Enforcing termination of interprocedural analysis. (English) Zbl 1425.68083 Form. Methods Syst. Des. 53, No. 2, 313-338 (2018). MSC: 68N30 PDFBibTeX XMLCite \textit{S. Schulze Frielinghaus} et al., Form. Methods Syst. Des. 53, No. 2, 313--338 (2018; Zbl 1425.68083) Full Text: DOI arXiv
Schulze Frielinghaus, Stefan; Petter, Michael; Seidl, Helmut Inter-procedural two-variable Herbrand equalities. (English) Zbl 1398.68098 Log. Methods Comput. Sci. 13, No. 2, Paper No. 5, 40 p. (2017). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{S. Schulze Frielinghaus} et al., Log. Methods Comput. Sci. 13, No. 2, Paper No. 5, 40 p. (2017; Zbl 1398.68098) Full Text: DOI arXiv
Gawlitza, Thomas Martin; Seidl, Helmut; Adjé, Assalé; Gaubert, Stéphane; Goubault, Éric Abstract interpretation meets convex optimization. (English) Zbl 1246.90118 J. Symb. Comput. 47, No. 12, 1416-1446 (2012). MSC: 90C25 65K05 PDFBibTeX XMLCite \textit{T. M. Gawlitza} et al., J. Symb. Comput. 47, No. 12, 1416--1446 (2012; Zbl 1246.90118) Full Text: DOI
Schwarz, Martin D.; Seidl, Helmut; Vojdani, Vesal; Lammich, Peter; Müller-Olm, Markus Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. (English) Zbl 1284.68199 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 93-104 (2011). MSC: 68N30 68Q85 68M20 PDFBibTeX XMLCite \textit{M. D. Schwarz} et al., in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '11, Austin, TX, USA, January 26--28, 2011. New York, NY: Association for Computing Machinery (ACM). 93--104 (2011; Zbl 1284.68199) Full Text: DOI
Seidl, Helmut; Reuß, Andreas Extending \(H_1\)-clauses with disequalities. (English) Zbl 1260.68115 Inf. Process. Lett. 111, No. 20, 1007-1013 (2011). MSC: 68N30 68Q45 PDFBibTeX XMLCite \textit{H. Seidl} and \textit{A. Reuß}, Inf. Process. Lett. 111, No. 20, 1007--1013 (2011; Zbl 1260.68115) Full Text: DOI
Seidl, Helmut; Flexeder, Andrea; Petter, Michael Analysing all polynomial equations in \({\mathbb Z_{2^w}}\). (English) Zbl 1149.68366 Alpuente, María (ed.) et al., Static analysis. 15th international symposium, SAS 2008, Valencia, Spain, July 16–18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69163-1/pbk). Lecture Notes in Computer Science 5079, 299-314 (2008). MSC: 68N30 68Q17 68Q25 68Q55 68W30 PDFBibTeX XMLCite \textit{H. Seidl} et al., Lect. Notes Comput. Sci. 5079, 299--314 (2008; Zbl 1149.68366) Full Text: DOI
Gawlitza, Thomas; Seidl, Helmut Precise relational invariants through strategy iteration. (English) Zbl 1179.68037 Duparc, Jacques (ed.) et al., Computer science logic. 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11–15, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74914-1/pbk). Lecture Notes in Computer Science 4646, 23-40 (2007). MSC: 68N30 90C08 PDFBibTeX XMLCite \textit{T. Gawlitza} and \textit{H. Seidl}, Lect. Notes Comput. Sci. 4646, 23--40 (2007; Zbl 1179.68037) Full Text: DOI
Müller-Olm, Markus; Seidl, Helmut Precise interprocedural analysis through linear algebra. (English) Zbl 1325.68068 Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 330-341 (2004). MSC: 68N30 PDFBibTeX XMLCite \textit{M. Müller-Olm} and \textit{H. Seidl}, in: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '04, Venice, Italy, January 14--16, 2004. New York, NY: Association for Computing Machinery (ACM). 330--341 (2004; Zbl 1325.68068) Full Text: DOI
Müller-Olm, Markus; Seidl, Helmut Computing polynomial program invariants. (English) Zbl 1177.68048 Inf. Process. Lett. 91, No. 5, 233-244 (2004). MSC: 68N30 PDFBibTeX XMLCite \textit{M. Müller-Olm} and \textit{H. Seidl}, Inf. Process. Lett. 91, No. 5, 233--244 (2004; Zbl 1177.68048) Full Text: DOI
Nielson, Flemming; Nielson, Hanne Riis; Seidl, Helmut Automatic complexity analysis. (English) Zbl 1077.68610 Le Métayer, Daniel (ed.), Programming languages and systems. 11th European symposium on programming, ESOP 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43363-5). Lect. Notes Comput. Sci. 2305, 243-261 (2002). MSC: 68N30 PDFBibTeX XMLCite \textit{F. Nielson} et al., Lect. Notes Comput. Sci. 2305, 243--261 (2002; Zbl 1077.68610) Full Text: Link
Nielson, Flemming; Nielson, Hanne Riis; Seidl, Helmut Normalizable Horn clauses, strongly recognizable relations, and Spi. (English) Zbl 1015.68042 Hermenegildo, Manuel V. (ed.) et al., Static analysis. 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2477, 20-35 (2002). MSC: 68N30 PDFBibTeX XMLCite \textit{F. Nielson} et al., Lect. Notes Comput. Sci. 2477, 20--35 (2002; Zbl 1015.68042) Full Text: Link
Müller-Olm, Markus; Seidl, Helmut On optimal slicing of parallel programs. (English) Zbl 1323.68316 Proceedings of the thirty-third annual ACM symposium on theory of computing, STOC 2001. Hersonissos, Crete, Greece, July 6–8, 2001. New York, NY: ACM Press (ISBN 1-581-13349-9). 647-656 (2001). MSC: 68Q25 03B70 68N30 68Q17 PDFBibTeX XMLCite \textit{M. Müller-Olm} and \textit{H. Seidl}, in: Proceedings of the thirty-third annual ACM symposium on theory of computing, STOC 2001. Hersonissos, Crete, Greece, July 6--8, 2001. New York, NY: ACM Press. 647--656 (2001; Zbl 1323.68316) Full Text: DOI
Nielson, Flemming; Seidl, Helmut Control-flow analysis in cubic time. (English) Zbl 0977.68520 Sands, David (ed.), Programming languages and systems. 10th European symposium on programming, ESOP 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2028, 252-268 (2001). MSC: 68N30 68Q60 68Q25 PDFBibTeX XMLCite \textit{F. Nielson} and \textit{H. Seidl}, Lect. Notes Comput. Sci. 2028, 252--268 (2001; Zbl 0977.68520) Full Text: Link
Seidl, Helmut; Steffen, Bernhard Constraint-based inter-procedural analysis of parallel programs. (English) Zbl 0960.68035 Smolka, Gerd (ed.), Programming languages and systems. 9th European symposium on programming, ESOP 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1782, 351-365 (2000). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{H. Seidl} and \textit{B. Steffen}, Lect. Notes Comput. Sci. 1782, 351--365 (2000; Zbl 0960.68035)