( en | de | ru )

 

Disambiguation of "Kanav, Sudeep"

Author of the publication

copydeleteadd this publication to your clipboard
Design and Runtime Verification Side-by-Side in eTrice.

, , , and . NFM, volume 11460 of Lecture Notes in Computer Science, page 255-262. Springer, (2019)

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. You can also use the button next to the name to display some publications already assigned to the person.

engineering kanav

Sudeep Kamath

Sudeep Sahadevan

Sudeep Pillai

Michalis Kanavakis

 

Other publications of authors with the same name

A modular approach to integrate verification tools in model based development.. MoDELS (Companion), page 150-155. ACM, (2018)CoVeriTeam: On-Demand Composition of Cooperative Verification Systems., and . TACAS (1), volume 13243 of Lecture Notes in Computer Science, page 561-579. Springer, (2022)Controlling a virtual rover using AutoFOCUS3., , , and . MoDELS (Workshops), volume 2245 of CEUR Workshop Proceedings, page 356-365. CEUR-WS.org, (2018)CoVeriTeam Service: Verification as a Service., , and . ICSE Companion, page 21-25. IEEE, (2023)An Interface Theory for Program Verification., and . ISoLA (1), volume 12476 of Lecture Notes in Computer Science, page 168-186. Springer, (2020)Monitizer: Automating Design and Evaluation of Neural Network Monitors., , , , , and . CoRR, (2024)Adaptability of Conservative Staircase Scheme for Live Videos., and . Circuits and Systems, 2 (3): 151-161 (2011)Design and Runtime Verification Side-by-Side in eTrice., , , and . NFM, volume 11460 of Lecture Notes in Computer Science, page 255-262. Springer, (2019)Construction of Verifier Combinations Based on Off-the-Shelf Verifiers., , and . FASE, volume 13241 of Lecture Notes in Computer Science, page 49-70. Springer, (2022)