Nathalie Cauchi
Nathalie Margaret Cauchi
Wolfson Building, Parks Road, Oxford OX1 3QD
Themes:
Interests
I am currently working towards the certification of models within the domain of Smart Buildings. I am interested in stochastic hybrid models, predictive maintenance, (probabilistic) reachability analysis and in developing techniques for fault detection and reliability (namely via analysis of fault maintenance trees).
Biography
I am a DPhil student at the Department of Computer Science at the University of Oxford within the research group of Prof. Alessandro Abate and am a recipient of a Ph.D. scholarship from Malta’s ENDEAVOUR scholarships scheme. I received a Laurea degree in Electrical and Electronics Engineering (summa cum laude) in October 2014 from the University of Malta. Following my undergraduate I worked as a research assistant within the Institute of Aerospace technologies at the University of Malta working on EU FP7 project called ACROSS (Advanced cockpit for reduction of stress and workload) and the national project called Touch-flight.
I am part of the Oxford Control and Verification group (OxCAV) and of Oxford Women in Computer Science society (OxWoCS).
Selected Publications
-
Maintenance of Smart Buildings using Fault Trees
Nathalie Cauchi‚ Khaza Anuarul Hoque‚ Marielle Stoelinga and Alessandro Abate
In ACM Transactions on Sensor Networks: Systems for Smart and Efficient Built Environments. Vol. 14. No. 3−4. Pages 28:1–28:25. November, 2018.
Details about Maintenance of Smart Buildings using Fault Trees | BibTeX data for Maintenance of Smart Buildings using Fault Trees | DOI (10.1145/3232616) | Link to Maintenance of Smart Buildings using Fault Trees
-
Modelling Smart Buildings using Fault Maintenance Trees
Alessandro Abate Carlos E. Budde Nathalie Cauchi Arnaud van Harmelen Khaza Anuarul Hoque and Mariëlle Stoeling
In European Workshop on Performance Engineering. Pages 110−125. Springer. October, 2018.
Details about Modelling Smart Buildings using Fault Maintenance Trees | BibTeX data for Modelling Smart Buildings using Fault Maintenance Trees | Link to Modelling Smart Buildings using Fault Maintenance Trees
-
ARCH−COMP18 Category Report: Stochastic Modelling
Alessandro Abate‚ Henk Blom‚ Nathalie Cauchi‚ Sofie Haesaert‚ Arnd Hartmanns‚ Kendra Lesser‚ Meeko Oishi‚ Vignesh Sivaramakrishnan‚ Sadegh Soudjani‚ Cristian−Ioan Vasile and Abraham P. Vinod
In EPiC Series in Computing. Vol. 54. Pages 71 − 103. 2018.
Details about ARCH−COMP18 Category Report: Stochastic Modelling | BibTeX data for ARCH−COMP18 Category Report: Stochastic Modelling | Link to ARCH−COMP18 Category Report: Stochastic Modelling