( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
CADENCE: Conditional Anomaly Detection for Events Using Noise-Contrastive Estimation.

, , и . AISec@CCS, стр. 71-82. ACM, (2019)

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.

Neil Garg

Pranav Tendulkar

Pranav Oberoi

Pranav Sinha

Pranav Patel

 

Другие публикации лиц с тем же именем

CADENCE: Conditional Anomaly Detection for Events Using Noise-Contrastive Estimation., , и . AISec@CCS, стр. 71-82. ACM, (2019)Learning-based inductive invariant synthesis. University of Illinois Urbana-Champaign, USA, (2015)Efficient Incrementalized Runtime Checking of Linear Measures on Lists., , , и . ICST, стр. 310-320. IEEE Computer Society, (2017)Natural proofs for asynchronous programs using almost-synchronous reductions., , и . OOPSLA, стр. 709-725. ACM, (2014)Feedback-directed unit test generation for C/C++ using concolic execution., , , , и . ICSE, стр. 132-141. IEEE Computer Society, (2013)Alchemist: Learning Guarded Affine Functions., , и . CAV (1), том 9206 из Lecture Notes in Computer Science, стр. 440-446. Springer, (2015)Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants., , , и . SAS, том 11822 из Lecture Notes in Computer Science, стр. 323-346. Springer, (2019)Natural proofs for structure, data, and separation., , , и . PLDI, стр. 231-242. ACM, (2013)Compositionality Entails Sequentializability., и . TACAS, том 6605 из Lecture Notes in Computer Science, стр. 26-40. Springer, (2011)Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists., , и . SAS, том 7935 из Lecture Notes in Computer Science, стр. 172-193. Springer, (2013)