Steven Bradley

According to our database, Steven Bradley authored at least 25 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

PRIMM and Proper: Authentic Investigation in HE Introductory Programming with PeerWise and GitHub.

Steven Bradley, Anousheh Ramezani

Proceedings of the 8th Conference on Computing Education Practice, 2024

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

Proceedings of the 2023 Working Group Reports on Innovation and Technology in Computer Science Education, 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, Naaz Sibia

Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2, 2023

Computing Education Research in the UK & Ireland.

Brett A. Becker, Steven Bradley, Joseph Maguire, Michaela Black, Tom Crick, Mohammed Saqr, Sue Sentance, Keith Quille

Proceedings of the Past, 2023

2022

Narrowing and Stretching: Addressing the Challenge of Multi-track Programming.

Steven Bradley, Eleni C. Akrida

Proceedings of the CEP 2022: Computing Education Practice 2022, 2022

2021

Evidence for Teaching Practices that Broaden Participation for Women in Computing.

Briana B. Morrison, Beth A. Quinn, Steven Bradley, Kevin Buffardi, Brian Harrington, Helen H. Hu, Maria Kallia, Fiona McNeill, Oluwakemi Ola, Miranda C. Parker, Jennifer Rosato, Jane Waite

Proceedings of the 2021 Working Group Reports on Innovation and Technology in Computer Science Education, 2021

Chronicling the Evidence for Broadening Participation.

Briana B. Morrison, Beth A. Quinn, Steven Bradley, Kevin Buffardi, Brian Harrington, Helen H. Hu, Maria Kallia, Fiona McNeill, Oluwakemi Ola, Miranda C. Parker, Jennifer Rosato, Jane Waite

Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.2, Virtual Event, Germany, June 26, 2021

ExBERT: An External Knowledge Enhanced BERT for Natural Language Inference.

Amit Gajbhiye, Noura Al Moubayed, Steven Bradley

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2021, 2021

2020

Bilinear Fusion of Commonsense Knowledge with Attention-Based NLI Models.

Amit Gajbhiye, Thomas Winterbottom, Noura Al Moubayed, Steven Bradley

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2020, 2020

Creative Assessment in Programming: Diversity and Divergence.

Steven Bradley

Proceedings of the CEP 2020: Computing Education Practice 2020, 2020

2019

Addressing Bias to Improve Reliability in Peer Review of Programming Coursework.

Steven Bradley

Proceedings of the Koli Calling '19: 19th Koli Calling International Conference on Computing Education Research, 2019

2018

An Exploration of Dropout with RNNs for Natural Language Inference.

Amit Gajbhiye, Sardar F. Jaf, Noura Al Moubayed, A. Stephen McGough, Steven Bradley

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2018, 2018

CAM: A Combined Attention Model for Natural Language Inference.

Amit Gajbhiye, Sardar F. Jaf, Noura Al Moubayed, Steven Bradley, A. Stephen McGough

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

2016

Managing plagiarism in programming assignments with blended assessment and randomisation.

Steven Bradley

Proceedings of the 16th Koli Calling International Conference on Computing Education Research, 2016

2005

Opportunistic scheduling in a constraint-rich world.

David I. Johnstone, Steven Bradley

SIGBED Rev., 2005

2003

Software Evolution in an Interdisciplinary Environment.

Keith H. Bennett, Steven Bradley, G. J. Glover, D. Barnes

Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003

2001

A formal design language for real-time systems with data.

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Sci. Comput. Program., 2001

2000

Studying the Process of Software Change: An Analysis of Software Evolution.

Elizabeth Burd, Steven Bradley, John Davey

Proceedings of the Seventh Working Conference on Reverse Engineering, 2000

1998

bCANDLE: Formal Modelling and Analysis of CAN Control Systems.

David Kendall, Steven Bradley, William Henderson, Adrian Robson

Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium, 1998

Integrating AORTA with Model-Based Data Specification Languages.

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1996

A Formal Design and Implementation Method for Real-Time Embedded Systems.

Steven Bradley, William Henderson, David Kendall, Adrian Robson, Stephen Hawkes

Proceedings of the 22rd EUROMICRO Conference '96, 1996

1995

Validation, verification and implementation of timed protocols using AORTA.

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Proceedings of the Protocol Specification, 1995

1994

A formally based hard real-time kernel.

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Microprocess. Microsystems, 1994

Application-oriented real time algebra.

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Softw. Eng. J., 1994

Designing and Implementing Correct Real-Time Systems.

Steven Bradley, William Henderson, David Kendall, Adrian Robson

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994