Incremental, Inductive Coverability. - Johannes Kloos; Rupak Majumdar; Filip Niksic; Ruzica Piskac (CAV, 2013)

An SMT-Based Approach to Coverability Analysis. - Javier Esparza; Ruslán Ledesma-Garza; Rupak Majumdar; Philipp J. Meyer; Filip Niksic (CAV, 2014)

Rely/Guarantee Reasoning for Asynchronous Programs. - Ivan Gavran; Filip Niksic; Aditya Kanade 001; Rupak Majumdar; Viktor Vafeiadis (CONCUR, 2015)

StriSynth: Synthesis for Live Programming. - Sumit Gulwani; Mikaël Mayer; Filip Niksic; Ruzica Piskac (ICSE (2), 2015)

Hitting Families of Schedules for Asynchronous Programs. - Dmitry Chistikov 001; Rupak Majumdar; Filip Niksic (CAV (2), 2016)

Why is random testing effective for partition tolerance bugs? - Rupak Majumdar; Filip Niksic (Proc. ACM Program. Lang., 2018)

Randomized testing of distributed systems with probabilistic guarantees. - Burcu Kulahcioglu Ozkan; Rupak Majumdar; Filip Niksic; Mitra Tabaei Befrouei; Georg Weissenbacher (Proc. ACM Program. Lang., 2018)

Checking linearizability using hitting families. - Burcu Kulahcioglu Ozkan; Rupak Majumdar; Filip Niksic (PPoPP, 2019)

Combinatorial Constructions for Effective Testing. - Filip Niksic (2019)

Testing consensus implementations using communication closure. - Cezara Dragoi; Constantin Enea; Burcu Kulahcioglu Ozkan; Rupak Majumdar; Filip Niksic (Proc. ACM Program. Lang., 2020)

DiffStream: differential output testing for stream processing programs. - Konstantinos Kallas; Filip Niksic; Caleb Stanford; Rajeev Alur (Proc. ACM Program. Lang., 2020)

Reducing Time-To-Fix For Fuzzer Bugs. - Rui Abreu 001; Franjo Ivancic; Filip Niksic; Hadi Ravanbakhsh; Ramesh Viswanathan (ASE, 2021)

Synchronization Schemas. - Rajeev Alur; Phillip Hilliard; Zachary G. Ives; Konstantinos Kallas; Konstantinos Mamouras; Filip Niksic; Caleb Stanford; Val Tannen; Anton Xue (PODS, 2021)

Stream processing with dependency-guided synchronization. - Konstantinos Kallas; Filip Niksic; Caleb Stanford; Rajeev Alur (PPoPP, 2022)