Christian Stangier

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

Christian Stangier, Thomas Sidle: Invariant Checking Combining Forward and Backward Traversal. FMCAD 2004: 414-429

Subramanian K. Iyer, Debashis Sahoo, Christian Stangier, Amit Narayan, Jawahar Jain: Improved Symbolic Verification Using Partitioning Techniques. CHARME 2003: 410-424

Christian Stangier: High-level Methods for OBDD-based Sequential Verification. Univ. Trier, FB 4, Informatik 2002

Christoph Meinel, Christian Stangier: Modular Partitioning and Dynamic Conjunction Scheduling in Image Computation. IWLS 2002: 391-396

Christoph Meinel, Christian Stangier: Data Structures for Boolean Functions. Computational Discrete Mathematics 2001: 61-78

Christoph Meinel, Christian Stangier: A new partitioning scheme for improvement of image computation. ASP-DAC 2001: 97-102

Christian Stangier, Ulrich Holtmann: Applying Formal Verification with Protocol Compiler. DSD 2001: 165-169

Christoph Meinel, Christian Stangier: Hierarchical Image Computation with Dynamic Conjunction Scheduling. ICCD 2001: 354-359

Christoph Meinel, Christian Stangier: Modular Partitioning for Improvement of Image Computation. Universität Trier, Mathematik/Informatik, Forschungsbericht 01-16 (2001)

Christoph Meinel, Christian Stangier: Algorithms and Heuristics in VLSI Design. Experimental Algorithmics 2000: 139-162

Christoph Meinel, Christian Stangier: Speeding Up Image Computation by Using RTL Information. FMCAD 2000: 443-454

Christoph Meinel, Christian Stangier: Speeding up symbolic model checking by accelerating dynamic variable reordering. ACM Great Lakes Symposium on VLSI 2000: 39-42

Christoph Meinel, Christian Stangier: Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering. DATE 1999: 760-761

Christoph Meinel, Christian Stangier: Speeding Up Symbolic Model Checking by Accelerating Dynamic Variable Reordering. Universität Trier, Mathematik/Informatik, Forschungsbericht 99-28 (1999)

Christian Stangier, Ulrich Holtmann: Applying Formal Verification with Protocol Compiler. Universität Trier, Mathematik/Informatik, Forschungsbericht 99-29 (1999)

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)

Christoph Meinel, Christian Stangier: Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering. Universität Trier, Mathematik/Informatik, Forschungsbericht 98-23 (1998)

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)

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)