Nathalie Cauchi
Nathalie Cauchi
Zweryfikowany adres z cs.ox.ac.uk - Strona główna
Cytowane przez
Cytowane przez
Model-based predictive maintenance in building automation systems with user discomfort
N Cauchi, K Macek, A Abate
Energy 138, 306-315, 2017
StocHy: automated verification and synthesis of stochastic processes
N Cauchi, K Degiorgio, A Abate
arXiv preprint arXiv:1901.10287, 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
Benchmarks for cyber-physical systems: A modular model library for building automation systems
N Cauchi, A Abate
IFAC-PapersOnLine 51 (16), 49-54, 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
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
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
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees
N Cauchi, KA Hoque, A Abate, M Stoelinga
ARCH-COMP19 Category Report: Stochastic Modelling.
A Abate, H Blom, N Cauchi, K Degiorgio, M Fränzle, EM Hahn, ...
ARCH@ CPSIoTWeek, 62-102, 2019
ARCH-COMP20 Category Report: Stochastic Models.
A Abate, H Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, A Lavaei, ...
ARCH, 76-106, 2020
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
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
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
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
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
Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings
KA Hoque, N Cauchi, A Abate
arXiv preprint arXiv:1903.06123, 2019
Automatic verification of stochastic processes: certification of building automation systems
NM Cauchi
University of Oxford, 2019
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
Benchmarks for stochastic models from building automation systems.
N Cauchi, A Abate
ARCH@ ADHS, 242-250, 2018
Modelling Smart Buildings using Fault Maintenance Trees
NM Cauchi
15th European Performance Engineering Workshop, 2018
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20