Personal information

Emails & domains

Verified email addresses

Verified email domains

Activities

Collapse all

Education and qualifications (1)

University of Oxford: Oxford, Oxfordshire, GB

(Department of Computer Science; Kellogg College)
Education
Source: check_circle
ORCID Integration at the University of Oxford

Works (14)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems

arXiv preprint arXiv:1901.01576
2019 | Journal article
Source: Self-asserted source
Nathalie Cauchi

ARCH-COMP18 Category Report: Stochastic Modelling

ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ ADHS 2018, Oxford, UK, July 13, 2018
2018 | Conference paper
Source: Self-asserted source
Nathalie Cauchi

Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees

Proceedings of the European Conference of the PHM Society
2018 | Conference paper
Source: Self-asserted source
Nathalie Cauchi

Benchmarks for cyber-physical systems: A modular model library for building automation systems (Extended version)

arXiv preprint arXiv:1803.06315
2018 | Journal article
Source: Self-asserted source
Nathalie Cauchi

Maintenance of Smart Buildings using Fault Trees

arXiv preprint arXiv:1806.05174
2018 | Journal article
Source: Self-asserted source
Nathalie Cauchi

Modelling Smart Buildings Using Fault Maintenance Trees

European Workshop on Performance Engineering
2018 | Conference paper
Source: Self-asserted source
Nathalie Cauchi

Maintenance of Smart Buildings using Fault Trees

ACM Transactions on Sensor Networks
2018-11-30 | Journal article
DOI: 10.1145/3232616
Contributors: Nathalie Cauchi; Khaza Anuarul Hoque; Marielle Stoelinga; Alessandro Abate
Source: check_circle
Crossref

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
2017 | Conference paper
Source: Self-asserted source
Nathalie Cauchi

Model-based predictive maintenance in building automation systems with user discomfort

Energy
2017 | Journal article
DOI: https://doi.org/10.1016/j.energy.2017.07.104
Source: Self-asserted source
Nathalie Cauchi
grade
Preferred source (of 2)‎

Certified policy synthesis for general Markov decision processes: An application in building automation systems

Performance Evaluation
2017-12 | Journal article
DOI: 10.1016/j.peva.2017.09.005
Contributors: Sofie Haesaert; Nathalie Cauchi; Alessandro Abate
Source: check_circle
Crossref

Long-term predictive maintenance: A study of optimal cleaning of biomass boilers

Energy and Buildings
2017-09 | Journal article
DOI: 10.1016/j.enbuild.2017.05.055
Contributors: Karel Macek; Petr Endel; Nathalie Cauchi; Alessandro Abate
Source: check_circle
Crossref

A decision support tool for weather and terrain avoidance during departure

Digital Avionics Systems Conference (DASC), 2015 IEEE/AIAA 34th
2015 | Conference paper
Source: Self-asserted source
Nathalie Cauchi

Design and evaluation of a touch screen concept for pilot interaction with avionic systems

Digital Avionics Systems Conference (DASC), 2015 IEEE/AIAA 34th
2015 | Conference paper
Source: Self-asserted source
Nathalie Cauchi

StocHy: a new tool for the verification and control of stochastic processes

Journal article
Source: Self-asserted source
Nathalie Cauchi

Peer review (1 review for 1 publication/grant)

Review activity for Software quality journal. (1)
How many people are using ORCID?