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
612014
Incremental, Inductive Coverability
J Kloos, R Majumdar, F Niksic, R Piskac
Computer Aided Verification, 158-173, 2013
442013
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
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
202018
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
162017
Hitting families of schedules for asynchronous programs
D Chistikov, R Majumdar, F Niksic
International Conference on Computer Aided Verification, 157-176, 2016
82016
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
72020
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
32019
Stream processing with dependency-guided synchronization
K Kallas, F Niksic, C Stanford, R Alur
arXiv preprint arXiv:2104.04512, 2021
12021
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
2021
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
2020
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
Nepotpunost aritmetike
F Nikšić
2008
The system can't perform the operation now. Try again later.
Articles 1–20