Christian Stangier

20 papers A 1B 3C 2Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2004 B conf
A Partitioning Methodology for BDD-Based Verification.
FMCAD
Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson
2004 B conf
Invariant Checking Combining Forward and Backward Traversal.
FMCAD
Christian Stangier, Thomas Sidle
2003 — conf
Improved Symbolic Verification Using Partitioning Techniques.
CHARME
Subramanian K. Iyer, Debashis Sahoo, Christian Stangier, Amit Narayan, Jawahar Jain
2002 — —
High-level Methods for OBDD-based Sequential Verification
Christian Stangier
2002 — conf
Modular Partitioning and Dynamic Conjunction Scheduling in Image Computation.
IWLS
Christoph Meinel, Christian Stangier
2001 — conf
A new partitioning scheme for improvement of image computation.
ASP-DAC
Christoph Meinel, Christian Stangier
2001 C conf
Applying Formal Verification with Protocol Compiler.
DSD
Christian Stangier, Ulrich Holtmann
2001 — conf
Data Structures for Boolean Functions.
Computational Discrete Mathematics
Christoph Meinel, Christian Stangier
2001 C conf
Hierarchical Image Computation with Dynamic Conjunction Scheduling.
ICCD
Christoph Meinel, Christian Stangier
2001 J jnl
Modular Partitioning for Improvement of Image Computation
Universität Trier, Mathematik/Informatik, Forschungsbericht
Christoph Meinel, Christian Stangier
2000 — conf
Algorithms and Heuristics in VLSI Design.
Experimental Algorithmics
Christoph Meinel, Christian Stangier
2000 B conf
Speeding Up Image Computation by Using RTL Information.
FMCAD
Christoph Meinel, Christian Stangier
2000 — conf
Speeding up symbolic model checking by accelerating dynamic variable reordering.
ACM Great Lakes Symposium on VLSI
Christoph Meinel, Christian Stangier
1999 J jnl
Applying Formal Verification with Protocol Compiler
Universität Trier, Mathematik/Informatik, Forschungsbericht
Christian Stangier, Ulrich Holtmann
1999 A conf
Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering.
DATE
Christoph Meinel, Christian Stangier
1999 J jnl
Speeding Up Symbolic Model Checking by Accelerating Dynamic Variable Reordering
Universität Trier, Mathematik/Informatik, Forschungsbericht
Christoph Meinel, Christian Stangier
1998 J jnl
Binary Decision Diagrams and the Multiple Variable Order Problem
Universität Trier, Mathematik/Informatik, Forschungsbericht
Gianpiero Cabodi, Stefano Quer, Christoph Meinel, Harald Sack, Anna Slobodová, Christian Stangier
1998 J jnl
Do We Really Need Common Variable Orders for Synthesizing OBDDs?
Universität Trier, Mathematik/Informatik, Forschungsbericht
Christoph Meinel, Harald Sack, Christian Stangier, Arno Wagner
1998 J jnl
Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering
Universität Trier, Mathematik/Informatik, Forschungsbericht
Christoph Meinel, Christian Stangier
1997 J jnl
OBDD-based Verification of Communication Protocols - Methods for the Verification of Data Link Protocols
Universität Trier, Mathematik/Informatik, Forschungsbericht
Christoph Meinel, Christian Stangier