Iain Bate

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 43

Top Venues

Publications

Sanjoy K. Baruah, Iain Bate, Alan Burns, Robert I. Davis
Optimal Synthesis of Fault-Tolerant IDK Cascades for Real-Time Classification. RTAS (2024)
Shuai Zhao, Xiaotian Dai, Benjamin Lesage, Iain Bate
Cache-Aware Allocation of Parallel Jobs on Multi-cores based on Learned Recency. RTNS (2023)
Tarek F. Abdelzaher, Sanjoy K. Baruah, Iain Bate, Alan Burns, Robert Ian Davis, Yigong Hu
Scheduling Classifiers for Real-Time Hazard Perception Considering Functional Uncertainty. RTNS (2023)
Benjamin Lesage, Xiaotian Dai, Shuai Zhao, Iain Bate
Reducing Loss of Service for Mixed-Criticality Systems through Cache- and Stress-Aware Scheduling. RTNS (2023)
Shuai Zhao, Xiaotian Dai, Iain Bate
DAG Scheduling and Analysis on Multi-Core Systems by Modelling Parallelism and Dependency. IEEE Trans. Parallel Distributed Syst. 33 (10) (2022)
Iain Bate, Alan Burns, Robert I. Davis
Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling. RTAS (2022)
Giuseppe Lipari, Iain Bate
Special issue on real-time scheduling on heterogeneous platforms. Real Time Syst. 58 (2) (2022)
Xiaotian Dai, Shuai Zhao, Benjamin Lesage, Iain Bate
Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems. ISoLA (4) (2022)
Robert Ian Davis, Iain Bate
Mixed Criticality on Multi-cores Accounting for Resource Stress and Resource Sensitivity. RTNS (2022)
Robert Ian Davis, Alan Burns, Iain Bate
Compensating Adaptive Mixed Criticality Scheduling. RTNS (2022)
Robert I. Davis, David Griffin, Iain Bate
A framework for multi-core schedulability analysis accounting for resource stress and sensitivity. Real Time Syst. 58 (4) (2022)
Xiaotian Dai, Shuai Zhao, Iain Bate, Alan Burns, Xing Guo, Wanli Chang
Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems - Requirements and Open Challenges. RTAS (2021)
Robert I. Davis, David Griffin, Iain Bate
Schedulability Analysis for Multi-Core Systems Accounting for Resource Stress and Sensitivity. ECRTS (2021)
Shuai Zhao, Zhe Jiang, Xiaotian Dai, Iain Bate, Ibrahim Habli, Wanli Chang
Timing-Accurate General-Purpose I/O for Multi- and Many-Core Systems: Scheduling and Hardware Support. DAC (2020)
James Orr, Johnny Condori Uribe, Christopher D. Gill, Sanjoy K. Baruah, Kunal Agrawal, Shirley Dyke, Arun Prakash, Iain Bate, Christopher Wong, Sabina Adhikari
Elastic Scheduling of Parallel Real-Time Tasks with Discrete Utilizations. RTNS (2020)
Shuai Zhao, Xiaotian Dai, Iain Bate, Alan Burns, Wanli Chang
DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency. RTSS (2020)
Xinwei Fang, Iain Bate, David Griffin
Are Neural Networks Really the Holy Grail? A Comparison of Multivariate Calibration for Low-Cost Environmental Sensors. SmartCity360° (2020)
Stephen Law, Iain Bate, Benjamin Lesage
Justifying the Service Provided to Low Criticality Tasks in a Mixed Criticality System. RTNS (2020)
David Griffin, Iain Bate, Robert I. Davis
Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests. RTSS (2020)
James Harbin, Alan Burns, Robert I. Davis, Leandro Soares Indrusiak, Iain Bate, David Griffin
The AirTight Protocol for Mixed Criticality Wireless CPS. ACM Trans. Cyber Phys. Syst. 4 (2) (2020)
Iain Bate, David Griffin, Benjamin Lesage
Establishing Confidence and Understanding Uncertainty in Real-Time Systems. RTNS (2020)
David Griffin, James Harbin, Alan Burns, Iain Bate, Robert I. Davis, Leandro Soares Indrusiak
Validating high level simulation results against experimental data and low level simulation: a case study. RTNS (2019)
Stephen Law, Iain Bate, Benjamin Lesage
Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems. ECRTS (2019)
Alan Burns, James Harbin, Leandro Soares Indrusiak, Iain Bate, Robert I. Davis, David Griffin
AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems. RTCSA (2018)
Robert I. Davis, Iain Bate, Guillem Bernat, Ian Broster, Alan Burns, Antoine Colin, Stuart Hutchesson, Nigel Tracey
Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies. ECRTS (2018)
Benjamin Lesage, Stephen Law, Iain Bate
TACO: An industrial case study of Test Automation for COverage. RTNS (2018)
Alan Burns, Robert I. Davis, Sanjoy K. Baruah, Iain Bate
Robust Mixed-Criticality Systems. IEEE Trans. Computers 67 (10) (2018)
David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis
Forecast-based interference: modelling multicore interference from observable factors. RTNS (2017)
Omar Tawffeeq Saleem Jaradat, Iain Bate
Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases. EDCC (2017)
Xinwei Fang, Iain Bate
Using Multi-parameters for Calibration of Low-cost Sensors in Urban Environment. EWSN (2017)
Gabor Makrai, Iain Bate
Signal Selection in a Complex Environmental Distributed Sensing Problem. DCOSS (2017)
Xinwei Fang, Iain Bate
Issues of using wireless sensor network to monitor urban air quality. FAILSAFE@SenSys (2017)
Florian Pölzlbauer, Robert I. Davis, Iain Bate
Analysis and optimization of message acceptance filter configurations for controller area network (CAN). RTNS (2017)
Samuel Jimenez Gil, Iain Bate, George Lima, Luca Santinelli, Adriana Gogonel, Liliana Cucu-Grosjean
Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time. IEEE Embed. Syst. Lett. 9 (3) (2017)
George Lima, Iain Bate
Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements. RTAS (2017)
Benjamin Lesage, David Griffin, Iain Bate, Frank Soboczenski
Exploring and Understanding Multicore Interference from Observable Factors. Automotive - Safety & Security (2017)
Iain Bate, Alan Burns, Robert I. Davis
An Enhanced Bailout Protocol for Mixed Criticality Embedded Software. IEEE Trans. Software Eng. 43 (4) (2017)
Stephen Law, Iain Bate
Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis. ECRTS (2016)
Florian Pölzlbauer, Robert I. Davis, Iain Bate
A Practical Message ID Assignment Policy for Controller Area Network that Maximizes Extensibility. RTNS (2016)
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 Hernández, Code Lo, Cristian Maxim, David Morales, Eduardo Quiñones, Enrico Mezzetti, Leonidas Kosmidis, Irune Agirre, Mikel Fernández, Mladen Slijepcevic, Philippa Conmy, Walid Talaboulma
PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis. DSD (2016)
TiongHoo Lim, Iain Bate, Jon Timmis
Competition: Multimodal Reactive-Routing Protocol to Tolerate Failure. EWSN (2016)
Lei Chen, Iain Bate
Identifying usage anomalies for ECG-based sensor nodes. BSN (2016)
Omar Jaradat, Iain Bate
Systematic Maintenance of Safety Cases to Reduce Risk. SAFECOMP Workshops (2016)
Omar Jaradat, Iain Bate, Sasikumar Punnekkat
Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases. Ada-Europe (2015)
Benjamin Lesage, David Griffin, Frank Soboczenski, Iain Bate, Robert I. Davis
A framework for the evaluation of measurement-based timing analyses. RTNS (2015)
Omar Jaradat, Iain Bate
Deriving Hierarchical Safety Contracts. PRDC (2015)
Irfan Sljivo, Omar Jaradat, Iain Bate, Patrick J. Graydon
Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems. HASE (2015)
Iain Bate, Alan Burns, Robert I. Davis
A Bailout Protocol for Mixed Criticality Systems. ECRTS (2015)
Mahnaz Malekzadeh, Iain Bate
Influential Nuisance Factors on a Decision of Sufficient Testing. ICA3PP (Workshops and Symposiums) (2015)
TiongHoo Lim, Iain Bate
An Opportunistic Transmission Protocol for Body Sensor Networks using RSSI and on-board accelerometer. ISSNIP (2015)
David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis
Modelling fault dependencies when execution time budgets are exceeded. RTNS (2015)
TiongHoo Lim, Iain Bate
Extending optimistic transmission protocol for other movement patterns. BSN (2015)
Mahnaz Malekzadeh, Iain Bate, Sasikumar Punnekkat
Using Design of Experiments to Optimise a Decision of Sufficient Testing. EUROMICRO-SEAA (2015)
Dorin Maxim, Frank Soboczenski, Iain Bate, Eduardo Tovar
Study of the reliability of statistical timing analysis for real-time systems. RTNS (2015)
Patrick J. Graydon, Iain Bate
Realistic Safety Cases for the Timing of Systems. Comput. J. 57 (5) (2014)
Philippa Conmy, Iain Bate
Assuring Safety for Component Based Software Engineering. HASE (2014)
Patrick J. Graydon, Iain Bate
The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward. PRDC (2014)
Andrew Burkimsher, Iain Bate, Leandro Soares Indrusiak
A characterisation of the workload on an engineering design grid. SpringSim (HPS) (2014)
TiongHoo Lim, Teng Weng, Iain Bate
Optimistic medium access control using gait anaysis in Body Sensor Networks. MobiHealth (2014)
Patrick J. Graydon, Iain Bate
On the Nature and Content of Safety Contracts. HASE (2014)
TiongHoo Lim, Iain Bate, Jonathan Timmis
A self-adaptive fault-tolerant systems for a dependable Wireless Sensor Networks. Des. Autom. Embed. Syst. 18 (3-4) (2014)
Mahnaz Malekzadeh, Iain Bate
Making an ALARP Decision of Sufficient Testing. HASE (2014)
Omar Jaradat, Patrick J. Graydon, Iain Bate
An Approach to Maintaining Safety Case Evidence After A System Change. CoRR (2014)
Hüseyin Aysan, Iain Bate, Patrick J. Graydon, Sasikumar Punnekkat
Improving Reliability of Real-Time Systems through Value and Time Voting. PRDC (2013)
Mark Louis Fairbairn, Iain Bate, John A. Stankovic
Improving the Dependability of Sensornets. DCOSS (2013)
Mark Louis Fairbairn, Iain Bate
Using Feedback Control within WSN's to meet Application Requirements. DCOSS (2013)
HuiKeng Lau, Iain Bate, Jon Timmis
Immune-Inspired Error Detection for Multiple Faulty Robots in Swarm Robotics. ECAL (2013)
Andrew Burkimsher, Iain Bate, Leandro Soares Indrusiak
A survey of scheduling metrics and an improved ordering policy for list schedulers operating on workloads with dependencies and a wide variation in execution times. Future Gener. Comput. Syst. 29 (8) (2013)
Iain Bate, Mark Louis Fairbairn
Searching for the minimum failures that can cause a hazard in a wireless sensor network. GECCO (2013)
Andrew Burkimsher, Iain Bate, Leandro Soares Indrusiak
Scheduling HPC Workflows for Responsiveness and Fairness with Networking Delays and Inaccurate Estimates of Execution Times. Euro-Par (2013)
Florian Pölzlbauer, Iain Bate, Eugen Brenner
On Extensible Networks for Embedded Systems. ECBS (2013)
Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat, Iain Bate
On voting strategies for loosely synchronized dependable real-time systems. SIES (2012)
Florian Pölzlbauer, Iain Bate, Eugen Brenner
Optimized Frame Packing for Embedded Systems. IEEE Embed. Syst. Lett. 4 (3) (2012)
Hashem Ali Ghazzawi, Iain Bate, Leandro Soares Indrusiak
A Control Theoretic Approach for Workflow Management. ICECCS (2012)
Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean
A Statistical Response-Time Analysis of Real-Time Embedded Systems. RTSS (2012)
TiongHoo Lim, HuiKeng Lau, Jon Timmis, Iain Bate
Immune-Inspired Self Healing in Wireless Sensor Networks. ICARIS (2012)
Florian Pölzlbauer, Iain Bate, Eugen Brenner
Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems. Ada-Europe (2012)
TiongHoo Lim, Iain Bate, Jon Timmis
Validation of performance data using experimental verification process in wireless sensor network. ETFA (2012)
Jonathan Tate, Benjamin Woolford-Lim, Iain Bate, Xin Yao
Evolutionary and Principled Search Strategies for Sensornet Protocol Optimization. IEEE Trans. Syst. Man Cybern. Part B 42 (1) (2012)
Guillermo Rodríguez-Navas, Patrick J. Graydon, Iain Bate
From Fault Injection to Mutant Injection: The Next Step for Safety Analysis? Haifa Verification Conference (2012)
Iain Bate, Hans Hansson, Sasikumar Punnekkat
Better, faster, cheaper, and safer too - Is this really possible? ETFA (2012)
Iain Bate, Simon M. Poulding
Editorial for the special issue on search-based software engineering. Softw. Pract. Exp. 41 (5) (2011)
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)
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)
Philippa Conmy, Iain Bate
Efficient Task Allocation to FPGAs in the Safety Critical Domain. PRDC (2011)
Jonathan Tate, Iain Bate
LIPS: A Protocol Suite for Homeostatic Sensornet Management. ICECCS (2011)
Sitsofe Wheeler, Iain Bate, Mark Bartlett
Video subset selection for measurement based Worst Case Execution Time analysis. SIES (2011)
Iain Bate, Yafeng Wu, John A. Stankovic
Developing Safe and Dependable Sensornets. EUROMICRO-SEAA (2011)
Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean
A new way about using statistical analysis of worst-case execution times. SIGBED Rev. 8 (3) (2011)
HuiKeng Lau, Iain Bate, Paul A. Cairns, Jon Timmis
Adaptive data-driven error detection in swarm robotics with statistical classifiers. Robotics Auton. Syst. 59 (12) (2011)
Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean
A trace-based statistical worst-case execution time analysis of component-based real-time embedded systems. ETFA (2011)
HuiKeng Lau, Jon Timmis, Iain Bate
Collective Self-detection Scheme for Adaptive Error Detection in a Foraging Swarm of Robots. ICARIS (2011)
Mark Bartlett, Iain Bate, James Cussens, Dimitar Kazakov
Probabilistic Instruction Cache Analysis Using Bayesian Networks. RTCSA (1) (2011)
Martin Drozda, Iain Bate, Jon Timmis
Bio-inspired Error Detection for Complex Systems. PRDC (2011)
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)
Iain Bate, Usman Khan
WCET analysis of modern processors using multi-criteria optimisation. Empir. Softw. Eng. 16 (1) (2011)
Mark Bartlett, Iain Bate, James Cussens
Learning Bayesian Networks for Improved Instruction Cache Analysis. ICMLA (2010)
Jonathan Tate, Iain Bate
Do Sensornet Protocol Variants Yield Real Benefits?. ECBS (2010)
Jonathan Tate, Iain Bate
A feedback-driven timing synchronisation protocol for cellular sensornets. MASS (2010)
Mark Bartlett, Iain Bate, Dimitar Kazakov
Accurate Determination of Loop Iterations for Worst-Case Execution Time Analysis. IEEE Trans. Computers 59 (11) (2010)

Iain Bate.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Iain Bate