Efficiency of active learning for the allocation of workers on crowdsourced classification tasks. - Edoardo Manino; Long Tran-Thanh; Nicholas R. Jennings (CoRR, 2016)

Designing Learning Algorithms over the Sequence Form of an Extensive-Form Game. - Edoardo Manino; Nicola Gatti 001; Marcello Restelli (AAMAS, 2017)

On the Efficiency of Data Collection for Crowdsourced Classification. - Edoardo Manino; Long Tran-Thanh; Nicholas R. Jennings (IJCAI, 2018)

Streaming Bayesian Inference for Crowdsourced Classification. - Edoardo Manino; Long Tran-Thanh; Nicholas R. Jennings (NeurIPS, 2019)

On the efficiency of data collection for multiple Naïve Bayes classifiers. - Edoardo Manino; Long Tran-Thanh; Nicholas R. Jennings (Artif. Intell., 2019)

Zealotry and Influence Maximization in the Voter Model: When to Target Zealots? - Guillermo Romero Moreno; Edoardo Manino; Long Tran-Thanh; Markus Brede (CoRR, 2020)

On the efficiency of data collection and aggregation for the combination of multiple classifiers - Edoardo Manino (2020)

Verifying Quantized Neural Networks using SMT-Based Model Checking. - Luiz H. Sena; Xidan Song; Erickson H. da S. Alves; Iury Bessa; Edoardo Manino; Lucas C. Cordeiro (CoRR, 2021)

QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking. - Xidan Song; Edoardo Manino; Luiz H. Sena; Erickson H. da S. Alves; Eddie Batista de Lima Filho; Iury Bessa; Mikel Luján; Lucas C. Cordeiro (CoRR, 2021)

EnnCore: End-to-End Conceptual Guarding of Neural Architectures. - Edoardo Manino; Danilo S. Carvalho; Yi Dong 002; Julia Rozanova; Xidan Song; Mustafa A. Mustafa; André Freitas; Gavin Brown 001; Mikel Luján; Xiaowei Huang 001; Lucas C. Cordeiro (SafeAI@AAAI, 2022)

Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective. - Edoardo Manino; Julia Rozanova; Danilo S. Carvalho; André Freitas; Lucas C. Cordeiro (ACL (Findings), 2022)

CEG4N: Counter-Example Guided Neural Network Quantization Refinement. - João Batista Pereira Matos Jr.; Iury Bessa; Edoardo Manino; Xidan Song; Lucas C. Cordeiro (NSV/FoMLAS@CAV, 2022)

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs. - Fatimah K. Aljaafari; Rafael Menezes; Edoardo Manino; Fedor Shmarov; Mustafa A. Mustafa; Lucas C. Cordeiro (IEEE Access, 2022)

Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement. - Edoardo Manino; Bernardo Magri; Mustafa A. Mustafa; Lucas C. Cordeiro (FoMLAS@CAV, 2023)

EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution). - Fatimah Aljaafari; Fedor Shmarov; Edoardo Manino; Rafael Menezes; Lucas C. Cordeiro (TACAS (2), 2023)

LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution). - Tong Wu; Edoardo Manino; Fatimah Aljaafari; Pavlos Petoumenos; Lucas C. Cordeiro (CoRR, 2023)

NeuroCodeBench: a plain C neural network benchmark for software verification. - Edoardo Manino; Rafael Sá Menezes; Fedor Shmarov; Lucas C. Cordeiro (CoRR, 2023)

ESBMC v7.4: Harnessing the Power of Intervals. - Rafael Menezes; Mohannad Aldughaim; Bruno Farias 001; Xianzhiyu Li; Edoardo Manino; Fedor Shmarov; Kunjian Song; Franz Brauße; Mikhail R. Gadelha; Norbert Tihanyi; Konstantin Korovin; Lucas C. Cordeiro (CoRR, 2023)

Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement. - Edoardo Manino; Bernardo Magri; Mustafa A. Mustafa; Lucas C. Cordeiro (Zenodo, 2023)

NeuroCodeBench. - Edoardo Manino; Rafael Menezes; Fedor Shmarov; Lucas C. Cordeiro (Zenodo, 2023)

Towards global neural network abstractions with locally-exact reconstruction. - Edoardo Manino; Iury Bessa; Lucas C. Cordeiro (Neural Networks, 2023)

Verifying Components of Arm® Confidential Computing Architecture with ESBMC. - Tong Wu; Shale Xiong; Edoardo Manino; Gareth Stockwell; Lucas C. Cordeiro (SAS, 2024)

ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). - Rafael Sá Menezes; Mohannad Aldughaim; Bruno Farias 001; Xianzhiyu Li; Edoardo Manino; Fedor Shmarov; Kunjian Song; Franz Brauße; Mikhail R. Gadelha; Norbert Tihanyi; Konstantin Korovin; Lucas C. Cordeiro (TACAS (3), 2024)

Automated Repair of AI Code with Large Language Models and Formal Verification. - Yiannis Charalambous; Edoardo Manino; Lucas C. Cordeiro (CoRR, 2024)

Verifying components of Arm(R) Confidential Computing Architecture with ESBMC. - Tong Wu; Shale Xiong; Edoardo Manino; Gareth Stockwell; Lucas C. Cordeiro (CoRR, 2024)

Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study. - Rafael Sá Menezes; Edoardo Manino; Fedor Shmarov; Mohannad Aldughaim; Rosiane de Freitas; Lucas C. Cordeiro (CoRR, 2024)

Was it Slander? Towards Exact Inversion of Generative Language Models. - Adrians Skapars; Edoardo Manino; Youcheng Sun; Lucas C. Cordeiro (CoRR, 2024)

Counterexample Guided Neural Network Quantization Refinement. - João Batista Pereira Matos Jr.; Eddie B. de Lima Filho; Iury Bessa; Edoardo Manino; Xidan Song; Lucas C. Cordeiro (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Montague semantics and modifier consistency measurement in neural language models. - Danilo Silva de Carvalho; Edoardo Manino; Julia Rozanova; Lucas C. Cordeiro; André Freitas (COLING, 2025)

Neural Network Verification is a Programming Language Challenge. - Lucas C. Cordeiro; Matthew L. Daggitt; Julien Girard-Satabin; Omri Isac; Taylor T. Johnson; Guy Katz; Ekaterina Komendantskaya; Augustin Lemesle; Edoardo Manino; Artjoms Sinkarovs; Haoze Wu 001 (ESOP (1), 2025)

ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution). - Tong Wu; Xianzhiyu Li; Edoardo Manino; Rafael Sá Menezes; Mikhail R. Gadelha; Shale Xiong; Norbert Tihanyi; Pavlos Petoumenos; Lucas C. Cordeiro (TACAS (3), 2025)

GPT, But Backwards: Exactly Inverting Language Model Outputs. - Adrians Skapars; Edoardo Manino; Youcheng Sun; Lucas C. Cordeiro (CoRR, 2025)