( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems.

, и . CoRR, (2014)

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.

Lenka Fedorová

Jan Kaspar Fedorcak

Aleksandra Fedorova

Maria Fedorova

Michael Fedorcak

 

Другие публикации лиц с тем же именем

Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis., , , , и . PLoS Comput. Biol., 18 (9): 1010267 (сентября 2022)ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC., , , , , , и . ISSTA, стр. 773-776. ACM, (2022)ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems., и . CoRR, (2014)ARCH-COMP20 Category Report: Stochastic Models., , , , , , , , , и 6 other автор(ы). ARCH, том 74 из EPiC Series in Computing, стр. 76-106. EasyChair, (2020)ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems., и . SNR@CAV, том 37 из EPiC Series in Computing, стр. 40-48. EasyChair, (2015)ARCH-COMP21 Category Report: Stochastic Models., , , , , , , , , и 10 other автор(ы). ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 55-89. EasyChair, (2021)Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs., , , , , и . IEEE Access, (2022)Probabilistic bounded reachability for stochastic hybrid systems.. Newcastle University, Newcastle upon Tyne, UK, (2018)British Library, EThOS.Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities., , , , , , , , , и . SecDev, стр. 52-58. IEEE, (2022)Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques., и . Haifa Verification Conference, том 10028 из Lecture Notes in Computer Science, стр. 152-168. (2016)