Informatik 2 - Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik

Suchergebnisse

  • 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, S. 281-307 27 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14660 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

  • 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.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

    Open Access
    1 Zitat (Scopus)

  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 74-97 24 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14499 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    2 Zitate (Scopus)

  • Functionality of compositions of top-down tree transducers is decidable

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

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

    Open Access

  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 381-386 6 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14572 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    2 Zitate (Scopus)

  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 335-340 6 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14572 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    1 Zitat (Scopus)

  • 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, S. 479-494 16 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

    Open Access
    1 Zitat (Scopus)

  • Prenex universal first-order safety properties

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

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

    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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 303-324 22 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14681 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    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., 2024, (Angenommen/Im Druck) in: International Journal on Software Tools for Technology Transfer.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

    Open Access

  • When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly

    Erhard, J., Schinabeck, J. F., Schwarz, M. & Seidl, H., 20 Juni 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, S. 35-44 10 S. (SOAP 2024 - Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Co-located with: PLDI 2024).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    1 Zitat (Scopus)
  • 2023

    Challenges in HPCQC Integration

    Elsharkawy, A., To, X. T. M., Seitz, P., Chen, Y., Stade, Y., Geiger, M., Huang, Q., Guo, X., Ansari, M. A., Ruefenacht, M., Schulz, L., Karlsson, S., Mendl, C. B., Kranzlmuller, D. & Schulz, M., 2023, Proceedings - 2023 IEEE International Conference on Quantum Computing and Engineering, QCE 2023. Muller, H., Alexev, Y., Delgado, A. & Byrd, G. (Hrsg.). Institute of Electrical and Electronics Engineers Inc., S. 405-406 2 S. (Proceedings - 2023 IEEE International Conference on Quantum Computing and Engineering, QCE 2023; Band 2).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    1 Zitat (Scopus)

  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 28-58 31 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13990 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    6 Zitate (Scopus)

  • Deciding origin equivalence of weakly self-nesting macro tree transducers

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

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

    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, S. 253-287 35 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

    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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 547-552 6 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13994 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    3 Zitate (Scopus)

  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 485-507 23 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14284 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    1 Zitat (Scopus)

  • 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, S. 157-179 23 S. (Intelligent Systems Reference Library; Band 238).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    2 Zitate (Scopus)

  • 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 Juni 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. (Hrsg.). Association for Computing Machinery, Inc, S. 20-26 7 S. (SOAP 2023 - Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Co-located with PLDI 2023).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    4 Zitate (Scopus)
  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 175-191 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13706 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    1 Zitat (Scopus)

  • 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, S. v-vi

    Publikation: Beitrag in Fachzeitschrift › Leitartikel

  • Stratified guarded first-order transition systems

    Müller, C. & Seidl, H., 2022, (Angenommen/Im Druck) in: Formal Methods in System Design.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

    Open Access
    1 Zitat (Scopus)
  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 291-303 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12811 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    2 Zitate (Scopus)

  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 438-442 5 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12652 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    10 Zitate (Scopus)

  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 359-383 25 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12913 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    11 Zitate (Scopus)

  • On the Balancedness of Tree-to-Word Transducers

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

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

    Open Access
    2 Zitate (Scopus)

  • Three improvements to the top-down solver

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

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

    Open Access
    10 Zitate (Scopus)
  • 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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 156-177 22 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12389 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    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. (Hrsg.). Springer, S. 207-221 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12086 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    1 Zitat (Scopus)

  • 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. (Hrsg.). Springer, S. 426-448 23 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11990 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    3 Zitate (Scopus)

  • 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, S. 132-148 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12065 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    6 Zitate (Scopus)

  • 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. (Hrsg.). Springer, S. 222-236 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12086 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 113-133 21 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12389 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    1 Zitat (Scopus)

  • When is a bottom-up deterministic tree translation top-down deterministic?

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

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    3 Zitate (Scopus)
  • 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. (Hrsg.). Springer Verlag, S. 488-504 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11425 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    1 Zitat (Scopus)

  • 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. (Hrsg.). Springer, S. 294-313 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11781 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    4 Zitate (Scopus)
  • 2018

    Balancedness of MSO transductions in polynomial time

    Maneth, S. & Seidl, H., Mai 2018, in: Information Processing Letters. 133, S. 26-32 7 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

    4 Zitate (Scopus)

  • 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. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 48. (Leibniz International Proceedings in Informatics, LIPIcs; Band 96).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    5 Zitate (Scopus)

  • Enforcing termination of interprocedural analysis

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

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

    Open Access
    1 Zitat (Scopus)

  • 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.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

    Open Access
    11 Zitate (Scopus)

  • 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, S. 247-261 15 S. 8429309. (Proceedings - IEEE Computer Security Foundations Symposium; Band 2018-July).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    10 Zitate (Scopus)

  • Paths, tree homomorphisms and disequalities for H1-clauses

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

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

  • Three improvements to the top-down solver

    Seidl, H. & Vogler, R., 3 Sept. 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).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    6 Zitate (Scopus)
  • 2017

    Inter-procedural two-variable herbrand equalities

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

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

  • 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. (Hrsg.). Springer Verlag, S. 3-22 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 10482 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    1 Zitat (Scopus)

  • 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. (Hrsg.). Springer Verlag, S. 424-441 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 10145 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    6 Zitate (Scopus)
  • 2016

    Efficiently intertwining widening and narrowing

    Amato, G., Scozzari, F., Seidl, H., Apinis, K. & Vojdani, V., 1 Mai 2016, in: Science of Computer Programming. 120, S. 1-24 24 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

    Open Access
    29 Zitate (Scopus)

  • Enforcing termination of interprocedural analysis

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

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    5 Zitate (Scopus)

  • Enhancing top-down solving with widening and narrowing

    Apinis, K., Seidl, H. & Vojdani, V., 2016, Semantics, Logics, and Calculi. Probst, C. W., Hansen, R. R. & Hankin, C. (Hrsg.). Springer Verlag, S. 272-288 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9560).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

    10 Zitate (Scopus)

  • Equivalence - combinatorics, algebra, proofs

    Seidl, H., Maneth, S., Kemper, G. & Engelfriet, J., 19 Apr. 2016, Dependable Software Systems Engineering. IOS Press, Band 45. S. 202-243 42 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung