Seuraa
Filip Nikšić
Filip Nikšić
Google
Vahvistettu sähköpostiosoite verkkotunnuksessa google.com - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
852014
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
532018
Incremental, Inductive Coverability
J Kloos, R Majumdar, F Niksic, R Piskac
Computer Aided Verification, 158-173, 2013
522013
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
442017
Rely/guarantee reasoning for asynchronous programs
I Gavran, F Niksic, A Kanade, R Majumdar, V Vafeiadis
26th International Conference on Concurrency Theory (CONCUR 2015), 483-496, 2015
242015
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
232015
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
212020
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
142020
Hitting families of schedules for asynchronous programs
D Chistikov, R Majumdar, F Niksic
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
122016
Checking linearizability using hitting families
BK Ozkan, R Majumdar, F Niksic
Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019
82019
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
62022
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
62021
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
52021
Combinatorial Constructions for Effective Testing
F Niksic
Technische Universität Kaiserslautern, 2019
52019
Svijet matrica
F Nikšić
Playmath 1 (2), 11-16, 2003
12003
Combinatorial Constructions for E ective Testing
F Nikšić
2019
Randomized testing of distributed systems with probabilistic guarantees
B Kulahcioglu Ozkan, R Majumdar, F Niksic, MT Befrouei, ...
2018
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20