Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems. - Alastair R. Ruddle (Z User Workshop, 1992)

Recommendations for mitigating low frequency magnetic field exposure in hybrid/electric vehicles. - Alastair R. Ruddle; Lester Low; Rob Armstrong; Linda Dawson; Andrew Rowell (ICCVE, 2014)

Towards a systematic security evaluation of the automotive Bluetooth interface. - Madeline Cheah; Siraj A. Shaikh; Olivier C. L. Haas; Alastair R. Ruddle (Veh. Commun., 2017)

Requirements for a Cybersecurity Case Approach for the Assurance of Future Connected and Automated Vehicles. - Luis-Pedro Cobos; Alastair R. Ruddle; Giedre Sabaliauskaite (VEHITS, 2021)

Experimental Characterization of Multitone EM Immunity of Integrated Oscillators Under Thermal Stress. - Qazi Mashaal Khan; Lokesh Devaraj; Richard Perdriau; Alastair R. Ruddle; Tim Claeys; Mohamed Ramdani 002; Mohsen Koohestani (IEEE Access, 2022)

Improvements proposed to noisy-OR derivatives for multi-causal analysis: A case study of simultaneous electromagnetic disturbances. - Lokesh Devaraj; Qazi Mashaal Khan; Alastair R. Ruddle; Alistair P. Duffy; Richard Perdriau; Mohsen Koohestani (Int. J. Approx. Reason., 2024)