Follow
Nathalie Cauchi
Nathalie Cauchi
Verified email at cs.ox.ac.uk - Homepage
Title
Cited by
Cited by
Year
StocHy: automated verification and synthesis of stochastic processes
N Cauchi, K Degiorgio, A Abate
arXiv preprint arXiv:1901.10287, 2019
652019
Model-based predictive maintenance in building automation systems with user discomfort
N Cauchi, K Macek, A Abate
Energy 138, 306-315, 2017
482017
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
442019
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
342017
Benchmarks for cyber-physical systems: A modular model library for building automation systems
N Cauchi, A Abate
IFAC-PapersOnLine 51 (16), 49-54, 2018
272018
ARCH-COMP18 Category Report: Stochastic Modelling.
A Abate, HAP Blom, N Cauchi, S Haesaert, A Hartmanns, K Lesser, ...
ARCH@ ADHS 54, 71-103, 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
232017
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees
N Cauchi, KA Hoque, A Abate, M Stoelinga
172017
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-COMP20 Category Report: Stochastic Models.
A Abate, HAP Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, ...
ARCH, 76-106, 2020
132020
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
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
102021
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
102018
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
42018
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
22023
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
The system can't perform the operation now. Try again later.
Articles 1–20