Suchergebnisse

  • 2016

    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/KonferenzbandKonferenzbeitragBegutachtung

    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/KonferenzbandKapitelBegutachtung

  • Look-ahead removal for total deterministic top-down tree transducers

    Engelfriet, J., Maneth, S. & Seidl, H., 22 Feb. 2016, in: Theoretical Computer Science. 616, S. 18-58 41 S.

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

    Open Access
    5 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/KonferenzbandKonferenzbeitragBegutachtung

    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/KonferenzbandKonferenzbeitragBegutachtung

    63 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/KonferenzbandKonferenzbeitragBegutachtung

    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/KonferenzbandKonferenzbeitragBegutachtung

    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/KonferenzbandKonferenzbeitragBegutachtung

    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/KonferenzbandKonferenzbeitragBegutachtung

    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/KonferenzbandKonferenzbeitragBegutachtung

    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/KonferenzbandKonferenzbeitragBegutachtung

    1 Zitat (Scopus)
  • Numerical invariants through convex relaxation and max-strategy iteration

    Gawlitza, T. M. & Seidl, H., Apr. 2014, in: Formal Methods in System Design. 44, 2, S. 101-148 48 S.

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

    Open Access
    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/KonferenzbandKonferenzbeitragBegutachtung

    Open Access
    9 Zitate (Scopus)
  • Preface

    Müller-Olm, M. & Seidl, H., 2014, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8723 LNCS, S. V-VI

    Publikation: Beitrag in FachzeitschriftLeitartikel

  • 2013

    Compiler design: Syntactic and semantic analysis

    Seidl, H., Wilhelm, R. & Hack, S., 1 Nov. 2013, Springer-Verlag Berlin Heidelberg. 225 S.

    Publikation: Buch/BerichtBuchBegutachtung

    22 Zitate (Scopus)
  • Compiler design: Analysis and transformation

    Seidl, H., Wilhelm, R. & Hack, S., 1 Nov. 2013, Springer-Verlag Berlin Heidelberg. 177 S.

    Publikation: Buch/BerichtBuchBegutachtung

    Open Access
    22 Zitate (Scopus)
  • 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/KonferenzbandKonferenzbeitragBegutachtung

    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/KonferenzbandKonferenzbeitragBegutachtung

    8 Zitate (Scopus)
  • How to combine widening and narrowing for non-monotonic systems of equations

    Apinis, K., Seidl, H. & Vojdani, V., Juni 2013, in: ACM SIGPLAN Notices. 48, 6, S. 377-386 10 S.

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

    9 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/KonferenzbandKonferenzbeitragBegutachtung

    Open Access
    29 Zitate (Scopus)
  • 2012

    Abstract interpretation meets convex optimization

    Gawlitza, T. M., Seidl, H., Adjé, A., Gaubert, S. & Goubault, É., Dez. 2012, in: Journal of Symbolic Computation. 47, 12, S. 1416-1446 31 S.

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

    Open Access
    19 Zitate (Scopus)
  • 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/KonferenzbandKonferenzbeitragBegutachtung

    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/KonferenzbandKonferenzbeitragBegutachtung

    6 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/KonferenzbandKonferenzbeitragBegutachtung

    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/KonferenzbandKonferenzbeitragBegutachtung

    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/KonferenzbandKonferenzbeitragBegutachtung

    Open Access
    30 Zitate (Scopus)
  • Type Checking of Tree Walking Transducers

    Maneth, S., Friese, S. & Seidl, H., 1 Jan. 2012, Modern Applications of Automata Theory. World Scientific Publishing Co., S. 3-43 41 S.

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKapitelBegutachtung

    Open Access
    1 Zitat (Scopus)
  • 2011

    Earliest normal form and minimization for bottom-up tree transducers

    Friese, S., Seidl, H. & Maneth, S., Nov. 2011, in: International Journal of Foundations of Computer Science. 22, 7, S. 1607-1623 17 S.

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

    4 Zitate (Scopus)
  • Extending H1-clauses with disequalities

    Seidl, H. & Reuß, A., 31 Okt. 2011, in: Information Processing Letters. 111, 20, S. 1007-1013 7 S.

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

    5 Zitate (Scopus)
  • Fast interprocedural linear two-variable equalities

    Flexeder, A., Müller-Olm, M., Petter, M. & Seidl, H., Dez. 2011, in: ACM Transactions on Programming Languages and Systems (TOPLAS). 33, 6, 21.

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

    Open Access
    4 Zitate (Scopus)
  • 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/KonferenzbandKonferenzbeitragBegutachtung

    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/KonferenzbandKonferenzbeitragBegutachtung

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

    6 Zitate (Scopus)
  • Solving systems of rational equations through strategy iteration

    Gawlitza, T. M. & Seidl, H., Apr. 2011, in: ACM Transactions on Programming Languages and Systems (TOPLAS). 33, 3, 11.

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

    Open Access
    17 Zitate (Scopus)
  • Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol

    Schwarz, M. D., Seidl, H., Vojdani, V., Lammich, P. & Müller-Olm, M., Jan. 2011, in: ACM SIGPLAN Notices. 46, 1, S. 93-104 12 S.

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

    20 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/KonferenzbandKonferenzbeitragBegutachtung

    7 Zitate (Scopus)
  • Compiler design: Virtual machines

    Wilhelm, R. & Seidl, H., 2010, Springer Berlin Heidelberg. 187 S.

    Publikation: Buch/BerichtBuchBegutachtung

    Open Access
    4 Zitate (Scopus)
  • Computing relaxed abstract semantics w.r.t. quadratic zones precisely

    Gawlitza, T. M. & Seidl, H., 2010, Static Analysis - 17th International Symposium, SAS 2010, Proceedings. S. 271-286 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 6337 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    16 Zitate (Scopus)
  • Interprocedural control flow reconstruction

    Flexeder, A., Mihaila, B., Petter, M. & Seidl, H., 2010, Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Proceedings. S. 188-203 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 6461 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    14 Zitate (Scopus)
  • Minimization of deterministic bottom-up tree transducers

    Friese, S., Seidl, H. & Maneth, S., 2010, Developments in Language Theory - 14th International Conference, DLT 2010, Proceedings. S. 185-196 12 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 6224 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    5 Zitate (Scopus)
  • Praktische Programmverifikation durch statische Analyse

    Seidl, H., Okt. 2010, in: Informatik-Spektrum. 33, 5, S. 484-488 5 S.

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

  • Shape analysis of low-level C with overlapping structures

    Kreiker, J., Seidl, H. & Vojdani, V., 2010, Verification, Model Checking, and Abstract Interpretation - 11th International Conference, VMCAI 2010, Proceedings. S. 214-230 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 5944 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    15 Zitate (Scopus)
  • Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol

    Schwarz, M. D., Seidl, H., Vojdani, V., Lammich, P. & Müller-Olm, M., 2010, POPL'11 - Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. S. 93-104 12 S. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    5 Zitate (Scopus)
  • Verifying a local generic solver in Coq

    Hofmann, M., Karbyshev, A. & Seidl, H., 2010, Static Analysis - 17th International Symposium, SAS 2010, Proceedings. S. 340-355 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 6337 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    Open Access
    14 Zitate (Scopus)
  • What is a pure functional?

    Hofmann, M., Karbyshev, A. & Seidl, H., 2010, Automata, Languages and Programming - 37th International Colloquium, ICALP 2010, Proceedings. PART 2 Aufl. S. 199-210 12 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 6199 LNCS, Nr. PART 2).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    16 Zitate (Scopus)
  • 2009

    A smooth combination of linear and herbrand equalities for polynomial time must-alias analysis

    Seidl, H., Vojdani, V. & Vene, V., 2009, FM 2009: Formal Methods - Second World Congress, Proceedings. S. 644-659 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 5850 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    Open Access
    5 Zitate (Scopus)
  • Deciding equivalence of top-down XML transformations in polynomial time

    Engelfriet, J., Maneth, S. & Seidl, H., Aug. 2009, in: Journal of Computer and System Sciences. 75, 5, S. 271-286 16 S.

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

    Open Access
    30 Zitate (Scopus)
  • Flat and one-variable clauses for single blind copying protocols: The xor Case

    Seidl, H. & Verma, K. N., 2009, Rewriting Techniques and Applications - 20th International Conference, RTA 2009, Proceedings. S. 118-132 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 5595 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    2 Zitate (Scopus)
  • Games through nested fixpoints

    Gawlitza, T. M. & Seidl, H., 2009, Computer Aided Verification - 21st International Conference, CAV 2009, Proceedings. S. 291-305 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 5643 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    Open Access
    14 Zitate (Scopus)