% csauthors.net - beta - BibTeX bibliography of Helmut Seidl
@inproceedings{conf/fct/Seidl85,
title = {A quadratic regularity test for non-deleting macro S grammars.},
year = {1985},
booktitle = {FCT},
author = {{Helmut Seidl}},
publisher = {Springer},
booktitle = {Fundamentals of Computation Theory, FCT '85, Cottbus, GDR, September 9-13, 1985}
}
@article{journals/tcs/Seidl87,
title = {Parameter Reduction of Higher Level Grammars.},
year = {1987},
journal = {Theor. Comput. Sci.},
author = {{Helmut Seidl}}
}
@inproceedings{conf/caap/Seidl88,
title = {Parameter-Reduction of Higher Level Grammars (Extended Abstract).},
year = {1988},
booktitle = {CAAP},
author = {{Helmut Seidl}},
publisher = {Springer},
booktitle = {CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings}
}
@article{journals/acta/Seidl89,
title = {On the Finite Degree of Ambiguity of Finite Tree Automata.},
year = {1989},
journal = {Acta Informatica},
author = {{Helmut Seidl}}
}
@inproceedings{conf/caap/Seidl90,
title = {Equivalence of Finite-Valued Bottom-up Finite State Tree Transducers Is Decidable.},
year = {1990},
booktitle = {CAAP},
author = {{Helmut Seidl}},
publisher = {Springer},
booktitle = {CAAP '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings}
}
@inproceedings{conf/imycs/GoerdtS90,
title = {Characterizing Complexity Classes by Higher Type Primitive Recursive Definitions, Part II.},
year = {1990},
booktitle = {IMYCS},
author = {{Andreas Goerdt} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Aspects and Prospects of Theoretical Computer Science, 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990, Proceedings}
}
@article{journals/siamcomp/Seidl90,
title = {Deciding Equivalence of Finite Tree Automata.},
year = {1990},
journal = {SIAM J. Comput.},
author = {{Helmut Seidl}}
}
@article{journals/ita/WeberS91,
title = {On finitely generated monoids of matrices with entries in N.},
year = {1991},
journal = {RAIRO Theor. Informatics Appl.},
author = {{Andreas Weber} and {Helmut Seidl}}
}
@article{journals/tcs/WeberS91,
title = {On the Degree of Ambiguity of Finite Automata.},
year = {1991},
journal = {Theor. Comput. Sci.},
author = {{Andreas Weber} and {Helmut Seidl}}
}
@incollection{books/el/treeauto1992/Seidl92,
title = {Ambiguity and valuedness.},
year = {1992},
booktitle = {Tree Automata and Languages},
author = {{Helmut Seidl}},
publisher = {North-Holland},
booktitle = {Tree Automata and Languages.}
}
@incollection{books/sp/92/FerdinandSW92,
title = {Baumautomaten zur Codeselektion.},
year = {1992},
booktitle = {Informatik},
author = {{Christian Ferdinand} and {Helmut Seidl} and {Reinhard Wilhelm}},
publisher = {Teubner / Springer},
booktitle = {Informatik, Festschrift zum 60. Geburtstag von Günter Hotz}
}
@article{journals/fgcs/HagerupSS92,
title = {FORK: A high-level language for PRAMs.},
year = {1992},
journal = {Future Gener. Comput. Syst.},
author = {{Torben Hagerup} and {Arno Schmitt} and {Helmut Seidl}}
}
@article{journals/tcs/Seidl92,
title = {Single-Valuedness of Tree Transducers is Decidable in Polynomial Time.},
year = {1992},
journal = {Theor. Comput. Sci.},
author = {{Helmut Seidl}}
}
@inproceedings{conf/tapsoft/Seidl93,
title = {When Is a Functional Tree Transduction Deterministic?},
year = {1993},
booktitle = {TAPSOFT},
author = {{Helmut Seidl}},
publisher = {Springer},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings}
}
@inproceedings{conf/icalp/Seidl94,
title = {Least Solutions of Equations over N.},
year = {1994},
booktitle = {ICALP},
author = {{Helmut Seidl}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings}
}
@article{journals/acta/FerdinandSW94,
title = {Tree Automata for Code Selection.},
year = {1994},
journal = {Acta Informatica},
author = {{Christian Ferdinand} and {Helmut Seidl} and {Reinhard Wilhelm}}
}
@article{journals/ipl/Seidl94,
title = {Haskell Overloading is DEXPTIME-Complete.},
year = {1994},
journal = {Inf. Process. Lett.},
author = {{Helmut Seidl}}
}
@article{journals/mst/Seidl94,
title = {Equivalence of Finite-Valued Tree Transducers Is Decidable.},
year = {1994},
journal = {Math. Syst. Theory},
author = {{Helmut Seidl}}
}
@article{journals/tcs/Seidl94,
title = {Finite Tree Automata with Cost Functions.},
year = {1994},
journal = {Theor. Comput. Sci.},
author = {{Helmut Seidl}}
}
@article{tr/trier/MI95-05,
title = {Integrating Synchronous and Asynchronous Paradigms: The Fork95 Parallel Programming Language},
year = {1995},
journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht},
author = {{Christoph W. Keßler} and {Helmut Seidl}}
}
@article{tr/trier/MI95-08,
title = {A Modal µ-Calculus for Durational Transition Systems},
year = {1995},
journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht},
author = {{Helmut Seidl}}
}
@article{tr/trier/MI95-23,
title = {Language Support for Synchronous Parallel Critical Sections},
year = {1995},
journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht},
author = {{Christoph W. Keßler} and {Helmut Seidl}}
}
@inproceedings{conf/esop/Seidl96,
title = {Integer Constraints to Stop Deforestation.},
year = {1996},
booktitle = {ESOP},
author = {{Helmut Seidl}},
publisher = {Springer},
booktitle = {Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings}
}
@inproceedings{conf/lics/Seidl96,
title = {A Modal Mu-Calculus for Durational Transition Systems.},
year = {1996},
booktitle = {LICS},
author = {{Helmut Seidl}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30, 1996}
}
@article{journals/njc/Seidl96,
title = {Least and Greatest Solutions of Equations over N.},
year = {1996},
journal = {Nord. J. Comput.},
author = {{Helmut Seidl}}
}
@article{tr/trier/MI96-05,
title = {Fast and Simple Nested Fixpoints},
year = {1996},
journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht},
author = {{Helmut Seidl}}
}
@article{tr/trier/MI96-11,
title = {An Even Faster Solver for General Systems of Equations},
year = {1996},
journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht},
author = {{Christian Fecht} and {Helmut Seidl}}
}
@inproceedings{conf/popl/SeidlS97,
title = {Constraints to Stop Higher-Order Deforestation.},
year = {1997},
booktitle = {POPL},
author = {{Helmut Seidl} and {Morten Heine Sørensen}},
publisher = {ACM Press},
booktitle = {Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997}
}
@inproceedings{conf/slp/SeidlF97,
title = {Disjuntive Completion Is Not "Optimal".},
year = {1997},
booktitle = {ILPS},
author = {{Helmut Seidl} and {Christian Fecht}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the 1997 International Symposium, Port Jefferson, Long Island, NY, USA, October 13-16, 1997}
}
@article{journals/ijpp/KesslerS97,
title = {The Fork95 parallel programming language: Design, implementation, application.},
year = {1997},
journal = {Int. J. Parallel Program.},
author = {{Christoph W. Keßler} and {Helmut Seidl}}
}
@article{tr/trier/MI97-06,
title = {Interprocedural Analysis Based on PDAs},
year = {1997},
journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht},
author = {{Helmut Seidl} and {Christian Fecht}}
}
@article{tr/trier/MI97-13,
title = {Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems},
year = {1997},
journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht},
author = {{Helmut Seidl} and {Christian Fecht}}
}
@article{tr/trier/MI97-18,
title = {Model-Checking for L2},
year = {1997},
journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht},
author = {{Helmut Seidl}}
}
@article{journals/scp/SeidlS98,
title = {Constraints to Stop Deforestation.},
year = {1998},
journal = {Sci. Comput. Program.},
author = {{Helmut Seidl} and {Morten Heine Sørensen}}
}
@article{tr/trier/MI98-08,
title = {Locating Matches of Tree Patterns in Forests},
year = {1998},
journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht},
author = {{Andreas Neumann 001} and {Helmut Seidl}}
}
@article{tr/trier/MI98-13,
title = {ForkLight: A Control-Synchronous Parallel Programming Language},
year = {1998},
journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht},
author = {{Christoph W. Keßler} and {Helmut Seidl}}
}
@inproceedings{conf/csl/SeidlN99,
title = {On Guarding Nested Fixpoints.},
year = {1999},
booktitle = {CSL},
author = {{Helmut Seidl} and {Andreas Neumann 001}},
publisher = {Springer},
booktitle = {Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings}
}
@article{journals/ita/SeidlN99,
title = {On distributive fixed-point expressions.},
year = {1999},
journal = {RAIRO Theor. Informatics Appl.},
author = {{Helmut Seidl} and {Damian Niwinski}}
}
@article{journals/scp/FechtS99,
title = {A Faster Solver for General Systems of Equations.},
year = {1999},
journal = {Sci. Comput. Program.},
author = {{Christian Fecht} and {Helmut Seidl}}
}
@article{tr/trier/MI99-10,
title = {The SPARAMAT Approach to Automatic Comprehension of Sparse Matrix Computations},
year = {1999},
journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht},
author = {{Christoph W. Keßler} and {Helmut Seidl} and {Craig Smith}}
}
@article{journals/jlp/SeidlF00,
title = {Interprocedural Analyses: A Comparison.},
year = {2000},
journal = {J. Log. Program.},
author = {{Helmut Seidl} and {Christian Fecht}}
}
@article{journals/njc/SeidlS00,
title = {Constraint-Based Inter-Procedural Analysis of Parallel Programs.},
year = {2000},
journal = {Nord. J. Comput.},
author = {{Helmut Seidl} and {Bernhard Steffen}}
}
@inproceedings{conf/esop/NielsonS01,
title = {Control-Flow Analysis in Cubic Time.},
year = {2001},
booktitle = {ESOP},
author = {{Flemming Nielson} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings}
}
@inproceedings{conf/fossacs/GourantonRS01,
title = {Synchronized Tree Languages Revisited and New Applications.},
year = {2001},
booktitle = {FoSSaCS},
author = {{Valérie Gouranton} and {Pierre Réty} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings}
}
@inproceedings{conf/rta/LimetRS01,
title = {Weakly Regular Relations and Applications.},
year = {2001},
booktitle = {RTA},
author = {{Sébastien Limet} and {Pierre Réty} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings}
}
@inproceedings{conf/stoc/Muller-OlmS01,
title = {On optimal slicing of parallel programs.},
year = {2001},
booktitle = {STOC},
author = {{Markus Müller-Olm} and {Helmut Seidl}},
publisher = {ACM},
booktitle = {Proceedings on 33rd Annual ACM Symposium on Theory of Computing, July 6-8, 2001, Heraklion, Crete, Greece}
}
@inproceedings{journals/entcs/NielsonNS01,
title = {Cryptographic Analysis in Cubic Time.},
year = {2001},
booktitle = {TOSCA},
author = {{Flemming Nielson} and {Hanne Riis Nielson} and {Helmut Seidl}},
publisher = {Elsevier},
booktitle = {Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001}
}
@article{tr/trier/MI01-12,
title = {Succinct Solvers},
year = {2001},
journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht},
author = {{Flemming Nielson} and {Helmut Seidl}}
}
@inproceedings{conf/ascilite/ZiewerS02,
title = {Transparent teleteaching.},
year = {2002},
booktitle = {ASCILITE},
author = {{Peter Ziewer} and {Helmut Seidl}},
publisher = {UNITEC Institute of Technology, Auckland, New Zealand},
booktitle = {Winds of Changing in the Sea of Learning, Proceedings of the 19th Annual Conference of the Australian Society for Computers in Tertiary Education (ASCILITE), Auckland, New Zealand, 8-11 December 2002}
}
@inproceedings{conf/esop/NielsonNS02,
title = {Automatic Complexity Analysis.},
year = {2002},
booktitle = {ESOP},
author = {{Flemming Nielson} and {Hanne Riis Nielson} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings}
}
@inproceedings{conf/extreme/BerleaS02,
title = {Binary Queries.},
year = {2002},
booktitle = {Extreme Markup Languages®},
author = {{Alexandru Berlea} and {Helmut Seidl}},
booktitle = {Proceedings of the Extreme Markup Languages® 2002 Conference, 4-9 August 2002, Montréal, Quebec, Canada}
}
@inproceedings{conf/extreme/PerstS02,
title = {A Type-safe Macro System for XML.},
year = {2002},
booktitle = {Extreme Markup Languages®},
author = {{Thomas Perst} and {Helmut Seidl}},
booktitle = {Proceedings of the Extreme Markup Languages® 2002 Conference, 4-9 August 2002, Montréal, Quebec, Canada}
}
@inproceedings{conf/sas/NielsonNS02,
title = {Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi.},
year = {2002},
booktitle = {SAS},
author = {{Flemming Nielson} and {Hanne Riis Nielson} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings}
}
@article{journals/njc/NielsonSN02,
title = {A Succinct Solver for ALFP.},
year = {2002},
journal = {Nord. J. Comput.},
author = {{Flemming Nielson} and {Helmut Seidl} and {Hanne Riis Nielson}}
}
@article{tr/trier/MI02-09,
title = {Polynomial Constants are Decidable},
year = {2002},
journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht},
author = {{Markus Müller-Olm} and {Helmut Seidl}}
}
@article{tr/trier/MI02-10,
title = {Interprocedural Invariants},
year = {2002},
journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht},
author = {{Helmut Seidl} and {Varmo Vene} and {Markus Müller-Olm}}
}
@article{tr/trier/MI02-17,
title = {On the Expressiveness of Tree Set Operators},
year = {2002},
journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht},
author = {{Helmut Seidl} and {Aditya V. Nori}}
}
@inproceedings{conf/pods/SeidlSM03,
title = {Numerical document queries.},
year = {2003},
booktitle = {PODS},
author = {{Helmut Seidl} and {Thomas Schwentick} and {Anca Muscholl}},
publisher = {ACM},
booktitle = {Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 9-12, 2003, San Diego, CA, USA}
}
@article{journals/stt/Muller-OlmS03,
title = {(Linear) Algebra for Program Analysis Dynamische Programmanalyse.},
year = {2003},
journal = {Softwaretechnik-Trends},
author = {{Markus Müller-Olm} and {Helmut Seidl}}
}
@inproceedings{conf/delfi/ZiewerS04,
title = {Annotiertes Lecture Recording.},
year = {2004},
booktitle = {DeLFI},
author = {{Peter Ziewer} and {Helmut Seidl}},
publisher = {GI},
booktitle = {DeLFI 2004: Die e-Learning Fachtagung Informatik, Tagung der Fachgruppe e-Learning der Gesellschaft für Informatik e.V. (GI) 6.-8. September 2004 in Paderborn}
}
@inproceedings{conf/icalp/Muller-OlmS04,
title = {A Note on Karr's Algorithm.},
year = {2004},
booktitle = {ICALP},
author = {{Markus Müller-Olm} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings}
}
@inproceedings{conf/icalp/SeidlSMH04,
title = {Counting in Trees for Free.},
year = {2004},
booktitle = {ICALP},
author = {{Helmut Seidl} and {Thomas Schwentick} and {Anca Muscholl} and {Peter Habermehl}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings}
}
@inproceedings{conf/lpar/Muller-OlmS04,
title = {A Generic Framework for Interprocedural Analyses of Numerical Properties.},
year = {2004},
booktitle = {LPAR},
author = {{Markus Müller-Olm} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings}
}
@inproceedings{conf/popl/Muller-OlmS04,
title = {Precise interprocedural analysis through linear algebra.},
year = {2004},
booktitle = {POPL},
author = {{Markus Müller-Olm} and {Helmut Seidl}},
publisher = {ACM},
booktitle = {Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004}
}
@inproceedings{conf/tacas/NielsonNSBHPS04,
title = {The Succinct Solver Suite.},
year = {2004},
booktitle = {TACAS},
author = {{Flemming Nielson} and {Hanne Riis Nielson} and {Hongyan Sun} and {Mikael Buchholtz} and {René Rydhof Hansen} and {Henrik Pilegaard} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings}
}
@article{journals/ipl/Muller-OlmS04,
title = {Computing polynomial program invariants.},
year = {2004},
journal = {Inf. Process. Lett.},
author = {{Markus Müller-Olm} and {Helmut Seidl}}
}
@article{journals/ipl/PerstS04,
title = {Macro forest transducers.},
year = {2004},
journal = {Inf. Process. Lett.},
author = {{Thomas Perst} and {Helmut Seidl}}
}
@article{journals/njc/BerleaS04,
title = {Binary Queries for Document Trees.},
year = {2004},
journal = {Nord. J. Comput.},
author = {{Alexandru Berlea} and {Helmut Seidl}}
}
@inproceedings{conf/cade/VermaSS05,
title = {On the Complexity of Equational Horn Clauses.},
year = {2005},
booktitle = {CADE},
author = {{Kumar Neeraj Verma} and {Helmut Seidl} and {Thomas Schwentick}},
publisher = {Springer},
booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings}
}
@inproceedings{conf/esop/Muller-OlmSS05,
title = {Interprocedural Herbrand Equalities.},
year = {2005},
booktitle = {ESOP},
author = {{Markus Müller-Olm} and {Helmut Seidl} and {Bernhard Steffen}},
publisher = {Springer},
booktitle = {Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}
}
@inproceedings{conf/pods/ManethBPS05,
title = {XML type checking with macro tree transducers.},
year = {2005},
booktitle = {PODS},
author = {{Sebastian Maneth} and {Alexandru Berlea} and {Thomas Perst} and {Helmut Seidl}},
publisher = {ACM},
booktitle = {Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 13-15, 2005, Baltimore, Maryland, USA}
}
@inproceedings{conf/sas/Muller-OlmS05,
title = {A Generic Framework for Interprocedural Analysis of Numerical Properties.},
year = {2005},
booktitle = {SAS},
author = {{Markus Müller-Olm} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings}
}
@inproceedings{conf/vmcai/Muller-OlmRS05,
title = {Checking Herbrand Equalities and Beyond.},
year = {2005},
booktitle = {VMCAI},
author = {{Markus Müller-Olm} and {Oliver Rüthing} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings}
}
@inproceedings{conf/birthday/SeidlV06,
title = {Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses.},
year = {2006},
booktitle = {Program Analysis and Compilation},
author = {{Helmut Seidl} and {Kumar Neeraj Verma}},
publisher = {Springer},
booktitle = {Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday}
}
@inproceedings{conf/stacs/Muller-OlmPS06,
title = {Interprocedurally Analyzing Polynomial Identities.},
year = {2006},
booktitle = {STACS},
author = {{Markus Müller-Olm} and {Michael Petter} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings}
}
@article{journals/jcss/GenestMSZ06,
title = {Infinite-state high-level MSCs: Model-checking and realizability.},
year = {2006},
journal = {J. Comput. Syst. Sci.},
author = {{Blaise Genest} and {Anca Muscholl} and {Helmut Seidl} and {Marc Zeitoun}}
}
@article{tr/trier/MI06-04,
title = {Exact XML Type Checking in Polynomial Time.},
year = {2006},
journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht},
author = {{Sebastian Maneth} and {Thomas Perst} and {Helmut Seidl}}
}
@inproceedings{conf/atva/GawlitzaS07,
title = {Computing Game Values for Crash Games.},
year = {2007},
booktitle = {ATVA},
author = {{Thomas Gawlitza} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings}
}
@inproceedings{conf/csl/GawlitzaS07,
title = {Precise Relational Invariants Through Strategy Iteration.},
year = {2007},
booktitle = {CSL},
author = {{Thomas Gawlitza} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings}
}
@inproceedings{conf/esop/GawlitzaS07,
title = {Precise Fixpoint Computation Through Strategy Iteration.},
year = {2007},
booktitle = {ESOP},
author = {{Thomas Gawlitza} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {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, Braga, Portugal, March 24 - April 1, 2007, Proceedings}
}
@inproceedings{conf/esop/SeidlFP07,
title = {Interprocedurally Analysing Linear Inequality Relations.},
year = {2007},
booktitle = {ESOP},
author = {{Helmut Seidl} and {Andrea Flexeder} and {Michael Petter}},
publisher = {Springer},
booktitle = {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, Braga, Portugal, March 24 - April 1, 2007, Proceedings}
}
@inproceedings{conf/planX/ManethS07,
title = {Deciding Equivalence of Top-Down XML Transformations in Polynomial Time.},
year = {2007},
booktitle = {PLAN-X},
author = {{Sebastian Maneth} and {Helmut Seidl}},
booktitle = {PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007}
}
@article{journals/toplas/Muller-OlmS07,
title = {Analysis of modular arithmetic.},
year = {2007},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Markus Müller-Olm} and {Helmut Seidl}}
}
@inproceedings{conf/birthday/SeidlSM08,
title = {Counting in trees.},
year = {2008},
booktitle = {Logic and Automata},
author = {{Helmut Seidl} and {Thomas Schwentick} and {Anca Muscholl}},
publisher = {Amsterdam University Press},
booktitle = {Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas].}
}
@inproceedings{conf/esop/Muller-OlmS08,
title = {Upper Adjoints for Fast Inter-procedural Variable Equalities.},
year = {2008},
booktitle = {ESOP},
author = {{Markus Müller-Olm} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {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, Budapest, Hungary, March 29-April 6, 2008. Proceedings}
}
@inproceedings{conf/fm/GawlitzaS08,
title = {Precise Interval Analysis vs. Parity Games.},
year = {2008},
booktitle = {FM},
author = {{Thomas Gawlitza} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings}
}
@inproceedings{conf/gi/LeuckerS07,
title = {Lightweight Verification 2008.},
year = {2008},
booktitle = {GI Jahrestagung (2)},
author = {{Martin Leucker} and {Helmut Seidl}},
publisher = {GI},
booktitle = {38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme - dank Informatik, INFORMATIK 2008, Munich, Germany, September 8-13, 2008, Band 2}
}
@inproceedings{conf/icalp/EsparzaGKS08,
title = {Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations.},
year = {2008},
booktitle = {ICALP (1)},
author = {{Javier Esparza} and {Thomas Gawlitza} and {Stefan Kiefer} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games}
}
@inproceedings{conf/sas/SeidlFP08,
title = {Analysing All Polynomial Equations in .},
year = {2008},
booktitle = {SAS},
author = {{Helmut Seidl} and {Andrea Flexeder} and {Michael Petter}},
publisher = {Springer},
booktitle = {Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings}
}
@article{journals/tocl/SeidlV08,
title = {Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying.},
year = {2008},
journal = {ACM Trans. Comput. Log.},
author = {{Helmut Seidl} and {Kumar Neeraj Verma}}
}
@inproceedings{conf/birthday/GawlitzaLRSSW09,
title = {Polynomial Precise Interval Analysis Revisited.},
year = {2009},
booktitle = {Efficient Algorithms},
author = {{Thomas Gawlitza} and {Jérôme Leroux} and {Jan Reineke 001} and {Helmut Seidl} and {Grégoire Sutre} and {Reinhard Wilhelm}},
publisher = {Springer},
booktitle = {Efficient Algorithms, Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday}
}
@inproceedings{conf/cav/GawlitzaS09,
title = {Games through Nested Fixpoints.},
year = {2009},
booktitle = {CAV},
author = {{Thomas Gawlitza} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings}
}
@inproceedings{conf/fm/SeidlVV09,
title = {A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis.},
year = {2009},
booktitle = {FM},
author = {{Helmut Seidl} and {Vesal Vojdani} and {Varmo Vene}},
publisher = {Springer},
booktitle = {FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings}
}
@inproceedings{conf/rta/SeidlV09,
title = {Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case.},
year = {2009},
booktitle = {RTA},
author = {{Helmut Seidl} and {Kumar Neeraj Verma}},
publisher = {Springer},
booktitle = {Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings}
}
@inproceedings{conf/sas/SeidlV09,
title = {Region Analysis for Race Detection.},
year = {2009},
booktitle = {SAS},
author = {{Helmut Seidl} and {Vesal Vojdani}},
publisher = {Springer},
booktitle = {Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings}
}
@inproceedings{conf/wia/Seidl09,
title = {Program Analysis through Finite Tree Automata.},
year = {2009},
booktitle = {CIAA},
author = {{Helmut Seidl}},
publisher = {Springer},
booktitle = {Implementation and Application of Automata, 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings}
}
@article{journals/jcss/EngelfrietMS09,
title = {Deciding equivalence of top-down XML transformations in polynomial time.},
year = {2009},
journal = {J. Comput. Syst. Sci.},
author = {{Joost Engelfriet} and {Sebastian Maneth} and {Helmut Seidl}}
}
@book{books/daglib/0025732,
title = {Compiler Design - Virtual Machines.},
year = {2010},
isbn = {978-3-642-14908-5},
publisher = {Springer},
author = {{Reinhard Wilhelm} and {Helmut Seidl}}
}
@inproceedings{conf/aplas/FlexederMPS10,
title = {Interprocedural Control Flow Reconstruction.},
year = {2010},
booktitle = {APLAS},
author = {{Andrea Flexeder} and {Bogdan Mihaila} and {Michael Petter} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings}
}
@inproceedings{conf/cade/GawlitzaS10,
title = {Abstract Interpretation over Zones without Widening.},
year = {2010},
booktitle = {WING@ETAPS/IJCAR},
author = {{Thomas Martin Gawlitza} and {Helmut Seidl}},
publisher = {EasyChair},
booktitle = {Second International Workshop on Invariant Generation, WING 2009, York, UK, March 29, 2009 and Third International Workshop on Invariant Generation, WING 2010, Edinburgh, UK, July 21, 2010}
}
@inproceedings{conf/dlt/FrieseSM10,
title = {Minimization of Deterministic Bottom-Up Tree Transducers.},
year = {2010},
booktitle = {Developments in Language Theory},
author = {{Sylvia Friese} and {Helmut Seidl} and {Sebastian Maneth}},
publisher = {Springer},
booktitle = {Developments in Language Theory, 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings}
}
@inproceedings{conf/icalp/HofmannKS10,
title = {What Is a Pure Functional?},
year = {2010},
booktitle = {ICALP (2)},
author = {{Martin Hofmann 001} and {Aleksandr Karbyshev} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II}
}
@inproceedings{conf/lpar/ReussS10,
title = {Bottom-Up Tree Automata with Term Constraints.},
year = {2010},
booktitle = {LPAR (Yogyakarta)},
author = {{Andreas Reuß} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings}
}
@inproceedings{conf/sas/GawlitzaS10,
title = {Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely.},
year = {2010},
booktitle = {SAS},
author = {{Thomas Martin Gawlitza} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings}
}
@inproceedings{conf/sas/HofmannKS10,
title = {Verifying a Local Generic Solver in Coq.},
year = {2010},
booktitle = {SAS},
author = {{Martin Hofmann 001} and {Aleksandr Karbyshev} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings}
}
@inproceedings{conf/sbmf/GawlitzaSV10,
title = {Normalization of Linear Horn Clauses.},
year = {2010},
booktitle = {SBMF},
author = {{Thomas Martin Gawlitza} and {Helmut Seidl} and {Kumar Neeraj Verma}},
publisher = {Springer},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers}
}
@inproceedings{conf/vmcai/KreikerSV10,
title = {Shape Analysis of Low-Level C with Overlapping Structures.},
year = {2010},
booktitle = {VMCAI},
author = {{Jörg Kreiker} and {Helmut Seidl} and {Vesal Vojdani}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings}
}
@article{journals/insk/Seidl10,
title = {Praktische Programmverifikation durch statische Analyse.},
year = {2010},
journal = {Inform. Spektrum},
author = {{Helmut Seidl}}
}
@inproceedings{conf/popl/SchwarzSVLM11,
title = {Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol.},
year = {2011},
booktitle = {POPL},
author = {{Martin D. Schwarz} and {Helmut Seidl} and {Vesal Vojdani} and {Peter Lammich} and {Markus Müller-Olm}},
publisher = {ACM},
booktitle = {Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011}
}
@inproceedings{conf/sas/FlexederPS11,
title = {Side-Effect Analysis of Assembly Code.},
year = {2011},
booktitle = {SAS},
author = {{Andrea Flexeder} and {Michael Petter} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings}
}
@inproceedings{conf/vmcai/GawlitzaLMSW11,
title = {Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation.},
year = {2011},
booktitle = {VMCAI},
author = {{Thomas Martin Gawlitza} and {Peter Lammich} and {Markus Müller-Olm} and {Helmut Seidl} and {Alexander Wenner}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings}
}
@article{journals/ijfcs/FrieseSM11,
title = {Earliest Normal Form and Minimization for Bottom-up Tree Transducers.},
year = {2011},
journal = {Int. J. Found. Comput. Sci.},
author = {{Sylvia Friese} and {Helmut Seidl} and {Sebastian Maneth}}
}
@article{journals/ipl/SeidlR11,
title = {Extending H1-clauses with disequalities.},
year = {2011},
journal = {Inf. Process. Lett.},
author = {{Helmut Seidl} and {Andreas Reuß}}
}
@article{journals/toplas/FlexederMPS11,
title = {Fast interprocedural linear two-variable equalities.},
year = {2011},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Andrea Flexeder} and {Markus Müller-Olm} and {Michael Petter} and {Helmut Seidl}}
}
@article{journals/toplas/GawlitzaS11,
title = {Solving systems of rational equations through strategy iteration.},
year = {2011},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Thomas Martin Gawlitza} and {Helmut Seidl}}
}
@book{books/daglib/0030106,
title = {Compiler Design - Analysis and Transformation.},
year = {2012},
isbn = {978-3-642-17547-3},
publisher = {Springer},
author = {{Helmut Seidl} and {Reinhard Wilhelm} and {Sebastian Hack}}
}
@incollection{books/ws/automata2012/ManethFS12,
title = {Type Checking of Tree Walking Transducers.},
year = {2012},
booktitle = {Modern Applications of Automata Theory},
author = {{Sebastian Maneth} and {Sylvia Friese} and {Helmut Seidl}},
publisher = {World Scientific},
booktitle = {Modern Applications of Automata Theory.}
}
@inproceedings{conf/aplas/ApinisSV12,
title = {Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis.},
year = {2012},
booktitle = {APLAS},
author = {{Kalmer Apinis} and {Helmut Seidl} and {Vesal Vojdani}},
publisher = {Springer},
booktitle = {Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings}
}
@inproceedings{conf/essos/KovacsS12,
title = {Runtime Enforcement of Information Flow Security in Tree Manipulating Processes.},
year = {2012},
booktitle = {ESSoS},
author = {{Máté Kovács} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings}
}
@inproceedings{conf/fossacs/SeidlR12,
title = {Extending \$\{\\cal H\}_1\$ -Clauses with Path Disequalities.},
year = {2012},
booktitle = {FoSSaCS},
author = {{Helmut Seidl} and {Andreas Reuß}},
publisher = {Springer},
booktitle = {Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings}
}
@inproceedings{conf/vmcai/DimitrovaFKRS12,
title = {Model Checking Information Flow in Reactive Systems.},
year = {2012},
booktitle = {VMCAI},
author = {{Rayna Dimitrova} and {Bernd Finkbeiner} and {Máté Kovács} and {Markus N. Rabe} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings}
}
@inproceedings{conf/wia/ReussS12,
title = {Crossing the Syntactic Barrier: Hom-Disequalities for H1-Clauses.},
year = {2012},
booktitle = {CIAA},
author = {{Andreas Reuß} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Implementation and Application of Automata - 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings}
}
@article{journals/jsc/GawlitzaSAGG12,
title = {Abstract interpretation meets convex optimization.},
year = {2012},
journal = {J. Symb. Comput.},
author = {{Thomas Martin Gawlitza} and {Helmut Seidl} and {Assalé Adjé} and {Stéphane Gaubert} and {Eric Goubault}}
}
@incollection{series/natosec/GawlitzaS12,
title = {Precise Program Analysis through Strategy Iteration and Optimization.},
year = {2012},
booktitle = {Software Safety and Security},
author = {{Thomas Martin Gawlitza} and {Helmut Seidl}},
publisher = {IOS Press},
booktitle = {Software Safety and Security - Tools for Analysis and Verification}
}
@book{books/daglib/0031526,
title = {Compiler Design - Syntactic and Semantic Analysis.},
year = {2013},
isbn = {978-3-642-17539-8},
publisher = {Springer},
author = {{Reinhard Wilhelm} and {Helmut Seidl} and {Sebastian Hack}}
}
@inproceedings{conf/ccs/KovacsSF13,
title = {Relational abstract interpretation for the verification of 2-hypersafety properties.},
year = {2013},
booktitle = {CCS},
author = {{Máté Kovács} and {Helmut Seidl} and {Bernd Finkbeiner}},
publisher = {ACM},
booktitle = {2013 ACM SIGSAC Conference on Computer and Communications Security, CCS'13, Berlin, Germany, November 4-8, 2013}
}
@inproceedings{conf/pldi/ApinisSV13,
title = {How to combine widening and narrowing for non-monotonic systems of equations.},
year = {2013},
booktitle = {PLDI},
author = {{Kalmer Apinis} and {Helmut Seidl} and {Vesal Vojdani}},
publisher = {ACM},
booktitle = {ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013}
}
@inproceedings{conf/sas/LammichMSW13,
title = {Contextual Locking for Dynamic Pushdown Networks.},
year = {2013},
booktitle = {SAS},
author = {{Peter Lammich} and {Markus Müller-Olm} and {Helmut Seidl} and {Alexander Wenner}},
publisher = {Springer},
booktitle = {Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings}
}
@article{journals/corr/EngelfrietMS13,
title = {Look-Ahead Removal for Top-Down Tree Transducers.},
year = {2013},
journal = {CoRR},
author = {{Joost Engelfriet} and {Sebastian Maneth} and {Helmut Seidl}}
}
@article{journals/dagstuhl-reports/ManethS13,
title = {Tree Transducers and Formal Methods (Dagstuhl Seminar 13192).},
year = {2013},
journal = {Dagstuhl Reports},
author = {{Sebastian Maneth} and {Helmut Seidl}}
}
@inproceedings{conf/dlt/EngelfrietMS14,
title = {How to Remove the Look-Ahead of Top-Down Tree Transducers.},
year = {2014},
booktitle = {Developments in Language Theory},
author = {{Joost Engelfriet} and {Sebastian Maneth} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Developments in Language Theory - 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings}
}
@inproceedings{conf/lata/SeidlK14,
title = {Interprocedural Information Flow Analysis of XML Processors.},
year = {2014},
booktitle = {LATA},
author = {{Helmut Seidl} and {Máté Kovács}},
publisher = {Springer},
booktitle = {Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings}
}
@inproceedings{conf/sycss/SeidlGS14,
title = {Parametric Strategy Iteration.},
year = {2014},
booktitle = {SCSS},
author = {{Helmut Seidl} and {Thomas Martin Gawlitza} and {Martin D. Schwarz}},
publisher = {EasyChair},
booktitle = {6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014}
}
@inproceedings{conf/vmcai/SchwarzSVA14,
title = {Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs.},
year = {2014},
booktitle = {VMCAI},
author = {{Martin D. Schwarz} and {Helmut Seidl} and {Vesal Vojdani} and {Kalmer Apinis}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings}
}
@article{journals/fmsd/GawlitzaS14,
title = {Numerical invariants through convex relaxation and max-strategy iteration.},
year = {2014},
journal = {Formal Methods Syst. Des.},
author = {{Thomas Martin Gawlitza} and {Helmut Seidl}}
}
@incollection{series/natosec/SeidlAV14,
title = {Frameworks for Interprocedural Analysis of Concurrent Programs.},
year = {2014},
booktitle = {Software Systems Safety},
author = {{Helmut Seidl} and {Kalmer Apinis} and {Vesal Vojdani}},
publisher = {IOS Press},
booktitle = {Software Systems Safety}
}
@inproceedings{conf/csfw/MullerKS15,
title = {An Analysis of Universal Information Flow Based on Self-Composition.},
year = {2015},
booktitle = {CSF},
author = {{Christian Müller 008} and {Máté Kovács} and {Helmut Seidl}},
publisher = {IEEE Computer Society},
booktitle = {IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015}
}
@inproceedings{conf/spire/ManethPS15,
title = {Transforming XML Streams with References.},
year = {2015},
booktitle = {SPIRE},
author = {{Sebastian Maneth} and {Alberto Ordóñez Pereira} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {String Processing and Information Retrieval - 22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015, Proceedings}
}
@inproceedings{conf/atva/FinkbeinerS016,
title = {Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents.},
year = {2016},
booktitle = {ATVA},
author = {{Bernd Finkbeiner} and {Helmut Seidl} and {Christian Müller 008}},
booktitle = {Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings}
}
@inproceedings{conf/birthday/ApinisSV16,
title = {Enhancing Top-Down Solving with Widening and Narrowing.},
year = {2016},
booktitle = {Semantics, Logics, and Calculi},
author = {{Kalmer Apinis} and {Helmut Seidl} and {Vesal Vojdani}},
publisher = {Springer},
booktitle = {Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays}
}
@inproceedings{conf/kbse/VojdaniARSVV16,
title = {Static race detection for device drivers: the Goblint approach.},
year = {2016},
booktitle = {ASE},
author = {{Vesal Vojdani} and {Kalmer Apinis} and {Vootele Rõtov} and {Helmut Seidl} and {Varmo Vene} and {Ralf Vogler}},
publisher = {ACM},
booktitle = {Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016}
}
@article{journals/scp/AmatoSSAV16,
title = {Efficiently intertwining widening and narrowing.},
year = {2016},
journal = {Sci. Comput. Program.},
author = {{Gianluca Amato} and {Francesca Scozzari} and {Helmut Seidl} and {Kalmer Apinis} and {Vesal Vojdani}}
}
@article{journals/tcs/EngelfrietMS16,
title = {Look-ahead removal for total deterministic top-down tree transducers.},
year = {2016},
journal = {Theor. Comput. Sci.},
author = {{Joost Engelfriet} and {Sebastian Maneth} and {Helmut Seidl}}
}
@incollection{series/natosec/SeidlMKE16,
title = {Equivalence - Combinatorics, Algebra, Proofs.},
year = {2016},
booktitle = {Dependable Software Systems Engineering},
author = {{Helmut Seidl} and {Sebastian Maneth} and {Gregor Kemper} and {Joost Engelfriet}},
publisher = {IOS Press},
booktitle = {Dependable Software Systems Engineering}
}
@inproceedings{conf/atva/SeidlV17,
title = {Proving Absence of Starvation by Means of Abstract Interpretation and Model Checking.},
year = {2017},
booktitle = {ATVA},
author = {{Helmut Seidl} and {Ralf Vogler}},
publisher = {Springer},
booktitle = {Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings}
}
@inproceedings{conf/ccs/Finkbeiner0SZ17,
title = {Verifying Security Policies in Multi-agent Workflows with Loops.},
year = {2017},
booktitle = {CCS},
author = {{Bernd Finkbeiner} and {Christian Müller 008} and {Helmut Seidl} and {Eugen Zalinescu}},
publisher = {ACM},
booktitle = {Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017}
}
@inproceedings{conf/vmcai/MuschollSW17,
title = {Reachability for Dynamic Parametric Processes.},
year = {2017},
booktitle = {VMCAI},
author = {{Anca Muscholl} and {Helmut Seidl} and {Igor Walukiewicz}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings}
}
@article{journals/dagstuhl-reports/FiliotMS17,
title = {Formal Methods of Transformations (Dagstuhl Seminar 17142).},
year = {2017},
journal = {Dagstuhl Reports},
author = {{Emmanuel Filiot} and {Sebastian Maneth} and {Helmut Seidl}}
}
@article{journals/lmcs/FrielinghausPS17,
title = {Inter-procedural Two-Variable Herbrand Equalities.},
year = {2017},
journal = {Log. Methods Comput. Sci.},
author = {{Stefan Schulze Frielinghaus} and {Michael Petter} and {Helmut Seidl}}
}
@inproceedings{conf/csfw/0008SZ18,
title = {Inductive Invariants for Noninterference in Multi-agent Workflows.},
year = {2018},
booktitle = {CSF},
author = {{Christian Müller 008} and {Helmut Seidl} and {Eugen Zalinescu}},
publisher = {IEEE Computer Society},
booktitle = {31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018}
}
@inproceedings{conf/stacs/LuttenbergerPS18,
title = {Computing the Longest Common Prefix of a Context-free Language in Polynomial Time.},
year = {2018},
booktitle = {STACS},
author = {{Michael Luttenberger} and {Raphaela Palenta} and {Helmut Seidl}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {35th Symposium on Theoretical Aspects of Computer Science, STACS 2018, February 28 to March 3, 2018, Caen, France}
}
@article{journals/fmsd/FrielinghausSV18,
title = {Enforcing termination of interprocedural analysis.},
year = {2018},
journal = {Formal Methods Syst. Des.},
author = {{Stefan Schulze Frielinghaus} and {Helmut Seidl} and {Ralf Vogler}}
}
@article{journals/ipl/ManethS18,
title = {Balancedness of MSO transductions in polynomial time.},
year = {2018},
journal = {Inf. Process. Lett.},
author = {{Sebastian Maneth} and {Helmut Seidl}}
}
@article{journals/jacm/SeidlMK18,
title = {Equivalence of Deterministic Top-Down Tree-to-String Transducers Is Decidable.},
year = {2018},
journal = {J. ACM},
author = {{Helmut Seidl} and {Sebastian Maneth} and {Gregor Kemper}}
}
@article{journals/mscs/ReussS18,
title = {Paths, tree homomorphisms and disequalities for -clauses.},
year = {2018},
journal = {Math. Struct. Comput. Sci.},
author = {{Andreas Reuß} and {Helmut Seidl}}
}
@inproceedings{conf/atva/IzychevaDS19,
title = {Synthesizing Efficient Low-Precision Kernels.},
year = {2019},
booktitle = {ATVA},
author = {{Anastasiia Izycheva} and {Eva Darulova} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings}
}
@inproceedings{conf/fossacs/SeidlPM19,
title = {Deciding Equivalence of Separated Non-nested Attribute Systems in Polynomial Time.},
year = {2019},
booktitle = {FoSSaCS},
author = {{Helmut Seidl} and {Raphaela Palenta} and {Sebastian Maneth}},
publisher = {Springer},
booktitle = {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, Prague, Czech Republic, April 6-11, 2019, Proceedings}
}
@inproceedings{conf/birthday/SeidlEV15,
title = {Incremental Abstract Interpretation.},
year = {2020},
booktitle = {From Lambda Calculus to Cybersecurity Through Program Analysis},
author = {{Helmut Seidl} and {Julian Erhard} and {Ralf Vogler}},
publisher = {Springer},
booktitle = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement}
}
@inproceedings{conf/dlt/LobelLS20,
title = {Equivalence of Linear Tree Transducers with Output in the Free Group.},
year = {2020},
booktitle = {DLT},
author = {{Raphaela Löbel} and {Michael Luttenberger} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Developments in Language Theory - 24th International Conference, DLT 2020, Tampa, FL, USA, May 11-15, 2020, Proceedings}
}
@inproceedings{conf/icalp/ManethS20,
title = {When Is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?},
year = {2020},
booktitle = {ICALP},
author = {{Sebastian Maneth} and {Helmut Seidl}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, July 8-11, 2020, Saarbrücken, Germany (Virtual Conference).}
}
@inproceedings{conf/sas/IzychevaDS20,
title = {Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis.},
year = {2020},
booktitle = {SAS},
author = {{Anastasiia Izycheva} and {Eva Darulova} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings}
}
@inproceedings{conf/sas/MullerS20,
title = {Stratified Guarded First-Order Transition Systems.},
year = {2020},
booktitle = {SAS},
author = {{Christan Müller} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings}
}
@inproceedings{conf/vmcai/SeidlMF20,
title = {How to Win First-Order Safety Games.},
year = {2020},
booktitle = {VMCAI},
author = {{Helmut Seidl} and {Christian Müller 008} and {Bernd Finkbeiner}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings}
}
@inproceedings{conf/sas/SchwarzSSAEV21,
title = {Improving Thread-Modular Abstract Interpretation.},
year = {2021},
booktitle = {SAS},
author = {{Michael Schwarz 007} and {Simmo Saan} and {Helmut Seidl} and {Kalmer Apinis} and {Julian Erhard} and {Vesal Vojdani}},
publisher = {Springer},
booktitle = {Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings}
}
@inproceedings{conf/tacas/SaanSAESVV21,
title = {Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).},
year = {2021},
booktitle = {TACAS (2)},
author = {{Simmo Saan} and {Michael Schwarz 007} and {Kalmer Apinis} and {Julian Erhard} and {Helmut Seidl} and {Ralf Vogler} and {Vesal Vojdani}},
publisher = {Springer},
booktitle = {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, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II}
}
@article{journals/ijfcs/LobelLS21,
title = {On the Balancedness of Tree-to-Word Transducers.},
year = {2021},
journal = {Int. J. Found. Comput. Sci.},
author = {{Raphaela Löbel} and {Michael Luttenberger} and {Helmut Seidl}}
}
@article{journals/mscs/SeidlV21,
title = {Three improvements to the top-down solver.},
year = {2021},
journal = {Math. Struct. Comput. Sci.},
author = {{Helmut Seidl} and {Ralf Vogler}}
}
@inproceedings{conf/cai/ManethSV22,
title = {How to Decide Functionality of Compositions of Top-Down Tree Transducers.},
year = {2022},
booktitle = {CAI},
author = {{Sebastian Maneth} and {Helmut Seidl} and {Martin Vu}},
publisher = {Springer},
booktitle = {Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings}
}
@article{journals/corr/abs-2209-10445,
title = {Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap.},
year = {2022},
journal = {CoRR},
author = {{Julian Erhard} and {Simmo Saan} and {Sarah Tilscher} and {Michael Schwarz 007} and {Karoliine Holter} and {Vesal Vojdani} and {Helmut Seidl}}
}
@inproceedings{conf/esop/SchwarzSSEV23,
title = {Clustered Relational Thread-Modular Abstract Interpretation with Local Traces.},
year = {2023},
booktitle = {ESOP},
author = {{Michael Schwarz 007} and {Simmo Saan} and {Helmut Seidl} and {Julian Erhard} and {Vesal Vojdani}},
publisher = {Springer},
booktitle = {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, Paris, France, April 22-27, 2023, Proceedings}
}
@inproceedings{conf/pldi/0007EVSS23,
title = {When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C.},
year = {2023},
booktitle = {SOAP@PLDI},
author = {{Michael Schwarz 007} and {Julian Erhard} and {Vesal Vojdani} and {Simmo Saan} and {Helmut Seidl}},
publisher = {ACM},
booktitle = {Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2023, Orlando, FL, USA, 17 June 2023}
}
@inproceedings{conf/sas/SchwarzS23,
title = {Octagons Revisited - Elegant Proofs and Simplified Algorithms.},
year = {2023},
booktitle = {SAS},
author = {{Michael Schwarz 007} and {Helmut Seidl}},
publisher = {Springer},
booktitle = {Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings}
}
@inproceedings{conf/tacas/SaanSEPSTV23,
title = {Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution).},
year = {2023},
booktitle = {TACAS (2)},
author = {{Simmo Saan} and {Michael Schwarz 007} and {Julian Erhard} and {Manuel Pietsch} and {Helmut Seidl} and {Sarah Tilscher} and {Vesal Vojdani}},
publisher = {Springer},
booktitle = {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, Paris, France, April 22-27, 2023, Proceedings, Part II}
}
@article{journals/ijfcs/ManethSV23,
title = {Definability Results for Top-Down Tree Transducers.},
year = {2023},
journal = {Int. J. Found. Comput. Sci.},
author = {{Sebastian Maneth} and {Helmut Seidl} and {Martin Vu}}
}
@article{journals/ipl/ManethS23,
title = {Deciding origin equivalence of weakly self-nesting macro tree transducers.},
year = {2023},
journal = {Inf. Process. Lett.},
author = {{Sebastian Maneth} and {Helmut Seidl}}
}
@inproceedings{conf/vmcai/SaanSESTV24,
title = {Correctness Witness Validation by Abstract Interpretation.},
year = {2024},
booktitle = {VMCAI (1)},
author = {{Simmo Saan} and {Michael Schwarz 007} and {Julian Erhard} and {Helmut Seidl} and {Sarah Tilscher} and {Vesal Vojdani}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I}
}
@article{journals/corr/abs-2401-05165,
title = {Non-Numerical Weakly Relational Domains.},
year = {2024},
journal = {CoRR},
author = {{Helmut Seidl} and {Julian Erhard} and {Sarah Tilscher} and {Michael Schwarz 007}}
}
@article{journals/iandc/ManethSV24,
title = {Functionality of compositions of top-down tree transducers is decidable.},
year = {2024},
month = {January},
journal = {Inf. Comput.},
author = {{Sebastian Maneth} and {Helmut Seidl} and {Martin Vu}}
}
@article{journals/ipl/ManethS24,
title = {Checking in polynomial time whether or not a regular tree language is deterministic top-down.},
year = {2024},
month = {February},
journal = {Inf. Process. Lett.},
author = {{Sebastian Maneth} and {Helmut Seidl}}
}