( en | de | ru )

 

Disambiguation of "Venkatesh, R."

Author of the publication

copydeleteadd this publication to your clipboard
EDT: A specification notation for reactive systems.

, , , and . DATE, page 1-6. European Design and Automation Association, (2014)

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.

Venkatesh Kolluru

Venkatesh Ramakrishnan

Alagarswamy Venkatesh

Ganesh Venkatesh

Venkatesh Ramakrishnan

 

Other publications of authors with the same name

Everything is There in Latent Space: Attribute Editing and Attribute Style Manipulation by StyleGAN Latent Space Exploration., , , and . ACM Multimedia, page 1828-1836. ACM, (2022)VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution)., , and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 458-462. Springer, (2021)Generalizing specific-instance interpolation proofs with SyGuS., , and . ICSE (NIER), page 57-60. ACM, (2018)VeriAbs : Verification by Abstraction and Test Generation., , , , , , , and . ASE, page 1138-1141. IEEE, (2019)Formalizing Models and Meta-models for System Development., , and . APSEC, page 155-. IEEE Computer Society, (2001)Cost-effective Functional Testing of Reactive Software., , , and . ENASE, page 67-77. SciTePress, (2015)Scaling Model Checking for Test Generation Using Dynamic Inference., , , , and . ICST, page 184-191. IEEE Computer Society, (2013)Scaling up Model-checking, , , and . (2007)Over-approximating loops to prove properties using bounded model checking., , , , and . DATE, page 1407-1412. ACM, (2015)Model Checking Visual Specification of Requirements., , and . SEFM, page 202-209. IEEE Computer Society, (2003)