Iain Bate - RankMe

154 papers A* 1A 13B 33C 14Misc 22Journal 29Unranked 42

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Hybrid Approach to Refine WCRT Bounds for DAG Scheduling Using Anomaly Classification. IEEE Trans. Computers Nan Chen, Xiaotian Dai, Alan Burns, Iain Bate
2025	A	`conf`	LEFT-RS: A Lock-Free Fault-Tolerant Resource Sharing Protocol for Multicore Real-Time Systems. RTSS Nan Chen, Xiaotian Dai, Tong Cheng, Alan Burns, Iain Bate, Shuai Zhao
2025	J	`jnl`	LEFT-RS: A Lock-Free Fault-Tolerant Resource Sharing Protocol for Multicore Real-Time Systems. CoRR Nan Chen, Xiaotian Dai, Tong Cheng, Alan Burns, Iain Bate, Shuai Zhao
2024	A	`conf`	Optimal Synthesis of Fault-Tolerant IDK Cascades for Real-Time Classification. RTAS Sanjoy K. Baruah, Iain Bate, Alan Burns, Robert I. Davis
2023	Misc	`conf`	Cache-Aware Allocation of Parallel Jobs on Multi-cores based on Learned Recency. RTNS Shuai Zhao, Xiaotian Dai, Benjamin Lesage, Iain Bate
2023	Misc	`conf`	Reducing Loss of Service for Mixed-Criticality Systems through Cache- and Stress-Aware Scheduling. RTNS Benjamin Lesage, Xiaotian Dai, Shuai Zhao, Iain Bate
2023	Misc	`conf`	Scheduling Classifiers for Real-Time Hazard Perception Considering Functional Uncertainty. RTNS Tarek F. Abdelzaher, Sanjoy K. Baruah, Iain Bate, Alan Burns, Robert Ian Davis, Yigong Hu
2022	J	`jnl`	A framework for multi-core schedulability analysis accounting for resource stress and sensitivity. Real Time Syst. Robert I. Davis, David Griffin, Iain Bate
2022	A	`conf`	Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling. RTAS Iain Bate, Alan Burns, Robert I. Davis
2022	Misc	`conf`	Compensating Adaptive Mixed Criticality Scheduling. RTNS Robert Ian Davis, Alan Burns, Iain Bate
2022	J	`jnl`	DAG Scheduling and Analysis on Multi-Core Systems by Modelling Parallelism and Dependency. IEEE Trans. Parallel Distributed Syst. Shuai Zhao, Xiaotian Dai, Iain Bate
2022	Misc	`conf`	Mixed Criticality on Multi-cores Accounting for Resource Stress and Resource Sensitivity. RTNS Robert Ian Davis, Iain Bate
2022	J	`jnl`	Special issue on real-time scheduling on heterogeneous platforms. Real Time Syst. Giuseppe Lipari, Iain Bate
2022	—	`conf`	Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems. ISoLA (4) Xiaotian Dai, Shuai Zhao, Benjamin Lesage, Iain Bate
2021	A	`conf`	Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems - Requirements and Open Challenges. RTAS Xiaotian Dai, Shuai Zhao, Iain Bate, Alan Burns, Xing Guo, Wanli Chang
2021	Misc	`ed.`	RTNS'2021: 29th International Conference on Real-Time Networks and Systems, Nantes, France, April 7-9, 2021 RTNS Audrey Queudet, Iain Bate, Giuseppe Lipari
2021	B	`conf`	Schedulability Analysis for Multi-Core Systems Accounting for Resource Stress and Sensitivity. ECRTS Robert I. Davis, David Griffin, Iain Bate
2020	—	`conf`	Are Neural Networks Really the Holy Grail? A Comparison of Multivariate Calibration for Low-Cost Environmental Sensors. SmartCity360° Xinwei Fang, Iain Bate, David Griffin
2020	A	`conf`	DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency. RTSS Shuai Zhao, Xiaotian Dai, Iain Bate, Alan Burns, Wanli Chang
2020	Misc	`conf`	Elastic Scheduling of Parallel Real-Time Tasks with Discrete Utilizations. RTNS James Orr, Johnny Condori Uribe, Christopher D. Gill, Sanjoy K. Baruah, Kunal Agrawal, Shirley Dyke, Arun Prakash, Iain Bate, Christopher Wong, Sabina Adhikari
2020	Misc	`conf`	Establishing Confidence and Understanding Uncertainty in Real-Time Systems. RTNS Iain Bate, David Griffin, Benjamin Lesage
2020	A	`conf`	Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests. RTSS David Griffin, Iain Bate, Robert I. Davis
2020	Misc	`conf`	Justifying the Service Provided to Low Criticality Tasks in a Mixed Criticality System. RTNS Stephen Law, Iain Bate, Benjamin Lesage
2020	J	`jnl`	The AirTight Protocol for Mixed Criticality Wireless CPS. ACM Trans. Cyber Phys. Syst. James Harbin, Alan Burns, Robert I. Davis, Leandro Soares Indrusiak, Iain Bate, David Griffin
2020	A*	`conf`	Timing-Accurate General-Purpose I/O for Multi- and Many-Core Systems: Scheduling and Hardware Support. DAC Shuai Zhao, Zhe Jiang, Xiaotian Dai, Iain Bate, Ibrahim Habli, Wanli Chang
2019	B	`conf`	Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems. ECRTS Stephen Law, Iain Bate, Benjamin Lesage
2019	Misc	`conf`	Validating high level simulation results against experimental data and low level simulation: a case study. RTNS David Griffin, James Harbin, Alan Burns, Iain Bate, Robert I. Davis, Leandro Soares Indrusiak
2018	B	`conf`	AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems. RTCSA Alan Burns, James Harbin, Leandro Soares Indrusiak, Iain Bate, Robert I. Davis, David Griffin
2018	J	`jnl`	Robust Mixed-Criticality Systems. IEEE Trans. Computers Alan Burns, Robert I. Davis, Sanjoy K. Baruah, Iain Bate
2018	Misc	`conf`	TACO: An industrial case study of Test Automation for COverage. RTNS Benjamin Lesage, Stephen Law, Iain Bate
2018	B	`conf`	Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies. ECRTS Robert I. Davis, Iain Bate, Guillem Bernat, Ian Broster, Alan Burns, Antoine Colin, Stuart Hutchesson, Nigel Tracey
2017	J	`jnl`	An Enhanced Bailout Protocol for Mixed Criticality Embedded Software. IEEE Trans. Software Eng. Iain Bate, Alan Burns, Robert I. Davis
2017	Misc	`conf`	Analysis and optimization of message acceptance filter configurations for controller area network (CAN). RTNS Florian Pölzlbauer, Robert I. Davis, Iain Bate
2017	—	`conf`	Exploring and Understanding Multicore Interference from Observable Factors. Automotive - Safety & Security Benjamin Lesage, David Griffin, Iain Bate, Frank Soboczenski
2017	Misc	`conf`	Forecast-based interference: modelling multicore interference from observable factors. RTNS David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis
2017	—	`conf`	Issues of using wireless sensor network to monitor urban air quality. FAILSAFE@SenSys Xinwei Fang, Iain Bate
2017	J	`jnl`	Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time. IEEE Embed. Syst. Lett. Samuel Jimenez Gil, Iain Bate, George Lima, Luca Santinelli, Adriana Gogonel, Liliana Cucu-Grosjean
2017	B	`conf`	Signal Selection in a Complex Environmental Distributed Sensing Problem. DCOSS Gabor Makrai, Iain Bate
2017	B	`conf`	Using Multi-parameters for Calibration of Low-cost Sensors in Urban Environment. EWSN Xinwei Fang, Iain Bate
2017	Misc	`conf`	Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases. EDCC Omar Tawffeeq Saleem Jaradat, Iain Bate
2017	A	`conf`	Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements. RTAS George Lima, Iain Bate
2016	Misc	`conf`	A Practical Message ID Assignment Policy for Controller Area Network that Maximizes Extensibility. RTNS Florian Pölzlbauer, Robert I. Davis, Iain Bate
2016	B	`conf`	Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis. ECRTS Stephen Law, Iain Bate
2016	B	`conf`	Competition: Multimodal Reactive-Routing Protocol to Tolerate Failure. EWSN TiongHoo Lim, Iain Bate, Jon Timmis
2016	C	`conf`	Identifying usage anomalies for ECG-based sensor nodes. BSN Lei Chen, Iain Bate
2016	C	`conf`	PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis. DSD 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
2016	—	`conf`	Systematic Maintenance of Safety Cases to Reduce Risk. SAFECOMP Workshops Omar Jaradat, Iain Bate
2015	B	`conf`	A Bailout Protocol for Mixed Criticality Systems. ECRTS Iain Bate, Alan Burns, Robert I. Davis
2015	Misc	`conf`	A framework for the evaluation of measurement-based timing analyses. RTNS Benjamin Lesage, David Griffin, Frank Soboczenski, Iain Bate, Robert I. Davis
2015	—	`conf`	An Opportunistic Transmission Protocol for Body Sensor Networks using RSSI and on-board accelerometer. ISSNIP TiongHoo Lim, Iain Bate
2015	C	`conf`	Deriving Hierarchical Safety Contracts. PRDC Omar Jaradat, Iain Bate
2015	—	`conf`	Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems. HASE Irfan Sljivo, Omar Jaradat, Iain Bate, Patrick J. Graydon
2015	C	`conf`	Extending optimistic transmission protocol for other movement patterns. BSN TiongHoo Lim, Iain Bate
2015	—	`conf`	Influential Nuisance Factors on a Decision of Sufficient Testing. ICA3PP (Workshops and Symposiums) Mahnaz Malekzadeh, Iain Bate
2015	Misc	`conf`	Modelling fault dependencies when execution time budgets are exceeded. RTNS David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis
2015	Misc	`conf`	Study of the reliability of statistical timing analysis for real-time systems. RTNS Dorin Maxim, Frank Soboczenski, Iain Bate, Eduardo Tovar
2015	—	`conf`	Using Design of Experiments to Optimise a Decision of Sufficient Testing. EUROMICRO-SEAA Mahnaz Malekzadeh, Iain Bate, Sasikumar Punnekkat
2015	Misc	`conf`	Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases. Ada-Europe Omar Jaradat, Iain Bate, Sasikumar Punnekkat
2014	—	`conf`	A characterisation of the workload on an engineering design grid. SpringSim (HPS) Andrew Burkimsher, Iain Bate, Leandro Soares Indrusiak
2014	J	`jnl`	A self-adaptive fault-tolerant systems for a dependable Wireless Sensor Networks. Des. Autom. Embed. Syst. TiongHoo Lim, Iain Bate, Jonathan Timmis
2014	J	`jnl`	An Approach to Maintaining Safety Case Evidence After A System Change. CoRR Omar Jaradat, Patrick J. Graydon, Iain Bate
2014	—	`conf`	Assuring Safety for Component Based Software Engineering. HASE Philippa Conmy, Iain Bate
2014	—	`conf`	Making an ALARP Decision of Sufficient Testing. HASE Mahnaz Malekzadeh, Iain Bate
2014	—	`conf`	On the Nature and Content of Safety Contracts. HASE Patrick J. Graydon, Iain Bate
2014	—	`conf`	Optimistic medium access control using gait anaysis in Body Sensor Networks. MobiHealth TiongHoo Lim, Teng Weng, Iain Bate
2014	J	`jnl`	Realistic Safety Cases for the Timing of Systems. Comput. J. Patrick J. Graydon, Iain Bate
2014	C	`conf`	The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward. PRDC Patrick J. Graydon, Iain Bate
2013	J	`jnl`	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. Andrew Burkimsher, Iain Bate, Leandro Soares Indrusiak
2013	—	`conf`	Immune-Inspired Error Detection for Multiple Faulty Robots in Swarm Robotics. ECAL HuiKeng Lau, Iain Bate, Jon Timmis
2013	C	`conf`	Improving Reliability of Real-Time Systems through Value and Time Voting. PRDC Hüseyin Aysan, Iain Bate, Patrick J. Graydon, Sasikumar Punnekkat
2013	B	`conf`	Improving the Dependability of Sensornets. DCOSS Mark Louis Fairbairn, Iain Bate, John A. Stankovic
2013	—	`conf`	On Extensible Networks for Embedded Systems. ECBS Florian Pölzlbauer, Iain Bate, Eugen Brenner
2013	—	`conf`	Scheduling HPC Workflows for Responsiveness and Fairness with Networking Delays and Inaccurate Estimates of Execution Times. Euro-Par Andrew Burkimsher, Iain Bate, Leandro Soares Indrusiak
2013	A	`conf`	Searching for the minimum failures that can cause a hazard in a wireless sensor network. GECCO Iain Bate, Mark Louis Fairbairn
2013	B	`conf`	Using Feedback Control within WSN's to meet Application Requirements. DCOSS Mark Louis Fairbairn, Iain Bate
2012	B	`conf`	A Control Theoretic Approach for Workflow Management. ICECCS Hashem Ali Ghazzawi, Iain Bate, Leandro Soares Indrusiak
2012	A	`conf`	A Statistical Response-Time Analysis of Real-Time Embedded Systems. RTSS Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean
2012	C	`conf`	Better, faster, cheaper, and safer too - Is this really possible? ETFA Iain Bate, Hans Hansson, Sasikumar Punnekkat
2012	Misc	`conf`	Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems. Ada-Europe Florian Pölzlbauer, Iain Bate, Eugen Brenner
2012	J	`jnl`	Evolutionary and Principled Search Strategies for Sensornet Protocol Optimization. IEEE Trans. Syst. Man Cybern. Part B Jonathan Tate, Benjamin Woolford-Lim, Iain Bate, Xin Yao
2012	—	`conf`	From Fault Injection to Mutant Injection: The Next Step for Safety Analysis? Haifa Verification Conference Guillermo Rodríguez-Navas, Patrick J. Graydon, Iain Bate
2012	—	`conf`	Immune-Inspired Self Healing in Wireless Sensor Networks. ICARIS TiongHoo Lim, HuiKeng Lau, Jon Timmis, Iain Bate
2012	—	`conf`	On voting strategies for loosely synchronized dependable real-time systems. SIES Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat, Iain Bate
2012	J	`jnl`	Optimized Frame Packing for Embedded Systems. IEEE Embed. Syst. Lett. Florian Pölzlbauer, Iain Bate, Eugen Brenner
2012	C	`conf`	Validation of performance data using experimental verification process in wireless sensor network. ETFA TiongHoo Lim, Iain Bate, Jon Timmis
2011	J	`jnl`	A new way about using statistical analysis of worst-case execution times. SIGBED Rev. Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean
2011	Misc	`conf`	A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems. SAC Yue Lu, Johan Kraft, Thomas Nolte, Iain Bate
2011	—	`conf`	A statistical response-time analysis of complex real-time embedded systems by using timing traces. SIES Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean
2011	C	`conf`	A trace-based statistical worst-case execution time analysis of component-based real-time embedded systems. ETFA Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean
2011	J	`jnl`	Adaptive data-driven error detection in swarm robotics with statistical classifiers. Robotics Auton. Syst. HuiKeng Lau, Iain Bate, Paul A. Cairns, Jon Timmis
2011	—	`conf`	Assessment of trace-differences in timing analysis for Complex Real-Time Embedded Systems. SIES Yue Lu, Thomas Nolte, Iain Bate, Johan Kraft, Christer Norström
2011	C	`conf`	Bio-inspired Error Detection for Complex Systems. PRDC Martin Drozda, Iain Bate, Jon Timmis
2011	—	`conf`	Collective Self-detection Scheme for Adaptive Error Detection in a Foraging Swarm of Robots. ICARIS HuiKeng Lau, Jon Timmis, Iain Bate
2011	—	`conf`	Developing Safe and Dependable Sensornets. EUROMICRO-SEAA Iain Bate, Yafeng Wu, John A. Stankovic
2011	J	`jnl`	Editorial for the special issue on search-based software engineering. Softw. Pract. Exp. Iain Bate, Simon M. Poulding
2011	C	`conf`	Efficient Task Allocation to FPGAs in the Safety Critical Domain. PRDC Philippa Conmy, Iain Bate
2011	B	`conf`	LIPS: A Protocol Suite for Homeostatic Sensornet Management. ICECCS Jonathan Tate, Iain Bate
2011	—	`conf`	Probabilistic Instruction Cache Analysis Using Bayesian Networks. RTCSA (1) Mark Bartlett, Iain Bate, James Cussens, Dimitar Kazakov
2011	—	`conf`	Video subset selection for measurement based Worst Case Execution Time analysis. SIES Sitsofe Wheeler, Iain Bate, Mark Bartlett
2011	J	`jnl`	WCET analysis of modern processors using multi-criteria optimisation. Empir. Softw. Eng. Iain Bate, Usman Khan
2010	B	`conf`	A feedback-driven timing synchronisation protocol for cellular sensornets. MASS Jonathan Tate, Iain Bate
2010	J	`jnl`	Accurate Determination of Loop Iterations for Worst-Case Execution Time Analysis. IEEE Trans. Computers Mark Bartlett, Iain Bate, Dimitar Kazakov
2010	J	`jnl`	Component-Based Safety Analysis of FPGAs. IEEE Trans. Ind. Informatics Philippa Conmy, Iain Bate
2010	—	`conf`	Do Sensornet Protocol Variants Yield Real Benefits?. ECBS Jonathan Tate, Iain Bate
2010	A	`conf`	Instruction Cache Prediction Using Bayesian Networks. ECAI Mark Bartlett, Iain Bate, James Cussens
2010	C	`conf`	Learning Bayesian Networks for Improved Instruction Cache Analysis. ICMLA Mark Bartlett, Iain Bate, James Cussens
2010	B	`conf`	Maintaining Stable Node Populations in Long-Lifetime Sensornets. ICECCS Jonathan Tate, Iain Bate
2010	J	`jnl`	Sensornet Protocol Tuning Using Principled Engineering Methods. Comput. J. Jonathan Tate, Iain Bate
2010	J	`jnl`	Stressing Search with Scenarios for Flexible Solutions to Real-Time Task Allocation Problems. IEEE Trans. Software Eng. Paul Emberson, Iain Bate
2010	B	`conf`	Timing Analyzing for Systems with Task Execution Dependencies. COMPSAC Yue Lu, Thomas Nolte, Iain Bate, Christer Norström
2010	Misc	`conf`	Timing analyzing for systems with execution dependencies between tasks. SAC Yue Lu, Thomas Nolte, Iain Bate
2009	—	`conf`	An Immuno-engineering Approach for Anomaly Detection in Swarm Robotics. ICARIS HuiKeng Lau, Iain Bate, Jon Timmis
2009	B	`conf`	An Improved Lightweight Synchronisation Primitive For Sensornets. MASS Jonathan Tate, Iain Bate
2009	B	`conf`	Anomaly detection inspired by immune network theory: A proposal. IEEE Congress on Evolutionary Computation HuiKeng Lau, Jon Timmis, Iain Bate
2009	C	`conf`	Certification of FPGAs - Current Issues and Possible Solutions. SSS Iain Bate, Philippa Conmy
2009	B	`conf`	Comparing design of experiments and evolutionary approaches to multi-objective optimisation of sensornet protocols. IEEE Congress on Evolutionary Computation Jonathan Tate, Benjamin Woolford-Lim, Iain Bate, Xin Yao
2009	B	`conf`	Energy Efficient Duty Allocation Protocols for Wireless Sensor Networks. ICECCS Jonathan Tate, Iain Bate
2009	A	`conf`	Guaranteed Loop Bound Identification from Program Traces for WCET. IEEE Real-Time and Embedded Technology and Applications Symposium Mark Bartlett, Iain Bate, Dimitar Kazakov
2009	—	`conf`	Semi-Automated Safety Analysis for Field Programmable Gate Arrays. ECBS Philippa Conmy, Iain Bate
2009	—	`conf`	Tuning Complex Sensornet Systems Using Principled Engineering Methods. ECBS Jonathan Tate, Iain Bate
2009	—	`conf`	Understanding Behavioural Tradeoffs in Large-Scale Sensornet Design. AINA Workshops Jonathan Tate, Iain Bate
2008	B	`conf`	Challenges in Relational Learning for Real-Time Systems Applications. ILP Mark Bartlett, Iain Bate, Dimitar Kazakov
2008	A	`conf`	Extending a Task Allocation Algorithm for Graceful Degradation of Real-Time Distributed Embedded Systems. RTSS Paul Emberson, Iain Bate
2008	J	`jnl`	Improving the reliability of real-time embedded systems using innate immune techniques. Evol. Intell. Nicholas Christopher Lay, Iain Bate
2008	B	`conf`	New Directions in Worst-Case Execution Time analysis. IEEE Congress on Evolutionary Computation Iain Bate, Dimitar Kazakov
2008	J	`jnl`	Systematic approaches to understanding and evaluating design trade-offs. J. Syst. Softw. Iain Bate
2008	B	`conf`	Utilising Application Flexibility in Energy Aware Computing. RTCSA Iain Bate
2008	—	`conf`	YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation. CPA Jonathan Tate, Iain Bate
2007	—	`conf`	An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms. HASE Simon M. Poulding, Paul Emberson, Iain Bate, John A. Clark
2007	B	`conf`	Applying artificial immune systems to real-time embedded systems. IEEE Congress on Evolutionary Computation Nicholas Christopher Lay, Iain Bate
2007	A	`conf`	Minimising Task Migration and Priority Changes in Mode Transitions. IEEE Real-Time and Embedded Technology and Applications Symposium Paul Emberson, Iain Bate
2006	—	`conf`	Incorporating Scenarios And Heuristics To Improve Flexibility In Real-Time Embedded Systems. IEEE Real Time Technology and Applications Symposium Iain Bate, Paul Emberson
2006	C	`conf`	Towards New Methods for Developing Real-Time Systems: Automatically Deriving Loop Bounds Using Machine Learning. ETFA Dimitar Kazakov, Iain Bate
2005	B	`conf`	Dealing with Emergent Properties in Embedded Systems. RTCSA Iain Bate
2005	B	`conf`	Efficient Integration of Bimodal Branch Prediction and Pipeline Analysis. RTCSA Iain Bate, Ralf Dieter Reutemann
2005	—	`conf`	Safe Composition of Real Time Software. HASE Iain Bate, Philippa Conmy
2004	—	`conf`	Flexible Design of Complex High-Integrity Systems Using Trade Offs. HASE Iain Bate, Neil C. Audsley
2004	—	`conf`	Improving certification capability through automatic code generation. IFIP Congress Topical Sessions Neil C. Audsley, Iain Bate, Steven Crook-Dawkins, John A. McDermid
2004	B	`conf`	Worst-Case Execution Time Analysis for Dynamic Branch Predictors. ECRTS Iain Bate, Ralf Dieter Reutemann
2003	—	`conf`	A Contract-based Approach to Designing Safe Systems. SCS Iain Bate, Richard Hawkins, John A. McDermid
2003	J	`jnl`	An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems. Real Time Syst. Iain Bate, Alan Burns
2003	J	`jnl`	Architectural considerations in the certification of modular systems. Reliab. Eng. Syst. Saf. Iain Bate, Tim Kelly
2003	B	`conf`	Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems. ECRTS Iain Bate, Peter Nightingale, Anton Cervin
2003	J	`jnl`	Establishing timing requirements for control loops in real-time systems. Microprocess. Microsystems Iain Bate, John A. McDermid, Peter Nightingale
2002	B	`conf`	Architectural Considerations in the Certification of Modular Systems. SAFECOMP Iain Bate, Tim Kelly
2002	—	`conf`	Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis. Symposium on Object-Oriented Real-Time Distributed Computing Iain Bate, Guillem Bernat, Peter P. Puschner
2001	J	`jnl`	Use of Modern Processors in Safety-Critical Applications. Comput. J. Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid
2000	—	`conf`	Generating evidence for certification of modern processors for use in safety-critical systems. HASE Iain Bate, Philippa Conmy, John A. McDermid
2000	B	`conf`	Low-level analysis of a portable Java byte code WCET analysis framework. RTCSA Iain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner
1999	B	`conf`	A Framework for Scheduling in Safety-Critical Embedded Control Systems. RTCSA Iain Bate, Alan Burns
1999	B	`conf`	An approach to task attribute assignment for uniprocessor systems. ECRTS Iain Bate, Alan Burns
1998	B	`conf`	Investigation of the pessimism in distributed systems timing analysis. ECRTS Iain Bate, Alan Burns
1997	—	`conf`	Schedulability analysis of fixed priority real-time systems with offsets. RTS Iain Bate, Alan Burns
1996	—	`conf`	Towards a Fixed Priority Scheduler for an Aircraft Application. RTS Iain Bate, Alan Burns, John A. McDermid, Andy Vickers