Iain Bate

I. J. Bate

	2012
65		Jonathan Tate, Benjamin Woolford-Lim, Iain Bate, Xin Yao: Evolutionary and Principled Search Strategies for Sensornet Protocol Optimization. IEEE Transactions on Systems, Man, and Cybernetics, Part B 42(1): 163-180 (2012)
	2011
64		Iain Bate, Yafeng Wu, John A. Stankovic: Developing Safe and Dependable Sensornets. EUROMICRO-SEAA 2011: 279-282
63		HuiKeng Lau, Jon Timmis, Iain Bate: Collective Self-detection Scheme for Adaptive Error Detection in a Foraging Swarm of Robots. ICARIS 2011: 254-267
62		Jonathan Tate, Iain Bate: LIPS: A Protocol Suite for Homeostatic Sensornet Management. ICECCS 2011: 263-272
61		Philippa Conmy, Iain Bate: Efficient Task Allocation to FPGAs in the Safety Critical Domain. PRDC 2011: 119-128
60		Martin Drozda, Iain Bate, Jon Timmis: Bio-inspired Error Detection for Complex Systems. PRDC 2011: 154-163
59		Mark Bartlett, Iain Bate, James Cussens, Dimitar Kazakov: Probabilistic Instruction Cache Analysis Using Bayesian Networks. RTCSA (1) 2011: 233-242
58		Yue Lu, Johan Kraft, Thomas Nolte, Iain Bate: A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems. SAC 2011: 711-716
57		Sitsofe Wheeler, Iain Bate, Mark Bartlett: Video subset selection for measurement based Worst Case Execution Time analysis. SIES 2011: 213-222
56		Yue Lu, Thomas Nolte, Iain Bate, Johan Kraft, Christer Norström: Assessment of trace-differences in timing analysis for Complex Real-Time Embedded Systems. SIES 2011: 284-293
55		Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean: A statistical response-time analysis of complex real-time embedded systems by using timing traces. SIES 2011: 43-46
54		Iain Bate, Usman Khan: WCET analysis of modern processors using multi-criteria optimisation. Empirical Software Engineering 16(1): 5-28 (2011)
53		HuiKeng Lau, Iain Bate, Paul Cairns, Jon Timmis: Adaptive data-driven error detection in swarm robotics with statistical classifiers. Robotics and Autonomous Systems 59(12): 1021-1035 (2011)
52		Iain Bate, Simon M. Poulding: Editorial for the special issue on search-based software engineering. Softw., Pract. Exper. 41(5): 467-468 (2011)
	2010
51		Yue Lu, Thomas Nolte, Iain Bate, Christer Norström: Timing Analyzing for Systems with Task Execution Dependencies. COMPSAC 2010: 515-524
50		Mark Bartlett, Iain Bate, James Cussens: Instruction Cache Prediction Using Bayesian Networks. ECAI 2010: 1099-1100
49		Jonathan Tate, Iain Bate: Do Sensornet Protocol Variants Yield Real Benefits?. ECBS 2010: 19-28
48		Jonathan Tate, Iain Bate: Maintaining Stable Node Populations in Long-Lifetime Sensornets. ICECCS 2010: 159-168
47		Mark Bartlett, Iain Bate, James Cussens: Learning Bayesian Networks for Improved Instruction Cache Analysis. ICMLA 2010: 417-423
46		Jonathan Tate, Iain Bate: A feedback-driven timing synchronisation protocol for cellular sensornets. MASS 2010: 482-491
45		Yue Lu, Thomas Nolte, Iain Bate: Timing analyzing for systems with execution dependencies between tasks. SAC 2010: 357-358
44		Jonathan Tate, Iain Bate: Sensornet Protocol Tuning Using Principled Engineering Methods. Comput. J. 53(7): 991-1019 (2010)
43		Mark Bartlett, Iain Bate, Dimitar Kazakov: Accurate Determination of Loop Iterations for Worst-Case Execution Time Analysis. IEEE Trans. Computers 59(11): 1520-1532 (2010)
42		Philippa Conmy, Iain Bate: Component-Based Safety Analysis of FPGAs. IEEE Trans. Industrial Informatics 6(2): 195-205 (2010)
41		Paul Emberson, Iain Bate: Stressing Search with Scenarios for Flexible Solutions to Real-Time Task Allocation Problems. IEEE Trans. Software Eng. 36(5): 704-718 (2010)
	2009
40		Jonathan Tate, Iain Bate: Understanding Behavioural Tradeoffs in Large-Scale Sensornet Design. AINA Workshops 2009: 1085-1091
39		Philippa Conmy, Iain Bate: Semi-Automated Safety Analysis for Field Programmable Gate Arrays. ECBS 2009: 166-175
38		Jonathan Tate, Iain Bate: Tuning Complex Sensornet Systems Using Principled Engineering Methods. ECBS 2009: 275-284
37		HuiKeng Lau, Iain Bate, Jon Timmis: An Immuno-engineering Approach for Anomaly Detection in Swarm Robotics. ICARIS 2009: 136-150
36		Jonathan Tate, Iain Bate: Energy Efficient Duty Allocation Protocols for Wireless Sensor Networks. ICECCS 2009: 58-67
35		Jonathan Tate, Benjamin Woolford-Lim, Iain Bate, Xin Yao: Comparing design of experiments and evolutionary approaches to multi-objective optimisation of sensornet protocols. IEEE Congress on Evolutionary Computation 2009: 1137-1144
34		HuiKeng Lau, Jon Timmis, Iain Bate: Anomaly detection inspired by immune network theory: A proposal. IEEE Congress on Evolutionary Computation 2009: 3045-3051
33		Mark Bartlett, Iain Bate, Dimitar Kazakov: Guaranteed Loop Bound Identification from Program Traces for WCET. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 287-294
32		Jonathan Tate, Iain Bate: An Improved Lightweight Synchronisation Primitive For Sensornets. MASS 2009: 448-457
	2008
31		Jonathan Tate, Iain Bate: YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation. CPA 2008: 411-430
30		Iain Bate, Dimitar Kazakov: New Directions in Worst-Case Execution Time analysis. IEEE Congress on Evolutionary Computation 2008: 3545-3552
29		Paul Emberson, Iain Bate: Extending a Task Allocation Algorithm for Graceful Degradation of Real-Time Distributed Embedded Systems. IEEE Real-Time Systems Symposium 2008: 270-279
28		Mark Bartlett, Iain Bate, Dimitar Kazakov: Challenges in Relational Learning for Real-Time Systems Applications. ILP 2008: 42-58
27		Iain Bate: Utilising Application Flexibility in Energy Aware Computing. RTCSA 2008: 285-290
26		Nicholas Lay, Iain Bate: Improving the reliability of real-time embedded systems using innate immune techniques. Evolutionary Intelligence 1(2): 113-132 (2008)
25		Iain Bate: Systematic approaches to understanding and evaluating design trade-offs. Journal of Systems and Software 81(8): 1253-1271 (2008)
	2007
24		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		Nicholas Lay, Iain Bate: Applying artificial immune systems to real-time embedded systems. IEEE Congress on Evolutionary Computation 2007: 3743-3750
22		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		Dimitar Kazakov, Iain Bate: Towards New Methods for Developing Real-Time Systems: Automatically Deriving Loop Bounds Using Machine Learning. ETFA 2006: 421-428
20		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		Iain Bate, Philippa Conmy: Safe Composition of Real Time Software. HASE 2005: 79-88
18		Iain Bate, Ralf Reutemann: Efficient Integration of Bimodal Branch Prediction and Pipeline Analysis. RTCSA 2005: 39-44
17		Iain Bate: Dealing with Emergent Properties in Embedded Systems. RTCSA 2005: 63-66
	2004
16		Iain Bate, Ralf Reutemann: Worst-Case Execution Time Analysis for Dynamic Branch Predictors. ECRTS 2004: 215-222
15		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		Iain Bate, Peter Nightingale, Anton Cervin: Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems. ECRTS 2003: 121-
12		Iain Bate, Richard Hawkin, John A. McDermid: A Contract-based Approach to Designing Safe Systems. SCS 2003: 25-36
11		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		Iain Bate, Tim Kelly: Architectural Considerations in the Certification of Modular Systems. SAFECOMP 2002: 321-333
8		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		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		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		Iain Bate, Alan Burns: An approach to task attribute assignment for uniprocessor systems. ECRTS 1999: 46-53
4		Neil C. Audsley, I. J. Bate, Alan Grigg: Portable Code for Complex Critical Systems . RTCSA 1999: 111-
3		Iain Bate, Alan Burns: A Framework for Scheduling in Safety-Critical Embedded Control Systems. RTCSA 1999: 46-53
	1998
2		Iain Bate, Alan Burns: Investigation of the pessimism in distributed systems timing analysis. ECRTS 1998: 107-114
	1996
1		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	[28] [33] [43] [47] [50] [57] [59]
3	Guillem Bernat	[6] [8]
4	Alan Burns	[1] [2] [3] [5] [10]
5	Paul Cairns	[53]
6	Anton Cervin	[13]
7	John A. Clark (John Andrew Clark)	[24]
8	Philippa Conmy	[7] [19] [39] [42] [61]
9	Steven Crook-Dawkins	[14]
10	Liliana Cucu-Grosjean (Liliana Cucu)	[55]
11	James Cussens	[47] [50] [59]
12	Martin Drozda	[60]
13	Paul Emberson	[20] [22] [24] [29] [41]
14	Alan Grigg	[4]
15	Richard Hawkin	[12]
16	Dimitar Kazakov	[21] [28] [30] [33] [43] [59]
17	Tim Kelly (Tim P. Kelly)	[7] [9]
18	Usman Khan	[54]
19	Johan Kraft	[56] [58]
20	HuiKeng Lau	[34] [37] [53] [63]
21	Nicholas Lay	[23] [26]
22	Yue Lu	[45] [51] [55] [56] [58]
23	John A. McDermid	[7] [11] [12] [14]
24	G. Murphy	[6]
25	Peter Nightingale	[11] [13]
26	Thomas Nolte	[45] [51] [55] [56] [58]
27	Christer Norström	[51] [56]
28	Simon M. Poulding	[24] [52]
29	Peter P. Puschner	[6] [8]
30	Ralf Reutemann	[16] [18]
31	John A. Stankovic (Jack A. Stankovic)	[64]
32	Jonathan Tate	[31] [32] [35] [36] [38] [40] [44] [46] [48] [49] [62] [65]
33	Jonathan Timmis (Jon Timmis)	[34] [37] [53] [60] [63]
34	Sitsofe Wheeler	[57]
35	Benjamin Woolford-Lim	[35] [65]
36	Yafeng Wu	[64]
37	Xin Yao	[35] [65]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page