( en | de | ru )

 

Disambiguation of "Cauchi, Nathalie"

Author of the publication

copydeleteadd this publication to your clipboard
ARCH-COMP21 Category Report: Stochastic Models.

, , , , , , , , , , , , , , , , , , , and . ARCH@ADHS, volume 80 of EPiC Series in Computing, page 55-89. EasyChair, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nathalie Mispagel

Nathalie Schmitz

Nathalie Gusew

Nathalie Zatula

Nathalie Véron

 

Other publications of authors with the same name

Benchmarks for cyber-physical systems: A modular model library for building automation systems., and . ADHS, volume 51 of IFAC-PapersOnLine, page 49-54. Elsevier, (2018)Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees., , , and . CoRR, (2018)Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings., , and . CoRR, (2019)Automatic verification of stochastic processes: certification of building automation systems.. University of Oxford, UK, (2020)British Library, EThOS.StocHy : Automated Verification and Synthesis of Stochastic Processes., and . TACAS (2), volume 11428 of Lecture Notes in Computer Science, page 247-264. Springer, (2019)Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems., , , , , and . HSCC, page 240-251. ACM, (2019)ARCH-COMP23 Category Report: Stochastic Models., , , , , , , , , and 4 other author(s). ARCH, volume 96 of EPiC Series in Computing, page 126-150. EasyChair, (2023)StocHy - automated verification and synthesis of stochastic processes: poster abstract., and . HSCC, page 258-259. ACM, (2019)ARCH-COMP20 Category Report: Stochastic Models., , , , , , , , , and 6 other author(s). ARCH, volume 74 of EPiC Series in Computing, page 76-106. EasyChair, (2020)Efficient probabilistic model checking of smart building maintenance using fault maintenance trees., , , and . BuildSys@SenSys, page 24:1-24:10. ACM, (2017)