Nathalie Cauchi
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
-
Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems
Nathalie Cauchi‚ Luca Laurenti‚ Morteza Lahijanian‚ Alessandro Abate‚ Marta Kwiatkowska and Luca Cardelli
2019.
Details about Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems | BibTeX data for Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems | Download (pdf) of Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems
-
ARCH−COMP19 Category Report: Stochastic Modelling
Alessandro Abate‚ Henk Blom‚ Nathalie Cauchi‚ Kurt Degiorgio‚ Martin Franzle‚ Ernst Moritz Hahn‚ Sofie Haesaert‚ Hao Ma‚ Meeko Oishi‚ Carina Pilch‚ Anne Remke‚ Mahmoud Salamati‚ Sadegh Soudjani‚ Birgit van Huijgevoort and Abraham Vinod
In Goran Frehse and Matthias Althoff, editors, ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. Vol. 61 of EPiC Series in Computing. Pages 62–102. 2019.
Details about ARCH−COMP19 Category Report: Stochastic Modelling | BibTeX data for ARCH−COMP19 Category Report: Stochastic Modelling | Link to ARCH−COMP19 Category Report: Stochastic Modelling
-
StocHy: automated verification and synthesis of stochastic processes
Nathalie Cauchi‚ Kurt Degiorgio and Alessandro Abate
2019.
Details about StocHy: automated verification and synthesis of stochastic processes | BibTeX data for StocHy: automated verification and synthesis of stochastic processes | Download (pdf) of StocHy: automated verification and synthesis of stochastic processes