dblp.uni-trier.dewww.uni-trier.de

Iain Bate

I. J. Bate

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2007
20EESimon Poulding, Paul Emberson, Iain Bate, John Clark: An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms. HASE 2007: 53-62
2006
19EEDimitar Kazakov, Iain Bate: Towards New Methods for Developing Real-Time Systems: Automatically Deriving Loop Bounds Using Machine Learning. ETFA 2006: 421-428
18EEIain 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
17EEIain Bate, Philippa Conmy: Safe Composition of Real Time Software. HASE 2005: 79-88
16EEIain Bate, Ralf Reutemann: Efficient Integration of Bimodal Branch Prediction and Pipeline Analysis. RTCSA 2005: 39-44
15EEIain Bate: Dealing with Emergent Properties in Embedded Systems. RTCSA 2005: 63-66
2004
14EEIain Bate, Ralf Reutemann: Worst-Case Execution Time Analysis for Dynamic Branch Predictors. ECRTS 2004: 215-222
13EEIain Bate, Neil C. Audsley: Flexible Design of Complex High-Integrity Systems Using Trade Offs. HASE 2004: 22-31
12 Neil C. Audsley, Iain Bate, Steven Crook-Dawkins, John McDermid: Improving certification capability through automatic code generation. IFIP Congress Topical Sessions 2004: 511-520
2003
11EEIain Bate, Peter Nightingale, Anton Cervin: Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems. ECRTS 2003: 121-
10EEIain Bate, Richard Hawkin, John A. McDermid: A Contract-based Approach to Designing Safe Systems. SCS 2003: 25-36
9EEIain Bate, John A. McDermid, Peter Nightingale: Establishing timing requirements for control loops in real-time systems. Microprocessors and Microsystems 27(4): 159-169 (2003)
8 Iain Bate, Alan Burns: An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems. Real-Time Systems 25(1): 5-37 (2003)
2002
7EEIain Bate, Tim Kelly: Architectural Considerations in the Certification of Modular Systems. SAFECOMP 2002: 321-333
6EEIain 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
5EEIain Bate, Philippa Conmy, Tim Kelly, John A. McDermid: Use of Modern Processors in Safety-Critical Applications. Comput. J. 44(6): 531-543 (2001)
2000
4EEIain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner: Low-level analysis of a portable Java byte code WCET analysis framework. RTCSA 2000: 39-
1999
3EENeil C. Audsley, I. J. Bate, Alan Grigg: Portable Code for Complex Critical Systems . RTCSA 1999: 111-
2EEIain Bate, Alan Burns: A Framework for Scheduling in Safety-Critical Embedded Control Systems. RTCSA 1999: 46-53
1996
1EENeil 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

1Neil C. Audsley [1] [3] [12] [13]
2Guillem Bernat [4] [6]
3Alan Burns [1] [2] [8]
4Anton Cervin [11]
5John Clark [20]
6Philippa Conmy [5] [17]
7Steven Crook-Dawkins [12]
8Paul Emberson [18] [20]
9Alan Grigg [3]
10Richard Hawkin [10]
11Dimitar Kazakov [19]
12Tim Kelly (Tim P. Kelly) [5] [7]
13John McDermid [12]
14John A. McDermid [5] [9] [10]
15G. Murphy [4]
16Peter Nightingale [9] [11]
17Simon Poulding [20]
18Peter P. Puschner [4] [6]
19Ralf Reutemann [14] [16]

Colors in the list of coauthors

Copyright © Thu Jun 5 07:42:39 2008 by Michael Ley (ley@uni-trier.de)