Nathalie Cauchi : Publications
Journal papers
-
[1]
Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems
Nathalie Cauchi‚ Luca Laurenti‚ Morteza Lahijanian‚ Alessandro Abate‚ Marta Kwiatkowska and Luca Cardelli
2019.
Details about Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems | BibTeX data for Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems | Download (pdf) of Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems
-
[2]
ARCH−COMP18 Category Report: Stochastic Modelling
Alessandro Abate‚ Henk Blom‚ Nathalie Cauchi‚ Sofie Haesaert‚ Arnd Hartmanns‚ Kendra Lesser‚ Meeko Oishi‚ Vignesh Sivaramakrishnan‚ Sadegh Soudjani‚ Cristian−Ioan Vasile and Abraham P. Vinod
In EPiC Series in Computing. Vol. 54. Pages 71 − 103. 2018.
Details about ARCH−COMP18 Category Report: Stochastic Modelling | BibTeX data for ARCH−COMP18 Category Report: Stochastic Modelling | Link to ARCH−COMP18 Category Report: Stochastic Modelling
-
[3]
Maintenance of Smart Buildings using Fault Trees
Nathalie Cauchi‚ Khaza Anuarul Hoque‚ Marielle Stoelinga and Alessandro Abate
In ACM Transactions on Sensor Networks: Systems for Smart and Efficient Built Environments. Vol. 14. No. 3−4. Pages 28:1–28:25. November, 2018.
Details about Maintenance of Smart Buildings using Fault Trees | BibTeX data for Maintenance of Smart Buildings using Fault Trees | DOI (10.1145/3232616) | Link to Maintenance of Smart Buildings using Fault Trees
-
[4]
Certified policy synthesis for general Markov decision processes: An application in building automation systems
Sofie Haesaert‚ Nathalie Cauchi and Alessandro Abate
In Performance Evaluation. Vol. 117. No. Supplement C. Pages 75−103. December, 2017.
Details about Certified policy synthesis for general Markov decision processes: An application in building automation systems | BibTeX data for Certified policy synthesis for general Markov decision processes: An application in building automation systems | Link to Certified policy synthesis for general Markov decision processes: An application in building automation systems
-
[5]
Model−based predictive maintenance in building automation systems with user discomfort
Nathalie Cauchi‚ Karel Macek and Alessandro Abate
In Energy. Vol. 138. No. Supplement C. Pages 306−315. 2017.
Details about Model−based predictive maintenance in building automation systems with user discomfort | BibTeX data for Model−based predictive maintenance in building automation systems with user discomfort | DOI (https://doi.org/10.1016/j.energy.2017.07.104) | Link to Model−based predictive maintenance in building automation systems with user discomfort
-
[6]
Long−Term Predictive Maintenance: A Study of Optimal Cleaning of Biomass Boilers
Karel Macek‚ Petr Endel‚ Nathalie Cauchi and Alessandro Abate
In Energy and Buildings. 2017.
Details about Long−Term Predictive Maintenance: A Study of Optimal Cleaning of Biomass Boilers | BibTeX data for Long−Term Predictive Maintenance: A Study of Optimal Cleaning of Biomass Boilers | Link to Long−Term Predictive Maintenance: A Study of Optimal Cleaning of Biomass Boilers
Conference papers
-
[1]
ARCH−COMP19 Category Report: Stochastic Modelling
Alessandro Abate‚ Henk Blom‚ Nathalie Cauchi‚ Kurt Degiorgio‚ Martin Franzle‚ Ernst Moritz Hahn‚ Sofie Haesaert‚ Hao Ma‚ Meeko Oishi‚ Carina Pilch‚ Anne Remke‚ Mahmoud Salamati‚ Sadegh Soudjani‚ Birgit van Huijgevoort and Abraham Vinod
In Goran Frehse and Matthias Althoff, editors, ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. Vol. 61 of EPiC Series in Computing. Pages 62–102. 2019.
Details about ARCH−COMP19 Category Report: Stochastic Modelling | BibTeX data for ARCH−COMP19 Category Report: Stochastic Modelling | Link to ARCH−COMP19 Category Report: Stochastic Modelling
-
[2]
StocHy: automated verification and synthesis of stochastic processes
Nathalie Cauchi‚ Kurt Degiorgio and Alessandro Abate
2019.
Details about StocHy: automated verification and synthesis of stochastic processes | BibTeX data for StocHy: automated verification and synthesis of stochastic processes | Download (pdf) of StocHy: automated verification and synthesis of stochastic processes
-
[3]
Modelling Smart Buildings using Fault Maintenance Trees
Alessandro Abate Carlos E. Budde Nathalie Cauchi Arnaud van Harmelen Khaza Anuarul Hoque and Mariëlle Stoeling
In European Workshop on Performance Engineering. Pages 110−125. Springer. October, 2018.
Details about Modelling Smart Buildings using Fault Maintenance Trees | BibTeX data for Modelling Smart Buildings using Fault Maintenance Trees | Link to Modelling Smart Buildings using Fault Maintenance Trees
-
[4]
Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees
Khaza Anuarul Hoque Alessandro Abate Carlos E. Budde Nathalie Cauchi and Mariëlle Stoelinga
In Proceedings of the European Conference of the PHM Society. Vol. 4. No. 1. PHM society. 2018.
Details about Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees | BibTeX data for Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees
-
[5]
Benchmarks for cyber−physical systems: A modular model library for building automation systems
Nathalie Cauchi and Alessandro Abate
Vol. 51. No. 16. Pages 49−54. 2018.
6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018
Details about Benchmarks for cyber−physical systems: A modular model library for building automation systems | BibTeX data for Benchmarks for cyber−physical systems: A modular model library for building automation systems | DOI (https://doi.org/10.1016/j.ifacol.2018.08.009) | Link to Benchmarks for cyber−physical systems: A modular model library for building automation systems
-
[6]
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees
Nathalie Cauchi‚ Khaza Anuarul Hoque‚ Alessandro Abate and Mariëlle Stoelinga
In Proceedings of the 4th ACM International Conference on Systems for Energy−Efficient Built Environments. Pages 24:1–24:10. New York‚ NY‚ USA. November, 2017. ACM.
Details about Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees | BibTeX data for Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees | DOI (10.1145/3137133.3137138) | Link to Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees