( en | de | ru )

 

Disambiguation of "Varadarajan, Srivatsan"

Author of the publication

copydeleteadd this publication to your clipboard
Requirements-Driven Model Checking and Test Generation for Comprehensive Verification.

, , , , , and . NFM, volume 13260 of Lecture Notes in Computer Science, page 576-596. Springer, (2022)

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. You can also use the button next to the name to display some publications already assigned to the person.

Balamurugan Varadarajan

Varadarajan Seshadri

Badri Varadarajan

Sriram Varadarajan

 

Other publications of authors with the same name

IP Core for Cache and Memory Thrashing., , , , and . RTCSA, page 41-50. IEEE, (2022)Error Spreading: Reducing Bursty Errors in Continuous Media Streaming., , and . ICMCS, Vol. 1, page 314-319. IEEE Computer Society, (1999)Performance evaluation of media losses in the Continuous Media Toolkit., , , , and . MSE, page 60-67. IEEE Computer Society, (1998)Abstraction, Composition and Contracts: A Sheaf Theoretic Approach., , and . CoRR, (2018)Semantic Analysis of Assurance Cases using s(CASP)., , , , , , , , and . ICLP Workshops, volume 3437 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms., , , , , , , , and . ICDCS Workshops, page 37-44. IEEE Computer Society, (2017)Coverage-Aware Proxy Placement for Dynamic Content Management over the Internet., , , and . ICDCS Workshops, page 892-897. IEEE Computer Society, (2003)Automatic Learning-based MANET Cross-Layer Parameter Configuration., , and . ICDCS Workshops, page 84. IEEE Computer Society, (2006)TTEthernet Dataflow Concept., , , , and . NCA, page 319-322. IEEE Computer Society, (2009)An Adaptive, Perception-Driven Error Spreading Scheme in Continuous Media Streaming., , and . ICDCS, page 475-483. IEEE Computer Society, (2000)