עקוב אחר
Nathalie Cauchi
Nathalie Cauchi
PhD Student, University of Oxford
כתובת אימייל מאומתת בדומיין cs.ox.ac.uk - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
StocHy: automated verification and synthesis of stochastic processes‏
N Cauchi, K Degiorgio, A Abate‏
arXiv preprint arXiv:1901.10287, 2019‏
692019
Model-based predictive maintenance in building automation systems with user discomfort‏
N Cauchi, K Macek, A Abate‏
Energy 138, 306-315, 2017‏
532017
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‏
472019
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‏
362017
Benchmarks for cyber-physical systems: A modular model library for building automation systems‏
N Cauchi, A Abate‏
IFAC-PapersOnLine 51 (16), 49-54, 2018‏
262018
ARCH-COMP18 category report: Stochastic modelling‏
A Abate, H Blom, N Cauchi, S Haesaert, A Hartmanns, K Lesser, M Oishi, ...‏
5th international workshop on applied verification of continuous and hybrid …, 2018‏
252018
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‏
242017
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees‏
N Cauchi, KA Hoque, A Abate, M Stoelinga‏
172017
ARCH-COMP20 Category Report: Stochastic Models.‏
A Abate, HAP Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, ...‏
ARCH, 76-106, 2020‏
152020
ARCH-COMP19 category report: Stochastic modelling‏
A Abate, HAP Blom, N Cauchi, K Degiorgio, M Franzle, EM Hahn, ...‏
6th International Workshop on Applied veRification for Continuous and Hybrid …, 2019‏
142019
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‏
122021
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‏
112018
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‏
112015
Assessment of maintenance policies for smart buildings: application of formal methods to fault maintenance trees‏
A Abate, CE Budde, N Cauchi, KA Hoque, MIA Stoelinga‏
4th European Conference of the Prognostics and Health Management Society …, 2018‏
52018
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‏
42015
ARCH-COMP23 Category report: stochastic models‏
A Abate, H Blom, N Cauchi, J Delicaris, S Haesaert, B van Huijgevoort, ...‏
10th International Workshop on Applied Verification of Continuous and Hybrid …, 2023‏
32023
Modelling Smart Buildings Using Fault Maintenance Trees‏
A Abate, CE Budde, N Cauchi, A van Harmelen, KA Hoque, M Stoelinga‏
Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris …, 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
Benchmarks for stochastic models from building automation systems.‏
N Cauchi, A Abate‏
ARCH@ ADHS, 242-250, 2018‏
2018
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20