Adrian Robson

According to our database, Adrian Robson authored at least 10 papers between 1994 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2001

A formal design language for real-time systems with data.

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Sci. Comput. Program., 2001

Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter.

William Henderson, David Kendall, Adrian Robson

Real Time Syst., 2001

1998

bCANDLE: Formal Modelling and Analysis of CAN Control Systems.

David Kendall, Steven Bradley, William Henderson, Adrian Robson

Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium, 1998

Integrating AORTA with Model-Based Data Specification Languages.

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1996

A Formal Design and Implementation Method for Real-Time Embedded Systems.

Steven Bradley, William Henderson, David Kendall, Adrian Robson, Stephen Hawkes

Proceedings of the 22rd EUROMICRO Conference '96, 1996

1995

On Behavior, Inheritance, and Evolution.

Bill Murray, Adrian Robson

J. Object Oriented Program., 1995

Validation, verification and implementation of timed protocols using AORTA.

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Proceedings of the Protocol Specification, 1995

1994

A formally based hard real-time kernel.

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Microprocess. Microsystems, 1994

Application-oriented real time algebra.

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Softw. Eng. J., 1994

Designing and Implementing Correct Real-Time Systems.

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994