Designing and Implementing Correct Real-Time Systems. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (FTRTFT, 1994)

Application-oriented real time algebra. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (Softw. Eng. J., 1994)

A formally based hard real-time kernel. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (Microprocess. Microsystems, 1994)

Validation, verification and implementation of timed protocols using AORTA. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (PSTV, 1995)

A Formal Design and Implementation Method for Real-Time Embedded Systems. - Steven Bradley; William Henderson; David Kendall; Adrian Robson; Stephen Hawkes (EUROMICRO, 1996)

Integrating AORTA with Model-Based Data Specification Languages. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (FASE, 1998)

bCANDLE: Formal Modelling and Analysis of CAN Control Systems. - David Kendall; Steven Bradley; William Henderson; Adrian Robson (IEEE Real Time Technology and Applications Symposium, 1998)

Studying the Process of Software Change: An Analysis of Software Evolution. - Elizabeth Burd; Steven Bradley; John Davey (WCRE, 2000)

A formal design language for real-time systems with data. - Steven Bradley; William Henderson; David Kendall; Adrian Robson (Sci. Comput. Program., 2001)

Software Evolution in an Interdisciplinary Environment. - Keith H. Bennett; Steven Bradley; G. J. Glover; D. Barnes (STEP, 2003)

Opportunistic scheduling in a constraint-rich world. - David I. Johnstone; Steven Bradley (SIGBED Rev., 2005)

Managing plagiarism in programming assignments with blended assessment and randomisation. - Steven Bradley (Koli Calling, 2016)

CAM: A Combined Attention Model for Natural Language Inference. - Amit Gajbhiye; Sardar F. Jaf; Noura Al Moubayed; Steven Bradley; A. Stephen McGough (IEEE BigData, 2018)

An Exploration of Dropout with RNNs for Natural Language Inference. - Amit Gajbhiye; Sardar F. Jaf; Noura Al Moubayed; A. Stephen McGough; Steven Bradley (ICANN (3), 2018)

Addressing Bias to Improve Reliability in Peer Review of Programming Coursework. - Steven Bradley (Koli Calling, 2019)

Creative Assessment in Programming: Diversity and Divergence. - Steven Bradley (CEP, 2020)

Bilinear Fusion of Commonsense Knowledge with Attention-Based NLI Models. - Amit Gajbhiye; Thomas Winterbottom; Noura Al Moubayed; Steven Bradley (ICANN (1), 2020)

ExBERT: An External Knowledge Enhanced BERT for Natural Language Inference. - Amit Gajbhiye; Noura Al Moubayed; Steven Bradley (ICANN (5), 2021)

Chronicling the Evidence for Broadening Participation. - Briana B. Morrison; Beth A. Quinn; Steven Bradley; Kevin Buffardi; Brian Harrington 001; Helen H. Hu; Maria Kallia; Fiona McNeill; Oluwakemi Ola; Miranda C. Parker; Jennifer Rosato; Jane Waite (ITiCSE (2), 2021)

Evidence for Teaching Practices that Broaden Participation for Women in Computing. - Briana B. Morrison; Beth A. Quinn; Steven Bradley; Kevin Buffardi; Brian Harrington 001; Helen H. Hu; Maria Kallia; Fiona McNeill; Oluwakemi Ola; Miranda C. Parker; Jennifer Rosato; Jane Waite (ITiCSE-WGR, 2021)

Narrowing and Stretching: Addressing the Challenge of Multi-track Programming. - Steven Bradley; Eleni C. Akrida (CEP, 2022)

Computing Education Research in the UK & Ireland. - Brett A. Becker; Steven Bradley; Joseph Maguire 001; Michaela Black; Tom Crick; Mohammed Saqr; Sue Sentance; Keith Quille (Past, Present and Future of Computing Education Research, 2023)

A Methodology for Investigating Women's Module Choices in Computer Science. - Steven Bradley; Miranda C. Parker; Rukiye Altin; Lecia Barker; Sara Hooshangi; Samia Kamal; Thom Kunkeler; Ruth G. Lennon; Fiona McNeill; Julià Minguillón; Jack Parkinson; Svetlana Peltsverger; et al. (ITiCSE (2), 2023)

Modeling Women's Elective Choices in Computing. - Steven Bradley; Miranda C. Parker; Rukiye Altin; Lecia Barker; Sara Hooshangi; Thom Kunkeler; Ruth G. Lennon; Fiona McNeill; Julià Minguillón; Jack Parkinson; Svetlana Peltsverger; Naaz Sibia (ITiCSE-WGR, 2023)

PRIMM and Proper: Authentic Investigation in HE Introductory Programming with PeerWise and GitHub. - Steven Bradley; Anousheh Ramezani (CEP, 2024)