Over-approximating loops to prove properties using bounded model checking P Darke, B Chimdyalwar, R Venkatesh, U Shrotri, R Metta 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE ¡¦, 2015 | 17 | 2015 |
A new code obfuscation scheme for software protection A Kulkarni, R Metta 2014 IEEE 8th International Symposium on Service Oriented System Engineering ¡¦, 2014 | 16 | 2014 |
The dependence condition graph: Precise conditions for dependence between program points S Sukumaran, A Sreenivas, R Metta Computer Languages, Systems & Structures 36 (1), 96-121, 2010 | 15 | 2010 |
TIC: a scalable model checking based approach to WCET estimation R Metta, M Becker, P Bokil, S Chakraborty, R Venkatesh ACM SIGPLAN Notices 51 (5), 72-81, 2016 | 11 | 2016 |
A code obfuscation framework using code clones A Kulkarni, R Metta Proceedings of the 22nd International Conference on Program Comprehension ¡¦, 2014 | 7 | 2014 |
Reachability verification of rhapsody statecharts K Madhukar, R Metta, P Singh, R Venkatesh 2013 IEEE Sixth International Conference on Software Testing, Verification ¡¦, 2013 | 7 | 2013 |
Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking M Becker, R Metta, R Venkatesh, S Chakraborty International Journal on Software Tools for Technology Transfer 21 (5), 515-543, 2019 | 6 | 2019 |
Verifying synchronous reactive systems using lazy abstraction K Madhukar, M Srivas, B Wächter, D Kroening, R Metta 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE ¡¦, 2015 | 4 | 2015 |
Timing analysis of safety-critical automotive software: The AUTOSAFE tool flow M Becker, S Mohamed, K Albers, PP Chakrabarti, S Chakraborty, ... 2015 Asia-Pacific Software Engineering Conference (APSEC), 385-392, 2015 | 3 | 2015 |
Verifying code and its optimizations: An experience report R Metta 2011 IEEE Fourth International Conference on Software Testing, Verification ¡¦, 2011 | 3 | 2011 |
Imprecision in WCET estimates due to library calls and how to reduce it (WIP Paper) M Becker, S Chakraborty, R Metta, R Venkatesh Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on ¡¦, 2019 | 2 | 2019 |
Scaling up model-checking A Kulkarni, R Metta, U Shrotri, R Venkatesh Next Generation Design and Verification Methodologies for Distributed ¡¦, 2007 | 2 | 2007 |
BMC+ Fuzz: Efficient and effective test generation R Metta, RK Medicherla, S Chakraborty 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE ¡¦, 2022 | 1 | 2022 |
Cross-Layer Interactions in CPS for Performance and Certification S Chakraborty, JH Anderson, M Becker, H Graeb, S Halder, R Metta, ... 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE ¡¦, 2019 | 1 | 2019 |
Proving unreachability using bounded model checking U Shrotri, R Venkatesh, R Metta Proceedings of the 3rd India software engineering conference, 73-82, 2010 | 1 | 2010 |
VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). R Metta, RK Medicherla, H Karmarkar FASE, 341-346, 2022 | | 2022 |
Refining Task Specifications using Model Checking A Yeolekar, R Metta, R Venkatesh, S Chakraborty 2018 IEEE 24th International Conference on Embedded and Real-Time Computing ¡¦, 2018 | | 2018 |
System and method for detecting unreachable states in a statemate statechart model U Shrotri, V Ramanathan, R Metta US Patent 8,977,533, 2015 | | 2015 |
PROCEEDINGS-IEEE 8TH INTERNATIONAL SYMPOSIUM ON SERVICE ORIENTED SYSTEM ENGINEERING, SOSE 2014 WT Tsai, G Qi, J Luo, W Wu, C Jin, A Kulkarni, R Metta, R Liu, H Yang Chaos 409, 414, 2014 | | 2014 |
Trace based reachability verification for statecharts K Madhukar, R Metta, U Shrotri, R Venkatesh 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE ¡¦, 2013 | | 2013 |