Concepedia

Nathalie Cauchi

NC

10

Publications

235

Citations

10

H-Index

2017

Active since

Affiliations

University of Oxford(Current)

University of Colorado Boulder

University of Twente

Newcastle University

University of Colorado System

Nathalie Cauchi is an author at University of Oxford specializing in systems engineering, engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceComputer EngineeringFormal MethodsAutomated ReasoningFormal VerificationAutomationIntelligent SystemsIndustrial Informatics

Publications per year

2017–2020

10

Publications

10

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

Nathalie Cauchi, Karel Macek, Alessandro Abate · Energy · 2017 · 53 citations

Built Environment, User Discomfort, Engineering +13

Efficiency through uncertainty

Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian et al. · 2019 · 36 citations

Mathematical Programming, Engineering, Finite Abstraction +22

StocHy - automated verification and synthesis of stochastic processes

Nathalie Cauchi, Alessandro Abate · 2019 · 30 citations

Engineering, Verification, Computer Architecture +20

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

Karel Macek, Petr Endel, Nathalie Cauchi et al. · Energy and Buildings · 2017 · 26 citations

Engineering, Maintenance Policy, Service Life Prediction +14

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

Sofie Haesaert, Nathalie Cauchi, Alessandro Abate · Performance Evaluation · 2017 · 23 citations

Engineering, Real-time Decision-making, Automated Reasoning +13

Rows per page

1–5 of 10