Christian Stangier

Publication Activity (10 Years)

Years Active: 1997-2004
Publications (10 Years): 0

University of Trier, Germany (PHD)

Education History

University of Trier, Germany

PHD

Publications

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)
Christian Stangier, Thomas Sidle
Invariant Checking Combining Forward and Backward Traversal. FMCAD (2004)
Subramanian K. Iyer, Debashis Sahoo, Christian Stangier, Amit Narayan, Jawahar Jain
Improved Symbolic Verification Using Partitioning Techniques. CHARME (2003)
Christoph Meinel, Christian Stangier
Modular Partitioning and Dynamic Conjunction Scheduling in Image Computation. IWLS (2002)
Christoph Meinel, Christian Stangier
Modular Partitioning for Improvement of Image Computation Universität Trier, Mathematik/Informatik, Forschungsbericht (2001)
Christoph Meinel, Christian Stangier
Data Structures for Boolean Functions. Computational Discrete Mathematics (2001)
Christoph Meinel, Christian Stangier
A new partitioning scheme for improvement of image computation. ASP-DAC (2001)
Christian Stangier, Ulrich Holtmann
Applying Formal Verification with Protocol Compiler. DSD (2001)
Christoph Meinel, Christian Stangier
Hierarchical Image Computation with Dynamic Conjunction Scheduling. ICCD (2001)
Christoph Meinel, Christian Stangier
Speeding Up Image Computation by Using RTL Information. FMCAD (2000)
Christoph Meinel, Christian Stangier
Algorithms and Heuristics in VLSI Design. Experimental Algorithmics (2000)
Christoph Meinel, Christian Stangier
Speeding up symbolic model checking by accelerating dynamic variable reordering. ACM Great Lakes Symposium on VLSI (2000)
Christoph Meinel, Christian Stangier
Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering. DATE (1999)
Christoph Meinel, Christian Stangier
Speeding Up Symbolic Model Checking by Accelerating Dynamic Variable Reordering Universität Trier, Mathematik/Informatik, Forschungsbericht (1999)
Christian Stangier, Ulrich Holtmann
Applying Formal Verification with Protocol Compiler Universität Trier, Mathematik/Informatik, Forschungsbericht (1999)
Christoph Meinel, Harald Sack, Christian Stangier, Arno Wagner
Do We Really Need Common Variable Orders for Synthesizing OBDDs? Universität Trier, Mathematik/Informatik, Forschungsbericht (1998)
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 (1998)
Christoph Meinel, Christian Stangier
Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering Universität Trier, Mathematik/Informatik, Forschungsbericht (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 (1997)

Christian Stangier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Christian Stangier