E-LIB Suche - Ergebnisse für: Shmarov, Fedor

1

ESBMC v7.4: Harnessing the Power of Intervals: (Competition..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Menezes, Rafael Sá ; Aldughaim, Mohannad ; Farias, Bruno... - p. 376-380 , 2024

Link: https://doi.org/10.1007/..

2

EBF 4.2: Black-Box Cooperative Verification for Concurrent ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Aljaafari, Fatimah ; Shmarov, Fedor ; Manino, Edoardo.. - p. 541-546 , 2023

Link: https://doi.org/10.1007/..

3

ESBMC v7.4: Harnessing the Power of Intervals:

Menezes, Rafael ; Aldughaim, Mohannad ; Farias, Bruno...
http://arxiv.org/abs/2312.14746. , 2023

Link: http://arxiv.org/abs/231..

4

EBF 4.2: Black-Box Cooperative Verification for Concurrent ..:

Aljaafari, Fatimah ; Shmarov, Fedor ; Manino, Edoardo..
Aljaafari , F , Shmarov , F , Manino , E , Menezes , R & Cordeiro , L C 2023 , EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) . in 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems .. , 2023

Link: https://research.manches..

5

NeuroCodeBench: a plain C neural network benchmark for soft..:

Manino, Edoardo ; Menezes, Rafael Sá ; Shmarov, Fedor.
http://arxiv.org/abs/2309.03617. , 2023

Link: http://arxiv.org/abs/230..

6

NeuroCodeBench:

Manino, Edoardo ; Menezes, Rafael ; Shmarov, Fedor.
doi:10.5281/zenodo.8305732. , 2023

Link: https://zenodo.org/recor..

7

Position Paper: Towards a Hybrid Approach to Protect Agains..:

, In: 2022 IEEE Secure Development Conference (SecDev),

Alshmrany, Kaled ; Bhayat, Ahmed ; Braube, Franz... - p. 52-58 , 2022

Link: https://doi.org/10.1109/..

8

ESBMC-CHERI: towards verification of C programs for CHERI p..:

, In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis,

Brauße, Franz ; Shmarov, Fedor ; Menezes, Rafael... - p. 773-776 , 2022

Link: https://dl.acm.org/doi/1..

9

Individualised computational modelling of immune mediated d..:

Shmarov, Fedor ; Smith, Graham R. ; Weatherhead, Sophie C....
PLOS Computational Biology. 18 (2022) 9 - p. e1010267 , 2022

Link: https://doi.org/10.1371/..

10

Combining BMC and Fuzzing Techniques for Finding Software V..:

Aljaafari, Fatimah K. ; Menezes, Rafael ; Manino, Edoardo...
IEEE Access. 10 (2022) - p. 121365-121384 , 2022

Link: https://doi.org/10.1109/..

11

Individualised computational modelling of immune mediated d..:

Fedor Shmarov ; Graham R Smith ; Sophie C Weatherhead..
https://doi.org/10.1371/journal.pcbi.1010267. , 2022

Link: https://doi.org/10.1371/..

12

Combining BMC and Fuzzing Techniques for Finding Software V..:

Fatimah K. Aljaafari ; Rafael Menezes ; Edoardo Manino...
https://ieeexplore.ieee.org/document/9955513/. , 2022

Link: https://doi.org/10.1109/..

13

Combining BMC and Fuzzing Techniques for Finding Software V..:

Aljaafari, Fatimah ; Menezes, Rafael ; Manino, Edoardo...
Aljaafari , F , Menezes , R , Manino , E , Shmarov , F , Mustafa , M A & Cordeiro , L 2022 , ' Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs ' , IEEE Access , vol. 10 , pp. 121365 - 121384 . https://doi.org/10.1109/ACCESS.2022.3223359. , 2022

Link: https://research.manches..

14

Combining BMC and Fuzzing Techniques for Finding Software V..:

Aljaafari, Fatimah K ; Menezes, Rafael ; Manino, Edoardo...
http://arxiv.org/abs/2206.06043. , 2022

Link: http://arxiv.org/abs/220..

15

Individualised computational modelling of immune mediated d..:

Fedor Shmarov ; Graham R. Smith ; Sophie C. Weatherhead..
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9524682/?tool=EBI. , 2022

Link: https://doaj.org/article..