Concepedia

Filip Niksic

FN

Statistics

Publications

7

Citations

117

H-Index

7

Active since

2015

Affiliations

Max Planck Institute for Software Systems(Current)

California University of Pennsylvania

Filip Niksic is an author at Max Planck Institute for Software Systems specializing in computing, computer science, and distributed systems.

Publications per year

2015–2020

7

Publications

7

Randomized testing of distributed systems with probabilistic guarantees

Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic et al. · Proceedings of the ACM on Programming Languages · 2018 · 33 citations · Full text

, , +8

Why is random testing effective for partition tolerance bugs?

Rupak Majumdar, Filip Niksic · Proceedings of the ACM on Programming Languages · 2017 · 21 citations · Full text

, , +15

DiffStream: differential output testing for stream processing programs

Filip Niksic, Caleb Stanford, Rajeev Alur · Proceedings of the ACM on Programming Languages · 2020 · 16 citations · Full text

, , +15

Rely/Guarantee Reasoning for Asynchronous Programs

Ivan Gavran, Filip Niksic, Aditya Kanade et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 14 citations · Full text

, , +9

Testing consensus implementations using communication closure

Cezara Drăgoi, Constantin Enea, Burcu Kulahcioglu Ozkan et al. · Proceedings of the ACM on Programming Languages · 2020 · 12 citations · Full text

, , +13

1–5 of 7