Efficient probabilistic model checking of smart building maintenance using fault maintenance trees. - Nathalie Cauchi; Khaza Anuarul Hoque; Alessandro Abate; Mariëlle Stoelinga (BuildSys, 2017)

Certified policy synthesis for general Markov decision processes: An application in building automation systems. - Sofie Haesaert; Nathalie Cauchi; Alessandro Abate (Perform. Evaluation, 2017)

ARCH-COMP18 Category Report: Stochastic Modelling. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Sofie Haesaert; Arnd Hartmanns; Kendra Lesser; Meeko Oishi; Vignesh Sivaramakrishnan; Sadegh Soudjani; Cristian Ioan Vasile; Abraham P. Vinod (ARCH@ADHS, 2018)

Benchmarks for cyber-physical systems: A modular model library for building automation systems. - Nathalie Cauchi; Alessandro Abate (ADHS, 2018)

Benchmarks for stochastic models from building automation systems. - Nathalie Cauchi; Alessandro Abate (ARCH@ADHS, 2018)

Modelling Smart Buildings Using Fault Maintenance Trees. - Alessandro Abate; Carlos E. Budde; Nathalie Cauchi; Arnaud van Harmelen; Khaza Anuarul Hoque; Mariëlle Stoelinga (EPEW, 2018)

Benchmarks for cyber-physical systems: A modular model library for building automation systems (Extended version). - Nathalie Cauchi; Alessandro Abate (CoRR, 2018)

Maintenance of Smart Buildings using Fault Trees. - Nathalie Cauchi; Khaza Anuarul Hoque; Mariëlle Stoelinga; Alessandro Abate (ACM Trans. Sens. Networks, 2018)

ARCH-COMP19 Category Report: Stochastic Modelling. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Kurt Degiorgio; Martin Fränzle; Ernst Moritz Hahn; Sofie Haesaert; Hao Ma; Meeko Oishi; Carina Pilch; Anne Remke; Mahmoud Salamati; et al. (ARCH@CPSIoTWeek, 2019)

StocHy - automated verification and synthesis of stochastic processes: poster abstract. - Nathalie Cauchi; Alessandro Abate (HSCC, 2019)

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. - Nathalie Cauchi; Luca Laurenti; Morteza Lahijanian; Alessandro Abate; Marta Kwiatkowska; Luca Cardelli (HSCC, 2019)

mathsf StocHy : Automated Verification and Synthesis of Stochastic Processes. - Nathalie Cauchi; Alessandro Abate (TACAS (2), 2019)

StocHy: automated verification and synthesis of stochastic processes. - Nathalie Cauchi; Kurt Degiorgio; Alessandro Abate (CoRR, 2019)

Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings. - Khaza Anuarul Hoque; Nathalie Cauchi; Alessandro Abate (CoRR, 2019)

ARCH-COMP20 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Joanna Delicaris; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Carina Pilch; Anne Remke; Stefan Schupp; Fedor Shmarov; Sadegh Soudjani; et al. (ARCH, 2020)

Automatic verification of stochastic processes: certification of building automation systems. - Nathalie Cauchi (2020)

ARCH-COMP21 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Marc Bouissou; Nathalie Cauchi; Hassane Chraibi; Joanna Delicaris; Sofie Haesaert; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Hao Ma; Kaushik Mallik; et al. (ARCH@ADHS, 2021)

ARCH-COMP23 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Joanna Delicaris; Sofie Haesaert; Birgit van Huijgevoort; Abolfazl Lavaei; Anne Remke; Oliver Schön; Stefan Schupp; Fedor Shmarov; Sadegh Soudjani; et al. (ARCH, 2023)