| Publication | Date of Publication | Type |
|---|
Verifying abstractions of timed systems
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
Transfer of model checking to industrial practice
Handbook of Model Checking | 2018-07-20 | Paper |
A methodology to take credit for high-level verification during RTL verification
Formal Methods in System Design | 2018-02-14 | Paper |
The complexity of verification
Proceedings of the twenty-sixth annual ACM symposium on Theory of computing - STOC '94 | 2016-09-01 | Paper |
Verification Technology Transfer
25 Years of Model Checking | 2008-07-15 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2006-10-20 | Paper |
scientific article; zbMATH DE number 2102721 (Why is no real title available?)
| 2004-09-24 | Paper |
scientific article; zbMATH DE number 2086963 (Why is no real title available?)
| 2004-08-11 | Paper |
Minimal length test vectors for multiple-fault detection
Theoretical Computer Science | 2004-08-06 | Paper |
scientific article; zbMATH DE number 1956571 (Why is no real title available?)
| 2003-07-30 | Paper |
Combining software and hardware verification techniques
Formal Methods in System Design | 2003-05-04 | Paper |
scientific article; zbMATH DE number 1903381 (Why is no real title available?)
| 2003-05-01 | Paper |
scientific article; zbMATH DE number 1796124 (Why is no real title available?)
| 2002-09-04 | Paper |
scientific article; zbMATH DE number 1796148 (Why is no real title available?)
| 2002-09-04 | Paper |
Which branching-time properties are effectively linear?
Journal of Logic and Computation | 2002-08-29 | Paper |
scientific article; zbMATH DE number 1693529 (Why is no real title available?)
| 2002-01-22 | Paper |
Program verification.
Notices of the American Mathematical Society | 2001-11-18 | Paper |
scientific article; zbMATH DE number 1670793 (Why is no real title available?)
| 2001-11-11 | Paper |
scientific article; zbMATH DE number 1670803 (Why is no real title available?)
| 2001-11-11 | Paper |
A new heuristic for bad cycle detection using BDDs
Formal Methods in System Design | 2001-09-09 | Paper |
scientific article; zbMATH DE number 1536555 (Why is no real title available?)
| 2000-11-28 | Paper |
scientific article; zbMATH DE number 1507208 (Why is no real title available?)
| 2000-09-14 | Paper |
Timing verification by successive approximation
Information and Computation | 2000-07-04 | Paper |
scientific article; zbMATH DE number 1223629 (Why is no real title available?)
| 1999-03-30 | Paper |
A unified approach for showing language inclusion and equivalence between various types of \(\omega\)-automata
Information Processing Letters | 1999-02-25 | Paper |
scientific article; zbMATH DE number 795179 (Why is no real title available?)
| 1995-09-11 | Paper |
Testing language containment for \(\omega\)-automata using BDDs
Information and Computation | 1995-07-05 | Paper |
A structural induction theorem for processes
Information and Computation | 1995-05-28 | Paper |
scientific article; zbMATH DE number 734956 (Why is no real title available?)
| 1995-03-19 | Paper |
A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems
Journal Of Logic And Computation | 1993-06-29 | Paper |
scientific article; zbMATH DE number 177251 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 177524 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 125884 (Why is no real title available?)
| 1993-02-21 | Paper |
scientific article; zbMATH DE number 4128366 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4050939 (Why is no real title available?)
| 1988-01-01 | Paper |
Complementing deterministic Büchi automata in polynomial time
Journal of Computer and System Sciences | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3913662 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3846853 (Why is no real title available?)
| 1984-01-01 | Paper |
Every T-space is equivalent to a T-space of continuous functions
Journal of Approximation Theory | 1981-01-01 | Paper |
Values of cyclotomic polynomials at roots of unity.
MATHEMATICA SCANDINAVICA | 1981-01-01 | Paper |
Embedding an arbitrary function into a Tchebycheff space
Journal of Approximation Theory | 1977-01-01 | Paper |
The existence in T-spaces of functions with prescribed alternations
Journal of Approximation Theory | 1977-01-01 | Paper |
The oscillation theorem for Tchebycheff spaces of bounded functions, and a converse
Journal of Approximation Theory | 1977-01-01 | Paper |
Recursively Generated Periodic Sequences
Canadian Journal of Mathematics | 1974-01-01 | Paper |
Coset analysis of reed muller codes via translates of finite vector spaces
Information and Control | 1972-01-01 | Paper |
On the Addressing Problem of Loop Switching
Bell System Technical Journal | 1972-01-01 | Paper |
Rings whose cyclic modules have finitely generated socle
Journal of Algebra | 1970-01-01 | Paper |
All Terminal Bubbles Programs Yield the Elementary Symmetric Polynomials
Bell System Technical Journal | 1970-01-01 | Paper |
