| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thomas Martin Gawlitza, Helmut Seidl |
Numerical Invariants through Convex Relaxation and Max-Strategy Iteration  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl |
Model Checking Information Flow in Reactive Systems. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Máté Kovács, Helmut Seidl |
Runtime Enforcement of Information Flow Security in Tree Manipulating Processes. |
ESSoS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Andreas Reuß |
Extending ${\cal H}_1$ -Clauses with Path Disequalities. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl (eds.) |
Programming Languages and Systems - 21st European Symposium on Programming, ESOP 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 |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Andreas Reuß |
Extending H1-clauses with disequalities. |
Inf. Process. Lett. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvia Friese, Helmut Seidl, Sebastian Maneth |
Earliest Normal Form and Minimization for Bottom-up Tree Transducers. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Martin Gawlitza, Helmut Seidl |
Solving systems of rational equations through strategy iteration. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl |
Fast interprocedural linear two-variable equalities. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm |
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Flexeder, Michael Petter, Helmut Seidl |
Side-Effect Analysis of Assembly Code. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Martin Gawlitza, Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner |
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl |
Praktische Programmverifikation durch statische Analyse. |
Informatik Spektrum |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Wilhelm, Helmut Seidl |
Compiler Design - Virtual Machines. |
|
2010 |
DOI RDF |
|
| 1 | Andreas Reuß, Helmut Seidl |
Bottom-Up Tree Automata with Term Constraints. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl |
What Is a Pure Functional? |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Martin Gawlitza, Helmut Seidl, Kumar Neeraj Verma |
Normalization of Linear Horn Clauses. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvia Friese, Helmut Seidl, Sebastian Maneth |
Minimization of Deterministic Bottom-Up Tree Transducers. |
Developments in Language Theory |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl |
Interprocedural Control Flow Reconstruction. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl |
Verifying a Local Generic Solver in Coq. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Martin Gawlitza, Helmut Seidl |
Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Kreiker, Helmut Seidl, Vesal Vojdani |
Shape Analysis of Low-Level C with Overlapping Structures. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Engelfriet, Sebastian Maneth, Helmut Seidl |
Deciding equivalence of top-down XML transformations in polynomial time. |
J. Comput. Syst. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Kumar Neeraj Verma |
Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Vesal Vojdani, Varmo Vene |
A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard Wilhelm |
Polynomial Precise Interval Analysis Revisited. |
Efficient Algorithms |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gawlitza, Helmut Seidl |
Games through Nested Fixpoints. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Vesal Vojdani |
Region Analysis for Race Detection. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl |
Program Analysis through Finite Tree Automata. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Kumar Neeraj Verma |
Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
instantiation-based theorem proving, Cryptographic protocols, first-order logic, resolution, Horn clauses |
| 1 | Javier Esparza, Thomas Gawlitza, Stefan Kiefer, Helmut Seidl |
Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gawlitza, Helmut Seidl |
Precise Interval Analysis vs. Parity Games. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Thomas Schwentick, Anca Muscholl |
Counting in trees. |
Logic and Automata |
2008 |
DBLP BibTeX RDF |
|
| 1 | Martin Leucker, Helmut Seidl |
Lightweight Verification 2008. |
GI Jahrestagung |
2008 |
DBLP BibTeX RDF |
|
| 1 | Helmut Seidl, Andrea Flexeder, Michael Petter |
Analysing All Polynomial Equations in . |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Müller-Olm, Helmut Seidl |
Upper Adjoints for Fast Inter-procedural Variable Equalities. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Müller-Olm, Helmut Seidl |
Analysis of modular arithmetic. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
affine relation, Program analysis, abstract interpretation, interprocedural analysis, modular arithmetic |
| 1 | Thomas Gawlitza, Helmut Seidl |
Computing Game Values for Crash Games. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Maneth, Thomas Perst, Helmut Seidl |
Exact XML Type Checking in Polynomial Time. |
ICDT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gawlitza, Helmut Seidl |
Precise Relational Invariants Through Strategy Iteration. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl (eds.) |
Foundations of Software Science and Computational Structures, 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings |
FoSSaCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Thomas Gawlitza, Helmut Seidl |
Precise Fixpoint Computation Through Strategy Iteration. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Andrea Flexeder, Michael Petter |
Interprocedurally Analysing Linear Inequality Relations. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Maneth, Helmut Seidl |
Deciding Equivalence of Top-Down XML Transformations in Polynomial Time. |
PLAN-X |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Maneth, Thomas Perst, Helmut Seidl |
Exact XML Type Checking in Polynomial Time. |
Universität Trier, Mathematik/Informatik, Forschungsbericht |
2006 |
RDF |
|
| 1 | Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun |
Infinite-state high-level MSCs: Model-checking and realizability. |
J. Comput. Syst. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Müller-Olm, Michael Petter, Helmut Seidl |
Interprocedurally Analyzing Polynomial Identities. |
STACS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Kumar Neeraj Verma |
Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses. |
Program Analysis and Compilation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Kumar Neeraj Verma |
Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Kumar Neeraj Verma, Helmut Seidl, Thomas Schwentick |
On the Complexity of Equational Horn Clauses. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Müller-Olm, Helmut Seidl |
A Generic Framework for Interprocedural Analysis of Numerical Properties. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Müller-Olm, Oliver Rüthing, Helmut Seidl |
Checking Herbrand Equalities and Beyond. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Maneth, Alexandru Berlea, Thomas Perst, Helmut Seidl |
XML type checking with macro tree transducers. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Müller-Olm, Helmut Seidl, Bernhard Steffen |
Interprocedural Herbrand Equalities. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Müller-Olm, Helmut Seidl |
Analysis of Modular Arithmetic. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Perst, Helmut Seidl |
Macro forest transducers. |
Inf. Process. Lett. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Müller-Olm, Helmut Seidl |
Computing polynomial program invariants. |
Inf. Process. Lett. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Berlea, Helmut Seidl |
Binary Queries for Document Trees. |
Nord. J. Comput. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl |
The Succinct Solver Suite. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Kumar Neeraj Verma |
Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Müller-Olm, Helmut Seidl |
A Generic Framework for Interprocedural Analyses of Numerical Properties. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Thomas Schwentick, Anca Muscholl, Peter Habermehl |
Counting in Trees for Free. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Müller-Olm, Helmut Seidl |
A Note on Karr's Algorithm. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Müller-Olm, Helmut Seidl |
Precise interprocedural analysis through linear algebra. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
affine relation, polynomial relation, linear algebra, interprocedural analysis, weakest precondition |
| 1 | Peter Ziewer, Helmut Seidl |
Annotiertes Lecture Recording. |
DeLFI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Helmut Seidl, Thomas Schwentick, Anca Muscholl |
Numerical document queries. |
PODS |
2003 |
DBLP DOI BibTeX RDF |
querying XML documents, XML, automata, monadic second order logic, Presburger arithmetic |
| 1 | Markus Müller-Olm, Helmut Seidl |
Polynomial Constants are Decidable |
Universität Trier, Mathematik/Informatik, Forschungsbericht |
2002 |
RDF |
|
| 1 | Helmut Seidl, Aditya V. Nori |
On the Expressiveness of Tree Set Operators |
Universität Trier, Mathematik/Informatik, Forschungsbericht |
2002 |
RDF |
|
| 1 | Helmut Seidl, Varmo Vene, Markus Müller-Olm |
Interprocedural Invariants |
Universität Trier, Mathematik/Informatik, Forschungsbericht |
2002 |
RDF |
|
| 1 | Flemming Nielson, Helmut Seidl, Hanne Riis Nielson |
A Succinct Solver for ALFP. |
Nord. J. Comput. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun |
Infinite-State High-Level MSCs: Model-Checking and Realizability. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Ziewer, Helmut Seidl |
Transparent teleteaching. |
ASCILITE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Thomas Perst, Helmut Seidl |
A Type-safe Macro System for XML. |
Extreme Markup Languages® |
2002 |
DBLP BibTeX RDF |
|
| 1 | Alexandru Berlea, Helmut Seidl |
Binary Queries. |
Extreme Markup Languages® |
2002 |
DBLP BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, Helmut Seidl |
Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
uniform Horn clauses, strongly recognizable relations, Program analysis, Spi calculus |
| 1 | Markus Müller-Olm, Helmut Seidl |
Polynomial Constants Are Decidable. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, Helmut Seidl |
Automatic Complexity Analysis. |
ESOP |
2002 |
DBLP DOI BibTeX RDF |
automatic complexity analysis, Program analysis, sparseness, Horn clauses |
| 1 | Flemming Nielson, Helmut Seidl |
Succinct Solvers |
Universität Trier, Mathematik/Informatik, Forschungsbericht |
2001 |
RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, Helmut Seidl |
Cryptographic Analysis in Cubic Time. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Limet, Pierre Réty, Helmut Seidl |
Weakly Regular Relations and Applications. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Valérie Gouranton, Pierre Réty, Helmut Seidl |
Synchronized Tree Languages Revisited and New Applications. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
tree-tuple language, concurrency, rewriting |
| 1 | Markus Müller-Olm, Helmut Seidl |
On optimal slicing of parallel programs. |
STOC |
2001 |
DBLP DOI BibTeX RDF |
complexity, parallel programs, slicing, undecidability, interprocedural analysis |
| 1 | Flemming Nielson, Helmut Seidl |
Control-Flow Analysis in Cubic Time. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
Horn clauses with sharing, tiling of Horn clauses, 0-CFA, Program analysis, calculus, ambient calculus |
| 1 | Helmut Seidl, Christian Fecht |
Interprocedural Analyses: A Comparison. |
J. Log. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Bernhard Steffen |
Constraint-Based Inter-Procedural Analysis of Parallel Programs. |
Nord. J. Comput. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Helmut Seidl, Bernhard Steffen |
Constraint-Based Inter-Procedural Analysis of Parallel Programs. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
Inter-procedural program analysis, explicit parallelism, bitvector problems, simple constant propagation, coincidence theorems |
| 1 | Christoph W. Keßler, Helmut Seidl, Craig Smith |
The SPARAMAT Approach to Automatic Comprehension of Sparse Matrix Computations |
Universität Trier, Mathematik/Informatik, Forschungsbericht |
1999 |
RDF |
|
| 1 | Christian Fecht, Helmut Seidl |
A Faster Solver for General Systems of Equations. |
Sci. Comput. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Damian Niwinski |
On distributive fixed-point expressions. |
ITA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph W. Keßler, Helmut Seidl |
ForkLight: A Control-Synchronous Parallel Programming Language. |
HPCN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Andreas Neumann |
On Guarding Nested Fixpoints. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph W. Keßler, Helmut Seidl |
ForkLight: A Control-Synchronous Parallel Programming Language |
Universität Trier, Mathematik/Informatik, Forschungsbericht |
1998 |
RDF |
|
| 1 | Andreas Neumann, Helmut Seidl |
Locating Matches of Tree Patterns in Forests |
Universität Trier, Mathematik/Informatik, Forschungsbericht |
1998 |
RDF |
|
| 1 | Helmut Seidl, Morten Heine Sørensen |
Constraints to Stop Deforestation. |
Sci. Comput. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Fecht, Helmut Seidl |
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems. |
Nord. J. Comput. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Andreas Neumann, Helmut Seidl |
Locating Matches of Tree Patterns in Forests. |
FSTTCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Fecht, Helmut Seidl |
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Christian Fecht |
Interprocedural Analysis Based on PDAs |
Universität Trier, Mathematik/Informatik, Forschungsbericht |
1997 |
RDF |
|
| 1 | Helmut Seidl |
Model-Checking for L2 |
Universität Trier, Mathematik/Informatik, Forschungsbericht |
1997 |
RDF |
|
| 1 | Helmut Seidl, Christian Fecht |
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems |
Universität Trier, Mathematik/Informatik, Forschungsbericht |
1997 |
RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")