Benjamin Gilby

According to our database, Benjamin Gilby authored at least 3 papers between 2021 and 2024.

Collaborative distances:

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

2024

A Formally Verified Leader Election Algorithm for Autonomous Driving Systems.

Ryuta Kambe, Benjamin Gilby, Yuuki Takano

Proceedings of the 30th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2024

2022

Data-Centric Analysis of Compound Threats to Critical Infrastructure Control Systems.

Sahiti Bommareddy, Benjamin Gilby, Maher Khan, Imes Chiu, Mathaios Panteli, John W. van de Lindt, Linton Wells, Yair Amir, Amy Babay

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

2021

Exploring Corruption Robustness: Inductive Biases in Vision Transformers and MLP-Mixers.

Katelyn Morrison, Benjamin Gilby, Colton Lipchak, Adam Mattioli, Adriana Kovashka

CoRR, 2021