1999 |
24 | EE | Raymond J. A. Buhr:
Making Behaviour a Concrete Architectural Concept.
HICSS 1999 |
23 | EE | Daniel Amyot,
Luigi Logrippo,
Raymond J. A. Buhr,
Tom Gray:
Use Case Maps for the Capture and Validation of Distributed Systems Requirements.
RE 1999: 44- |
1998 |
22 | | 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: 135-149 |
21 | EE | 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: 171-179 |
20 | EE | 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: 180- |
19 | EE | Raymond J. A. Buhr:
Use Case Maps as Architectural Entities for Complex Systems.
IEEE Trans. Software Eng. 24(12): 1131-1155 (1998) |
1997 |
18 | EE | Francis Bordeleau,
Raymond J. A. Buhr:
UCM-ROOM modelling: from use case maps to communicating state machines.
ECBS 1997: 169- |
17 | EE | Raymond J. A. Buhr,
Alex Hubbard:
Use Case Maps for Engineering Real Time and Distributed Computer.
HICSS (5) 1997: 218-229 |
1996 |
16 | EE | Raymond J. A. Buhr:
Understanding Large-Scale Behavior Patterns in Complex systems.
ICECCS 1996: 143-146 |
1995 |
15 | | Daniel Amyot,
Francis Bordeleau,
Raymond J. A. Buhr,
Luigi Logrippo:
Formal Support for Design Techniques: A Timethreads-LOTOS Approach.
FORTE 1995: 57-72 |
1994 |
14 | | Raymond J. A. Buhr,
Ronald S. Casselman:
Timethread-Role Maps for Object-Oriented Design of Real-Time-and-Distributed Systems.
OOPSLA 1994: 301-316 |
1993 |
13 | | Raymond J. A. Buhr:
Pictures that Play: Design Notations for Real-time and Distributed Systems.
Softw., Pract. Exper. 23(8): 895-931 (1993) |
1992 |
12 | | Raymond J. A. Buhr,
Ronald S. Casselman:
Architectures with Pictures.
OOPSLA 1992: 466-483 |
1991 |
11 | | Jonah Z. Lavi,
Ashok K. Agrawala,
Raymond J. A. Buhr,
Ken Jackson,
Michael Jackson,
Bernard Lang:
Computer Based Systems Engineering Workshop.
CSEE 1991: 149-163 |
10 | | Mark Vigder,
Raymond J. A. Buhr:
Using LOTOS in a Design Environment.
FORTE 1991: 1-15 |
9 | EE | Gerald M. Karam,
Raymond J. A. Buhr:
Temporal Logic-Based Deadlock Analysis For Ada.
IEEE Trans. Software Eng. 17(10): 1109-1125 (1991) |
1990 |
8 | EE | Gerald M. Karam,
Raymond J. A. Buhr:
Starvation and Critical Race Analyzers for Ada.
IEEE Trans. Software Eng. 16(8): 829-843 (1990) |
1989 |
7 | EE | Raymond J. A. Buhr,
Gerald M. Karam,
Carol J. Hayes,
C. Murray Woodside:
Software CAD: A Revolutionary Approach.
IEEE Trans. Software Eng. 15(3): 235-249 (1989) |
1985 |
6 | | 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: 62-67 |
5 | EE | 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. on CAD of Integrated Circuits and Systems 4(2): 134-142 (1985) |
1984 |
4 | EE | C. Murray Woodside,
J. R. Montealegre,
Raymond J. A. Buhr:
A performance model for hardware/software issues in computer-aided design of protocol systems.
Computer Communication Review 14(2): 132-139 (1984) |
1983 |
3 | | Raymond J. A. Buhr,
D. A. MacKinnon:
Evolving Toward Open System Interconnection.
INFOCOM 1983: 491-498 |
1982 |
2 | | Raymond J. A. Buhr,
S. Michell:
Object-Oriented Structured Design of Layered Protocol Systems.
ICDCS 1982: 288-293 |
1977 |
1 | EE | D. A. Thomas,
B. Pagurek,
Raymond J. A. Buhr:
Validation Algorithms for Pointer Values in DBTG DataBases.
ACM Trans. Database Syst. 2(4): 352-369 (1977) |