Login / Signup
Filip Kliber
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Lightweight
Database Applications
Invited Paper
Efficient Incremental
Top Venues
ACM SIGSOFT Softw. Eng. Notes
</>
Publications
</>
Elena Sherman
,
Yannic Noller
,
Cyrille Artho
,
Franck van Breugel
,
Anto Nanah Ji
,
John Kellerman
,
Parssa Khazra
,
Filip Kliber
,
Gaurang Kudale
,
Pavel Parízek
,
Corina S. Pasareanu
,
Ron Pressler
,
Matt Walker
,
Hongru Wang
,
Qiuchen Yan
The Java Pathfinder Workshop 2022.
ACM SIGSOFT Softw. Eng. Notes
48 (1) (2023)
Pavel Parízek
,
Filip Kliber
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs.
ACM SIGSOFT Softw. Eng. Notes
48 (1) (2023)