Stephen Michell

According to our database, Stephen Michell authored at least 19 papers between 1997 and 2015.

Collaborative distances:

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

2015

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada.

Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

An Execution Model for Fine-Grained Parallelism in Ada.

Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft

Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

2014

Safe parallel programming in ada with language extensions.

S. Tucker Taft, Brad Moore, Luís Miguel Pinho, Stephen Michell

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

Parallelism in Ada: Status and Prospects.

Luís Miguel Pinho, Brad Moore, Stephen Michell

Proceedings of the Reliable Software Technologies, 2014

2013

Real-time programming on accelerator many-core processors.

Stephen Michell, Brad Moore, Luís Miguel Pinho

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

Tasklettes - A Fine Grained Parallelism for Ada on Multicores.

Stephen Michell, Brad Moore, Luís Miguel Pinho

Proceedings of the Reliable Software Technologies, 2013

2007

Introduction.

Jorge Real, Stephen Michell

Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Interfacing Ada to operating systems.

Stephen Michell

Proceedings of the 13th International Workshop on Real-Time Ada, 2007

2004

State based key hop protocol: a lightweight security protocol for wireless networks.

Stephen Michell, Kannan Srinivasan

Proceedings of the 1st ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, 2004

2003

An approach to formal verication of real time concurrent Ada programs.

Douglas J. Howe, Stephen Michell

Proceedings of the 12th International Workshop on Real-Time Ada, 2003

2002

Practical implementations of embedded software using the Ravenscar Profile.

Stephen Michell

Proceedings of the 11th International Workshop on Real-Time Ada, 2002

2000

Integrating object-oriented programming and protected objects in Ada 95.

Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf, Stephen Michell

ACM Trans. Program. Lang. Syst., 2000

Extensible protected types: proposal status.

Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf, Stephen Michell

Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Tasking and object orientation.

Stephen Michell, Joyce L. Tokar

Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Position paper: completing the Ravenscar profile.

Stephen Michell

Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Object-Oriented Programming and Protected Objects in Ada 95.

Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf, Stephen Michell

Proceedings of the Reliable Software Technologies, 2000

1999

Extendable, dispatchable task communication mechanisms.

Stephen Michell, Kristina Lundqvist

Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

1998

Looking into Safety with the Safety and Security Rapporteur Group.

Stephen Michell, Mark Saaltink, Brian A. Wichmann

Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 1998

1997

Using analytical approaches for high integrity Ada95 systems.

Stephen Michell, Dan Craigen, Mark Saaltink

Proceedings of the Eighth International Workshop on Real-Time Ada, 1997