I. J. Bate
List of publications from the DBLP Bibliography Server - FAQ
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 |
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 Clark | [24] |
7 | Philippa Conmy | [7] [19] [31] |
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 | Nicholas Lay | [23] |
15 | John A. McDermid | [7] [11] [12] [14] |
16 | G. Murphy | [6] |
17 | Peter Nightingale | [11] [13] |
18 | Simon M. Poulding | [24] |
19 | Peter P. Puschner | [6] [8] |
20 | Ralf Reutemann | [16] [18] |
21 | Jonathan Tate | [29] [30] |