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