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

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/..

4

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..

5

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/..

6

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/..

7

Probabilistic Reachability for Uncertain Stochastic Hybrid ..:

, In: 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE),

Vasileva, Mariia ; Shmarov, Fedor ; Zuliani, Paolo - p. 1-11 , 2020

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

8

Automated Synthesis of Safe Digital Controllers for Sampled..:

Shmarov, Fedor ; Soudjani, Sadegh ; Paoletti, Nicola...
IEEE Access. 8 (2020) - p. 180825-180843 , 2020

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

9

ProbReach : verified probabilistic delta-reachability fo..:

, In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control,

Shmarov, Fedor ; Zuliani, Paolo - p. 134-139 , 2015

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

10

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..

11

NeuroCodeBench:

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

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

12

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..

13

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..

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

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..