Nathalie Cauchi : Publications

Click here to download all publications in a single bibtex file

@conference{CauchiFMT,
  title = "Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees",
  author = "Nathalie Cauchi and Khaza Anuarul Hoque and Alessandro Abate and Mariëlle Stoelinga",
  year = "2017",
  journal = "In Proceedings of the 4th International Conference on Systems for Energy-Efficient Built Environments",
  location = "Delft, The Netherlands",
  month = "November",
  url = "https://www.researchgate.net/publication/319183465_Efficient_Probabilistic_Model_Checking_of_Smart_Building_Maintenance_using_Fault_Maintenance_Trees",
}

@article{Peva17,
  title = "Certified policy synthesis for general Markov decision processes: An application in building automation systems",
  author = "Sofie Haesaert and Nathalie Cauchi and Alessandro Abate",
  year = "2017",
  issn = "0166-5316",
  journal = "Performance Evaluation",
  url = "http://www.sciencedirect.com/science/article/pii/S0166531617301049",
  doi = "https://doi.org/10.1016/j.peva.2017.09.005",
}

@article{Cauchi17,
  title = "Model-based predictive maintenance in building automation systems with user discomfort",
  author = "Nathalie Cauchi and Karel Macek and Alessandro Abate",
  year = "2017",
  journal = "Energy",
  url = "http://www.sciencedirect.com/science/article/pii/S0360544217312835",
  doi = "https://doi.org/10.1016/j.energy.2017.07.104",
}

@article{11053,
  title = "Long-Term Predictive Maintenance: A Study of Optimal Cleaning of Biomass Boilers",
  author = "Karel Macek and Petr Endel and Nathalie Cauchi and Alessandro Abate",
  year = "2017",
  journal = "Energy and Buildings",
  url = "http://www.sciencedirect.com/science/article/pii/S0378778817300415",
}