| 2025 | RTSS | LEFT-RS: A Lock-Free Fault-Tolerant Resource Sharing Protocol for Multicore Real-Time Systems. | Nan Chen, Xiaotian Dai, Tong Cheng, Alan Burns, Iain Bate, Shuai Zhao |
| 2024 | RTAS | Optimal Synthesis of Fault-Tolerant IDK Cascades for Real-Time Classification. | Sanjoy K. Baruah, Iain Bate, Alan Burns, Robert I. Davis |
| 2023 | RTNS | Cache-Aware Allocation of Parallel Jobs on Multi-cores based on Learned Recency. | Shuai Zhao, Xiaotian Dai, Benjamin Lesage, Iain Bate |
| 2023 | RTNS | Scheduling Classifiers for Real-Time Hazard Perception Considering Functional Uncertainty. | Tarek F. Abdelzaher, Sanjoy K. Baruah, Iain Bate, Alan Burns, Robert Ian Davis, Yigong Hu |
| 2023 | RTNS | Reducing Loss of Service for Mixed-Criticality Systems through Cache- and Stress-Aware Scheduling. | Benjamin Lesage, Xiaotian Dai, Shuai Zhao, Iain Bate |
| 2022 | ISoLA | Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems. | Xiaotian Dai, Shuai Zhao, Benjamin Lesage, Iain Bate |
| 2022 | RTAS | Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling. | Iain Bate, Alan Burns, Robert I. Davis |
| 2022 | RTNS | Compensating Adaptive Mixed Criticality Scheduling. | Robert Ian Davis, Alan Burns, Iain Bate |
| 2022 | RTNS | Mixed Criticality on Multi-cores Accounting for Resource Stress and Resource Sensitivity. | Robert Ian Davis, Iain Bate |
| 2021 | ECRTS | Schedulability Analysis for Multi-Core Systems Accounting for Resource Stress and Sensitivity. | Robert I. Davis, David Griffin, Iain Bate |
| 2021 | RTAS | Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems - Requirements and Open Challenges. | Xiaotian Dai, Shuai Zhao, Iain Bate, Alan Burns, Xing Guo, Wanli Chang |
| 2020 | DAC | Timing-Accurate General-Purpose I/O for Multi- and Many-Core Systems: Scheduling and Hardware Support. | Shuai Zhao, Zhe Jiang, Xiaotian Dai, Iain Bate, Ibrahim Habli, Wanli Chang |
| 2020 | RTSS | DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency. | Shuai Zhao, Xiaotian Dai, Iain Bate, Alan Burns, Wanli Chang |
| 2020 | RTSS | Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests. | David Griffin, Iain Bate, Robert I. Davis |
| 2020 | RTNS | Establishing Confidence and Understanding Uncertainty in Real-Time Systems. | Iain Bate, David Griffin, Benjamin Lesage |
| 2020 | RTNS | Justifying the Service Provided to Low Criticality Tasks in a Mixed Criticality System. | Stephen Law, Iain Bate, Benjamin Lesage |
| 2020 | RTNS | Elastic Scheduling of Parallel Real-Time Tasks with Discrete Utilizations. | James Orr, Johnny Condori Uribe, Christopher D. Gill, Sanjoy K. Baruah, Kunal Agrawal, Shirley Dyke, Arun Prakash, Iain Bate, Christopher Wong, Sabina Adhikari |
| 2019 | ECRTS | Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems. | Stephen Law, Iain Bate, Benjamin Lesage |
| 2019 | RTNS | Validating high level simulation results against experimental data and low level simulation: a case study. | David Griffin, James Harbin, Alan Burns, Iain Bate, Robert I. Davis, Leandro Soares Indrusiak |
| 2018 | ECRTS | Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies. | Robert I. Davis, Iain Bate, Guillem Bernat, Ian Broster, Alan Burns, Antoine Colin, Stuart Hutchesson, Nigel Tracey |
| 2018 | RTCSA | AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems. | Alan Burns, James Harbin, Leandro Soares Indrusiak, Iain Bate, Robert I. Davis, David Griffin |
| 2018 | RTNS | TACO: An industrial case study of Test Automation for COverage. | Benjamin Lesage, Stephen Law, Iain Bate |
| 2017 | DCOSS | Signal Selection in a Complex Environmental Distributed Sensing Problem. | Gabor Makrai, Iain Bate |
| 2017 | EDCC | Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases. | Omar Tawffeeq Saleem Jaradat, Iain Bate |
| 2017 | EWSN | Using Multi-parameters for Calibration of Low-cost Sensors in Urban Environment. | Xinwei Fang, Iain Bate |
| 2017 | SENSYS | Issues of using wireless sensor network to monitor urban air quality. | Xinwei Fang, Iain Bate |
| 2017 | RTAS | Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements. | George Lima, Iain Bate |
| 2017 | RTNS | Forecast-based interference: modelling multicore interference from observable factors. | David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis |
| 2017 | RTNS | Analysis and optimization of message acceptance filter configurations for controller area network (CAN). | Florian Plzlbauer, Robert I. Davis, Iain Bate |
| 2016 | DSD | PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis. | Francisco J. Cazorla, Jaume Abella, Jan Andersson, Tullio Vardanega, Francis Vatrinet, Iain Bate, Ian Broster, Mikel Azkarate-askasua, Franck Wartel, Liliana Cucu, Fabrice Cros, Glenn Farrall, Adriana Gogonel, Andrea Gianarro, Benoit Triquet, Carles Hernndez, Code Lo, Cristian Maxim, David Morales, Eduardo Quiones, Enrico Mezzetti, Leonidas Kosmidis, Irune Agirre, Mikel Fernndez, Mladen Slijepcevic, Philippa Conmy, Walid Talaboulma |
| 2016 | ECRTS | Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis. | Stephen Law, Iain Bate |
| 2016 | EWSN | Competition: Multimodal Reactive-Routing Protocol to Tolerate Failure. | TiongHoo Lim, Iain Bate, Jon Timmis |
| 2016 | BSN | Identifying usage anomalies for ECG-based sensor nodes. | Lei Chen, Iain Bate |
| 2016 | RTNS | A Practical Message ID Assignment Policy for Controller Area Network that Maximizes Extensibility. | Florian Plzlbauer, Robert I. Davis, Iain Bate |
| 2016 | SAFECOMP | Systematic Maintenance of Safety Cases to Reduce Risk. | Omar Jaradat, Iain Bate |
| 2015 | ECRTS | A Bailout Protocol for Mixed Criticality Systems. | Iain Bate, Alan Burns, Robert I. Davis |
| 2015 | ICA3PP | Influential Nuisance Factors on a Decision of Sufficient Testing. | Mahnaz Malekzadeh, Iain Bate |
| 2015 | BSN | Extending optimistic transmission protocol for other movement patterns. | TiongHoo Lim, Iain Bate |
| 2015 | PRDC | Deriving Hierarchical Safety Contracts. | Omar Jaradat, Iain Bate |
| 2015 | RTNS | Modelling fault dependencies when execution time budgets are exceeded. | David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis |
| 2015 | RTNS | A framework for the evaluation of measurement-based timing analyses. | Benjamin Lesage, David Griffin, Frank Soboczenski, Iain Bate, Robert I. Davis |
| 2015 | RTNS | Study of the reliability of statistical timing analysis for real-time systems. | Dorin Maxim, Frank Soboczenski, Iain Bate, Eduardo Tovar |
| 2014 | PRDC | The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward. | Patrick J. Graydon, Iain Bate |
| 2013 | DCOSS | Using Feedback Control within WSN's to meet Application Requirements. | Mark Louis Fairbairn, Iain Bate |
| 2013 | DCOSS | Improving the Dependability of Sensornets. | Mark Louis Fairbairn, Iain Bate, John A. Stankovic |
| 2013 | EuroPar | Scheduling HPC Workflows for Responsiveness and Fairness with Networking Delays and Inaccurate Estimates of Execution Times. | Andrew Burkimsher, Iain Bate, Leandro Soares Indrusiak |
| 2013 | GECCO | Searching for the minimum failures that can cause a hazard in a wireless sensor network. | Iain Bate, Mark Louis Fairbairn |
| 2013 | PRDC | Improving Reliability of Real-Time Systems through Value and Time Voting. | Hseyin Aysan, Iain Bate, Patrick J. Graydon, Sasikumar Punnekkat |
| 2012 | ETFA | Better, faster, cheaper, and safer too - Is this really possible? | Iain Bate, Hans Hansson, Sasikumar Punnekkat |
| 2012 | ETFA | Validation of performance data using experimental verification process in wireless sensor network. | TiongHoo Lim, Iain Bate, Jon Timmis |
| 2012 | ICECCS | A Control Theoretic Approach for Workflow Management. | Hashem Ali Ghazzawi, Iain Bate, Leandro Soares Indrusiak |
| 2012 | RTSS | A Statistical Response-Time Analysis of Real-Time Embedded Systems. | Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean |
| 2011 | ETFA | A trace-based statistical worst-case execution time analysis of component-based real-time embedded systems. | Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean |
| 2011 | ICECCS | LIPS: A Protocol Suite for Homeostatic Sensornet Management. | Jonathan Tate, Iain Bate |
| 2011 | PRDC | Efficient Task Allocation to FPGAs in the Safety Critical Domain. | Philippa Conmy, Iain Bate |
| 2011 | PRDC | Bio-inspired Error Detection for Complex Systems. | Martin Drozda, Iain Bate, Jon Timmis |
| 2011 | SAC | A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems. | Yue Lu, Johan Kraft, Thomas Nolte, Iain Bate |
| 2011 | RTCSA | Probabilistic Instruction Cache Analysis Using Bayesian Networks. | Mark Bartlett, Iain Bate, James Cussens, Dimitar Kazakov |
| 2010 | COMPSAC | Timing Analyzing for Systems with Task Execution Dependencies. | Yue Lu, Thomas Nolte, Iain Bate, Christer Norstrm |
| 2010 | ECAI | Instruction Cache Prediction Using Bayesian Networks. | Mark Bartlett, Iain Bate, James Cussens |
| 2010 | ICECCS | Maintaining Stable Node Populations in Long-Lifetime Sensornets. | Jonathan Tate, Iain Bate |
| 2010 | ICMLA | Learning Bayesian Networks for Improved Instruction Cache Analysis. | Mark Bartlett, Iain Bate, James Cussens |
| 2010 | MASS | A feedback-driven timing synchronisation protocol for cellular sensornets. | Jonathan Tate, Iain Bate |
| 2010 | SAC | Timing analyzing for systems with execution dependencies between tasks. | Yue Lu, Thomas Nolte, Iain Bate |
| 2009 | AINA | Understanding Behavioural Tradeoffs in Large-Scale Sensornet Design. | Jonathan Tate, Iain Bate |
| 2009 | CEC | Anomaly detection inspired by immune network theory: A proposal. | HuiKeng Lau, Jon Timmis, Iain Bate |
| 2009 | CEC | Comparing design of experiments and evolutionary approaches to multi-objective optimisation of sensornet protocols. | Jonathan Tate, Benjamin Woolford-Lim, Iain Bate, Xin Yao |
| 2009 | ICECCS | Energy Efficient Duty Allocation Protocols for Wireless Sensor Networks. | Jonathan Tate, Iain Bate |
| 2009 | MASS | An Improved Lightweight Synchronisation Primitive For Sensornets. | Jonathan Tate, Iain Bate |
| 2009 | RTAS | Guaranteed Loop Bound Identification from Program Traces for WCET. | Mark Bartlett, Iain Bate, Dimitar Kazakov |
| 2008 | CEC | New Directions in Worst-Case Execution Time analysis. | Iain Bate, Dimitar Kazakov |
| 2008 | ILP | Challenges in Relational Learning for Real-Time Systems Applications. | Mark Bartlett, Iain Bate, Dimitar Kazakov |
| 2008 | RTSS | Extending a Task Allocation Algorithm for Graceful Degradation of Real-Time Distributed Embedded Systems. | Paul Emberson, Iain Bate |
| 2008 | RTCSA | Utilising Application Flexibility in Energy Aware Computing. | Iain Bate |
| 2007 | CEC | Applying artificial immune systems to real-time embedded systems. | Nicholas Christopher Lay, Iain Bate |
| 2007 | RTAS | Minimising Task Migration and Priority Changes in Mode Transitions. | Paul Emberson, Iain Bate |
| 2006 | ETFA | Towards New Methods for Developing Real-Time Systems: Automatically Deriving Loop Bounds Using Machine Learning. | Dimitar Kazakov, Iain Bate |
| 2006 | RTAS | Incorporating Scenarios And Heuristics To Improve Flexibility In Real-Time Embedded Systems. | Iain Bate, Paul Emberson |
| 2005 | RTCSA | Dealing with Emergent Properties in Embedded Systems. | Iain Bate |
| 2005 | RTCSA | Efficient Integration of Bimodal Branch Prediction and Pipeline Analysis. | Iain Bate, Ralf Dieter Reutemann |
| 2004 | ECRTS | Worst-Case Execution Time Analysis for Dynamic Branch Predictors. | Iain Bate, Ralf Dieter Reutemann |
| 2003 | ECRTS | Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems. | Iain Bate, Peter Nightingale, Anton Cervin |
| 2002 | ISORC | Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis. | Iain Bate, Guillem Bernat, Peter P. Puschner |
| 2002 | SAFECOMP | Architectural Considerations in the Certification of Modular Systems. | Iain Bate, Tim Kelly |
| 2000 | RTCSA | Low-level analysis of a portable Java byte code WCET analysis framework. | Iain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner |
| 1999 | ECRTS | An approach to task attribute assignment for uniprocessor systems. | Iain Bate, Alan Burns |
| 1999 | RTCSA | A Framework for Scheduling in Safety-Critical Embedded Control Systems. | Iain Bate, Alan Burns |
| 1998 | ECRTS | Investigation of the pessimism in distributed systems timing analysis. | Iain Bate, Alan Burns |
| 1997 | ECRTS | Schedulability analysis of fixed priority real-time systems with offsets. | Iain Bate, Alan Burns |
| 1996 | ECRTS | Towards a Fixed Priority Scheduler for an Aircraft Application. | Iain Bate, Alan Burns, John A. McDermid, Andy Vickers |