Publications Prior to 1995

• P. Godefroid. Using Partial Orders to Improve Automatic Verification Methods. In Proc. 2nd Workshop on Computer Aided Verification, volume 531 of Lecture Notes in Computer Science, pages 176-185, Rutgers, June 1990. Springer-Verlag. Extended version in ACM/AMS DIMACS Series, volume 3, pages 321-340, 1991.

• P. Godefroid and F. Kabanza. An efficient reactive planner for synthesizing reactive plans. In Proceedings of AAAI-91, volume~2, pages 640-645, Anaheim, July 1991.

• P. Godefroid, G. J. Holzmann, and D. Pirottin. State space caching revisited. In Proc. 4th Workshop on Computer Aided Verification, volume 663 of Lecture Notes in Computer Science, pages 178-191, Montreal, June 1992. Springer-Verlag.

• G. J. Holzmann, P. Godefroid, and D. Pirottin. Coverage preserving reduction strategies for reachability analysis. In Proc. 12th IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification, pages 349-363, Lake Buena Vista, Florida, June 1992. North-Holland.

• P. Godefroid and G. J. Holzmann. On the verification of temporal properties. In Proc. 13th IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification, pages 109-124, Liege, May 1993. North-Holland.

• P. Godefroid and D. Pirottin. Refining dependencies improves partial-order verification methods. In Proc. 5th Conference on Computer Aided Verification, volume 697 of Lecture Notes in Computer Science, pages 438-449, Elounda, June 1993. Springer-Verlag.

• P. Godefroid and P. Wolper. Using partial orders for the efficient verification of deadlock freedom and safety properties. Formal Methods in System Design, 2(2):149-164, April 1993. Preliminary version in Proc. 3rd Workshop on Computer Aided Verification, LNCS 575, 1991.

• P. Wolper and P. Godefroid. Partial-order methods for temporal verification (invited paper). In Proc. CONCUR'93, volume 715 of Lecture Notes in Computer Science, pages 233-246, Hildesheim, August 1993. Springer-Verlag.

• P. Godefroid and P. Wolper. A Partial Approach to Model Checking. Information and Computation, 110(2):305-326, May 1994. Preliminary version in Proceedings of the 6th IEEE Symposium on Logic in Computer Science, 1991.

• P. Godefroid. Partial-Order Methods for the Verification of Concurrent Systems -- An Approach to the State-Explosion Problem. PhD thesis, University of Liege, Computer Science Department, November 1994. ( Postscript available here.)