Brian Dobbing

According to our database1, Brian Dobbing authored at least 16 papers between 1990 and 2007.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
Dependability-by-Contract.
Proceedings of the Safety of Systems, 2007

2003
Session summary: new core language features.
Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Session: status and future of the Ravenscar profile.
Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Static analysis of Ravenscar programs.
Proceedings of the 12th International Workshop on Real-Time Ada, 2003

High Integrity Ravenscar.
Proceedings of the Reliable Software Technologies, 2003

2001
Real-time convergence of Ada and Java™.
Proceedings of the Proceedings ACM SIGAda Annual International Conference, 2001

Can Java Meet Its Real-Time Deadlines?
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000
Report of session: analysis of the J consortium real-time Java proposal.
Proceedings of the 10th International Workshop on Real-Time Ada, 2000

The Ravenscar profile for high-integrity Java programs?
Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Overview of the Sun Java Community Process's Real-Time Expert Group specification of RT-Java: Session Summary.
Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Using Java<sup>TM</sup> APIs with Native Ada Compilers.
Proceedings of the Reliable Software Technologies, 2000

1999
The Ravenscar Tasking Profile - experience reporting.
Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

1998
The Ravenscar Tasking Profile for High Integrity Real-Time Programs.
Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 1998

The Ravenscar Tasking Profile for High Integrity Real-Time Programs.
Proceedings of the Reliable Software Technologies, 1998

1997
T-SMART - task-safe, minimal Ada realtime toolset.
Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

1990
Distributed Ada: a suggested solution for Ada 9X.
Proceedings of the Fourth International Workshop on Real-Time Ada Issues, 1990


  Loading...