Raymond J. A. Buhr

Publication Activity (10 Years)

Years Active: 1977-1999
Publications (10 Years): 0

Publications

Daniel Amyot, Luigi Logrippo, Raymond J. A. Buhr, Tom Gray
Use Case Maps for the Capture and Validation of Distributed Systems Requirements. RE (1999)
Raymond J. A. Buhr
Making Behaviour a Concrete Architectural Concept. HICSS (1999)
Raymond J. A. Buhr, Daniel Amyot, Mohamed Elammari, Darcy Quesnel, Tom Gray, Serge Mankovski
High Level, Multi-Agent Prototypes from a Scenario-Path Notation: A Feature-Interaction Example. PAAM (1998)
Raymond J. A. Buhr, Mohamed Elammari, Tom Gray, Serge Mankovski
Applying Use Case Maps to Multi-Agent Systems: A Feature Interaction Example. HICSS (6) (1998)
Raymond J. A. Buhr, Daniel Amyot, Mohamed Elammari, Darcy Quesnel, Tom Gray, Serge Mankovski
Feature-Interaction Visualisation and Resolution in an Agent Environment. FIW (1998)
Raymond J. A. Buhr
Use Case Maps as Architectural Entities for Complex Systems. IEEE Trans. Software Eng. 24 (12) (1998)
Raymond J. A. Buhr, Mohamed Elammari, Tom Gray, Serge Mankovski
A High Level Visual Notation for Understanding and Designing Collaborative, Adaptive Behavior in Multiagent Systems. HICSS (6) (1998)
Francis Bordeleau, Raymond J. A. Buhr
UCM-ROOM modelling: from use case maps to communicating state machines. ECBS (1997)
Raymond J. A. Buhr, Mohamed Elammari, Tom Gray, Debbie Pinard, Serge Mankovski
Understanding and Defining the Behaviour of Systems of Agents with Use-Case Maps. PAAM (1997)
Raymond J. A. Buhr, Alex Hubbard
Use Case Maps for Engineering Real Time and Distributed Computer. HICSS (5) (1997)
Raymond J. A. Buhr
Understanding Large-Scale Behavior Patterns in Complex systems. ICECCS (1996)
Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo
Formal Support for Design Techniques: A Timethreads-LOTOS Approach. FORTE (1995)
Raymond J. A. Buhr, Gerald M. Karam, C. Murray Woodside, Ronald S. Casselman, Greg Franks, H. Scott, D. Bailey
TimeBench: a CAD tool for real-time system design. SETA (1994)
Raymond J. A. Buhr, Ronald S. Casselman
Timethread-Role Maps for Object-Oriented Design of Real-Time-and-Distributed Systems. OOPSLA (1994)
Raymond J. A. Buhr
Pictures that Play: Design Notations for Real-time and Distributed Systems. Softw. Pract. Exp. 23 (8) (1993)
Raymond J. A. Buhr, Ronald S. Casselman
Architectures with Pictures. OOPSLA (1992)
Mark Vigder, Raymond J. A. Buhr
Using LOTOS in a Design Environment. FORTE (1991)
Gerald M. Karam, Raymond J. A. Buhr
Temporal Logic-Based Deadlock Analysis For Ada. IEEE Trans. Software Eng. 17 (10) (1991)
Jonah Z. Lavi, Ashok K. Agrawala, Raymond J. A. Buhr, Ken Jackson, Michael Jackson, Bernard Lang
Computer Based Systems Engineering Workshop. CSEE (1991)
Raymond J. A. Buhr, Gerald M. Karam, Ronald S. Casselman
Support for specifying temporal behavior in Ada designs. SETA (1990)
C. Murray Woodside, Elias M. Hagos, E. Neron, Raymond J. A. Buhr
The CAEDE performance analysis tool. SETA (1990)
Gerald M. Karam, Raymond J. A. Buhr
Starvation and Critical Race Analyzers for Ada. IEEE Trans. Software Eng. 16 (8) (1990)
Raymond J. A. Buhr, Gerald M. Karam, Carol J. Hayes, C. Murray Woodside
Software CAD: A Revolutionary Approach. IEEE Trans. Software Eng. 15 (3) (1989)
Gerald M. Karam, Raymond J. A. Buhr
Experience with the automatic temporal analysis of multitasking Ada designs. SIGAda (1987)
Raymond J. A. Buhr, Gerald M. Karam, C. Murray Woodside
An overview and example of application of CAEDE: a new, experimental design environment for Ada. SIGAda (1985)
Raymond J. A. Buhr, C. Murray Woodside, Gerald M. Karam, K. Van Der Loo, D. G. Lewis
Experiments with Prolog Design Descriptions and Tools in CAEDE: An Iconic Design Environment for Multitasking, Embdedded Systems. ICSE (1985)
Emil F. Girczyc, Raymond J. A. Buhr, John P. Knight
Applicability of a Subset of Ada as an Algorithmic Hardware Description Language for Graph-Based Hardware Compilation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 4 (2) (1985)
Raymond J. A. Buhr
Lessons from practical experience teaching hands-on, real-time, embedded system programming with Ada. SIGAda (1985)
C. Murray Woodside, J. R. Montealegre, Raymond J. A. Buhr
A performance model for hardware/software issues in computer-aided design of protocol systems. Comput. Commun. Rev. 14 (2) (1984)
Raymond J. A. Buhr, D. A. MacKinnon
Evolving Toward Open System Interconnection. INFOCOM (1983)
Raymond J. A. Buhr, S. Michell
Object-Oriented Structured Design of Layered Protocol Systems. ICDCS (1982)
Raymond J. A. Buhr, D. A. MacKinnon
MAILROOM: A computer-based message system model for person-to-person and process-to-process communication. ICDCS (1982)
D. A. Thomas, Bernard Pagurek, Raymond J. A. Buhr
Validation Algorithms for Pointer Values in DBTG DataBases. ACM Trans. Database Syst. 2 (4) (1977)