Iain Bate

Orcid: 0000-0003-2415-8219

Affiliations:
  • University of York, UK


According to our database1, Iain Bate authored at least 153 papers between 1996 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Optimal Synthesis of Fault-Tolerant IDK Cascades for Real-Time Classification.
Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium, 2024

2023
Reducing Loss of Service for Mixed-Criticality Systems through Cache- and Stress-Aware Scheduling.
Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023

Scheduling Classifiers for Real-Time Hazard Perception Considering Functional Uncertainty.
Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023

Cache-Aware Allocation of Parallel Jobs on Multi-cores based on Learned Recency.
Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023

2022
DAG Scheduling and Analysis on Multi-Core Systems by Modelling Parallelism and Dependency.
IEEE Trans. Parallel Distributed Syst., 2022

Special issue on real-time scheduling on heterogeneous platforms.
Real Time Syst., 2022

A framework for multi-core schedulability analysis accounting for resource stress and sensitivity.
Real Time Syst., 2022

Mixed Criticality on Multi-cores Accounting for Resource Stress and Resource Sensitivity.
Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

Compensating Adaptive Mixed Criticality Scheduling.
Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling.
Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

2021
Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems - Requirements and Open Challenges.
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

Schedulability Analysis for Multi-Core Systems Accounting for Resource Stress and Sensitivity.
Proceedings of the 33rd Euromicro Conference on Real-Time Systems, 2021

2020
The AirTight Protocol for Mixed Criticality Wireless CPS.
ACM Trans. Cyber Phys. Syst., 2020

Are Neural Networks Really the Holy Grail? A Comparison of Multivariate Calibration for Low-Cost Environmental Sensors.
Proceedings of the Science and Technologies for Smart Cities, 2020

Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

Elastic Scheduling of Parallel Real-Time Tasks with Discrete Utilizations.
Proceedings of the 28th International Conference on Real Time Networks and Systems, 2020

Justifying the Service Provided to Low Criticality Tasks in a Mixed Criticality System.
Proceedings of the 28th International Conference on Real Time Networks and Systems, 2020

Establishing Confidence and Understanding Uncertainty in Real-Time Systems.
Proceedings of the 28th International Conference on Real Time Networks and Systems, 2020

Timing-Accurate General-Purpose I/O for Multi- and Many-Core Systems: Scheduling and Hardware Support.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019
Validating high level simulation results against experimental data and low level simulation: a case study.
Proceedings of the 27th International Conference on Real-Time Networks and Systems, 2019

Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems.
Proceedings of the 31st Euromicro Conference on Real-Time Systems, 2019

2018
Robust Mixed-Criticality Systems.
IEEE Trans. Computers, 2018

TACO: An industrial case study of Test Automation for COverage.
Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018

AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems.
Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies.
Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018

2017
An Enhanced Bailout Protocol for Mixed Criticality Embedded Software.
IEEE Trans. Software Eng., 2017

Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time.
IEEE Embed. Syst. Lett., 2017

Issues of using wireless sensor network to monitor urban air quality.
Proceedings of the First ACM International Workshop on the Engineering of Reliable, 2017

Analysis and optimization of message acceptance filter configurations for controller area network (CAN).
Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

Forecast-based interference: modelling multicore interference from observable factors.
Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements.
Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

Using Multi-parameters for Calibration of Low-cost Sensors in Urban Environment.
Proceedings of the 2017 International Conference on Embedded Wireless Systems and Networks, 2017

Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases.
Proceedings of the 13th European Dependable Computing Conference, 2017

Signal Selection in a Complex Environmental Distributed Sensing Problem.
Proceedings of the 13th International Conference on Distributed Computing in Sensor Systems, 2017

Exploring and Understanding Multicore Interference from Observable Factors.
Proceedings of the Automotive - Safety & Security 2017, 2017

2016
Systematic Maintenance of Safety Cases to Reduce Risk.
Proceedings of the Computer Safety, Reliability, and Security, 2016

A Practical Message ID Assignment Policy for Controller Area Network that Maximizes Extensibility.
Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

Competition: Multimodal Reactive-Routing Protocol to Tolerate Failure.
Proceedings of the International Conference on Embedded Wireless Systems and Networks, 2016

Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis.
Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016


Identifying usage anomalies for ECG-based sensor nodes.
Proceedings of the 13th IEEE International Conference on Wearable and Implantable Body Sensor Networks, 2016

2015
Study of the reliability of statistical timing analysis for real-time systems.
Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

A framework for the evaluation of measurement-based timing analyses.
Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

Modelling fault dependencies when execution time budgets are exceeded.
Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

Deriving Hierarchical Safety Contracts.
Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

An Opportunistic Transmission Protocol for Body Sensor Networks using RSSI and on-board accelerometer.
Proceedings of the Tenth IEEE International Conference on Intelligent Sensors, 2015

Influential Nuisance Factors on a Decision of Sufficient Testing.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Using Design of Experiments to Optimise a Decision of Sufficient Testing.
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

A Bailout Protocol for Mixed Criticality Systems.
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

Extending optimistic transmission protocol for other movement patterns.
Proceedings of the 12th IEEE International Conference on Wearable and Implantable Body Sensor Networks, 2015

Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases.
Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

2014
A self-adaptive fault-tolerant systems for a dependable Wireless Sensor Networks.
Des. Autom. Embed. Syst., 2014

An Approach to Maintaining Safety Case Evidence After A System Change.
CoRR, 2014

Realistic Safety Cases for the Timing of Systems.
Comput. J., 2014

A characterisation of the workload on an engineering design grid.
Proceedings of the 2014 Spring Simulation Multiconference, 2014

The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward.
Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

Optimistic medium access control using gait anaysis in Body Sensor Networks.
Proceedings of the 4th International Conference on Wireless Mobile Communication and Healthcare: "Transforming healthcare through innovations in mobile and wireless technologies", 2014

Making an ALARP Decision of Sufficient Testing.
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

On the Nature and Content of Safety Contracts.
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

Assuring Safety for Component Based Software Engineering.
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013
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., 2013

Improving Reliability of Real-Time Systems through Value and Time Voting.
Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

Searching for the minimum failures that can cause a hazard in a wireless sensor network.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013

Scheduling HPC Workflows for Responsiveness and Fairness with Networking Delays and Inaccurate Estimates of Execution Times.
Proceedings of the Euro-Par 2013 Parallel Processing, 2013

On Extensible Networks for Embedded Systems.
Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

Immune-Inspired Error Detection for Multiple Faulty Robots in Swarm Robotics.
Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, 2013

Improving the Dependability of Sensornets.
Proceedings of the IEEE International Conference on Distributed Computing in Sensor Systems, 2013

Using Feedback Control within WSN's to meet Application Requirements.
Proceedings of the IEEE International Conference on Distributed Computing in Sensor Systems, 2013

2012
Evolutionary and Principled Search Strategies for Sensornet Protocol Optimization.
IEEE Trans. Syst. Man Cybern. Part B, 2012

Optimized Frame Packing for Embedded Systems.
IEEE Embed. Syst. Lett., 2012

On voting strategies for loosely synchronized dependable real-time systems.
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

A Statistical Response-Time Analysis of Real-Time Embedded Systems.
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

A Control Theoretic Approach for Workflow Management.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Immune-Inspired Self Healing in Wireless Sensor Networks.
Proceedings of the Artificial Immune Systems - 11th International Conference, 2012

From Fault Injection to Mutant Injection: The Next Step for Safety Analysis?
Proceedings of the Hardware and Software: Verification and Testing, 2012

Validation of performance data using experimental verification process in wireless sensor network.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Better, faster, cheaper, and safer too - Is this really possible?
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems.
Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

2011
Editorial for the special issue on search-based software engineering.
Softw. Pract. Exp., 2011

A new way about using statistical analysis of worst-case execution times.
SIGBED Rev., 2011

Adaptive data-driven error detection in swarm robotics with statistical classifiers.
Robotics Auton. Syst., 2011

WCET analysis of modern processors using multi-criteria optimisation.
Empir. Softw. Eng., 2011

Video subset selection for measurement based Worst Case Execution Time analysis.
Proceedings of the Industrial Embedded Systems (SIES), 2011

Assessment of trace-differences in timing analysis for Complex Real-Time Embedded Systems.
Proceedings of the Industrial Embedded Systems (SIES), 2011

A statistical response-time analysis of complex real-time embedded systems by using timing traces.
Proceedings of the Industrial Embedded Systems (SIES), 2011

A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Probabilistic Instruction Cache Analysis Using Bayesian Networks.
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011

Bio-inspired Error Detection for Complex Systems.
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

Efficient Task Allocation to FPGAs in the Safety Critical Domain.
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

LIPS: A Protocol Suite for Homeostatic Sensornet Management.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Collective Self-detection Scheme for Adaptive Error Detection in a Foraging Swarm of Robots.
Proceedings of the Artificial Immune Systems - 10th International Conference, 2011

Developing Safe and Dependable Sensornets.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

A trace-based statistical worst-case execution time analysis of component-based real-time embedded systems.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010
Stressing Search with Scenarios for Flexible Solutions to Real-Time Task Allocation Problems.
IEEE Trans. Software Eng., 2010

Component-Based Safety Analysis of FPGAs.
IEEE Trans. Ind. Informatics, 2010

Accurate Determination of Loop Iterations for Worst-Case Execution Time Analysis.
IEEE Trans. Computers, 2010

Sensornet Protocol Tuning Using Principled Engineering Methods.
Comput. J., 2010

Timing analyzing for systems with execution dependencies between tasks.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A feedback-driven timing synchronisation protocol for cellular sensornets.
Proceedings of the IEEE 7th International Conference on Mobile Adhoc and Sensor Systems, 2010

Learning Bayesian Networks for Improved Instruction Cache Analysis.
Proceedings of the Ninth International Conference on Machine Learning and Applications, 2010

Maintaining Stable Node Populations in Long-Lifetime Sensornets.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Do Sensornet Protocol Variants Yield Real Benefits?.
Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

Instruction Cache Prediction Using Bayesian Networks.
Proceedings of the ECAI 2010, 2010

Timing Analyzing for Systems with Task Execution Dependencies.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

2009
Certification of FPGAs - Current Issues and Possible Solutions.
Proceedings of the Safety-Critical Systems: Problems, Process and Practice, 2009

Guaranteed Loop Bound Identification from Program Traces for WCET.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

An Improved Lightweight Synchronisation Primitive For Sensornets.
Proceedings of the IEEE 6th International Conference on Mobile Adhoc and Sensor Systems, 2009

Energy Efficient Duty Allocation Protocols for Wireless Sensor Networks.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

An Immuno-engineering Approach for Anomaly Detection in Swarm Robotics.
Proceedings of the Artificial Immune Systems, 8th International Conference, 2009

Tuning Complex Sensornet Systems Using Principled Engineering Methods.
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

Semi-Automated Safety Analysis for Field Programmable Gate Arrays.
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

Comparing design of experiments and evolutionary approaches to multi-objective optimisation of sensornet protocols.
Proceedings of the IEEE Congress on Evolutionary Computation, 2009

Anomaly detection inspired by immune network theory: A proposal.
Proceedings of the IEEE Congress on Evolutionary Computation, 2009

Understanding Behavioural Tradeoffs in Large-Scale Sensornet Design.
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008
Systematic approaches to understanding and evaluating design trade-offs.
J. Syst. Softw., 2008

Improving the reliability of real-time embedded systems using innate immune techniques.
Evol. Intell., 2008

YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation.
Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

Extending a Task Allocation Algorithm for Graceful Degradation of Real-Time Distributed Embedded Systems.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Utilising Application Flexibility in Energy Aware Computing.
Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

Challenges in Relational Learning for Real-Time Systems Applications.
Proceedings of the Inductive Logic Programming, 18th International Conference, 2008

New Directions in Worst-Case Execution Time analysis.
Proceedings of the IEEE Congress on Evolutionary Computation, 2008

2007
Minimising Task Migration and Priority Changes in Mode Transitions.
Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007

An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Applying artificial immune systems to real-time embedded systems.
Proceedings of the IEEE Congress on Evolutionary Computation, 2007

2006
Incorporating Scenarios And Heuristics To Improve Flexibility In Real-Time Embedded Systems.
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Towards New Methods for Developing Real-Time Systems: Automatically Deriving Loop Bounds Using Machine Learning.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2005
Efficient Integration of Bimodal Branch Prediction and Pipeline Analysis.
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

Dealing with Emergent Properties in Embedded Systems.
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

Safe Composition of Real Time Software.
Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

2004
Improving certification capability through automatic code generation.
Proceedings of the Building the Information Society, 2004

Flexible Design of Complex High-Integrity Systems Using Trade Offs.
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

Worst-Case Execution Time Analysis for Dynamic Branch Predictors.
Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004

2003
An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems.
Real Time Syst., 2003

Architectural considerations in the certification of modular systems.
Reliab. Eng. Syst. Saf., 2003

Establishing timing requirements for control loops in real-time systems.
Microprocess. Microsystems, 2003

A Contract-based Approach to Designing Safe Systems.
Proceedings of the Safety Critical Systems and Software 2003, 2003

Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems.
Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

2002
Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis.
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

2001
Use of Modern Processors in Safety-Critical Applications.
Comput. J., 2001

2000
Low-level analysis of a portable Java byte code WCET analysis framework.
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

Generating evidence for certification of modern processors for use in safety-critical systems.
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

1999
Scheduling and timing analysis for safety critical real-time systems.
PhD thesis, 1999

Editorial real-time systems - multidisciplinary engineering [Editorial].
IEE Proc. Softw., 1999

A Framework for Scheduling in Safety-Critical Embedded Control Systems.
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

Portable Code for Complex Critical Systems .
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

An approach to task attribute assignment for uniprocessor systems.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1998
Investigation of the pessimism in distributed systems timing analysis.
Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

1997
Schedulability analysis of fixed priority real-time systems with offsets.
Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

1996
Putting fixed priority scheduling theory into engineering practice for safety critical applications.
Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996

Towards a Fixed Priority Scheduler for an Aircraft Application.
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996


  Loading...