R Venkatesh | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Martin Becker
8 publications
Kumar Madhukar
4 publications
Manish Goyal
3 publications
Muqsit Azeem
2 publications
Dr. Shrawan Kumar
1 publication
Ravindra Metta
1 publication
Samarjt Chakraborty
1 publication
Ulka Shrotri
1 publication
Advaita Datar
1 publication
Amey Zare
1 publication
Asia A
1 publication

research

∙ 09/08/2022

Automated Validation of Insurance Applications against Calculation Specifications

Insurance companies rely on their Legacy Insurance System (LIS) to gover...

0 Advaita Datar, et al. ∙

research

∙ 09/04/2021

Direct Construction of Program Alignment Automata for Equivalence Checking

The problem of checking whether two programs are semantically equivalent...

0 Manish Goyal, et al. ∙

research

∙ 02/26/2018

Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors

Estimating the Worst-Case Execution Time (WCET) of an application is an ...

0 Martin Becker, et al. ∙