I. J. Bate
List of publications from the
2009 |
31 | EE | Philippa Conmy,
Iain Bate:
Semi-Automated Safety Analysis for Field Programmable Gate Arrays.
ECBS 2009: 166-175 |
30 | EE | Jonathan Tate,
Iain Bate:
Tuning Complex Sensornet Systems Using Principled Engineering Methods.
ECBS 2009: 275-284 |
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 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 |