Gregory Provan

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 5

Top Topics

Cellular Networks

Top Venues

Publications

Killian Nolan, Darijo Raca, Gregory Provan, Ahmed H. Zahran
MATURE: Multistage Throughput Prediction for Adaptive Video Streaming in Cellular Networks. NOSSDAV (2024)
Eleftherios E. Vlahakis, Gregory Provan, Gordon Werner, Shanchieh Yang, Nikolaos Athanasopoulos
Quantifying impact on safety from cyber-attacks on cyber-physical systems. CoRR (2022)
Mazen Azzam, Liliana Pasquale, Gregory Provan, Bashar Nuseibeh
Grounds for Suspicion: Physics-based Early Warnings for Stealthy Attacks on Industrial Control Systems. CoRR (2021)
Mazen Azzam, Liliana Pasquale, Gregory Provan, Bashar Nuseibeh
Efficient Predictive Monitoring of Linear Time-Invariant Systems Under Stealthy Attacks. CoRR (2021)
Riccardo Orizio, Satyanarayana Vuppala, Stylianos Basagiannis, Gregory Provan
Towards an Explainable Approach for Insider Threat Detection: Constraint Network Learning. IDSTA (2020)
Gregory Provan
A Bayesian network framework for stochastic discrete-event control. ACC (2006)
Gregory Provan
Distributed diagnosability properties of discrete event systems. ACC (2002)
Gregory Provan
On the diagnosability of decentralized, timed discrete event systems. CDC (2002)
Amit Misra, Gregory Provan, Gabor Karsai, George Bloor, Ethan Scarl
A generic and symbolic model-based diagnostic reasoner with highly scalable properties. SMC (1998)