| 1999 | RE | Use Case Maps for the Capture and Validation of Distributed Systems Requirements. | Daniel Amyot, Luigi Logrippo, Raymond J. A. Buhr, Tom Gray |
| 1996 | ICECCS | Understanding Large-Scale Behavior Patterns in Complex systems. | Raymond J. A. Buhr |
| 1995 | FORTE | Formal Support for Design Techniques: A Timethreads-LOTOS Approach. | Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo |
| 1994 | OOPSLA | Timethread-Role Maps for Object-Oriented Design of Real-Time-and-Distributed Systems. | Raymond J. A. Buhr, Ronald S. Casselman |
| 1992 | OOPSLA | Architectures with Pictures. | Raymond J. A. Buhr, Ronald S. Casselman |
| 1991 | FORTE | Using LOTOS in a Design Environment. | Mark Vigder, Raymond J. A. Buhr |
| 1985 | ICSE | Experiments with Prolog Design Descriptions and Tools in CAEDE: An Iconic Design Environment for Multitasking, Embdedded Systems. | Raymond J. A. Buhr, C. Murray Woodside, Gerald M. Karam, K. Van Der Loo, D. G. Lewis |
| 1983 | INFOCOM | Evolving Toward Open System Interconnection. | Raymond J. A. Buhr, D. A. MacKinnon |
| 1982 | ICDCS | Object-Oriented Structured Design of Layered Protocol Systems. | Raymond J. A. Buhr, S. Michell |
| 1982 | ICDCS | MAILROOM: A computer-based message system model for person-to-person and process-to-process communication. | Raymond J. A. Buhr, D. A. MacKinnon |