​
Login / Signup
Gregory Provan
ORCID
Publication Activity (10 Years)
Years Active: 1998-2024
Publications (10 Years): 5
Top Topics
User Perceived
Control System
Cellular Networks
Multistage
Top Venues
CoRR
IDSTA
NOSSDAV
</>
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)