Edoardo Manino

40 papers A* 2A 1B 2Journal 25Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
Certified Error Analysis of Homomorphically Encrypted Neural Networks.
SAIV
Philipp Kern, Edoardo Manino, Carsten Sinz
2025 — conf
ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution).
TACAS (3)
Tong Wu, Xianzhiyu Li, Edoardo Manino, Rafael Sá Menezes, Mikhail R. Gadelha, Shale Xiong, Norbert Tihanyi, Pavlos Petoumenos, Lucas C. Cordeiro
2025 J jnl
Floating-Point Neural Network Verification at the Software Level.
CoRR
Edoardo Manino, Bruno Farias, Rafael Sá Menezes, Fedor Shmarov, Lucas C. Cordeiro
2025 J jnl
GPT, But Backwards: Exactly Inverting Language Model Outputs.
CoRR
Adrians Skapars, Edoardo Manino, Youcheng Sun, Lucas C. Cordeiro
2025 B conf
Montague semantics and modifier consistency measurement in neural language models.
COLING
Danilo Silva de Carvalho, Edoardo Manino, Julia Rozanova, Lucas C. Cordeiro, André Freitas
2025 — conf
Neural Network Verification is a Programming Language Challenge.
ESOP (1)
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
2025 J jnl
Neural Network Verification is a Programming Language Challenge.
CoRR
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
2025 J jnl
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results.
CoRR
Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, Taylor T. Johnson, Lukas Koller, Edoardo Manino, ThanhVu H. Nguyen, Haoze Wu
2024 J jnl
Automated Repair of AI Code with Large Language Models and Formal Verification.
CoRR
Yiannis Charalambous, Edoardo Manino, Lucas C. Cordeiro
2024 J jnl
Counterexample Guided Neural Network Quantization Refinement.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
João Batista Pereira Matos Jr., Eddie B. de Lima Filho, Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
2024 — conf
ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution).
TACAS (3)
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
2024 J jnl
Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study.
CoRR
Rafael Sá Menezes, Edoardo Manino, Fedor Shmarov, Mohannad Aldughaim, Rosiane de Freitas, Lucas C. Cordeiro
2024 B conf
Verifying Components of Arm
SAS
Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro
2024 J jnl
Verifying components of Arm(R) Confidential Computing Architecture with ESBMC.
CoRR
Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro
2024 J jnl
Was it Slander? Towards Exact Inversion of Generative Language Models.
CoRR
Adrians Skapars, Edoardo Manino, Youcheng Sun, Lucas C. Cordeiro
2023 — conf
Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement.
FoMLAS@CAV
Edoardo Manino, Bernardo Magri, Mustafa A. Mustafa, Lucas C. Cordeiro
2023 — conf
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution).
TACAS (2)
Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro
2023 J jnl
ESBMC v7.4: Harnessing the Power of Intervals.
CoRR
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
2023 J jnl
LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution).
CoRR
Tong Wu, Edoardo Manino, Fatimah Aljaafari, Pavlos Petoumenos, Lucas C. Cordeiro
2023 J jnl
NeuroCodeBench: a plain C neural network benchmark for software verification.
CoRR
Edoardo Manino, Rafael Sá Menezes, Fedor Shmarov, Lucas C. Cordeiro
2023 J jnl
Towards global neural network abstractions with locally-exact reconstruction.
Neural Networks
Edoardo Manino, Iury Bessa, Lucas C. Cordeiro
2022 — conf
CEG4N: Counter-Example Guided Neural Network Quantization Refinement.
NSV/FoMLAS@CAV
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
2022 J jnl
CEG4N: Counter-Example Guided Neural Network Quantization Refinement.
CoRR
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
2022 J jnl
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs.
IEEE Access
Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro
2022 J jnl
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs.
CoRR
Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro
2022 — conf
EnnCore: End-to-End Conceptual Guarding of Neural Architectures.
SafeAI@AAAI
Edoardo Manino, Danilo S. Carvalho, Yi Dong, Julia Rozanova, Xidan Song, Mustafa A. Mustafa, André Freitas, Gavin Brown, Mikel Luján, Xiaowei Huang, Lucas C. Cordeiro
2022 J jnl
Montague semantics and modifier consistency measurement in neural language models.
CoRR
Danilo S. Carvalho, Edoardo Manino, Julia Rozanova, Lucas C. Cordeiro, André Freitas
2022 — conf
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective.
ACL (Findings)
Edoardo Manino, Julia Rozanova, Danilo S. Carvalho, André Freitas, Lucas C. Cordeiro
2022 J jnl
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective.
CoRR
Edoardo Manino, Julia Rozanova, Danilo S. Carvalho, André Freitas, Lucas C. Cordeiro
2022 J jnl
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction.
CoRR
Edoardo Manino, Iury Bessa, Lucas C. Cordeiro
2021 J jnl
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking.
CoRR
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
2021 J jnl
Verifying Quantized Neural Networks using SMT-Based Model Checking.
CoRR
Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro
2020 — —
On the efficiency of data collection and aggregation for the combination of multiple classifiers
Edoardo Manino
2020 J jnl
Zealotry and Influence Maximization in the Voter Model: When to Target Zealots?
CoRR
Guillermo Romero Moreno, Edoardo Manino, Long Tran-Thanh, Markus Brede
2019 J jnl
On the efficiency of data collection for multiple Naïve Bayes classifiers.
Artif. Intell.
Edoardo Manino, Long Tran-Thanh, Nicholas R. Jennings
2019 A* conf
Streaming Bayesian Inference for Crowdsourced Classification.
NeurIPS
Edoardo Manino, Long Tran-Thanh, Nicholas R. Jennings
2019 J jnl
Streaming Bayesian Inference for Crowdsourced Classification.
CoRR
Edoardo Manino, Long Tran-Thanh, Nicholas R. Jennings
2018 A* conf
On the Efficiency of Data Collection for Crowdsourced Classification.
IJCAI
Edoardo Manino, Long Tran-Thanh, Nicholas R. Jennings
2017 A conf
Designing Learning Algorithms over the Sequence Form of an Extensive-Form Game.
AAMAS
Edoardo Manino, Nicola Gatti, Marcello Restelli
2016 J jnl
Efficiency of active learning for the allocation of workers on crowdsourced classification tasks.
CoRR
Edoardo Manino, Long Tran-Thanh, Nicholas R. Jennings