Validation Algorithms for Pointer Values in DBTG DataBases. - D. A. Thomas; Bernard Pagurek; Raymond J. A. Buhr (ACM Trans. Database Syst., 1977)

Object-Oriented Structured Design of Layered Protocol Systems. - Raymond J. A. Buhr; S. Michell (ICDCS, 1982)

MAILROOM: A computer-based message system model for person-to-person and process-to-process communication. - Raymond J. A. Buhr; D. A. MacKinnon (ICDCS, 1982)

Evolving Toward Open System Interconnection. - Raymond J. A. Buhr; D. A. MacKinnon (INFOCOM, 1983)

A performance model for hardware/software issues in computer-aided design of protocol systems. - C. Murray Woodside; J. R. Montealegre; Raymond J. A. Buhr (Comput. Commun. Rev., 1984)

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 (ICSE, 1985)

Lessons from practical experience teaching hands-on, real-time, embedded system programming with Ada. - Raymond J. A. Buhr (SIGAda, 1985)

An overview and example of application of CAEDE: a new, experimental design environment for Ada. - Raymond J. A. Buhr; Gerald M. Karam; C. Murray Woodside (SIGAda, 1985)

Applicability of a Subset of Ada as an Algorithmic Hardware Description Language for Graph-Based Hardware Compilation. - Emil F. Girczyc; Raymond J. A. Buhr; John P. Knight (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1985)

Experience with the automatic temporal analysis of multitasking Ada designs. - Gerald M. Karam; Raymond J. A. Buhr (SIGAda, 1987)

Software CAD: A Revolutionary Approach. - Raymond J. A. Buhr; Gerald M. Karam; Carol J. Hayes; C. Murray Woodside (IEEE Trans. Software Eng., 1989)

Support for specifying temporal behavior in Ada designs. - Raymond J. A. Buhr; Gerald M. Karam; Ronald S. Casselman (SETA, 1990)

The CAEDE performance analysis tool. - C. Murray Woodside; Elias M. Hagos; E. Neron; Raymond J. A. Buhr (SETA, 1990)

Starvation and Critical Race Analyzers for Ada. - Gerald M. Karam; Raymond J. A. Buhr (IEEE Trans. Software Eng., 1990)

Computer Based Systems Engineering Workshop. - Jonah Z. Lavi; Ashok K. Agrawala; Raymond J. A. Buhr; Ken Jackson; Michael Jackson 001; Bernard Lang (CSEE, 1991)

Using LOTOS in a Design Environment. - Mark Vigder; Raymond J. A. Buhr (FORTE, 1991)

Temporal Logic-Based Deadlock Analysis For Ada. - Gerald M. Karam; Raymond J. A. Buhr (IEEE Trans. Software Eng., 1991)

Architectures with Pictures. - Raymond J. A. Buhr; Ronald S. Casselman (OOPSLA, 1992)

Pictures that Play: Design Notations for Real-time and Distributed Systems. - Raymond J. A. Buhr (Softw. Pract. Exp., 1993)

Timethread-Role Maps for Object-Oriented Design of Real-Time-and-Distributed Systems. - Raymond J. A. Buhr; Ronald S. Casselman (OOPSLA, 1994)

TimeBench: a CAD tool for real-time system design. - Raymond J. A. Buhr; Gerald M. Karam; C. Murray Woodside; Ronald S. Casselman; Greg Franks; H. Scott; D. Bailey (SETA, 1994)

Formal Support for Design Techniques: A Timethreads-LOTOS Approach. - Daniel Amyot; Francis Bordeleau; Raymond J. A. Buhr; Luigi Logrippo (FORTE, 1995)

Understanding Large-Scale Behavior Patterns in Complex systems. - Raymond J. A. Buhr (ICECCS, 1996)

UCM-ROOM modelling: from use case maps to communicating state machines. - Francis Bordeleau; Raymond J. A. Buhr (ECBS, 1997)

Use Case Maps for Engineering Real Time and Distributed Computer. - Raymond J. A. Buhr; Alex Hubbard (HICSS (5), 1997)

Understanding and Defining the Behaviour of Systems of Agents with Use-Case Maps. - Raymond J. A. Buhr; Mohamed Elammari; Tom Gray; Debbie Pinard; Serge Mankovski (PAAM, 1997)

Feature-Interaction Visualisation and Resolution in an Agent Environment. - Raymond J. A. Buhr; Daniel Amyot; Mohamed Elammari; Darcy Quesnel; Tom Gray; Serge Mankovski (FIW, 1998)

Applying Use Case Maps to Multi-Agent Systems: A Feature Interaction Example. - Raymond J. A. Buhr; Mohamed Elammari; Tom Gray; Serge Mankovski (HICSS (6), 1998)

A High Level Visual Notation for Understanding and Designing Collaborative, Adaptive Behavior in Multiagent Systems. - Raymond J. A. Buhr; Mohamed Elammari; Tom Gray; Serge Mankovski (HICSS (6), 1998)

High Level, Multi-Agent Prototypes from a Scenario-Path Notation: A Feature-Interaction Example. - Raymond J. A. Buhr; Daniel Amyot; Mohamed Elammari; Darcy Quesnel; Tom Gray; Serge Mankovski (PAAM, 1998)

Use Case Maps as Architectural Entities for Complex Systems. - Raymond J. A. Buhr (IEEE Trans. Software Eng., 1998)

Making Behaviour a Concrete Architectural Concept. - Raymond J. A. Buhr (HICSS, 1999)

Use Case Maps for the Capture and Validation of Distributed Systems Requirements. - Daniel Amyot; Luigi Logrippo; Raymond J. A. Buhr; Tom Gray (RE, 1999)