Author-Filipkliber on D3S https://d3s.mff.cuni.cz/tags/author-filipkliber/ Recent content in Author-Filipkliber on D3S Hugo en Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs https://d3s.mff.cuni.cz/publications/parizek_checking_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/parizek_checking_2023/ Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of Threads https://d3s.mff.cuni.cz/publications/parizek_incremental_report_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/parizek_incremental_report_2022/ Locating Concurrency Errors in Windows .NET Applications by Fuzzing over Thread Schedules https://d3s.mff.cuni.cz/publications/kliber_locating_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kliber_locating_2025/