| 1995 | OOPSLA | Extending the Statechart Formalism: Event Scheduling & Disposition. | Arthur Allen, Dennis de Champeaux |
| 1993 | OOPSLA | Strategies for Object-Oriented Technology Transfer (Panel). | Dennis de Champeaux, Andrew J. Baer, Brian Bernsen, Alan R. Korncoff, Timothy D. Korson, Daniel S. Tkach |
| 1992 | OOPSLA | Case Study of Object-Oriented Software Development. | Dennis de Champeaux, Al Anderson, Ed Feldhousen |
| 1992 | OOPSLA | The OO Software Development Process (Panel). | Dennis de Champeaux, Robert Balzer, Dave Bulman, Kathleen Culver-Lozo, Ivar Jacobson, Stephen J. Mellor |
| 1992 | OOPSLA | The Process of Object-Oriented Design. | Dennis de Champeaux, Doug Lea, Penelope Faure |
| 1991 | ECOOP | Object-Oriented Analysis and Top-Down Software Development. | Dennis de Champeaux |
| 1991 | OOPSLA | Formal Techniques for OO Software Development (Panel). | Dennis de Champeaux, Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary T. Leavens, Fiona Hayes |
| 1990 | ECOOP | Structured analysis and object oriented analysis (panel session). | Dennis de Champeaux, Larry L. Constantine, Ivar Jacobson, Stephen J. Mellor, Paul Ward, Edward Yourdon |
| 1990 | OOPSLA | Structured Analysis and Object Oriented Analysis (Panel). | Dennis de Champeaux, Larry L. Constantine, Ivar Jacobson, Stephen J. Mellor, Paul Ward, Edward Yourdon |
| 1982 | ECAI | Heuristic Search with Partial Node Expansion and Bi-Directional Search in Product Space. | Dennis de Champeaux, E. van Dijk |
| 1981 | IJCAI | Symbolic Evaluation of LISP Functions with Side Effects for Verification. | Dennis de Champeaux, Jos de Bruin |
| 1979 | IJCAI | Sub-problem Finder and Instance Checker: Two Cooperating Preprocessors for Theorem Provers. | Dennis de Champeaux |
| 1978 | ECAI | A Theorem Prover Dating a Semantic Network. | Dennis de Champeaux |
| 1975 | IJCAI | An Improved Di-Directional Heuristic Search Algorithm. | Dennis de Champeaux, Lenie Sint |