Search results

  • 2024

    2-Pointer Logic

    Seidl, H., Erhard, J., Schwarz, M. & Tilscher, S., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 281-307 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14660 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    1 Scopus citations
  • C-2PO: A Weakly Relational Pointer Domain “These Are Not the Memory Cells You Are Looking For”

    Ghidini, R., Erhard, J., Schwarz, M. & Seidl, H., 17 Oct 2024, NSAD 2024 - Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Co-located with SPLASH 2024. Arceri, V. & Pasqua, M. (eds.). Association for Computing Machinery, Inc, p. 2-9 8 p. (NSAD 2024 - Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Co-located with SPLASH 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Checking in polynomial time whether or not a regular tree language is deterministic top-down

    Maneth, S. & Seidl, H., Feb 2024, In: Information Processing Letters. 184, 106449.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    1 Scopus citations
  • Correctness Witness Validation by Abstract Interpretation

    Saan, S., Schwarz, M., Erhard, J., Seidl, H., Tilscher, S. & Vojdani, V., 2024, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 74-97 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14499 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • Functionality of compositions of top-down tree transducers is decidable

    Maneth, S., Seidl, H. & Vu, M., Jan 2024, In: Information and Computation. 296, 105131.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    1 Scopus citations
  • Goblint: Abstract Interpretation for Memory Safety and Termination

    Saan, S., Erhard, J., Schwarz, M., Bozhilov, S., Holter, K., Tilscher, S., Vojdani, V. & Seidl, H., 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 381-386 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14572 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    4 Scopus citations
  • Goblint Validator: Correctness Witness Validation by Abstract Interpretation

    Saan, S., Erhard, J., Schwarz, M., Bozhilov, S., Holter, K., Tilscher, S., Vojdani, V. & Seidl, H., 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 335-340 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14572 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    2 Scopus citations
  • Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap

    Erhard, J., Saan, S., Tilscher, S., Schwarz, M., Holter, K., Vojdani, V. & Seidl, H., 2024, (Accepted/In press) In: International Journal on Software Tools for Technology Transfer.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Non-numerical weakly relational domains

    Seidl, H., Erhard, J., Tilscher, S. & Schwarz, M., Aug 2024, In: International Journal on Software Tools for Technology Transfer. 26, 4, p. 479-494 16 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    2 Scopus citations
  • Prenex universal first-order safety properties

    Dundua, B., Kapanadze, I. & Seidl, H., Aug 2024, In: Information Processing Letters. 186, 106488.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • The Top-Down Solver Verified: Building Confidence in Static Analyzers

    Stade, Y., Tilscher, S. & Seidl, H., 2024, Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings. Gurfinkel, A. & Ganesh, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 303-324 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14681 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C: Extended version

    Erhard, J., Schwarz, M., Vojdani, V., Saan, S. & Seidl, H., Oct 2024, In: International Journal on Software Tools for Technology Transfer. 26, 5, p. 589-605 17 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    1 Scopus citations
  • When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly

    Erhard, J., Schinabeck, J. F., Schwarz, M. & Seidl, H., 20 Jun 2024, SOAP 2024 - Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Co-located with: PLDI 2024. Association for Computing Machinery, Inc, p. 35-44 10 p. (SOAP 2024 - Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Co-located with: PLDI 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Scopus citations
  • 2023

    Clustered Relational Thread-Modular Abstract Interpretation with Local Traces

    Schwarz, M., Saan, S., Seidl, H., Erhard, J. & Vojdani, V., 2023, Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings. Wies, T. (ed.). Springer Science and Business Media Deutschland GmbH, p. 28-58 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13990 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    9 Scopus citations
  • Deciding origin equivalence of weakly self-nesting macro tree transducers

    Maneth, S. & Seidl, H., Feb 2023, In: Information Processing Letters. 180, 106332.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Definability Results for Top-Down Tree Transducers

    Maneth, S., Seidl, H. & Vu, M., 1 Feb 2023, In: International Journal of Foundations of Computer Science. 34, 2-3, p. 253-287 35 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Goblint: Autotuning Thread-Modular Abstract Interpretation: (Competition Contribution)

    Saan, S., Schwarz, M., Erhard, J., Pietsch, M., Seidl, H., Tilscher, S. & Vojdani, V., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 547-552 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13994 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    5 Scopus citations
  • Octagons Revisited: Elegant Proofs and Simplified Algorithms

    Schwarz, M. & Seidl, H., 2023, Static Analysis - 30th International Symposium, SAS 2023, Proceedings. Hermenegildo, M. V. & Morales, J. F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 485-507 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14284 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    3 Scopus citations
  • The Top-Down Solver—An Exercise in A2I

    Tilscher, S., Stade, Y., Schwarz, M., Vogler, R. & Seidl, H., 2023, Intelligent Systems Reference Library. Springer Science and Business Media Deutschland GmbH, p. 157-179 23 p. (Intelligent Systems Reference Library; vol. 238).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    3 Scopus citations
  • When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C

    Schwarz, M., Erhard, J., Vojdani, V., Saan, S. & Seidl, H., 6 Jun 2023, SOAP 2023 - Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Co-located with PLDI 2023. Ferrara, P. & Hadarean, L. (eds.). Association for Computing Machinery, Inc, p. 20-26 7 p. (SOAP 2023 - Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Co-located with PLDI 2023).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    4 Scopus citations
  • 2022

    How to Decide Functionality of Compositions of Top-Down Tree Transducers

    Maneth, S., Seidl, H. & Vu, M., 2022, Algebraic Informatics - 9th International Conference, CAI 2022, Proceedings. Poulakis, D. & Rahonis, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 175-191 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13706 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Scopus citations
  • Preface

    Seidl, H., Liu, Z. & Pasareanu, C. S., 2022, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 13572 LNCS, p. v-vi

    Research output: Contribution to journalEditorial

  • Stratified guarded first-order transition systems

    Müller, C. & Seidl, H., 2022, (Accepted/In press) In: Formal Methods in System Design.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    1 Scopus citations
  • 2021

    Definability Results for Top-Down Tree Transducers

    Maneth, S., Seidl, H. & Vu, M., 2021, Developments in Language Theory - 25th International Conference, DLT 2021, Proceedings. Moreira, N. & Reis, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 291-303 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12811 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    2 Scopus citations
  • Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution)

    Saan, S., Schwarz, M., Apinis, K., Erhard, J., Seidl, H., Vogler, R. & Vojdani, V., 2021, Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. Groote, J. F. & Larsen, K. G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 438-442 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12652 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    13 Scopus citations
  • Improving Thread-Modular Abstract Interpretation

    Schwarz, M., Saan, S., Seidl, H., Apinis, K., Erhard, J. & Vojdani, V., 2021, Static Analysis - 28th International Symposium, SAS 2021, Proceedings. Drăgoi, C., Mukherjee, S. & Namjoshi, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 359-383 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12913 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    17 Scopus citations
  • On the Balancedness of Tree-to-Word Transducers

    Löbel, R., Luttenberger, M. & Seidl, H., 1 Sep 2021, In: International Journal of Foundations of Computer Science. 32, 6, p. 761-783 23 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    2 Scopus citations
  • Three improvements to the top-down solver

    Seidl, H. & Vogler, R., 3 Oct 2021, In: Mathematical Structures in Computer Science. 31, 9, p. 1090-1134 45 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    12 Scopus citations
  • 2020

    Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis

    Izycheva, A., Darulova, E. & Seidl, H., 2020, Static Analysis - 27th International Symposium, SAS 2020, Proceedings. Pichardie, D. & Sighireanu, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 156-177 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12389 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Equivalence of Linear Tree Transducers with Output in the Free Group

    Löbel, R., Luttenberger, M. & Seidl, H., 2020, Developments in Language Theory - 24th International Conference, DLT 2020, Proceedings. Jonoska, N. & Savchuk, D. (eds.). Springer, p. 207-221 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12086 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Scopus citations
  • How to Win First-Order Safety Games

    Seidl, H., Müller, C. & Finkbeiner, B., 2020, Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, Proceedings. Beyer, D. & Zufferey, D. (eds.). Springer, p. 426-448 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11990 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    3 Scopus citations
  • Incremental Abstract Interpretation

    Seidl, H., Erhard, J. & Vogler, R., 2020, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 132-148 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12065 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    8 Scopus citations
  • On the Balancedness of Tree-to-Word Transducers

    Löbel, R., Luttenberger, M. & Seidl, H., 2020, Developments in Language Theory - 24th International Conference, DLT 2020, Proceedings. Jonoska, N. & Savchuk, D. (eds.). Springer, p. 222-236 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12086 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Stratified Guarded First-Order Transition Systems

    Müller, C. & Seidl, H., 2020, Static Analysis - 27th International Symposium, SAS 2020, Proceedings. Pichardie, D. & Sighireanu, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 113-133 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12389 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Scopus citations
  • When is a bottom-up deterministic tree translation top-down deterministic?

    Maneth, S. & Seidl, H., 1 Jun 2020, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020. Czumaj, A., Dawar, A. & Merelli, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 134. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 168).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • 2019

    Deciding Equivalence of Separated Non-nested Attribute Systems in Polynomial Time

    Seidl, H., Palenta, R. & Maneth, S., 2019, Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Simpson, A. & Bojanczyk, M. (eds.). Springer Verlag, p. 488-504 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11425 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Scopus citations
  • Synthesizing Efficient Low-Precision Kernels

    Izycheva, A., Darulova, E. & Seidl, H., 2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings. Chen, Y.-F., Cheng, C.-H. & Esparza, J. (eds.). Springer, p. 294-313 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11781 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • 2018

    Balancedness of MSO transductions in polynomial time

    Maneth, S. & Seidl, H., May 2018, In: Information Processing Letters. 133, p. 26-32 7 p.

    Research output: Contribution to journalArticlepeer-review

    4 Scopus citations
  • Computing the longest common prefix of a context-free language in polynomial time

    Luttenberger, M., Palenta, R. & Seidl, H., 2 Feb 2018, 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018. Vallee, B. & Niedermeier, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 48. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 96).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • Enforcing termination of interprocedural analysis

    Schulze Frielinghaus, S., Seidl, H. & Vogler, R., 1 Oct 2018, In: Formal Methods in System Design. 53, 2, p. 313-338 26 p.

    Research output: Contribution to journalArticlepeer-review

    1 Scopus citations
  • Equivalence of deterministic top-down tree-To-string transducers is decidable

    Seidl, H., Maneth, S. & Kemper, G., Aug 2018, In: Journal of the ACM. 65, 4, 21.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    11 Scopus citations
  • Inductive invariants for noninterference in multi-agent workflows

    Muller, C., Seidl, H. & Zalinescu, E., 7 Aug 2018, Proceedings - IEEE 31st Computer Security Foundations Symposium, CSF 2018. IEEE Computer Society, p. 247-261 15 p. 8429309. (Proceedings - IEEE Computer Security Foundations Symposium; vol. 2018-July).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    11 Scopus citations
  • Paths, tree homomorphisms and disequalities for H1-clauses

    Reuß, A. & Seidl, H., 1 Nov 2018, In: Mathematical Structures in Computer Science. 28, 10, p. 1786-1846 61 p.

    Research output: Contribution to journalArticlepeer-review

  • Three improvements to the top-down solver

    Seidl, H. & Vogler, R., 3 Sep 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018. Association for Computing Machinery, 21. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • 2017

    Inter-procedural two-variable herbrand equalities

    Schulze Frielinghaus, S., Petter, M. & Seidl, H., 2017, In: Logical Methods in Computer Science. 13, 2, 5.

    Research output: Contribution to journalArticlepeer-review

  • Proving absence of starvation by means of abstract interpretation and model checking

    Seidl, H. & Vogler, R., 2017, Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Proceedings. D’Souza, D. & Narayan Kumar , K. (eds.). Springer Verlag, p. 3-22 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10482 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • Reachability for dynamic parametric processes

    Muscholl, A., Seidl, H. & Walukiewicz, I., 2017, Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Proceedings. Bouajjani, A. & Monniaux, D. (eds.). Springer Verlag, p. 424-441 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10145 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    6 Scopus citations
  • Verifying security policies in multi-agentworkflows with loops

    Finkbeiner, B., Müller, C., Seidl, H. & Zãlinescu, E., 30 Oct 2017, CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 633-645 13 p. (Proceedings of the ACM Conference on Computer and Communications Security).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    24 Scopus citations
  • 2016

    Efficiently intertwining widening and narrowing

    Amato, G., Scozzari, F., Seidl, H., Apinis, K. & Vojdani, V., 1 May 2016, In: Science of Computer Programming. 120, p. 1-24 24 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    30 Scopus citations
  • Enforcing termination of interprocedural analysis

    Frielinghaus, S. S., Seidl, H. & Vogler, R., 2016, Static Analysis - 23rd International Symposium, SAS 2016, Proceedings. Rival, X. (ed.). Springer Verlag, p. 447-468 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9837 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    5 Scopus citations