Login / Signup
Karoliine Holter
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Active Rules
Abstract Interpretation
Termination Analysis
Active Databases
Top Venues
TACAS (3)
CoRR
</>
Publications
</>
Simmo Saan
,
Julian Erhard
,
Michael Schwarz
,
Stanimir Bozhilov
,
Karoliine Holter
,
Sarah Tilscher
,
Vesal Vojdani
,
Helmut Seidl
Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution).
TACAS (3)
(2024)
Simmo Saan
,
Julian Erhard
,
Michael Schwarz
,
Stanimir Bozhilov
,
Karoliine Holter
,
Sarah Tilscher
,
Vesal Vojdani
,
Helmut Seidl
Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution).
TACAS (3)
(2024)
Julian Erhard
,
Simmo Saan
,
Sarah Tilscher
,
Michael Schwarz
,
Karoliine Holter
,
Vesal Vojdani
,
Helmut Seidl
Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap.
CoRR
(2022)