Conference Contributions

BiereCimattiClarkeZhu99.ps.gz

A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu. Symbolic Model Checking without BDDs. In TACAS'99, Lecture Notes in Computer Science. © Springer-Verlag, 1999.

BBCZ-FMCAD98.ps.gz

S. Berezin, A. Biere, E. M. Clarke, and Y. Zhu. Combining symbolic model checking with uninterpreted functions for out-of-order processor verification. In Formal Methods in Computer-Aided Design (FMCAD'98), Lecture Notes in Computer Science. © Springer-Verlag, 1998.

Bwolen.et.al-FMCAD98.ps.gz

B. Yang, R. E. Bryant, D. R. O'Hallaron, A. Biere, O. Coudert, G. Janssen, R. K. Ranjan, and F. Somenzi. A performance study of BDD-based model checking. In Formal Methods in Computer-Aided Design (FMCAD'98), Lecture Notes in Computer Science. © Springer-Verlag, 1998.

Biere-CAV97.ps.gz

A. Biere. mu-cke - efficient mu-calculus model checking. In O. Grumberg, editor, International Conference on Computer-Aided Verification (CAV'97), number 1254 in Lecture Notes in Computer Science, pages 468--471. © Springer-Verlag, 1997.

Thesis

Dissertation-Armin.Biere.ps.gz

A. Biere. Effiziente Modellprüfung des mu-Kalküls mit binären Entscheidungsdiagrammen. PhD thesis, Universität Karlsruhe, Germany, 1997 (in German).