C. Stangier

发表

Binary Decision Diagrams and the Multiple Variable Order Problem

Christoph Meinel, Anna Slobodová, Christian Stangier, 1998, Universität Trier, Mathematik/Informatik, Forschungsbericht.

Efficient Symbolic Model Checking using Partitioned-OBDDs

D. Sahoo, A. Narayan, C. Stangier, 2004 .

Modular Partitioning for Improvement of Image Computation

Christoph Meinel, Christian Stangier, C. Meinel, 2001, Universität Trier, Mathematik/Informatik, Forschungsbericht.

OBDD-based Verification of Communication Protocols - Methods for the Verification of Data Link Protocols

Christoph Meinel, Christian Stangier, C. Meinel, 1997, Universität Trier, Mathematik/Informatik, Forschungsbericht.

Increasing efficiency of symbolic model checking by accelerating dynamic variable reordering

Christoph Meinel, Christian Stangier, C. Meinel, 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).

Printed Copies: Printed Copies: Obdd-based Veriication of Communication Protocols { Methods for the Veriication of Data Link Protocols Obdd-based Veriication of Communication Protocols { Methods for the Veriication of Data Link Protocols

C. Meinel, C. Stangier, 2007 .

A Partitioning Methodology for BDD-Based Verification

Christian Stangier, Debashis Sahoo, Amit Narayan, 2004, FMCAD.

Improved Symbolic Verification Using Partitioning Techniques

Christian Stangier, Debashis Sahoo, Amit Narayan, 2003, CHARME.

Data Structures for Boolean Functions

Christoph Meinel, Christian Stangier, C. Meinel, 2001, Computational Discrete Mathematics.

Algorithms and Heuristics in VLSI Design

Christoph Meinel, Christian Stangier, C. Meinel, 2000, Experimental Algorithmics.

Speeding up symbolic model checking by accelerating dynamic variable reordering

Christoph Meinel, Christian Stangier, C. Meinel, 2000, Universität Trier, Mathematik/Informatik, Forschungsbericht.

A new partitioning scheme for improvement of image computation

Christoph Meinel, Christian Stangier, C. Meinel, 2001, Proceedings of the ASP-DAC 2001. Asia and South Pacific Design Automation Conference 2001 (Cat. No.01EX455).