Suivre
Nathalie Cauchi
Nathalie Cauchi
PhD Student, University of Oxford
Adresse e-mail validée de cs.ox.ac.uk - Page d'accueil
Titre
Citée par
Citée par
Année
Model-based predictive maintenance in building automation systems with user discomfort
N Cauchi, K Macek, A Abate
Energy 138, 306-315, 2017
382017
StocHy: automated verification and synthesis of stochastic processes
N Cauchi, K Degiorgio, A Abate
arXiv preprint arXiv:1901.10287, 2019
35*2019
Efficiency Through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
L Cauchi, Nathalie and Laurenti, Luca and Lahijanian, Morteza and Abate ...
Proceedings of the 22Nd ACM International Conference on Hybrid Systems …, 2019
282019
Benchmarks for cyber-physical systems: A modular model library for building automation systems
N Cauchi, A Abate
IFAC-PapersOnLine 51 (16), 49-54, 2018
22*2018
Long-term predictive maintenance: A study of optimal cleaning of biomass boilers
K Macek, P Endel, N Cauchi, A Abate
Energy and Buildings 150, 111-117, 2017
222017
ARCH-COMP18 Category Report: Stochastic Modelling.
A Abate, H Blom, N Cauchi, S Haesaert, A Hartmanns, K Lesser, M Oishi, ...
ARCH@ ADHS, 71-103, 2018
192018
Certified policy synthesis for general markov decision processes: An application in building automation systems
S Haesaert, N Cauchi, A Abate
Performance Evaluation 117, 75-103, 2017
192017
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees
N Cauchi, KA Hoque, A Abate, M Stoelinga
132017
ARCH-COMP19 Category Report: Stochastic Modelling.
A Abate, H Blom, N Cauchi, K Degiorgio, M Fränzle, EM Hahn, ...
ARCH@ CPSIoTWeek, 62-102, 2019
122019
Design and evaluation of a touch screen concept for pilot interaction with avionic systems
J Gauci, N Cauchi, K Theuma, D Zammit-Mangion, A Muscat
2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 3C2-1-3C2-19, 2015
92015
Arch-comp20 category report: Stochastic models
A Abate, H Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, A Lavaei, ...
EPiC Series in Computing 74, 76-106, 2020
82020
Maintenance of smart buildings using fault trees
N Cauchi, KA Hoque, M Stoelinga, A Abate
ACM Transactions on Sensor Networks (TOSN) 14 (3-4), 1-25, 2018
62018
Assessment of maintenance policies for smart buildings: application of formal methods to fault maintenance trees
A Abate, CE Budde, N Cauchi, KA Hoque, M Stoelinga
European conference of the prognostics and health management society, 2018
32018
A decision support tool for weather and terrain avoidance during departure
N Cauchi, K Theuma, C Zammit, J Gauci, D Zammit-Mangion
2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 2G1-1-2G1-15, 2015
32015
Modelling Smart Buildings Using Fault Maintenance Trees
A Abate, CE Budde, N Cauchi, A Harmelen, KA Hoque, M Stoelinga
European Workshop on Performance Engineering, 110-125, 2018
22018
Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings
KA Hoque, N Cauchi, A Abate
arXiv preprint arXiv:1903.06123, 2019
12019
Automatic verification of stochastic processes: certification of building automation systems
NM Cauchi
University of Oxford, 2019
12019
ARCH-COMP21 Category Report: Stochastic Models
A Abate, H Blom, M Bouissou, N Cauchi, H Chraibi, J Delicaris, ...
8th International Workshop on Applied Verification of Continuous and Hybrid …, 2021
2021
Benchmarks for stochastic models from building automation systems.
N Cauchi, A Abate
ARCH@ ADHS, 242-250, 2018
2018
Modelling Smart Buildings using Fault Maintenance Trees
NM Cauchi
15th European Performance Engineering Workshop, 2018
2018
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20