E-mail senden E-Mail Adresse kopieren
Placeholder
Doktorand:in

Arthur Correnson

E-Mail

Telefon

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Gruppenmitglied in

Veröffentlichungen von Arthur Correnson

Jahr 2024

2024-01-12

Formal Verification of Symbolic Bug Finders

thesis-dissertation

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2024-01

À la recherche de tous les vrais bugs

Konferenz / Medium

Journées Francophones des Langages Applicatifs (JFLA)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2023

2023-11-30

Engineering a Formally Verified Automated Bug Finder

Artikel

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2023-11-30

Engineering a Formally Verified Automated Bug Finder.

Konferenz / Medium

European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen