Iain Bate, Visiting Professor
Iain Bate is a Senior Lecturer in Real-Time Systems at the University of York. He frequently performs consultancy related to the development and certification of systems for a range of international companies. He is the director of a University spin off working in the safety sector. Iain is a member of both the High Integrity Systems Engineering and Real-Time Systems groups at UoY, two of the internationally most reputed groups in their fields. UK Ministry of Defence, as well as Phillips, BAE SYSTEMS, and Airbus, are currently supporting his work. His research on novel approaches to developing and assuring dependable real-time systems is widely published in more than 80 papers in top conferences and journals, e.g., in 2009, he had five papers relevant to SYNOPSIS accepted in premier journals, including the IEEE Transactions on Software Engineering, Computers and Industrial Informatics. He is also the Editor-in-Chief of the J. of Systems Architecture.
Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases (Sep 2017) Omar Jaradat, Iain Bate European Dependable Computing Conference (EDCC'17)
Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases: An Example (Apr 2017) Omar Jaradat, Iain Bate
Systematic Maintenance of Safety Cases to Reduce Risk (Sep 2016) Omar Jaradat, Iain Bate 4th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE2016)
Improving the Stop-Test Decision When Testing Data are Slow to Converge (Aug 2016) Mahnaz Malekzadeh, Iain Bate MRTC Report, Mälardalen Real-Time Research Centre (MRTC2016)
Deriving Hierarchical Safety Contracts (Nov 2015) Omar Jaradat, Iain Bate The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015)
Influential Nuisance Factors on a Decision of Sufficient Testing (Nov 2015) Mahnaz Malekzadeh, Iain Bate The 15th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP'15)