( en | de | ru )

 

Disambiguation of "Cauchi, Nathalie"

Author of the publication

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

, , , , , , , , , , , , , , , and . ARCH, volume 74 of EPiC Series in Computing, page 76-106. EasyChair, (2020)

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 Braun

Nathalie Serkova

Nathalie Flacke

Nathalie Véron

Nathalie Mispagel

 

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)Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings., , and . CoRR, (2019)Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees., , , and . CoRR, (2018)Automatic verification of stochastic processes: certification of building automation systems.. University of Oxford, UK, (2020)British Library, EThOS.Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems., , , , , and . HSCC, page 240-251. ACM, (2019)StocHy : Automated Verification and Synthesis of Stochastic Processes., and . TACAS (2), volume 11428 of Lecture Notes in Computer Science, page 247-264. Springer, (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)ARCH-COMP20 Category Report: Stochastic Models., , , , , , , , , and 6 other author(s). ARCH, volume 74 of EPiC Series in Computing, page 76-106. EasyChair, (2020)ARCH-COMP21 Category Report: Stochastic Models., , , , , , , , , and 10 other author(s). ARCH@ADHS, volume 80 of EPiC Series in Computing, page 55-89. EasyChair, (2021)StocHy - automated verification and synthesis of stochastic processes: poster abstract., and . HSCC, page 258-259. ACM, (2019)