Edoardo Manino

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 30

Top Topics

Interval Analysis

Bayes Classifier

Top Venues

Publications

Adrians Skapars, Edoardo Manino, Youcheng Sun, Lucas C. Cordeiro
Was it Slander? Towards Exact Inversion of Generative Language Models. CoRR (2024)
Rafael Sá Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro
ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). TACAS (3) (2024)
Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro
Verifying components of Arm(R) Confidential Computing Architecture with ESBMC. CoRR (2024)
Rafael Sá Menezes, Edoardo Manino, Fedor Shmarov, Mohannad Aldughaim, Rosiane de Freitas, Lucas C. Cordeiro
Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study. CoRR (2024)
Yiannis Charalambous, Edoardo Manino, Lucas C. Cordeiro
Automated Repair of AI Code with Large Language Models and Formal Verification. CoRR (2024)
João Batista Pereira Matos Jr., Eddie B. de Lima Filho, Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
Counterexample Guided Neural Network Quantization Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (4) (2024)
Edoardo Manino, Iury Bessa, Lucas C. Cordeiro
Towards global neural network abstractions with locally-exact reconstruction. Neural Networks 165 (2023)
Edoardo Manino, Rafael Sá Menezes, Fedor Shmarov, Lucas C. Cordeiro
NeuroCodeBench: a plain C neural network benchmark for software verification. CoRR (2023)
Tong Wu, Edoardo Manino, Fatimah Aljaafari, Pavlos Petoumenos, Lucas C. Cordeiro
LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution). CoRR (2023)
Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution). TACAS (2) (2023)
Edoardo Manino, Bernardo Magri, Mustafa A. Mustafa, Lucas C. Cordeiro
Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement. FoMLAS@CAV (2023)
Rafael Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro
ESBMC v7.4: Harnessing the Power of Intervals. CoRR (2023)
Edoardo Manino, Julia Rozanova, Danilo Carvalho, André Freitas, Lucas C. Cordeiro
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective. ACL (Findings) (2022)
Edoardo Manino, Iury Bessa, Lucas C. Cordeiro
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction. CoRR (2022)
Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs. IEEE Access 10 (2022)
Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs. CoRR (2022)
Danilo S. Carvalho, Edoardo Manino, Julia Rozanova, Lucas C. Cordeiro, André Freitas
Montague semantics and modifier consistency measurement in neural language models. CoRR (2022)
Edoardo Manino, Julia Rozanova, Danilo Carvalho, André Freitas, Lucas C. Cordeiro
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective. CoRR (2022)
Edoardo Manino, Danilo Carvalho, Yi Dong, Julia Rozanova, Xidan Song, Mustafa A. Mustafa, André Freitas, Gavin Brown, Mikel Lujan, Xiaowei Huang, Lucas C. Cordeiro
EnnCore: End-to-End Conceptual Guarding of Neural Architectures. SafeAI@AAAI (2022)
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. NSV/FoMLAS@CAV (2022)
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. CoRR (2022)
Xidan Song, Edoardo Manino, Luiz H. Sena, Erickson H. da S. Alves, Eddie Batista de Lima Filho, Iury Bessa, Mikel Lujan, Lucas C. Cordeiro
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking. CoRR (2021)
Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro
Verifying Quantized Neural Networks using SMT-Based Model Checking. CoRR (2021)
Guillermo Romero Moreno, Edoardo Manino, Long Tran-Thanh, Markus Brede
Zealotry and Influence Maximization in the Voter Model: When to Target Zealots? CoRR (2020)
Edoardo Manino, Long Tran-Thanh, Nicholas R. Jennings
Streaming Bayesian Inference for Crowdsourced Classification. NeurIPS (2019)
Edoardo Manino, Long Tran-Thanh, Nicholas R. Jennings
On the efficiency of data collection for multiple Naïve Bayes classifiers. Artif. Intell. 275 (2019)
Edoardo Manino, Long Tran-Thanh, Nicholas R. Jennings
Streaming Bayesian Inference for Crowdsourced Classification. CoRR (2019)
Edoardo Manino, Long Tran-Thanh, Nicholas R. Jennings
On the Efficiency of Data Collection for Crowdsourced Classification. IJCAI (2018)
Edoardo Manino, Nicola Gatti, Marcello Restelli
Designing Learning Algorithms over the Sequence Form of an Extensive-Form Game. AAMAS (2017)
Edoardo Manino, Long Tran-Thanh, Nicholas R. Jennings
Efficiency of active learning for the allocation of workers on crowdsourced classification tasks. CoRR (2016)