Foto von Helmut Seidl

Scopus-Profil ansehen

Helmut Seidl

Prof. Dr.

1985 …2024

Publikationen pro Jahr

Filter
Konferenzbeitrag

Suchergebnisse

  • 2024

    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)

  • 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
    3 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
    2 Zitate (Scopus)

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

    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
    9 Zitate (Scopus)

  • 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
    5 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
    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)
  • 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
    13 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
    16 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)

  • 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

    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)

  • 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

    11 Zitate (Scopus)

  • 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

    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)

  • Verifying security policies in multi-agentworkflows with loops

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

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

    Open Access
    24 Zitate (Scopus)
  • 2016

    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)

  • Specifying and verifying secrecy in workflows with arbitrarily many agents

    Finkbeiner, B., Seidl, H. & Müller, C., 2016, Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Proceedings. Artho, C., Peled, D. & Legay, A. (Hrsg.). Springer Verlag, S. 157-173 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9938 LNCS).

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

    6 Zitate (Scopus)

  • Static race detection for device drivers: The goblint approach

    Vojdani, V., Apinis, K., Rõtov, V., Seidl, H., Vene, V. & Vogler, R., 25 Aug. 2016, ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. Khurshid, S., Lo, D. & Apel, S. (Hrsg.). Association for Computing Machinery, Inc, S. 391-402 12 S. (ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering).

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

    62 Zitate (Scopus)
  • 2015

    An Analysis of Universal Information Flow Based on Self-Composition

    Müller, C., Kovács, M. & Seidl, H., 4 Sept. 2015, Proceedings - 2015 IEEE 28th Computer Security Foundations Symposium, CSF 2015. Kellenberger, P. (Hrsg.). IEEE Computer Society, S. 380-393 14 S. 7243746. (Proceedings of the Computer Security Foundations Workshop; Band 2015-September).

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

    Open Access
    8 Zitate (Scopus)

  • Equivalence of Deterministic Top-Down Tree-to-String Transducers is Decidable

    Seidl, H., Maneth, S. & Kemper, G., 11 Dez. 2015, Proceedings - 2015 IEEE 56th Annual Symposium on Foundations of Computer Science, FOCS 2015. IEEE Computer Society, S. 943-962 20 S. 7354436. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; Band 2015-December).

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

    Open Access
    15 Zitate (Scopus)

  • Inter-procedural two-variable Herbrand equalities

    Frielinghaus, S. S., Petter, M. & Seidl, H., 2015, Programming Languages and Systems - 24th European Symposiumon Programming, ESOP 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings. Vitek, J. (Hrsg.). Springer Verlag, S. 457-482 26 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9032).

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

    Open Access
    2 Zitate (Scopus)

  • Transforming XML streams with references

    Maneth, S., Ordóñez, A. & Seidl, H., 2015, String Processing and Information Retrieval - 22nd International Symposium, SPIRE 2015, Proceedings. Puglisi, S. J., Iliopoulos, C. S. & Yilmaz, E. (Hrsg.). Springer Verlag, S. 33-45 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9309).

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

    Open Access
    4 Zitate (Scopus)
  • 2014

    How to remove the look-ahead of top-down tree transducers

    Engelfriet, J., Maneth, S. & Seidl, H., 2014, Developments in Language Theory - 18th International Conference, DLT 2014, Proceedings. Springer Verlag, S. 103-115 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 8633 LNCS).

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

    Open Access
    2 Zitate (Scopus)

  • Interprocedural information flow analysis of XML processors

    Seidl, H. & Kovács, M., 2014, Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Proceedings. S. 34-61 28 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 8370 LNCS).

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

    1 Zitat (Scopus)

  • Precise analysis of value-dependent synchronization in priority scheduled programs

    Schwarz, M. D., Seidl, H., Vojdani, V. & Apinis, K., 2014, Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, Proceedings. Springer Verlag, S. 21-38 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 8318 LNCS).

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

    Open Access
    9 Zitate (Scopus)
  • 2013

    Contextual locking for dynamic pushdown networks

    Lammich, P., Müller-Olm, M., Seidl, H. & Wenner, A., 2013, Static Analysis - 20th International Symposium, SAS 2013, Proceedings. S. 477-498 22 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 7935 LNCS).

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

    7 Zitate (Scopus)

  • How to combine widening and narrowing for non-monotonic systems of equations

    Apinis, K., Seidl, H. & Vojdani, V., 2013, PLDI 2013 - Proceedings of the 2013 ACM SIGPLAN Conference on Programming Language Design and Implementation. S. 377-386 10 S. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

    8 Zitate (Scopus)

  • Relational abstract interpretation for the verification of 2-hypersafety properties

    Kovács, M., Seidl, H. & Finkbeiner, B., 2013, CCS 2013 - Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security. S. 211-222 12 S. (Proceedings of the ACM Conference on Computer and Communications Security).

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

    Open Access
    29 Zitate (Scopus)
  • 2012

    Crossing the syntactic barrier: Hom-disequalities for H 1-clauses

    Reuß, A. & Seidl, H., 2012, Implementation and Application of Automata - 17th International Conference, CIAA 2012, Proceedings. S. 301-312 12 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 7381 LNCS).

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

    1 Zitat (Scopus)

  • Extending H 1-clauses with path disequalities

    Seidl, H. & Reuß, A., 2012, Foundations of Software Science and Computational Structures - 15th Int. Conf., FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings. S. 165-179 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 7213 LNCS).

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

    5 Zitate (Scopus)

  • Model checking information flow in reactive systems

    Dimitrova, R., Finkbeiner, B., Kovács, M., Rabe, M. N. & Seidl, H., 2012, Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Proceedings. S. 169-185 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 7148 LNCS).

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

    Open Access
    42 Zitate (Scopus)

  • Runtime enforcement of information flow security in tree manipulating processes

    Kovács, M. & Seidl, H., 2012, Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Proceedings. S. 46-59 14 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 7159 LNCS).

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

    10 Zitate (Scopus)

  • Side-effecting constraint systems: A swiss army knife for program analysis

    Apinis, K., Seidl, H. & Vojdani, V., 2012, Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Proceedings. S. 157-172 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 7705 LNCS).

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

    Open Access
    30 Zitate (Scopus)
  • 2011

    Join-lock-sensitive forward reachability analysis for concurrent programs with dynamic process creation

    Gawlitza, T. M., Lammich, P., Müller-Olm, M., Seidl, H. & Wenner, A., 2011, Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Proceedings. S. 199-213 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 6538 LNCS).

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

    21 Zitate (Scopus)

  • Normalization of linear horn clauses

    Gawlitza, T. M., Seidl, H. & Verma, K. N., 2011, Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Revised Selected Papers. S. 242-257 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 6527 LNCS).

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

  • Side-effect analysis of assembly code

    Flexeder, A., Petter, M. & Seidl, H., 2011, Static Analysis - 18th International Symposium, SAS 2011, Proceedings. S. 77-94 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 6887 LNCS).

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

    6 Zitate (Scopus)
  • 2010

    Bottom-up tree automata with term constraints

    Reuß, A. & Seidl, H., 2010, Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Proceedings. Springer Verlag, S. 581-593 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 6397 LNCS).

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

    7 Zitate (Scopus)