( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
End-to-End Guarantees in Embedded Control Systems - (Abstract).

. Ershov Memorial Conference, том 7162 из Lecture Notes in Computer Science, стр. 40. Springer, (2011)

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.

Rupak Majumdar

Rupak Khadka

Sudipta Majumdar

Amitabha Majumdar

Marcus Majumdar

 

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

Context-Bounded Verification of Context-Free Specifications., , , , и . Proc. ACM Program. Lang., 7 (POPL): 2141-2170 (января 2023)Symbolic controller synthesis for Büchi specifications on stochastic systems., , и . HSCC, стр. 14:1-14:11. ACM, (2020)DeepEquaL: Deep Learning Based Mathematical Equation to Latex Generation., , и . ICONIP (5), том 1333 из Communications in Computer and Information Science, стр. 324-332. Springer, (2020)Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122)., , и . Dagstuhl Reports, 4 (3): 85-102 (2014)End-to-End Guarantees in Embedded Control Systems - (Abstract).. Ershov Memorial Conference, том 7162 из Lecture Notes in Computer Science, стр. 40. Springer, (2011)From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems., , , и . ECRTS, том 133 из LIPIcs, стр. 9:1-9:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach., , и . QEST, том 11024 из Lecture Notes in Computer Science, стр. 389-406. Springer, (2018)The Complexity of Coverage., , и . APLAS, том 5356 из Lecture Notes in Computer Science, стр. 91-106. Springer, (2008)Model Checking Discounted Temporal Properties., , , , и . TACAS, том 2988 из Lecture Notes in Computer Science, стр. 77-92. Springer, (2004)Reducing Test Inputs Using Information Partitions., и . CAV, том 5643 из Lecture Notes in Computer Science, стр. 555-569. Springer, (2009)