( en | de | ru )

 

Disambiguation of "Saha, Indranil"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar.

, , and . SEFM, page 69-79. IEEE Computer Society, (2007)

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.

Indranil Roy

Indranil Chatterjee

Indranil Chatterjee

Indranil Ganguli

Susanne Saha

 

Other publications of authors with the same name

A reinforcement model for collaborative security and Its formal analysis., and . NSPW, page 101-114. ACM, (2009)Location Verification Based Defense Against Sybil Attack in Sensor Networks., and . ICDCN, volume 4308 of Lecture Notes in Computer Science, page 509-521. Springer, (2006)A Distributed Algorithm of Fault Recovery for Stateful Failover., and . TAMC, volume 4484 of Lecture Notes in Computer Science, page 738-749. Springer, (2007)A Finite State Modeling of AFDX Frame Management Using Spin., and . FMICS/PDMC, volume 4346 of Lecture Notes in Computer Science, page 227-243. Springer, (2006)An Online Planning Framework for Multi-Robot Systems with LTL Specification., and . ICCPS, page 180-191. IEEE, (2024)Antlab: A Multi-Robot Task Server., , and . ACM Trans. Embed. Comput. Syst., 16 (5s): 190:1-190:19 (2017)Automated composition of motion primitives for multi-robot systems from safe LTL specifications., , , , and . IROS, page 1525-1532. IEEE, (2014)Safe Self-Triggered Control Based on Precomputed Reachability Sequences., , and . HSCC, page 7:1-7:12. ACM, (2023)Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications., , , , and . CDC, page 5339-5344. IEEE, (2023)Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking., and . ICISS, volume 5905 of Lecture Notes in Computer Science, page 292-300. Springer, (2009)