| 2004 |
|---|
| 20 | EE | Debashis Sahoo,
Subramanian K. Iyer,
Jawahar Jain,
Christian Stangier,
Amit Narayan,
David L. Dill,
E. Allen Emerson:
A Partitioning Methodology for BDD-Based Verification.
FMCAD 2004: 399-413 |
| 19 | EE | Christian Stangier,
Thomas Sidle:
Invariant Checking Combining Forward and Backward Traversal.
FMCAD 2004: 414-429 |
| 2003 |
|---|
| 18 | EE | Subramanian K. Iyer,
Debashis Sahoo,
Christian Stangier,
Amit Narayan,
Jawahar Jain:
Improved Symbolic Verification Using Partitioning Techniques.
CHARME 2003: 410-424 |
| 2002 |
|---|
| 17 | | Christoph Meinel,
Christian Stangier:
Modular Partitioning and Dynamic Conjunction Scheduling in Image Computation.
IWLS 2002: 391-396 |
| 16 | EE | Christian Stangier:
High-level Methods for OBDD-based Sequential Verification
Univ. Trier, FB 4, Informatik 2002 |
| 2001 |
|---|
| 15 | EE | Christoph Meinel,
Christian Stangier:
A new partitioning scheme for improvement of image computation.
ASP-DAC 2001: 97-102 |
| 14 | EE | Christoph Meinel,
Christian Stangier:
Data Structures for Boolean Functions.
Computational Discrete Mathematics 2001: 61-78 |
| 13 | EE | Christian Stangier,
Ulrich Holtmann:
Applying Formal Verification with Protocol Compiler.
DSD 2001: 165-169 |
| 12 | | Christoph Meinel,
Christian Stangier:
Hierarchical Image Computation with Dynamic Conjunction Scheduling.
ICCD 2001: 354-359 |
| 11 | | Christoph Meinel,
Christian Stangier:
Modular Partitioning for Improvement of Image Computation
Universität Trier, Mathematik/Informatik, Forschungsbericht 01-16: (2001) |
| 2000 |
|---|
| 10 | EE | Christoph Meinel,
Christian Stangier:
Speeding up symbolic model checking by accelerating dynamic variable reordering.
ACM Great Lakes Symposium on VLSI 2000: 39-42 |
| 9 | EE | Christoph Meinel,
Christian Stangier:
Algorithms and Heuristics in VLSI Design.
Experimental Algorithmics 2000: 139-162 |
| 8 | EE | Christoph Meinel,
Christian Stangier:
Speeding Up Image Computation by Using RTL Information.
FMCAD 2000: 443-454 |
| 1999 |
|---|
| 7 | EE | Christoph Meinel,
Christian Stangier:
Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering.
DATE 1999: 760-761 |
| 6 | | Christoph Meinel,
Christian Stangier:
Speeding Up Symbolic Model Checking by Accelerating Dynamic Variable Reordering
Universität Trier, Mathematik/Informatik, Forschungsbericht 99-28: (1999) |
| 5 | | Christian Stangier,
Ulrich Holtmann:
Applying Formal Verification with Protocol Compiler
Universität Trier, Mathematik/Informatik, Forschungsbericht 99-29: (1999) |
| 1998 |
|---|
| 4 | | Gianpiero Cabodi,
Stefano Quer,
Christoph Meinel,
Harald Sack,
Anna Slobodová,
Christian Stangier:
Binary Decision Diagrams and the Multiple Variable Order Problem
Universität Trier, Mathematik/Informatik, Forschungsbericht 98-22: (1998) |
| 3 | | Christoph Meinel,
Christian Stangier:
Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering
Universität Trier, Mathematik/Informatik, Forschungsbericht 98-23: (1998) |
| 2 | | Christoph Meinel,
Harald Sack,
Christian Stangier,
Arno Wagner:
Do We Really Need Common Variable Orders for Synthesizing OBDDs?
Universität Trier, Mathematik/Informatik, Forschungsbericht 98-29: (1998) |
| 1997 |
|---|
| 1 | | Christoph Meinel,
Christian Stangier:
OBDD-based Verification of Communication Protocols - Methods for the Verification of Data Link Protocols
Universität Trier, Mathematik/Informatik, Forschungsbericht 97-28: (1997) |
