52 citations · 194 across the 34 of their papers we have counts for
3 papers · 1 filter
QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring
Ernest Bonnah, Khaza Anuarul Hoque
In various service-oriented applications such as distributed autonomous delivery, healthcare, tourism, transportation, and many others, where service agents need to perform serial…
Model Checking Time Window Temporal Logic for Hyperproperties
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
Hyperproperties extend trace properties to express properties of sets of traces, and they are increasingly popular in specifying various security and performance-related properties…
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees
Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate +1
Cyber-physical systems, like Smart Buildings and power plants, have to meet high standards, both in terms of reliability and availability. Such metrics are typically evaluated usin…