( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards Space-Efficient Linear Relations Analysis

, и . (2005)Draft available by request.

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.

Sriram Rallabhandi

Sundararajan Sankaranarayanan

Sriram Varadarajan

Sriram Subramanian

Sriram Ayyaswamy

 

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

Petri Net Analysis Using Invariant Generation., , и . Verification: Theory and Practice, том 2772 из Lecture Notes in Computer Science, стр. 682-701. Springer, (2003)Program Analysis Using Symbolic Ranges., , и . SAS, том 4634 из Lecture Notes in Computer Science, стр. 366-383. Springer, (2007)Static Analysis in the Continuously Changing World.. SAS, том 7935 из Lecture Notes in Computer Science, стр. 4-5. Springer, (2013)A Bit Too Precise? Bounded Verification of Quantized Digital Filters., , и . TACAS, том 7214 из Lecture Notes in Computer Science, стр. 33-47. Springer, (2012)Efficient Detection and Quantification of Timing Leaks with Neural Networks., , , и . RV, том 11757 из Lecture Notes in Computer Science, стр. 329-348. Springer, (2019)Reaching Out Towards Fully Verified Autonomous Systems., , и . RP, том 11674 из Lecture Notes in Computer Science, стр. 22-32. Springer, (2019)Quantitative estimation of side-channel leaks with neural networks., , , и . Int. J. Softw. Tools Technol. Transf., 23 (4): 641-654 (2021)Verified Path Following Using Neural Control Lyapunov Functions., , , и . CoRL, том 205 из Proceedings of Machine Learning Research, стр. 1949-1958. PMLR, (2022)DC2: A framework for scalable, scope-bounded software verification., , , , , , , и . ASE, стр. 133-142. IEEE Computer Society, (2011)Temporal Logic-Based Intent Monitoring for Mobile Robots., и . IROS, стр. 8643-8650. (2023)