Steven Keuchel

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Katamaran: semi-automated verification of ISA specifications
Steven Keuchel (Speaker), Dominique Devriese (Contributor), Georgy Lukyanov (Contributor)
16 jun 2020
Activiteit: Talk or presentation at a workshop/seminar

Bestand
Research Visit on Capability Machine Reasoning
Dominique Devriese (Participant), Steven Keuchel (Participant), Thomas Van Strydonck (Participant), Lars Birkedal (Organiser)
26 nov 2019 → 28 nov 2019
Activiteit: Other
Semi-automatic verification of ISA security guarantees in the form of universal contracts
Sander Huyghebaert (Speaker), Steven Keuchel (Contributor), Dominique Devriese (Contributor)
6 sep 2021
Activiteit: Talk or presentation at a workshop/seminar

Activiteiten