Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. About Us
  3. People
  4. Students
  5. Nathalie Cauchi
  6. Publications

Nathalie Cauchi : Publications

Click here to download all publications in a single bibtex file

@article{cauchi2019efficiency,
  title = "Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems",
  author = "Cauchi, Nathalie and Laurenti, Luca and Lahijanian, Morteza and Abate, Alessandro and Kwiatkowska, Marta and Cardelli, Luca",
  year = "2019",
  url = "https://arxiv.org/pdf/1901.01576.pdf",
}
@inproceedings{ARCH19:ARCH_COMP19_Category_Report_Stochastic,
  title = "ARCH-COMP19 Category Report: Stochastic Modelling",
  author = "Alessandro Abate and Henk Blom and Nathalie Cauchi and Kurt Degiorgio and Martin Franzle and Ernst Moritz Hahn and Sofie Haesaert and Hao Ma and Meeko Oishi and Carina Pilch and Anne Remke and Mahmoud Salamati and Sadegh Soudjani and Birgit van Huijgevoort and Abraham Vinod",
  year = "2019",
  booktitle = "ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems",
  editor = "Goran Frehse and Matthias Althoff",
  pages = "62--102",
  series = "EPiC Series in Computing",
  url = "https://easychair.org/publications/paper/S95M",
  volume = "61",
}
@conference{cauchi2019stochy,
  title = "StocHy: automated verification and synthesis of stochastic processes",
  author = "Cauchi, Nathalie and Degiorgio, Kurt and Abate, Alessandro",
  year = "2019",
  url = "https://arxiv.org/pdf/1901.10287.pdf",
}
@article{cauchi18FMT,
  title = "Maintenance of Smart Buildings using Fault Trees",
  author = "Nathalie Cauchi and Khaza Anuarul Hoque and Marielle Stoelinga and Alessandro Abate",
  year = "2018",
  issn = "1550-4859",
  journal = "ACM Transactions on Sensor Networks:  Systems for Smart and Efficient Built Environments",
  keywords = "Fault maintenance trees, PRISM, building automation systems, formal modelling, probabilistic model checking, reliability}",
  location = "New York, NY, USA",
  month = "nov",
  number = "3-4",
  pages = "28:1--28:25",
  publisher = "ACM",
  url = "http://doi.acm.org/10.1145/3232616",
  volume = "14",
  doi = "10.1145/3232616",
}
@conference{CauchiEPEW18,
  title = "Modelling Smart Buildings using Fault Maintenance Trees",
  author = "Alessandro Abate , Carlos E. Budde , Nathalie Cauchi , Arnaud van Harmelen , Khaza Anuarul Hoque , and Mariëlle Stoeling",
  year = "2018",
  booktitle = "European Workshop on Performance Engineering",
  journal = "15th European Performance Engineering Workshop",
  location = "Paris, France",
  month = "October",
  pages = "110-125",
  publisher = "Springer",
  url = "https://link.springer.com/chapter/10.1007/978-3-030-02227-3_8",
}
@article{ARCH18,
  title = "ARCH-COMP18 Category Report: Stochastic Modelling",
  author = "Alessandro Abate and Henk Blom and Nathalie Cauchi and Sofie Haesaert and Arnd Hartmanns and Kendra Lesser and Meeko Oishi and Vignesh Sivaramakrishnan and Sadegh Soudjani and Cristian-Ioan Vasile and Abraham P. Vinod",
  year = "2018",
  booktitle = "ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems",
  editor = "Goran Frehse",
  journal = "EPiC Series in Computing",
  pages = "71 - 103",
  publisher = "EasyChair",
  url = "https://easychair.org/publications/open/DzD8",
  volume = "54",
}
@conference{cauchi18phme,
  title = "Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees",
  author = "Alessandro Abate, Carlos E. Budde, Nathalie Cauchi, Khaza Anuarul Hoque and Mari\"{e}lle Stoelinga",
  year = "2018",
  booktitle = "Proceedings of the European Conference of the PHM Society",
  number = "1",
  organization = "PHM society",
  volume = "4",
}
@conference{Cauchi18BenchExt,
  title = "Benchmarks for cyber-physical systems: A modular model library for building automation systems",
  author = "Nathalie Cauchi and Alessandro Abate",
  year = "2018",
  issn = "2405-8963",
  journal = "IFAC-PapersOnLine",
  keywords = "cyber-physical systems, building automation systems, thermal modelling, hybrid models, simulation, reachability analysis, probabilistic safety, control synthesis",
  note = "6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018",
  number = "16",
  pages = "49-54",
  url = "http://www.sciencedirect.com/science/article/pii/S2405896318311224",
  volume = "51",
  doi = "https://doi.org/10.1016/j.ifacol.2018.08.009",
}
@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",
  keywords = "Verification, Synthesis, General Markov decision processes, Safety, Building Automation systems, Temperature control",
  month = "December",
  number = "Supplement C",
  pages = "75-103",
  url = "http://www.sciencedirect.com/science/article/pii/S0166531617301049",
  volume = "117",
}
@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",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments",
  isbn = "978-1-4503-5544-5",
  journal = "In Proceedings of the 4th International Conference on Systems for Energy-Efficient Built Environments",
  keywords = "PRISM, building automation systems, fault maintenance trees, formal modelling, probabilistic model checking, reliability",
  location = "Delft, The Netherlands",
  month = "November",
  pages = "24:1--24:10",
  publisher = "ACM",
  series = "BuildSys '17",
  url = "https://dl.acm.org/citation.cfm?id=3137133.3137138",
  doi = "10.1145/3137133.3137138",
}
@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",
  issn = "0360-5442",
  journal = "Energy",
  keywords = "Predictive maintenance, Biomass boiler modelling, Temperature regulation, Thermal comfort, Dynamic programming, Energy savings",
  number = "Supplement C",
  pages = "306-315",
  publisher = "Elsevier",
  url = "http://www.sciencedirect.com/science/article/pii/S0360544217312835",
  volume = "138",
  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",
}

About Us

Back to Top