Follow
Nathalie Cauchi
Nathalie Cauchi
PhD Student, University of Oxford
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
732019
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
592019
Model-based predictive maintenance in building automation systems with user discomfort
N Cauchi, K Macek, A Abate
Energy 138, 306-315, 2017
532017
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
372017
ARCH-COMP19 category report: Stochastic modelling
A Abate, H Blom, N Cauchi, K Degiorgio, M Fraenzle, EM Hahn, ...
6th International Workshop on Applied Verification of Continuous and Hybrid …, 2019
312019
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
282021
Benchmarks for cyber-physical systems: A modular model library for building automation systems
N Cauchi, A Abate
IFAC-PapersOnLine 51 (16), 49-54, 2018
282018
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
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
142018
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-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
52023
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
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
32018
Automatic verification of stochastic processes: certification of building automation systems
NM Cauchi
University of Oxford, 2019
22019
Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings
KA Hoque, N Cauchi, A Abate
arXiv preprint arXiv:1903.06123, 2019
12019
Benchmarks for stochastic models from building automation systems.
N Cauchi, A Abate
ARCH@ ADHS, 242-250, 2018
2018
A modular library of stochastic models from building automation systems (Benchmark Proposal)
N Cauchi, A Abate
StocHy: a new tool for the verification and control of stochastic processes
N Cauchi, A Abate
The system can't perform the operation now. Try again later.
Articles 1–20