( en | de | ru )

 

Disambiguation of "Niksic, Filip"

Author of the publication

copydeleteadd this publication to your clipboard
Randomized testing of distributed systems with probabilistic guarantees.

, , , , and . Proc. ACM Program. Lang., 2 (OOPSLA): 160:1-160:28 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Filip Beck

Adam Filip

Filip Lebo

Heinrich Filip

Filip Floegel

 

Other publications of authors with the same name

Checking linearizability using hitting families., , and . PPoPP, page 366-377. ACM, (2019)Hitting Families of Schedules for Asynchronous Programs., , and . CAV (2), volume 9780 of Lecture Notes in Computer Science, page 157-176. Springer, (2016)Testing consensus implementations using communication closure., , , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 210:1-210:29 (2020)DiffStream: differential output testing for stream processing programs., , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 153:1-153:29 (2020)Why is random testing effective for partition tolerance bugs?, and . Proc. ACM Program. Lang., 2 (POPL): 46:1-46:24 (2018)Stream Processing With Dependency-Guided Synchronization., , , and . CoRR, (2021)An SMT-Based Approach to Coverability Analysis., , , , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 603-619. Springer, (2014)Reducing Time-To-Fix For Fuzzer Bugs., , , , and . ASE, page 1126-1130. IEEE, (2021)Combinatorial Constructions for Effective Testing.. Kaiserslautern University of Technology, Germany, (2019)Synchronization Schemas., , , , , , , , and . PODS, page 1-18. ACM, (2021)