ÆÈ·Î¿ì
Ravi Metta
Ravi Metta
tcs.comÀÇ À̸ÞÀÏ È®ÀεÊ
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
242015
A new code obfuscation scheme for software protection
A Kulkarni, R Metta
2014 IEEE 8th International Symposium on Service Oriented System Engineering ¡¦, 2014
182014
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
152010
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
132016
A code obfuscation framework using code clones
A Kulkarni, R Metta
Proceedings of the 22Nd International Conference on Program Comprehension ¡¦, 2014
112014
Reachability verification of rhapsody statecharts
K Madhukar, R Metta, P Singh, R Venkatesh
2013 IEEE Sixth International Conference on Software Testing, Verification ¡¦, 2013
72013
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, 515-543, 2019
62019
BMC+ Fuzz: Efficient and effective test generation
R Metta, RK Medicherla, S Chakraborty
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE ¡¦, 2022
52022
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
52015
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
42015
Checking scheduling-induced violations of control safety properties
A Yeolekar, R Metta, C Hobbs, S Chakraborty
International Symposium on Automated Technology for Verification and ¡¦, 2022
32022
Verifying code and its optimizations: An experience report
R Metta
2011 IEEE Fourth International Conference on Software Testing, Verification ¡¦, 2011
32011
Scaling up Model-checking: A Case Study
A Kulkarni, R Metta, U Shrotri, R Venkatesh
Next Generation Design and Verification Methodologies for Distributed ¡¦, 2007
32007
VeriFuzz 1.4: Checking for (non-) termination (competition contribution)
R Metta, P Yeduru, H Karmarkar, RK Medicherla
International Conference on Tools and Algorithms for the Construction and ¡¦, 2023
22023
FuzzNT: Checking for program non-termination
H Karmarkar, RK Medicherla, R Metta, P Yeduru
2022 IEEE International Conference on Software Maintenance and Evolution ¡¦, 2022
22022
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
22019
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
22019
VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).
R Metta, RK Medicherla, H Karmarkar
FASE, 341-346, 2022
12022
Proving unreachability using bounded model checking
U Shrotri, R Venkatesh, R Metta
Proceedings of the 3rd India software engineering conference, 73-82, 2010
12010
Impactful research and tooling for program correctness
P Darke, R Metta, RK Medicherla, R Venkatesh
Communications of the ACM 65 (11), 52-53, 2022
2022
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20