Sign in
Yunus Kiliç
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Formal Analysis
Intrusion Detection System
Top Venues
SAC
</>
Publications
</>
Yunus Kiliç
,
Hasan Sözer
Generating runtime verification specifications based on static code analysis alerts.
SAC
(2017)