( en | de | ru )

 

Disambiguierung von "Manino, Edoardo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs.

, , , , , und . IEEE Access, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Edoardo Costadura

Edoardo Mirabella

Edoardo Costadura

Edoardo Pignotti

Edoardo Sassone

 

Weitere Publikationen von Autoren mit dem selben Namen

ESBMC v7.4: Harnessing the Power of Intervals., , , , , , , , , und 2 andere Autor(en). CoRR, (2023)LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution)., , , , und . CoRR, (2023)CEG4N: Counter-Example Guided Neural Network Quantization Refinement., , , , und . NSV/FoMLAS@CAV, Volume 13466 von Lecture Notes in Computer Science, Seite 29-45. Springer, (2022)ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution)., , , , , , , , , und 2 andere Autor(en). TACAS (3), Volume 14572 von Lecture Notes in Computer Science, Seite 376-380. Springer, (2024)Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective., , , , und . ACL (Findings), Seite 2355-2366. Association for Computational Linguistics, (2022)EnnCore: End-to-End Conceptual Guarding of Neural Architectures., , , , , , , , , und 1 andere Autor(en). SafeAI@AAAI, Volume 3087 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution)., , , , und . TACAS (2), Volume 13994 von Lecture Notes in Computer Science, Seite 541-546. Springer, (2023)On the efficiency of data collection and aggregation for the combination of multiple classifiers. University of Southampton, UK, (2020)British Library, EThOS.Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study., , , , , und . CoRR, (2024)Designing Learning Algorithms over the Sequence Form of an Extensive-Form Game., , und . AAMAS, Seite 1622-1624. ACM, (2017)