Benjamin Gilby
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2022–2024
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | RTCSA | A Formally Verified Leader Election Algorithm for Autonomous Driving Systems. | Ryuta Kambe, Benjamin Gilby, Yuuki Takano |
| 2024 | SRDS | Tolerating Compound Threats in Critical Infrastructure Control Systems. | Sahiti Bommareddy, Maher Khan, Huzaifah Nadeem, Benjamin Gilby, Imes Chiu, John W. van de Lindt, Omar Nofal, Mathaios Panteli, Linton Wells, Yair Amir, Amy Babay |
| 2022 | DSN | 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 |