Norman Scaife

2008
14	EE	Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis: Semantics-preserving multitask implementation of synchronous programs. ACM Trans. Embedded Comput. Syst. 7(2): (2008)
2006
13	EE	Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace: Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET 2006
2005
12	EE	Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi: Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. EMSOFT 2005: 353-360
11	EE	Norman Scaife, Greg Michaelson, Susumu Horiguchi: Empirical Parallel Performance Prediction from Semantics-Based Profiling. International Conference on Computational Science (2) 2005: 781-789
10		Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace: The Embounded project (project start paper). Trends in Functional Programming 2005: 195-210
9	EE	Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi: Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)
8	EE	Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife: Discovering applications of higher order functions through proof planning. Formal Asp. Comput. 17(1): 38-57 (2005)
7	EE	Norman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow: A parallel SML compiler based on algorithmic skeletons. J. Funct. Program. 15(4): 615-650 (2005)
2004
6	EE	Norman Scaife, Paul Caspi: Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems. ECRTS 2004: 119-126
5	EE	Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi: Defining and translating a "safe" subset of simulink/stateflow into lustre. EMSOFT 2004: 259-268
2003
4	EE	Hans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder: Comparing Parallel Functional Languages: Programming and Performance Higher-Order and Symbolic Computation 16(3): 203-251 (2003)
2001
3	EE	Norman Scaife, Greg Michaelson, Susumu Horiguchi: Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler. IFL 2001: 138-154
1998
2	EE	Andrew M. Wallace, Greg Michaelson, Norman Scaife, W. J. Austin: A Dual Source, Parallel Architecture for Computer Vision. The Journal of Supercomputing 12(1-2): 37-56 (1998)
1995
1		Greg Michaelson, Norman Scaife: Prototyping a Parallel Vision System in Standard ML. J. Funct. Program. 5(3): 345-382 (1995)

Coauthor Index

1	Luís Almeida	[9]
2	W. J. Austin	[2]
3	Albert Benveniste	[9]
4	Bruno Bouyssounouse	[9]
5	Paul Bristow	[7]
6	Giorgio C. Buttazzo	[9]
7	Paul Caspi	[5] [6] [9] [12] [14]
8	Andrew Cook	[8]
9	Ivica Crnkovic	[9]
10	Werner Damm	[9]
11	Roy Dyckhoff	[10] [13]
12	Jakob Engblom	[9]
13	Christian Ferdinand	[10] [13]
14	Gerhard Fohler	[9]
15	Marisol García-Valls	[9]
16	Kevin Hammond	[4] [10] [13]
17	Reinhold Heckmann	[10] [13]
18	Martin Hofmann	[10] [13]
19	Susumu Horiguchi	[3] [4] [7] [11]
20	Andrew Ireland	[8]
21	Steffen Jost	[10] [13]
22	Ulrike Klusik	[4]
23	Hermann Kopetz	[9]
24	Yassine Lakhnech	[9]
25	François Laroussinie	[9]
26	Luciano Lavagno	[9]
27	Giuseppe Lipari	[9]
28	Hans-Wolfgang Loidl	[4] [10] [13]
29	Rita Loogen	[4]
30	Florence Maraninchi	[5] [9]
31	Greg Michaelson	[1] [2] [3] [4] [7] [8] [10] [11] [13]
32	Ricardo Peña-Marí (Ricardo Pena)	[4]
33	Philipp Peti	[9]
34	Robert F. Pointon	[10] [13]
35	Álvaro J. Rebón Portillo	[4]
36	Steffen Priebe	[4]
37	Juan Antonio de la Puente	[9]
38	Fernando Rubio	[4]
39	Alberto L. Sangiovanni-Vincentelli	[9]
40	Jocelyn Sérot	[10] [13]
41	Joseph Sifakis	[9]
42	Robert de Simone	[9]
43	Christos Sofronis	[5] [12] [14]
44	Martin Törngren	[9]
45	Philip W. Trinder	[4]
46	Stavros Tripakis	[5] [12] [14]
47	Paulo Veríssimo	[9]
48	Andrew M. Wallace	[2]
49	Andy Wallace	[10] [13]
50	Andy J. Wellings	[9]
51	Reinhard Wilhelm	[9]
52	Tim A. C. Willemse	[9]
53	Wang Yi	[9]