Nathalie Cauchi

Identifiers

No identifiers captured yet.

Papers (4)

1. Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings cs.SY · 2019 · author #2
2. Maintenance of Smart Buildings using Fault Trees cs.SY · 2018 · author #1
3. Benchmarks for cyber-physical systems: A modular model library for building automation systems (Extended version) cs.SY · 2018 · author #1
4. Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees cs.LO · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Alessandro Abate 4 shared papers
• Khaza Anuarul Hoque 3 shared papers
• Marielle Stoelinga 2 shared papers