Edoardo Manino
Orcid: 0000-0003-0028-5440
According to our database1,
Edoardo Manino
authored at least 20 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
2023
Neural Networks, August, 2023
CoRR, 2023
LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution).
CoRR, 2023
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
2022
CoRR, 2022
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs.
IEEE Access, 2022
Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective.
Proceedings of the Findings of the Association for Computational Linguistics: ACL 2022, 2022
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022
2021
CoRR, 2021
2020
CoRR, 2020
2019
Artif. Intell., 2019
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019
2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
2016
Efficiency of active learning for the allocation of workers on crowdsourced classification tasks.
CoRR, 2016