( en | de | ru )

 

Disambiguierung von "Shmarov, Fedor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities.

, , , , , , , , , und . SecDev, Seite 52-58. IEEE, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Lenka Fedorová

Jan Kaspar Fedorcak

Aleksandra Fedorova

Maria Fedorova

Michael Fedorcak

 

Weitere Publikationen von Autoren mit dem selben Namen

Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis., , , , und . PLoS Comput. Biol., 18 (9): 1010267 (September 2022)ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC., , , , , , und . ISSTA, Seite 773-776. ACM, (2022)ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems., und . SNR@CAV, Volume 37 von EPiC Series in Computing, Seite 40-48. EasyChair, (2015)ARCH-COMP20 Category Report: Stochastic Models., , , , , , , , , und 6 andere Autor(en). ARCH, Volume 74 von EPiC Series in Computing, Seite 76-106. EasyChair, (2020)ARCH-COMP21 Category Report: Stochastic Models., , , , , , , , , und 10 andere Autor(en). ARCH@ADHS, Volume 80 von EPiC Series in Computing, Seite 55-89. EasyChair, (2021)ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems., und . CoRR, (2014)Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs., , , , , und . 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., , , , , , , , , und . SecDev, Seite 52-58. IEEE, (2022)Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques., und . Haifa Verification Conference, Volume 10028 von Lecture Notes in Computer Science, Seite 152-168. (2016)