Follow
Filip Nikšić
Title
Cited by
Cited by
Year
An SMT-based approach to coverability analysis
J Esparza, R Ledesma-Garza, R Majumdar, P Meyer, F Niksic
International Conference on Computer Aided Verification, 603-619, 2014
722014
Incremental, Inductive Coverability
J Kloos, R Majumdar, F Niksic, R Piskac
Computer Aided Verification, 158-173, 2013
482013
Randomized testing of distributed systems with probabilistic guarantees
BK Ozkan, R Majumdar, F Niksic, MT Befrouei, G Weissenbacher
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-28, 2018
262018
Why is random testing effective for partition tolerance bugs?
R Majumdar, F Niksic
Proceedings of the ACM on Programming Languages 2 (POPL), 1-24, 2017
242017
StriSynth: synthesis for live programming
S Gulwani, M Mayer, F Niksic, R Piskac
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2†…, 2015
222015
Rely/guarantee reasoning for asynchronous programs
I Gavran, F Niksic, A Kanade, R Majumdar, V Vafeiadis
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
222015
DiffStream: Differential output testing for stream processing programs
K Kallas, F Niksic, C Stanford, R Alur
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
122020
Hitting families of schedules for asynchronous programs
D Chistikov, R Majumdar, F Niksic
International Conference on Computer Aided Verification, 157-176, 2016
92016
Checking linearizability using hitting families
BK Ozkan, R Majumdar, F Niksic
Proceedings of the 24th Symposium on Principles and Practice of Parallel†…, 2019
52019
Combinatorial Constructions for Effective Testing
F Niksic
Technische Universitšt Kaiserslautern, 2019
32019
Stream processing with dependency-guided synchronization
K Kallas, F Niksic, C Stanford, R Alur
Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of†…, 2022
22022
Synchronization schemas
R Alur, P Hilliard, ZG Ives, K Kallas, K Mamouras, F Niksic, C Stanford, ...
Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of†…, 2021
22021
Testing consensus implementations using communication closure
C Drăgoi, C Enea, BK Ozkan, R Majumdar, F Niksic
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
12020
Combinatorial Constructions for E ective Testing
F Nikšić
2019
A Fast Linear-Arithmetic Solver for DPLL (T)
F Niksic
2013
Treća zadaća iz Teorije, metodike i povijesti infinitezimalnih računa
F Nikšić
2011
Druga zadaća iz Teorije, metodike i povijesti infinitezimalnih računa
F Nikšić
2011
Treća zadaća iz Realne i funkcionalne analize
F Nikšić
2010
Druga zadaća iz Realne i funkcionalne analize
F Nikšić
2010
The Game of Six Hundreds
F Nikšić, M Horvat
Playmath 6 (16-17), 2008
2008
The system can't perform the operation now. Try again later.
Articles 1–20