Research output per year
Research output per year
- 33 results
Search results
-
2025
Stratified guarded first-order transition systems
Müller, C. & Seidl, H., Apr 2025, In: Formal Methods in System Design. 65, 1, p. 39-69 31 p.Research output: Contribution to journal › Article › peer-review
Open Access -
2024
Checking in polynomial time whether or not a regular tree language is deterministic top-down
Maneth, S. & Seidl, H., Feb 2024, In: Information Processing Letters. 184, 106449.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
Functionality of compositions of top-down tree transducers is decidable
Maneth, S., Seidl, H. & Vu, M., Jan 2024, In: Information and Computation. 296, 105131.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap
Erhard, J., Saan, S., Tilscher, S., Schwarz, M., Holter, K., Vojdani, V. & Seidl, H., 2024, (Accepted/In press) In: International Journal on Software Tools for Technology Transfer.Research output: Contribution to journal › Article › peer-review
Open Access2 Scopus citations -
Non-numerical weakly relational domains
Seidl, H., Erhard, J., Tilscher, S. & Schwarz, M., Aug 2024, In: International Journal on Software Tools for Technology Transfer. 26, 4, p. 479-494 16 p.Research output: Contribution to journal › Article › peer-review
Open Access2 Scopus citations -
Prenex universal first-order safety properties
Dundua, B., Kapanadze, I. & Seidl, H., Aug 2024, In: Information Processing Letters. 186, 106488.Research output: Contribution to journal › Article › peer-review
Open Access -
When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C: Extended version
Erhard, J., Schwarz, M., Vojdani, V., Saan, S. & Seidl, H., Oct 2024, In: International Journal on Software Tools for Technology Transfer. 26, 5, p. 589-605 17 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
2023
Deciding origin equivalence of weakly self-nesting macro tree transducers
Maneth, S. & Seidl, H., Feb 2023, In: Information Processing Letters. 180, 106332.Research output: Contribution to journal › Article › peer-review
Open Access -
Definability Results for Top-Down Tree Transducers
Maneth, S., Seidl, H. & Vu, M., 1 Feb 2023, In: International Journal of Foundations of Computer Science. 34, 2-3, p. 253-287 35 p.Research output: Contribution to journal › Article › peer-review
Open Access -
2022
Stratified guarded first-order transition systems
Müller, C. & Seidl, H., 2022, (Accepted/In press) In: Formal Methods in System Design.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
2021
On the Balancedness of Tree-to-Word Transducers
Löbel, R., Luttenberger, M. & Seidl, H., 1 Sep 2021, In: International Journal of Foundations of Computer Science. 32, 6, p. 761-783 23 p.Research output: Contribution to journal › Article › peer-review
Open Access2 Scopus citations -
Three improvements to the top-down solver
Seidl, H. & Vogler, R., 3 Oct 2021, In: Mathematical Structures in Computer Science. 31, 9, p. 1090-1134 45 p.Research output: Contribution to journal › Article › peer-review
Open Access12 Scopus citations -
2018
Balancedness of MSO transductions in polynomial time
Maneth, S. & Seidl, H., May 2018, In: Information Processing Letters. 133, p. 26-32 7 p.Research output: Contribution to journal › Article › peer-review
4 Scopus citations -
Enforcing termination of interprocedural analysis
Schulze Frielinghaus, S., Seidl, H. & Vogler, R., 1 Oct 2018, In: Formal Methods in System Design. 53, 2, p. 313-338 26 p.Research output: Contribution to journal › Article › peer-review
1 Scopus citations -
Equivalence of deterministic top-down tree-To-string transducers is decidable
Seidl, H., Maneth, S. & Kemper, G., Aug 2018, In: Journal of the ACM. 65, 4, 21.Research output: Contribution to journal › Article › peer-review
Open Access11 Scopus citations -
Paths, tree homomorphisms and disequalities for H1-clauses
Reuß, A. & Seidl, H., 1 Nov 2018, In: Mathematical Structures in Computer Science. 28, 10, p. 1786-1846 61 p.Research output: Contribution to journal › Article › peer-review
-
2017
Inter-procedural two-variable herbrand equalities
Schulze Frielinghaus, S., Petter, M. & Seidl, H., 2017, In: Logical Methods in Computer Science. 13, 2, 5.Research output: Contribution to journal › Article › peer-review
-
2016
Efficiently intertwining widening and narrowing
Amato, G., Scozzari, F., Seidl, H., Apinis, K. & Vojdani, V., 1 May 2016, In: Science of Computer Programming. 120, p. 1-24 24 p.Research output: Contribution to journal › Article › peer-review
Open Access31 Scopus citations -
Look-ahead removal for total deterministic top-down tree transducers
Engelfriet, J., Maneth, S. & Seidl, H., 22 Feb 2016, In: Theoretical Computer Science. 616, p. 18-58 41 p.Research output: Contribution to journal › Article › peer-review
Open Access5 Scopus citations -
2014
Numerical invariants through convex relaxation and max-strategy iteration
Gawlitza, T. M. & Seidl, H., Apr 2014, In: Formal Methods in System Design. 44, 2, p. 101-148 48 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
2013
How to combine widening and narrowing for non-monotonic systems of equations
Apinis, K., Seidl, H. & Vojdani, V., Jun 2013, In: ACM SIGPLAN Notices. 48, 6, p. 377-386 10 p.Research output: Contribution to journal › Article › peer-review
9 Scopus citations -
2012
Abstract interpretation meets convex optimization
Gawlitza, T. M., Seidl, H., Adjé, A., Gaubert, S. & Goubault, É., Dec 2012, In: Journal of Symbolic Computation. 47, 12, p. 1416-1446 31 p.Research output: Contribution to journal › Article › peer-review
Open Access19 Scopus citations -
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, p. 1607-1623 17 p.Research output: Contribution to journal › Article › peer-review
4 Scopus citations -
Extending H1-clauses with disequalities
Seidl, H. & Reuß, A., 31 Oct 2011, In: Information Processing Letters. 111, 20, p. 1007-1013 7 p.Research output: Contribution to journal › Article › peer-review
5 Scopus citations -
Fast interprocedural linear two-variable equalities
Flexeder, A., Müller-Olm, M., Petter, M. & Seidl, H., Dec 2011, In: ACM Transactions on Programming Languages and Systems (TOPLAS). 33, 6, 21.Research output: Contribution to journal › Article › peer-review
Open Access4 Scopus citations -
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.Research output: Contribution to journal › Article › peer-review
Open Access17 Scopus citations -
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, p. 93-104 12 p.Research output: Contribution to journal › Article › peer-review
20 Scopus citations -
2010
Praktische Programmverifikation durch statische Analyse
Translated title of the contribution :Practical program verification by means of static analysis Research output: Contribution to journal › Article › peer-review
-
2009
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, p. 271-286 16 p.Research output: Contribution to journal › Article › peer-review
Open Access30 Scopus citations -
2008
Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying
Seidl, H. & Verma, K. N., 1 Aug 2008, In: ACM Transactions on Computational Logic. 9, 4, 28.Research output: Contribution to journal › Article › peer-review
1 Scopus citations -
2007
Analysis of modular arithmetic
Müller-Olm, M. & Seidl, H., 1 Aug 2007, In: ACM Transactions on Programming Languages and Systems (TOPLAS). 29, 5, 1275504.Research output: Contribution to journal › Article › peer-review
Open Access50 Scopus citations -
2004
Computing polynomial program invariants
Müller-Olm, M. & Seidl, H., 15 Sep 2004, In: Information Processing Letters. 91, 5, p. 233-244 12 p.Research output: Contribution to journal › Article › peer-review
80 Scopus citations -
Macro forest transducers
Perst, T. & Seidl, H., 14 Feb 2004, In: Information Processing Letters. 89, 3, p. 141-149 9 p.Research output: Contribution to journal › Article › peer-review
Open Access47 Scopus citations