Concepedia

Filip Niksic

FN

Statistics

Publications

7

Citations

116

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 computer engineering, program analysis, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisComputer EngineeringSoftware TestingVerificationFormal MethodsSystem SoftwareDistributed 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

Engineering, Distributed Algorithms, Verification +26

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

Engineering, Random Testing Tools, Verification +21

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

Cluster Computing, Engineering, Computer Architecture +20

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

Why is Random Testing Effective for Partition Tolerance Bugs

Rupak Majumdar, Filip Niksic · MPG.PuRe (Max Planck Society) · 2018 · 11 citations

Cluster Computing, Engineering, Verification +25

1–5 of 7