Prototyping Parallel Algorithms using Standard ML. - Norman Scaife; Greg J. Michaelson; Andrew M. Wallace (BMVC, 1995)

Prototyping a Parallel Vision System in Standard ML. - Greg Michaelson; Norman Scaife (J. Funct. Program., 1995)

A Dual Source, Parallel Architecture for Computer Vision. - Andrew M. Wallace; Greg Michaelson; Norman Scaife; W. J. Austin (J. Supercomput., 1998)

Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler. - Norman Scaife; Greg Michaelson; Susumu Horiguchi (IFL, 2001)

Skeleton Realisations from Functional Prototypes. - Greg Michaelson; Norman Scaife (Patterns and Skeletons for Parallel and Distributed Computing, 2003)

Comparing Parallel Functional Languages: Programming and Performance. - Hans-Wolfgang Loidl; Fernando Rubio 001; Norman Scaife; Kevin Hammond; Susumu Horiguchi; Ulrike Klusik; Rita Loogen; Greg Michaelson; Ricardo Pena; Steffen Priebe; Álvaro J. Rebón Portillo; Philip W. Trinder (High. Order Symb. Comput., 2003)

Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems. - Norman Scaife; Paul Caspi (ECRTS, 2004)

Defining and translating a "safe" subset of simulink/stateflow into lustre. - Norman Scaife; Christos Sofronis; Paul Caspi; Stavros Tripakis; Florence Maraninchi (EMSOFT, 2004)

Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. - Stavros Tripakis; Christos Sofronis; Norman Scaife; Paul Caspi (EMSOFT, 2005)

The Embounded project (project start paper). - Kevin Hammond; Roy Dyckhoff; Christian Ferdinand; Reinhold Heckmann; Martin Hofmann 001; Steffen Jost; Hans-Wolfgang Loidl; Greg Michaelson; Robert F. Pointon; Norman Scaife; Jocelyn Sérot; Andy Wallace (Trends in Functional Programming, 2005)

Discovering applications of higher order functions through proof planning. - Andrew Cook; Andrew Ireland; Greg Michaelson; Norman Scaife (Formal Aspects Comput., 2005)

A parallel SML compiler based on algorithmic skeletons. - Norman Scaife; Susumu Horiguchi; Greg Michaelson; Paul Bristow (J. Funct. Program., 2005)

Guidelines for a graduate curriculum on embedded software and systems. - Paul Caspi; Alberto L. Sangiovanni-Vincentelli; Luís Almeida 001; Albert Benveniste; Bruno Bouyssounouse; Giorgio C. Buttazzo; Ivica Crnkovic; Werner Damm; Jakob Engblom; Gerhard Fohler; Marisol García-Valls; Hermann Kopetz; et al. (ACM Trans. Embed. Comput. Syst., 2005)

Towards Formally Verifiable WCET Analysis for a Functional Programming Language. - Kevin Hammond; Christian Ferdinand; Reinhold Heckmann; Roy Dyckhoff; Martin Hofmann 001; Steffen Jost; Hans-Wolfgang Loidl; Greg Michaelson; Robert F. Pointon; Norman Scaife; Jocelyn Sérot; Andy Wallace (WCET, 2006)

Parallel Standard ML with Skeletons. - Norman Scaife; Greg Michaelson; Susumu Horiguchi (Scalable Comput. Pract. Exp., 2006)

Empirical Parallel Performance Prediction From Semantics-Based Profiling. - Norman Scaife; Greg Michaelson; Susumu Horiguchi (Scalable Comput. Pract. Exp., 2006)

Semantics-preserving multitask implementation of synchronous programs. - Paul Caspi; Norman Scaife; Christos Sofronis; Stavros Tripakis (ACM Trans. Embed. Comput. Syst., 2008)

"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. - Steffen Jost; Hans-Wolfgang Loidl; Kevin Hammond; Norman Scaife; Martin Hofmann 001 (FM, 2009)