-A A +A

Publications

Export 5 results:
Author Title [ Type(Desc)] Year
Filters: Author is Mariëlle Stoelinga  [Clear All Filters]
Conference Proceedings
Cauchi N, Hoque KAnuarul, Abate A, Stoelinga M.  2017.  Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees. Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments. abs/1801.04263:24:1-24:10.
Journal Article
Cauchi N, Hoque KAnuarul, Stoelinga M, Abate A.  2018.  Maintenance of Smart Buildings using Fault Trees. ACM Transactions on Sensor Networks: Systems for Smart and Efficient Built Environments.

CONTACT US

Oxford Control and Verification (OXCAV) Group

C/O Department of Computer Science

Wolfson Building, Parks Rd, Oxford OX1 3QD

T: +44 (0) 18656 10767

Education - This is a contributing Drupal Theme
Design by WeebPal.