Follow
Edoardo Manino
Edoardo Manino
Verified email at manchester.ac.uk
Title
Cited by
Cited by
Year
On the efficiency of data collection for crowdsourced classification
E Manino, L Tran-Thanh, N Jennings
19*2018
On the efficiency of data collection for multiple Naďve Bayes classifiers
E Manino, L Tran-Thanh, NR Jennings
Artificial Intelligence 275, 356-378, 2019
152019
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
FK Aljaafari, R Menezes, E Manino, F Shmarov, MA Mustafa, LC Cordeiro
IEEE Access 10, 121365-121384, 2022
112022
Hardware-level Bayesian inference
A Serb, E Manino, I Messaris, L Tran-Thanh, T Prodromakis
102017
Verifying Quantized Neural Networks using SMT-Based Model Checking
L Sena, X Song, E Alves, I Bessa, E Manino, L Cordeiro
arXiv preprint arXiv:2106.05997, 2021
82021
Zealotry and influence maximization in the voter model: when to target partial zealots?
G Romero Moreno, E Manino, L Tran-Thanh, M Brede
Complex Networks XI, 107-118, 2020
82020
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective
E Manino, J Rozanova, D Carvalho, A Freitas, L Cordeiro
60th Annual Meeting of the Association for Computational Linguistics, 2022
62022
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking
X Song, E Manino, L Sena, E Alves, I Bessa, M Lujan, L Cordeiro
arXiv preprint arXiv:2111.13110, 2021
52021
Streaming Bayesian Inference for Crowdsourced Classification
E Manino, L Tran-Thanh, N Jennings
Advances in Neural Information Processing Systems, 12782-12792, 2019
52019
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs: (Competition Contribution)
F Aljaafari, F Shmarov, E Manino, R Menezes, LC Cordeiro
International Conference on Tools and Algorithms for the Construction and …, 2023
22023
Counter-Example Guided Neural Network Compression Refinement (CEG4N)
JBPM Junior, E Manino, X Song, IV Bessa, LC Cordeiro
5th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS), 2022
2*2022
ESBMC v7. 4: Harnessing the Power of Intervals
R Menezes, M Aldughaim, B Farias, X Li, E Manino, F Shmarov, K Song, ...
arXiv preprint arXiv:2312.14746, 2023
12023
Source code of binary_sims. exe and related datasets
E Manino, L Tran-Thanh, NR Jennings
University of Southampton, 2020
12020
ESBMC v7. 4: Harnessing the Power of Intervals (Competition Contribution)
R Menezes, M Aldughaim, B Farias, X Li, E Manino, F Shmarov, K Song, ...
2024
Counterexample Guided Neural Network Quantization Refinement
JBP Matos, EB de Lima Filho, I Bessa, E Manino, X Song, LC Cordeiro
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023
2023
NeuroCodeBench: a plain C neural network benchmark for software verification
E Manino, RS Menezes, F Shmarov, LC Cordeiro
arXiv preprint arXiv:2309.03617, 2023
2023
Towards global neural network abstractions with locally-exact reconstruction
E Manino, I Bessa, LC Cordeiro
Neural Networks 165, 344-357, 2023
2023
Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement⋆
E Manino, B Magri, MA Mustafa, LC Cordeiro
6th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS …, 2023
2023
LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution)
T Wu, E Manino, F Aljaafari, P Petoumenos, LC Cordeiro
arXiv preprint arXiv:2301.09142, 2023
2023
Montague semantics and modifier consistency measurement in neural language models
DS Carvalho, E Manino, J Rozanova, L Cordeiro, A Freitas
arXiv preprint arXiv:2212.04310, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20