![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Iain Bate
Person information
- affiliation: University of York, UK
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c125]Sanjoy K. Baruah, Iain Bate, Alan Burns, Robert I. Davis:
Optimal Synthesis of Fault-Tolerant IDK Cascades for Real-Time Classification. RTAS 2024: 29-41 - 2023
- [c124]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: 143-154 - [c123]Shuai Zhao
, Xiaotian Dai
, Benjamin Lesage
, Iain Bate
:
Cache-Aware Allocation of Parallel Jobs on Multi-cores based on Learned Recency. RTNS 2023: 177-187 - [c122]Benjamin Lesage
, Xiaotian Dai
, Shuai Zhao
, Iain Bate
:
Reducing Loss of Service for Mixed-Criticality Systems through Cache- and Stress-Aware Scheduling. RTNS 2023: 188-199 - 2022
- [j27]Giuseppe Lipari, Iain Bate:
Special issue on real-time scheduling on heterogeneous platforms. Real Time Syst. 58(2): 103-104 (2022) - [j26]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): 456-508 (2022) - [j25]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): 4019-4038 (2022) - [c121]Xiaotian Dai, Shuai Zhao, Benjamin Lesage, Iain Bate:
Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems. ISoLA (4) 2022: 37-53 - [c120]Iain Bate, Alan Burns, Robert I. Davis:
Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling. RTAS 2022: 187-200 - [c119]Robert Ian Davis, Alan Burns, Iain Bate:
Compensating Adaptive Mixed Criticality Scheduling. RTNS 2022: 81-93 - [c118]Robert Ian Davis, Iain Bate:
Mixed Criticality on Multi-cores Accounting for Resource Stress and Resource Sensitivity. RTNS 2022: 103-115 - 2021
- [c117]Robert I. Davis, David Griffin, Iain Bate:
Schedulability Analysis for Multi-Core Systems Accounting for Resource Stress and Sensitivity. ECRTS 2021: 7:1-7:26 - [c116]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: 481-484 - [e1]Audrey Queudet, Iain Bate, Giuseppe Lipari:
RTNS'2021: 29th International Conference on Real-Time Networks and Systems, Nantes, France, April 7-9, 2021. ACM 2021, ISBN 978-1-4503-9001-9 [contents] - 2020
- [j24]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): 19:1-19:28 (2020) - [c115]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: 1-6 - [c114]Iain Bate, David Griffin
, Benjamin Lesage:
Establishing Confidence and Understanding Uncertainty in Real-Time Systems. RTNS 2020: 67-77 - [c113]Stephen Law, Iain Bate, Benjamin Lesage:
Justifying the Service Provided to Low Criticality Tasks in a Mixed Criticality System. RTNS 2020: 100-110 - [c112]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: 117-127 - [c111]David Griffin, Iain Bate, Robert I. Davis:
Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests. RTSS 2020: 76-88 - [c110]Shuai Zhao, Xiaotian Dai, Iain Bate, Alan Burns, Wanli Chang:
DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency. RTSS 2020: 128-140 - [c109]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: 442-461
2010 – 2019
- 2019
- [c108]Stephen Law, Iain Bate, Benjamin Lesage:
Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems. ECRTS 2019: 8:1-8:22 - [c107]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: 30-40 - 2018
- [j23]Alan Burns
, Robert I. Davis
, Sanjoy K. Baruah
, Iain Bate:
Robust Mixed-Criticality Systems. IEEE Trans. Computers 67(10): 1478-1491 (2018) - [c106]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: 7:1-7:24 - [c105]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: 65-75 - [c104]Benjamin Lesage, Stephen Law, Iain Bate:
TACO: An industrial case study of Test Automation for COverage. RTNS 2018: 114-124 - 2017
- [j22]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): 69-72 (2017) - [j21]Iain Bate, Alan Burns, Robert I. Davis:
An Enhanced Bailout Protocol for Mixed Criticality Embedded Software. IEEE Trans. Software Eng. 43(4): 298-320 (2017) - [c103]Benjamin Lesage, David Griffin, Iain Bate, Frank Soboczenski:
Exploring and Understanding Multicore Interference from Observable Factors. Automotive - Safety & Security 2017: 75-88 - [c102]Gabor Makrai, Iain Bate:
Signal Selection in a Complex Environmental Distributed Sensing Problem. DCOSS 2017: 155-162 - [c101]Omar Tawffeeq Saleem Jaradat
, Iain Bate:
Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases. EDCC 2017: 95-102 - [c100]Xinwei Fang, Iain Bate:
Using Multi-parameters for Calibration of Low-cost Sensors in Urban Environment. EWSN 2017: 1-11 - [c99]George Lima, Iain Bate:
Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements. RTAS 2017: 187-198 - [c98]David Griffin
, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis:
Forecast-based interference: modelling multicore interference from observable factors. RTNS 2017: 198-207 - [c97]Florian Pölzlbauer, Robert I. Davis, Iain Bate:
Analysis and optimization of message acceptance filter configurations for controller area network (CAN). RTNS 2017: 247-256 - [c96]Xinwei Fang, Iain Bate:
Issues of using wireless sensor network to monitor urban air quality. FAILSAFE@SenSys 2017: 32-39 - 2016
- [c95]Lei Chen, Iain Bate:
Identifying usage anomalies for ECG-based sensor nodes. BSN 2016: 77-82 - [c94]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: 276-285 - [c93]Stephen Law, Iain Bate:
Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis. ECRTS 2016: 189-199 - [c92]TiongHoo Lim, Iain Bate, Jon Timmis:
Competition: Multimodal Reactive-Routing Protocol to Tolerate Failure. EWSN 2016: 305-306 - [c91]Florian Pölzlbauer, Robert I. Davis, Iain Bate:
A Practical Message ID Assignment Policy for Controller Area Network that Maximizes Extensibility. RTNS 2016: 45-54 - [c90]Omar Jaradat
, Iain Bate:
Systematic Maintenance of Safety Cases to Reduce Risk. SAFECOMP Workshops 2016: 17-29 - 2015
- [c89]Omar Jaradat
, Iain Bate, Sasikumar Punnekkat
:
Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases. Ada-Europe 2015: 162-176 - [c88]TiongHoo Lim, Iain Bate:
Extending optimistic transmission protocol for other movement patterns. BSN 2015: 1-6 - [c87]Iain Bate, Alan Burns, Robert I. Davis:
A Bailout Protocol for Mixed Criticality Systems. ECRTS 2015: 259-268 - [c86]Mahnaz Malekzadeh, Iain Bate, Sasikumar Punnekkat
:
Using Design of Experiments to Optimise a Decision of Sufficient Testing. EUROMICRO-SEAA 2015: 53-60 - [c85]Irfan Sljivo
, Omar Jaradat
, Iain Bate, Patrick J. Graydon:
Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems. HASE 2015: 126-133 - [c84]Mahnaz Malekzadeh, Iain Bate:
Influential Nuisance Factors on a Decision of Sufficient Testing. ICA3PP (Workshops and Symposiums) 2015: 819-828 - [c83]TiongHoo Lim, Iain Bate:
An Opportunistic Transmission Protocol for Body Sensor Networks using RSSI and on-board accelerometer. ISSNIP 2015: 1-6 - [c82]Omar Jaradat
, Iain Bate:
Deriving Hierarchical Safety Contracts. PRDC 2015: 119-128 - [c81]Benjamin Lesage, David Griffin
, Frank Soboczenski, Iain Bate, Robert I. Davis:
A framework for the evaluation of measurement-based timing analyses. RTNS 2015: 35-44 - [c80]Dorin Maxim, Frank Soboczenski, Iain Bate, Eduardo Tovar
:
Study of the reliability of statistical timing analysis for real-time systems. RTNS 2015: 55-64 - [c79]David Griffin
, Benjamin Lesage
, Iain Bate, Frank Soboczenski, Robert I. Davis:
Modelling fault dependencies when execution time budgets are exceeded. RTNS 2015: 65-74 - 2014
- [j20]Patrick J. Graydon, Iain Bate:
Realistic Safety Cases for the Timing of Systems. Comput. J. 57(5): 759-774 (2014) - [j19]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): 223-250 (2014) - [c78]Mahnaz Malekzadeh, Iain Bate:
Making an ALARP Decision of Sufficient Testing. HASE 2014: 57-64 - [c77]Philippa Conmy
, Iain Bate:
Assuring Safety for Component Based Software Engineering. HASE 2014: 121-128 - [c76]Patrick J. Graydon, Iain Bate:
On the Nature and Content of Safety Contracts. HASE 2014: 245-246 - [c75]TiongHoo Lim, Teng Weng, Iain Bate:
Optimistic medium access control using gait anaysis in Body Sensor Networks. MobiHealth 2014: 308-311 - [c74]Patrick J. Graydon, Iain Bate:
The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward. PRDC 2014: 135-144 - [c73]Andrew Burkimsher, Iain Bate, Leandro Soares Indrusiak:
A characterisation of the workload on an engineering design grid. SpringSim (HPS) 2014: 8 - [i1]Omar Jaradat, Patrick J. Graydon, Iain Bate:
An Approach to Maintaining Safety Case Evidence After A System Change. CoRR abs/1404.6846 (2014) - 2013
- [j18]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): 2009-2025 (2013) - [c72]Mark Louis Fairbairn, Iain Bate, John A. Stankovic:
Improving the Dependability of Sensornets. DCOSS 2013: 274-282 - [c71]Mark Louis Fairbairn, Iain Bate:
Using Feedback Control within WSN's to meet Application Requirements. DCOSS 2013: 415-422 - [c70]HuiKeng Lau, Iain Bate, Jon Timmis:
Immune-Inspired Error Detection for Multiple Faulty Robots in Swarm Robotics. ECAL 2013: 846-853 - [c69]Florian Pölzlbauer, Iain Bate, Eugen Brenner:
On Extensible Networks for Embedded Systems. ECBS 2013: 69-77 - [c68]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: 126-137 - [c67]Iain Bate, Mark Louis Fairbairn:
Searching for the minimum failures that can cause a hazard in a wireless sensor network. GECCO 2013: 1213-1220 - [c66]Hüseyin Aysan, Iain Bate, Patrick J. Graydon, Sasikumar Punnekkat
:
Improving Reliability of Real-Time Systems through Value and Time Voting. PRDC 2013: 21-30 - 2012
- [j17]Florian Pölzlbauer, Iain Bate, Eugen Brenner:
Optimized Frame Packing for Embedded Systems. IEEE Embed. Syst. Lett. 4(3): 65-68 (2012) - [j16]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): 163-180 (2012) - [c65]Florian Pölzlbauer, Iain Bate, Eugen Brenner:
Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems. Ada-Europe 2012: 207-220 - [c64]Iain Bate, Hans Hansson
, Sasikumar Punnekkat
:
Better, faster, cheaper, and safer too - Is this really possible? ETFA 2012: 1-4 - [c63]TiongHoo Lim, Iain Bate, Jon Timmis
:
Validation of performance data using experimental verification process in wireless sensor network. ETFA 2012: 1-8 - [c62]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: 276-277 - [c61]TiongHoo Lim, HuiKeng Lau
, Jon Timmis
, Iain Bate:
Immune-Inspired Self Healing in Wireless Sensor Networks. ICARIS 2012: 42-56 - [c60]Hashem Ali Ghazzawi, Iain Bate, Leandro Soares Indrusiak
:
A Control Theoretic Approach for Workflow Management. ICECCS 2012: 280-289 - [c59]Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean:
A Statistical Response-Time Analysis of Real-Time Embedded Systems. RTSS 2012: 351-362 - [c58]Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat
, Iain Bate:
On voting strategies for loosely synchronized dependable real-time systems. SIES 2012: 120-129 - 2011
- [j15]Iain Bate, Usman Khan:
WCET analysis of modern processors using multi-criteria optimisation. Empir. Softw. Eng. 16(1): 5-28 (2011) - [j14]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): 1021-1035 (2011) - [j13]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): 11-14 (2011) - [j12]Iain Bate, Simon M. Poulding:
Editorial for the special issue on search-based software engineering. Softw. Pract. Exp. 41(5): 467-468 (2011) - [c57]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: 1-4 - [c56]Iain Bate, Yafeng Wu, John A. Stankovic:
Developing Safe and Dependable Sensornets. EUROMICRO-SEAA 2011: 279-282 - [c55]HuiKeng Lau
, Jon Timmis
, Iain Bate:
Collective Self-detection Scheme for Adaptive Error Detection in a Foraging Swarm of Robots. ICARIS 2011: 254-267 - [c54]Jonathan Tate, Iain Bate:
LIPS: A Protocol Suite for Homeostatic Sensornet Management. ICECCS 2011: 263-272 - [c53]Philippa Conmy, Iain Bate:
Efficient Task Allocation to FPGAs in the Safety Critical Domain. PRDC 2011: 119-128 - [c52]Martin Drozda
, Iain Bate, Jon Timmis
:
Bio-inspired Error Detection for Complex Systems. PRDC 2011: 154-163 - [c51]Mark Bartlett
, Iain Bate, James Cussens
, Dimitar Kazakov:
Probabilistic Instruction Cache Analysis Using Bayesian Networks. RTCSA (1) 2011: 233-242 - [c50]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: 711-716 - [c49]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: 43-46 - [c48]Sitsofe Wheeler, Iain Bate, Mark Bartlett
:
Video subset selection for measurement based Worst Case Execution Time analysis. SIES 2011: 213-222 - [c47]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: 284-293 - 2010
- [j11]Jonathan Tate, Iain Bate:
Sensornet Protocol Tuning Using Principled Engineering Methods. Comput. J. 53(7): 991-1019 (2010) - [j10]Mark Bartlett, Iain Bate, Dimitar Kazakov:
Accurate Determination of Loop Iterations for Worst-Case Execution Time Analysis. IEEE Trans. Computers 59(11): 1520-1532 (2010) - [j9]Philippa Conmy
, Iain Bate:
Component-Based Safety Analysis of FPGAs. IEEE Trans. Ind. Informatics 6(2): 195-205 (2010) - [j8]Paul Emberson, Iain Bate:
Stressing Search with Scenarios for Flexible Solutions to Real-Time Task Allocation Problems. IEEE Trans. Software Eng. 36(5): 704-718 (2010) - [c46]Yue Lu, Thomas Nolte, Iain Bate, Christer Norström:
Timing Analyzing for Systems with Task Execution Dependencies. COMPSAC 2010: 515-524 - [c45]Mark Bartlett
, Iain Bate, James Cussens
:
Instruction Cache Prediction Using Bayesian Networks. ECAI 2010: 1099-1100 - [c44]Jonathan Tate, Iain Bate:
Do Sensornet Protocol Variants Yield Real Benefits?. ECBS 2010: 19-28 - [c43]Jonathan Tate, Iain Bate:
Maintaining Stable Node Populations in Long-Lifetime Sensornets. ICECCS 2010: 159-168 - [c42]Mark Bartlett
, Iain Bate, James Cussens
:
Learning Bayesian Networks for Improved Instruction Cache Analysis. ICMLA 2010: 417-423 - [c41]Jonathan Tate, Iain Bate:
A feedback-driven timing synchronisation protocol for cellular sensornets. MASS 2010: 482-491 - [c40]Yue Lu, Thomas Nolte, Iain Bate:
Timing analyzing for systems with execution dependencies between tasks. SAC 2010: 357-358
2000 – 2009
- 2009
- [c39]Jonathan Tate, Iain Bate:
Understanding Behavioural Tradeoffs in Large-Scale Sensornet Design. AINA Workshops 2009: 1085-1091 - [c38]Jonathan Tate, Benjamin Woolford-Lim, Iain Bate, Xin Yao
:
Comparing design of experiments and evolutionary approaches to multi-objective optimisation of sensornet protocols. IEEE Congress on Evolutionary Computation 2009: 1137-1144 - [c37]HuiKeng Lau
, Jon Timmis
, Iain Bate:
Anomaly detection inspired by immune network theory: A proposal. IEEE Congress on Evolutionary Computation 2009: 3045-3051 - [c36]Philippa Conmy, Iain Bate:
Semi-Automated Safety Analysis for Field Programmable Gate Arrays. ECBS 2009: 166-175 - [c35]Jonathan Tate, Iain Bate:
Tuning Complex Sensornet Systems Using Principled Engineering Methods. ECBS 2009: 275-284 - [c34]HuiKeng Lau
, Iain Bate, Jon Timmis
:
An Immuno-engineering Approach for Anomaly Detection in Swarm Robotics. ICARIS 2009: 136-150 - [c33]Jonathan Tate, Iain Bate:
Energy Efficient Duty Allocation Protocols for Wireless Sensor Networks. ICECCS 2009: 58-67 - [c32]Jonathan Tate, Iain Bate:
An Improved Lightweight Synchronisation Primitive For Sensornets. MASS 2009: 448-457 - [c31]Mark Bartlett
, Iain Bate, Dimitar Kazakov:
Guaranteed Loop Bound Identification from Program Traces for WCET. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 287-294 - [c30]Iain Bate, Philippa Conmy:
Certification of FPGAs - Current Issues and Possible Solutions. SSS 2009: 149-165 - 2008
- [j7]Nicholas Christopher Lay, Iain Bate:
Improving the reliability of real-time embedded systems using innate immune techniques. Evol. Intell. 1(2): 113-132 (2008) - [j6]Iain Bate:
Systematic approaches to understanding and evaluating design trade-offs. J. Syst. Softw. 81(8): 1253-1271 (2008) - [c29]Iain Bate, Dimitar Kazakov:
New Directions in Worst-Case Execution Time analysis. IEEE Congress on Evolutionary Computation 2008: 3545-3552 - [c28]Mark Bartlett
, Iain Bate, Dimitar Kazakov:
Challenges in Relational Learning for Real-Time Systems Applications. ILP 2008: 42-58 - [c27]Iain Bate:
Utilising Application Flexibility in Energy Aware Computing. RTCSA 2008: 285-290 - [c26]Paul Emberson, Iain Bate:
Extending a Task Allocation Algorithm for Graceful Degradation of Real-Time Distributed Embedded Systems. RTSS 2008: 270-279 - [c25]Jonathan Tate, Iain Bate:
YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation. CPA 2008: 411-430 - 2007
- [c24]Nicholas Christopher Lay, Iain Bate:
Applying artificial immune systems to real-time embedded systems. IEEE Congress on Evolutionary Computation 2007: 3743-3750 - [c23]Simon M. Poulding, Paul Emberson, Iain Bate, John A. Clark:
An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms. HASE 2007: 53-62 - [c22]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
- [c21]Dimitar Kazakov, Iain Bate:
Towards New Methods for Developing Real-Time Systems: Automatically Deriving Loop Bounds Using Machine Learning. ETFA 2006: 421-428 - [c20]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
- [c19]Iain Bate, Philippa Conmy:
Safe Composition of Real Time Software. HASE 2005: 79-88 - [c18]Iain Bate, Ralf Dieter Reutemann:
Efficient Integration of Bimodal Branch Prediction and Pipeline Analysis. RTCSA 2005: 39-44 - [c17]Iain Bate:
Dealing with Emergent Properties in Embedded Systems. RTCSA 2005: 63-66 - 2004
- [c16]Iain Bate, Ralf Dieter Reutemann:
Worst-Case Execution Time Analysis for Dynamic Branch Predictors. ECRTS 2004: 215-222 - [c15]Iain Bate, Neil C. Audsley:
Flexible Design of Complex High-Integrity Systems Using Trade Offs. HASE 2004: 22-31 - [c14]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
- [j5]Iain Bate, John A. McDermid
, Peter Nightingale:
Establishing timing requirements for control loops in real-time systems. Microprocess. Microsystems 27(4): 159-169 (2003) - [j4]Iain Bate, Tim Kelly:
Architectural considerations in the certification of modular systems. Reliab. Eng. Syst. Saf. 81(3): 303-324 (2003) - [j3]Iain Bate, Alan Burns:
An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems. Real Time Syst. 25(1): 5-37 (2003) - [c13]Iain Bate, Peter Nightingale, Anton Cervin
:
Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems. ECRTS 2003: 121- - [c12]Iain Bate, Richard Hawkins, John A. McDermid:
A Contract-based Approach to Designing Safe Systems. SCS 2003: 25-36 - 2002
- [c11]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 - [c10]Iain Bate, Tim Kelly:
Architectural Considerations in the Certification of Modular Systems. SAFECOMP 2002: 321-333 - 2001
- [j2]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
- [c9]Iain Bate, Philippa Conmy, John A. McDermid:
Generating evidence for certification of modern processors for use in safety-critical systems. HASE 2000: 125-134 - [c8]Iain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner
:
Low-level analysis of a portable Java byte code WCET analysis framework. RTCSA 2000: 39-
1990 – 1999
- 1999
- [b1]Iain John Bate:
Scheduling and timing analysis for safety critical real-time systems. University of York, UK, 1999 - [j1]I. J. Bate, Alan Burns:
Editorial real-time systems - multidisciplinary engineering [Editorial]. IEE Proc. Softw. 146(2): 57 (1999) - [c7]Iain Bate, Alan Burns:
An approach to task attribute assignment for uniprocessor systems. ECRTS 1999: 46-53 - [c6]Iain Bate, Alan Burns:
A Framework for Scheduling in Safety-Critical Embedded Control Systems. RTCSA 1999: 46-53 - [c5]Neil C. Audsley, I. J. Bate, Alan Grigg:
Portable Code for Complex Critical Systems . RTCSA 1999: 111- - 1998
- [c4]Iain Bate, Alan Burns:
Investigation of the pessimism in distributed systems timing analysis. ECRTS 1998: 107-114 - 1997
- [c3]Iain Bate, Alan Burns:
Schedulability analysis of fixed priority real-time systems with offsets. RTS 1997: 153-160 - 1996
- [c2]Iain Bate, Alan Burns, John A. McDermid, Andy Vickers:
Towards a Fixed Priority Scheduler for an Aircraft Application. RTS 1996: 34-40 - [c1]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
Coauthor Index
aka: Robert Ian Davis
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-02 21:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint