( en | de | ru )

 

Disambiguierung von "Shmarov, Fedor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution).

, , , , und . TACAS (2), Volume 13994 von Lecture Notes in Computer Science, Seite 541-546. Springer, (2023)

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

SMT-Based Reasoning for Uncertain Hybrid Domains., und . AAAI Workshop: Planning for Hybrid Systems, Volume WS-16-12 von AAAI Technical Report, AAAI Press, (2016)978-1-57735-759-9.Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes., , und . MEMOCODE, Seite 1-11. IEEE, (2020)ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution)., , , , , , , , , und 2 andere Autor(en). TACAS (3), Volume 14572 von Lecture Notes in Computer Science, Seite 376-380. Springer, (2024)NeuroCodeBench: a plain C neural network benchmark for software verification., , , und . CoRR, (2023)Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems., , , , , und . CoRR, (2017)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)Probabilistic bounded reachability for stochastic hybrid systems.. Newcastle University, Newcastle upon Tyne, UK, (2018)British Library, EThOS.Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs., , , , , und . CoRR, (2022)FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis., , , , , und . CoRR, (2022)