Nathalie Cauchi

21 papers Journal 8Unranked 12

Year	Rank	Type	Title / Venue / Authors
2023	—	`conf`	ARCH-COMP23 Category Report: Stochastic Models. ARCH 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, Lisa Willemsen, Paolo Zuliani
2021	—	`conf`	ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS 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, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam J. Thorpe, Vlad Turcuman, Paolo Zuliani
2020	—	`conf`	ARCH-COMP20 Category Report: Stochastic Models. ARCH 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, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani
2020	—	`—`	Automatic verification of stochastic processes: certification of building automation systems. Nathalie Cauchi
2019	—	`conf`	ARCH-COMP19 Category Report: Stochastic Modelling. ARCH@CPSIoTWeek 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, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod
2019	J	`jnl`	Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings. CoRR Khaza Anuarul Hoque, Nathalie Cauchi, Alessandro Abate
2019	J	`jnl`	Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems. CoRR Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli
2019	—	`conf`	Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. HSCC Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli
2019	—	`conf`	StocHy - automated verification and synthesis of stochastic processes: poster abstract. HSCC Nathalie Cauchi, Alessandro Abate
2019	J	`jnl`	StocHy: automated verification and synthesis of stochastic processes. CoRR Nathalie Cauchi, Kurt Degiorgio, Alessandro Abate
2019	—	`conf`	\mathsf StocHy : Automated Verification and Synthesis of Stochastic Processes. TACAS (2) Nathalie Cauchi, Alessandro Abate
2018	—	`conf`	ARCH-COMP18 Category Report: Stochastic Modelling. ARCH@ADHS 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
2018	J	`jnl`	Benchmarks for cyber-physical systems: A modular model library for building automation systems (Extended version). CoRR Nathalie Cauchi, Alessandro Abate
2018	—	`conf`	Benchmarks for cyber-physical systems: A modular model library for building automation systems. ADHS Nathalie Cauchi, Alessandro Abate
2018	—	`conf`	Benchmarks for stochastic models from building automation systems. ARCH@ADHS Nathalie Cauchi, Alessandro Abate
2018	J	`jnl`	Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees. CoRR Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Mariëlle Stoelinga
2018	J	`jnl`	Maintenance of Smart Buildings using Fault Trees. CoRR Nathalie Cauchi, Khaza Anuarul Hoque, Mariëlle Stoelinga, Alessandro Abate
2018	J	`jnl`	Maintenance of Smart Buildings using Fault Trees. ACM Trans. Sens. Networks Nathalie Cauchi, Khaza Anuarul Hoque, Mariëlle Stoelinga, Alessandro Abate
2018	—	`conf`	Modelling Smart Buildings Using Fault Maintenance Trees. EPEW Alessandro Abate, Carlos E. Budde, Nathalie Cauchi, Arnaud van Harmelen, Khaza Anuarul Hoque, Mariëlle Stoelinga
2017	J	`jnl`	Certified policy synthesis for general Markov decision processes: An application in building automation systems. Perform. Evaluation Sofie Haesaert, Nathalie Cauchi, Alessandro Abate
2017	—	`conf`	Efficient probabilistic model checking of smart building maintenance using fault maintenance trees. BuildSys Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Mariëlle Stoelinga