LCTES/PLDI 2024
3. Juli 2024
Phillip Raffeck besuchte letzte Woche die PLDI-Konferenz in Kopenhagen, Dänemark. Im Rahmen der angegliederten LCTES-Konferenz stellte er unseren Beitrag mit dem Titel WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States vor, dessen Ansatz mittels statischer Analyse Fortschrittsgarantien in Intermittent Systems ermöglicht.