Stephen Michell

Publication Activity (10 Years)

Years Active: 1997-2015
Publications (10 Years): 0

Top Topics

Parallel Programming

Execution Model

Top Venues

Publications

Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft
Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada. RTSS (2015)
Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft
An Execution Model for Fine-Grained Parallelism in Ada. Ada-Europe (2015)
Luís Miguel Pinho, Brad Moore, Stephen Michell
Parallelism in Ada: Status and Prospects. Ada-Europe (2014)
S. Tucker Taft, Brad Moore, Luís Miguel Pinho, Stephen Michell
Safe parallel programming in ada with language extensions. HILT (2014)
Stephen Michell, Brad Moore, Luís Miguel Pinho
Real-time programming on accelerator many-core processors. HILT (2013)
Stephen Michell, Brad Moore, Luís Miguel Pinho
Tasklettes - A Fine Grained Parallelism for Ada on Multicores. Ada-Europe (2013)
Jorge Real, Stephen Michell
Introduction. IRTAW (2007)
Stephen Michell
Interfacing Ada to operating systems. IRTAW (2007)
Stephen Michell, Kannan Srinivasan
State based key hop protocol: a lightweight security protocol for wireless networks. PE-WASUN (2004)
Douglas J. Howe, Stephen Michell
An approach to formal verication of real time concurrent Ada programs. IRTAW (2003)
Stephen Michell
Practical implementations of embedded software using the Ravenscar Profile. IRTAW (2002)
Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf, Stephen Michell
Object-Oriented Programming and Protected Objects in Ada 95. Ada-Europe (2000)
Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf, Stephen Michell
Extensible protected types: proposal status. IRTAW (2000)
Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf, Stephen Michell
Integrating object-oriented programming and protected objects in Ada 95. ACM Trans. Program. Lang. Syst. 22 (3) (2000)
Stephen Michell, Joyce L. Tokar
Tasking and object orientation. IRTAW (2000)
Stephen Michell
Position paper: completing the Ravenscar profile. IRTAW (2000)
Stephen Michell, Kristina Lundqvist
Extendable, dispatchable task communication mechanisms. IRTAW (1999)
Stephen Michell, Mark Saaltink, Brian A. Wichmann
Looking into Safety with the Safety and Security Rapporteur Group. SIGAda (1998)
Stephen Michell, Dan Craigen, Mark Saaltink
Using analytical approaches for high integrity Ada95 systems. IRTAW (1997)