( en | de | ru )

 

Disambiguation of "Chakraborty, Samarjit"

Author of the publication

copydeleteadd this publication to your clipboard
Refining Task Specifications using Model Checking.

, , , and . RTCSA, page 185-191. IEEE Computer Society, (2018)

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.

Samarjit Chakraborty

Sourav Chakraborty

Dipanjan Chakraborty

Anirban Chakraborty

Diptangshu Chakraborty

 

Other publications of authors with the same name

Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems., , , , , and . ICCD, page 217-226. IEEE, (2019)Fault-tolerant control synthesis and verification of distributed embedded systems., , , , and . DATE, page 1-6. European Design and Automation Association, (2014)Unsupervised and Supervised Learning with the Random Forest Algorithm for Traffic Scenario Clustering and Classification., , , , and . CoRR, (2020)CPS-oriented Modeling and Control of Traffic Signals Using Adaptive Back Pressure., , , , and . DATE, page 1686-1691. IEEE, (2020)Energy Modeling for the Bluetooth Low Energy Protocol., , , and . ACM Trans. Embed. Comput. Syst., 19 (2): 13:1-13:32 (2020)Precise Energy Modeling for the Bluetooth Low Energy Protocol., , , and . CoRR, (2014)Griassdi: mutually assisted slotless neighbor discovery., , , and . IPSN, page 93-104. ACM, (2017)The Time-Triggered Wireless Architecture., , , , , and . ECRTS, volume 165 of LIPIcs, page 19:1-19:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Design automation for battery systems., , , and . ICCAD, page 27. ACM, (2018)Real-time calculus for scheduling hard real-time systems., , and . ISCAS, page 101-104. IEEE, (2000)