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
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
892014
Incremental, Inductive Coverability
J Kloos, R Majumdar, F Niksic, R Piskac
Computer Aided Verification, 158-173, 2013
532013
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
442018
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
362017
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
252015
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
242015
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
172020
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
112020
Hitting families of schedules for asynchronous programs
D Chistikov, R Majumdar, F Niksic
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
102016
Checking linearizability using hitting families
BK Ozkan, R Majumdar, F Niksic
Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019
72019
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
52022
Combinatorial Constructions for Effective Testing
F Niksic
Technische Universität Kaiserslautern, 2019
52019
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
42021
Reducing time-to-fix for fuzzer bugs
R Abreu, F Ivančić, F Nikšić, H Ravanbakhsh, R Viswanathan
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
12021
Svijet matrica
F Nikšić
Playmath 1 (2), 11-16, 2003
12003
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
The system can't perform the operation now. Try again later.
Articles 1–20