Iain Bate Vis

I. J. Bate

*	2009
33	EE	Philippa Conmy, Iain Bate: Semi-Automated Safety Analysis for Field Programmable Gate Arrays. ECBS 2009: 166-175
32	EE	Jonathan Tate, Iain Bate: Tuning Complex Sensornet Systems Using Principled Engineering Methods. ECBS 2009: 275-284
31	EE	HuiKeng Lau, Iain Bate, Jon Timmis: An Immuno-engineering Approach for Anomaly Detection in Swarm Robotics. ICARIS 2009: 136-150
30	EE	Jonathan Tate, Iain Bate: Energy Efficient Duty Allocation Protocols for Wireless Sensor Networks. ICECCS 2009: 58-67
	2008
29	EE	Jonathan Tate, Iain Bate: YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation. CPA 2008: 411-430
28	EE	Iain Bate, Dimitar Kazakov: New Directions in Worst-Case Execution Time analysis. IEEE Congress on Evolutionary Computation 2008: 3545-3552
27	EE	Mark Bartlett, Iain Bate, Dimitar Kazakov: Challenges in Relational Learning for Real-Time Systems Applications. ILP 2008: 42-58
26	EE	Iain Bate: Utilising Application Flexibility in Energy Aware Computing. RTCSA 2008: 285-290
25	EE	Iain Bate: Systematic approaches to understanding and evaluating design trade-offs. Journal of Systems and Software 81(8): 1253-1271 (2008)
	2007
24	EE	Simon M. Poulding, Paul Emberson, Iain Bate, John A. Clark: An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms. HASE 2007: 53-62
23	EE	Nicholas Lay, Iain Bate: Applying artificial immune systems to real-time embedded systems. IEEE Congress on Evolutionary Computation 2007: 3743-3750
22	EE	Paul Emberson, Iain Bate: Minimising Task Migration and Priority Changes in Mode Transitions. IEEE Real-Time and Embedded Technology and Applications Symposium 2007: 158-167
	2006
21	EE	Dimitar Kazakov, Iain Bate: Towards New Methods for Developing Real-Time Systems: Automatically Deriving Loop Bounds Using Machine Learning. ETFA 2006: 421-428
20	EE	Iain Bate, Paul Emberson: Incorporating Scenarios And Heuristics To Improve Flexibility In Real-Time Embedded Systems. IEEE Real Time Technology and Applications Symposium 2006: 221-230
	2005
19	EE	Iain Bate, Philippa Conmy: Safe Composition of Real Time Software. HASE 2005: 79-88
18	EE	Iain Bate, Ralf Reutemann: Efficient Integration of Bimodal Branch Prediction and Pipeline Analysis. RTCSA 2005: 39-44
17	EE	Iain Bate: Dealing with Emergent Properties in Embedded Systems. RTCSA 2005: 63-66
	2004
16	EE	Iain Bate, Ralf Reutemann: Worst-Case Execution Time Analysis for Dynamic Branch Predictors. ECRTS 2004: 215-222
15	EE	Iain Bate, Neil C. Audsley: Flexible Design of Complex High-Integrity Systems Using Trade Offs. HASE 2004: 22-31
14		Neil C. Audsley, Iain Bate, Steven Crook-Dawkins, John A. McDermid: Improving certification capability through automatic code generation. IFIP Congress Topical Sessions 2004: 511-520
	2003
13	EE	Iain Bate, Peter Nightingale, Anton Cervin: Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems. ECRTS 2003: 121-
12	EE	Iain Bate, Richard Hawkin, John A. McDermid: A Contract-based Approach to Designing Safe Systems. SCS 2003: 25-36
11	EE	Iain Bate, John A. McDermid, Peter Nightingale: Establishing timing requirements for control loops in real-time systems. Microprocessors and Microsystems 27(4): 159-169 (2003)
10		Iain Bate, Alan Burns: An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems. Real-Time Systems 25(1): 5-37 (2003)
	2002
9	EE	Iain Bate, Tim Kelly: Architectural Considerations in the Certification of Modular Systems. SAFECOMP 2002: 321-333
8	EE	Iain Bate, Guillem Bernat, Peter P. Puschner: Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 83-90
	2001
7	EE	Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid: Use of Modern Processors in Safety-Critical Applications. Comput. J. 44(6): 531-543 (2001)
	2000
6	EE	Iain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner: Low-level analysis of a portable Java byte code WCET analysis framework. RTCSA 2000: 39-
	1999
5	EE	Iain Bate, Alan Burns: An approach to task attribute assignment for uniprocessor systems. ECRTS 1999: 46-53
4	EE	Neil C. Audsley, I. J. Bate, Alan Grigg: Portable Code for Complex Critical Systems . RTCSA 1999: 111-
3	EE	Iain Bate, Alan Burns: A Framework for Scheduling in Safety-Critical Embedded Control Systems. RTCSA 1999: 46-53
	1998
2	EE	Iain Bate, Alan Burns: Investigation of the pessimism in distributed systems timing analysis. ECRTS 1998: 107-114
	1996
1	EE	Neil C. Audsley, I. J. Bate, Alan Burns: Putting fixed priority scheduling theory into engineering practice for safety critical applications. IEEE Real Time Technology and Applications Symposium 1996: 2-10

Coauthor Index

1	Neil C. Audsley	[1] [4] [14] [15]
2	Mark Bartlett	[27]
3	Guillem Bernat	[6] [8]
4	Alan Burns	[1] [2] [3] [5] [10]
5	Anton Cervin	[13]
6	John A. Clark (John Andrew Clark)	[24]
7	Philippa Conmy	[7] [19] [33]
8	Steven Crook-Dawkins	[14]
9	Paul Emberson	[20] [22] [24]
10	Alan Grigg	[4]
11	Richard Hawkin	[12]
12	Dimitar Kazakov	[21] [27] [28]
13	Tim Kelly (Tim P. Kelly)	[7] [9]
14	HuiKeng Lau	[31]
15	Nicholas Lay	[23]
16	John A. McDermid	[7] [11] [12] [14]
17	G. Murphy	[6]
18	Peter Nightingale	[11] [13]
19	Simon M. Poulding	[24]
20	Peter P. Puschner	[6] [8]
21	Ralf Reutemann	[16] [18]
22	Jonathan Tate	[29] [30] [32]
23	Jonathan Timmis (Jon Timmis)	[31]

Colors in the list of coauthors