Stephen Michell

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