( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Statistical verification of dynamical systems using set oriented methods.

, , , , и . HSCC, стр. 169-178. ACM, (2015)

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.

Viswanathan Ramaswami

Viswanathan Subramanian

Kartik Viswanathan

Mahesh Darna

Mahesh Kandasamy

 

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

Deciding Concurrent Planar Monotonic Linear Hybrid Systems., , и . FORMATS, том 9268 из Lecture Notes in Computer Science, стр. 256-269. Springer, (2015)STMC: Statistical Model Checker with Stratified and Antithetic Sampling., , , , и . CAV (2), том 12225 из Lecture Notes in Computer Science, стр. 448-460. Springer, (2020)Deciding Accuracy of Differential Privacy Schemes., , , , и . CoRR, (2020)Exact quantitative probabilistic model checking through rational search., , , , и . Formal Methods Syst. Des., 56 (1): 90-126 (2020)Spot-Checkers., , , , и . J. Comput. Syst. Sci., 60 (3): 717-751 (2000)Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds., , и . VMCAI, том 6538 из Lecture Notes in Computer Science, стр. 103-117. Springer, (2011)Modular Verification of Protocol Equivalence in the Presence of Randomness., , и . ESORICS (1), том 10492 из Lecture Notes in Computer Science, стр. 187-205. Springer, (2017)Query Automata for Nested Words., и . MFCS, том 5734 из Lecture Notes in Computer Science, стр. 561-573. Springer, (2009)Quantitative Information Flow in Boolean Programs., , и . POST, том 8414 из Lecture Notes in Computer Science, стр. 103-119. Springer, (2014)Actively Learning to Verify Safety for FIFO Automata., , , и . FSTTCS, том 3328 из Lecture Notes in Computer Science, стр. 494-505. Springer, (2004)