Ravindra Metta

According to our database1, Ravindra Metta authored at least 12 papers between 2010 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2016
TIC: a scalable model checking based approach to WCET estimation.
Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, 2016

2015
Verifying synchronous reactive systems using lazy abstraction.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Over-approximating loops to prove properties using bounded model checking.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014
A New Code Obfuscation Scheme for Software Protection.
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

A code obfuscation framework using code clones.
Proceedings of the 22nd International Conference on Program Comprehension, 2014

2013
Reachability Verification of Rhapsody Statecharts.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Trace based reachability verification for statecharts.
Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

2011
Verifying Code and Its Optimizations: An Experience Report.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010
The dependence condition graph: Precise conditions for dependence between program points.
Computer Languages, Systems & Structures, 2010

Proving unreachability using bounded model checking.
Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010


  Loading...