Nathalie Cauchi : Publications

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

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

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

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

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

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

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

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

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

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

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

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