Nathalie Cauchi
Nathalie Cauchi
Bestätigte E-Mail-Adresse bei cs.ox.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Model-based predictive maintenance in building automation systems with user discomfort
N Cauchi, K Macek, A Abate
Energy 138, 306-315, 2017
282017
StocHy: automated verification and synthesis of stochastic processes
N Cauchi, K Degiorgio, A Abate
arXiv preprint arXiv:1901.10287, 2019
25*2019
Benchmarks for cyber-physical systems: A modular model library for building automation systems
N Cauchi, A Abate
IFAC-PapersOnLine 51 (16), 49-54, 2018
20*2018
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
182017
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
172019
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
162017
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
132018
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees
N Cauchi, KA Hoque, A Abate, M Stoelinga
102017
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
82015
ARCH-COMP19 Category Report: Stochastic Modelling.
A Abate, H Blom, N Cauchi, K Degiorgio, M Fränzle, EM Hahn, ...
ARCH@ CPSIoTWeek, 62-102, 2019
62019
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
52018
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
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
12020
Automatic verification of stochastic processes: certification of building automation systems
NM Cauchi
University of Oxford, 2019
12019
Modelling Smart Buildings Using Fault Maintenance Trees
A Abate, CE Budde, N Cauchi, A van Harmelen, KA Hoque, M Stoelinga
European Workshop on Performance Engineering, 110-125, 2018
12018
Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings
KA Hoque, N Cauchi, A Abate
arXiv preprint arXiv:1903.06123, 2019
2019
Stochastic Modelling
A Abate, HAP Blom, N Cauchi, K Degiorgio, M Franzle, EM Hahn, ...
ARCH19: 6th Internaional Workshop on Applied Verification of Continuous and …, 2019
2019
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20