| Publication | Date of Publication | Type |
|---|
| Verifying abstractions of timed systems | 2023-06-28 | Paper |
| Transfer of Model Checking to Industrial Practice | 2018-07-20 | Paper |
| A methodology to take credit for high-level verification during RTL verification | 2018-02-14 | Paper |
| The complexity of verification | 2016-09-01 | Paper |
| Verification Technology Transfer | 2008-07-15 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-25 | Paper |
| Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818807 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737573 | 2004-08-11 | Paper |
| Minimal length test vectors for multiple-fault detection | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417912 | 2003-07-30 | Paper |
| Combining software and hardware verification techniques | 2003-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804926 | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551135 | 2002-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551169 | 2002-09-04 | Paper |
| Which Branching-Time Properties are Effectively Linear? | 2002-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764134 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2756738 | 2001-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754105 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754119 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518423 | 2000-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503928 | 2000-09-14 | Paper |
| Timing verification by successive approximation | 2000-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218940 | 1999-03-30 | Paper |
| A unified approach for showing language inclusion and equivalence between various types of \(\omega\)-automata | 1999-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4845328 | 1995-09-11 | Paper |
| Testing language containment for \(\omega\)-automata using BDDs | 1995-07-05 | Paper |
| A structural induction theorem for processes | 1995-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4326390 | 1995-03-19 | Paper |
| A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037104 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037393 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4027622 | 1993-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4207567 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787428 | 1988-01-01 | Paper |
| Complementing deterministic Büchi automata in polynomial time | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3690204 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3316571 | 1984-01-01 | Paper |
| Every T-space is equivalent to a T-space of continuous functions | 1981-01-01 | Paper |
| Values of cyclotomic polynomials at roots of unity. | 1981-01-01 | Paper |
| Embedding an arbitrary function into a Tchebycheff space | 1977-01-01 | Paper |
| The existence in T-spaces of functions with prescribed alternations | 1977-01-01 | Paper |
| The oscillation theorem for Tchebycheff spaces of bounded functions, and a converse | 1977-01-01 | Paper |
| Recursively Generated Periodic Sequences | 1974-01-01 | Paper |
| Coset analysis of reed muller codes via translates of finite vector spaces | 1972-01-01 | Paper |
| On the Addressing Problem of Loop Switching | 1972-01-01 | Paper |
| Rings whose cyclic modules have finitely generated socle | 1970-01-01 | Paper |
| All Terminal Bubbles Programs Yield the Elementary Symmetric Polynomials | 1970-01-01 | Paper |
