Raymond J. A. Buhr

33 papers A* 2A 5B 1C 5Journal 8Unranked 12

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