( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow.

, , , , , , , и . APSEC, стр. 385-392. IEEE Computer Society, (2015)

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.

Ravindra Raje

Metta Pape

Ravindra Arora

Ravindra Chalamalasetty

Ravindra Deshmukh

 

Другие публикации лиц с тем же именем

VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution)., , , и . TACAS (2), том 13994 из Lecture Notes in Computer Science, стр. 594-599. Springer, (2023)Cross-Layer Interactions in CPS for Performance and Certification., , , , , , , , и . DATE, стр. 1439-1444. IEEE, (2019)BMC+Fuzz: Efficient and Effective Test Generation., , и . DATE, стр. 1419-1424. IEEE, (2022)SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties., , и . VLSID, стр. 276-280. IEEE, (2024)Imprecision in WCET estimates due to library calls and how to reduce it (WIP paper)., , , и . LCTES, стр. 208-212. ACM, (2019)Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors., , , и . CoRR, (2018)Impactful research and tooling for program correctness., , , и . Commun. ACM, 65 (11): 52-53 (2022)FuzzNT : Checking for Program Non-termination., , , и . ICSME, стр. 409-413. IEEE, (2022)Trace based reachability verification for statecharts., , , и . FormaliSE@ICSE, стр. 22-28. IEEE Computer Society, (2013)TIC: a scalable model checking based approach to WCET estimation., , , , и . LCTES, стр. 72-81. ACM, (2016)