E-LIB Suche - Ergebnisse für: Edoardo Manino

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

2

Counterexample Guided Neural Network Quantization Refinemen:

Matos, João Batista P. ; de Lima Filho, Eddie B. ; Bessa, Iury...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 43 (2024) 4 - p. 1121-1134 , 2024

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

3

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

4

Towards global neural network abstractions with locally-exa..:

Manino, Edoardo ; Bessa, Iury ; Cordeiro, Lucas C.
Neural Networks. 165 (2023) - p. 344-357 , 2023

Link: https://doi.org/10.1016/..

5

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

6

CEG4N: Counter-Example Guided Neural Network Quantization R..:

, In: Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems,

Matos Jr., João Batista P. ; Bessa, Iury ; Manino, Edoardo.. - p. 29-45 , 2022

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

7

Zealotry and Influence Maximization in the Voter Model: Whe..:

, In: Complex Networks XI; Springer Proceedings in Complexity,

Romero Moreno, Guillermo ; Manino, Edoardo ; Tran-Thanh, Long. - p. 107-118 , 2020

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

8

On the efficiency of data collection for multiple Naïve Bay..:

Manino, Edoardo ; Tran-Thanh, Long ; Jennings, Nicholas R.
Artificial Intelligence. 275 (2019) - p. 356-378 , 2019

Link: https://doi.org/10.1016/..

9

Designing Learning Algorithms over the Sequence Form of an ..:

, In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems,

Manino, Edoardo ; Gatti, Nicola ; Restelli, Marcello - p. 1622-1624 , 2017

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

10

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

11

Counter-Example Guided Neural Network Quantization Refineme..:

João Batista Pereira Matos Júnior ; Iury Bessa ; Edoardo Manino..
doi:10.5281/zenodo.6791963. , 2022

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

12

QNNVerifier: A Tool for Verifying Neural Networksusing SMT-..:

Xidan Song ; Edoardo Manino ; Luiz Sena...
doi:10.5281/zenodo.5724253. , 2021

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

13

Verifying Quantized Neural Networks using SMT-Based Model C..:

Luiz Sena ; Xidan Song ; Erickson Alves...
doi:10.5281/zenodo.5503819. , 2021

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

14

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

15

Towards Global Neural Network Abstractions with Locally-Exa..:

Manino, Edoardo ; Bessa, Iury ; Cordeiro, Lucas
info:eu-repo/grantAgreement/UKRI/EPSRC/EP/T026995/1/. , 2023

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