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

Filter
Konferenzbeitrag

Suchergebnisse

  • 2010

    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/Konferenzband › Konferenzbeitrag › Begutachtung

    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/Konferenzband › Konferenzbeitrag › Begutachtung

    5 Zitate (Scopus)

  • 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/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    13 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/Konferenzband › Konferenzbeitrag › Begutachtung

    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/Konferenzband › Konferenzbeitrag › Begutachtung

    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/Konferenzband › Konferenzbeitrag › Begutachtung

    15 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/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    4 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/Konferenzband › Konferenzbeitrag › Begutachtung

    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/Konferenzband › Konferenzbeitrag › Begutachtung

    Open Access
    14 Zitate (Scopus)

  • Polynomial precise interval analysis revisited

    Gawlitza, T., Leroux, J., Reineke, J., Seidl, H., Sutre, G. & Wilhelm, R., 2009, Efficient Algorithms: Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday. Springer Verlag, S. 422-437 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 5760 LNCS).

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

    Open Access
    10 Zitate (Scopus)

  • Region analysis for race detection

    Seidl, H. & Vojdani, V., 2009, Static Analysis - 16th International Symposium, SAS 2009, Proceedings. S. 171-187 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 5673 LNCS).

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

    16 Zitate (Scopus)
  • 2008

    Analysing all polynomial equations in ℤ2w

    Seidl, H., Flexeder, A. & Petter, M., 2008, Static Analysis - 15th International Symposium, SAS 2008, Proceedings. S. 299-314 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 5079 LNCS).

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

    1 Zitat (Scopus)

  • Approximative methods for monotone systems of min-max-polynomial equations

    Esparza, J., Gawlitza, T., Kiefer, S. & Seidl, H., 2008, Automata, Languages and Programming - 35th International Colloquium, ICALP 2008, Proceedings. PART 1 Aufl. S. 698-710 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 5125 LNCS, Nr. PART 1).

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

    Open Access
    13 Zitate (Scopus)

  • Lightweight verification 2008

    Leucker, M. & Seidl, H., 2008, INFORMATIK 2008 - Beherrschbare Systeme - Dank Informatik, Beitrage der 38. Jahrestagung der Gesellschaft fur Informatik e.V. (GI). S. 965-966 2 S. (INFORMATIK 2008 - Beherrschbare Systeme - Dank Informatik, Beitrage der 38. Jahrestagung der Gesellschaft fur Informatik e.V. (GI); Band 2).

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

  • Upper adjoints for fast inter-procedural variable equalities

    Müller-Olm, M. & Seidl, H., 2008, Programming Languages and Systems - 17th European Symposium on Programming, ESOP 2008 - Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Proceedings. S. 178-192 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4960 LNCS).

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

    Open Access
    8 Zitate (Scopus)
  • 2007

    Computing game values for crash games

    Gawlitza, T. & Seidl, H., 2007, Automated Technology for Verification and Analysis - 5th International Symposium, ATVA 2007, Proceedings. Springer Verlag, S. 177-191 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4762 LNCS).

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

    Open Access
    4 Zitate (Scopus)

  • Cryptographic protocol verification using tractable classes of horn clauses

    Seidl, H. & Verma, K. N., 2007, Program Analysis and Compilation, Theory and Practice - Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. Springer Verlag, S. 97-119 23 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4444 LNCS).

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

    3 Zitate (Scopus)

  • Interprocedurally analysing linear inequality relations

    Seidl, H., Flexeder, A. & Petter, M., 2007, Programming Languages and Systems - 16th European Symposium on Programming, ESOP 2007. Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Proceedings. Springer Verlag, S. 284-299 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4421 LNCS).

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

    Open Access
    6 Zitate (Scopus)

  • Precise fixpoint computation through strategy iteration

    Gawlitza, T. & Seidl, H., 2007, Programming Languages and Systems - 16th European Symposium on Programming, ESOP 2007. Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Proceedings. Springer Verlag, S. 300-315 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4421 LNCS).

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

    Open Access
    57 Zitate (Scopus)

  • Precise relational invariants through strategy iteration

    Gawlitza, T. & Seidl, H., 2007, Computer Science Logic - 21st International Workshop, CSL 2007 and 16th Annual Conference of the EACSL, Proceedings. Springer Verlag, S. 23-40 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4646 LNCS).

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

    31 Zitate (Scopus)
  • 2006

    Exact XML type checking in polynomial time

    Maneth, S., Perst, T. & Seidl, H., 2006, Database Theory, ICDT 2007 - 11th International Conference, Proceedings. S. 254-268 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4353 LNCS).

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

    35 Zitate (Scopus)

  • Interprocedurally analyzing polynomial identities

    Müller-Olm, M., Petter, M. & Seidl, H., 2006, STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science, Proceedings. Springer Verlag, S. 50-67 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3884 LNCS).

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

    13 Zitate (Scopus)
  • 2005

    A generic framework for interprocedural analyses of numerical properties

    Müller-Olm, M. & Seidl, H., 2005, Logic for Programming, Artificial Intelligence, and Reasoning - 11th International Conference, LPAR 2004, Proceedings. Springer Verlag, S. 432 1 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3452 LNAI).

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

  • A generic framework for interprocedural analysis of numerical properties

    Müller-Olm, M. & Seidl, H., 2005, Static Analysis - 12th International Symposium, SAS 2005, Proceedings. Springer Verlag, S. 235-250 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3672 LNCS).

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

    Open Access
    9 Zitate (Scopus)

  • Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying

    Seidl, H. & Verma, K. N., 2005, Logic for Programming, Artificial Intelligence, and Reasoning - 11th International Conference, LPAR 2004, Proceedings. Springer Verlag, S. 79-94 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3452 LNAI).

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

    9 Zitate (Scopus)

  • On the complexity of equational Horn clauses

    Verma, K. N., Seidl, H. & Schwentick, T., 2005, Automated Deduction - CADE-20 - 20th International Conference on Automated Deduction, Proceedings. Springer Verlag, S. 337-352 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3632 LNAI).

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

    Open Access
    90 Zitate (Scopus)
  • 2004

    Annotiertes Lecture Recording

    Ziewer, P. & Seidl, H., 2004, DeLFI 2004: Die e-Learning Fachtagung Informatik, Tagung der Fachgruppe e-Learning der Gesellschaft fur Informatik e.V. (GI). Engels, G. & Seehusen, S. (Hrsg.). Gesellschaft fur Informatik (GI), S. 43-54 12 S. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Band P-52).

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

    2 Zitate (Scopus)