| StocHy: automated verification and synthesis of stochastic processes N Cauchi, K Degiorgio, A Abate arXiv preprint arXiv:1901.10287, 2019 | 67 | 2019 |
| Model-based predictive maintenance in building automation systems with user discomfort N Cauchi, K Macek, A Abate Energy 138, 306-315, 2017 | 48 | 2017 |
| 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 | 46 | 2019 |
| 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 | 34 | 2017 |
| Benchmarks for cyber-physical systems: A modular model library for building automation systems N Cauchi, A Abate IFAC-PapersOnLine 51 (16), 49-54, 2018 | 27 | 2018 |
| ARCH-COMP18 Category Report: Stochastic Modelling. A Abate, HAP Blom, N Cauchi, S Haesaert, A Hartmanns, K Lesser, ... ARCH@ ADHS 54, 71-103, 2018 | 25 | 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 | 23 | 2017 |
| Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees N Cauchi, KA Hoque, A Abate, M Stoelinga | 17 | 2017 |
| ARCH-COMP20 Category Report: Stochastic Models. A Abate, HAP Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, ... ARCH, 76-106, 2020 | 14 | 2020 |
| 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 | 14 | 2019 |
| 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 | 11 | 2015 |
| 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 | 10 | 2021 |
| 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 | 10 | 2018 |
| 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 | 5 | 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 | 4 | 2015 |
| 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 | 2 | 2023 |
| 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 | 2 | 2018 |
| Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings KA Hoque, N Cauchi, A Abate arXiv preprint arXiv:1903.06123, 2019 | 1 | 2019 |
| Automatic verification of stochastic processes: certification of building automation systems NM Cauchi University of Oxford, 2019 | 1 | 2019 |
| Benchmarks for stochastic models from building automation systems. N Cauchi, A Abate ARCH@ ADHS, 242-250, 2018 | | 2018 |
Alessandro AbateProfessor of Verification and Control, University of Oxford, UK在 cs.ox.ac.uk 的电子邮件经过验证
