Samrat S. Batth

Publication Activity (10 Years)

Years Active: 2005-2009
Publications (10 Years): 0

Publications

Yu Wang, M. Ümit Uyar, Samrat S. Batth, Mariusz A. Fecko
Fault masking by multiple timing faults in timed EFSM models. Comput. Networks 53 (5) (2009)
Samrat S. Batth, M. Ümit Uyar, Yu Wang, Mariusz A. Fecko
Fault Modeling and Detection Capabilities for EFSM Models. IEEE Trans. Instrum. Meas. 57 (6) (2008)
M. Ümit Uyar, Samrat S. Batth, Yu Wang, Mariusz A. Fecko
Algorithms for Modeling a Class of Single Timing Faults in Communication Protocols. IEEE Trans. Computers 57 (2) (2008)
Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar
Specification of Timed EFSM Fault Models in SDL. FORTE (2007)
M. Ümit Uyar, Samrat S. Batth, James J. Allen, William H. Chriss, Eva B. Phillips, Diane Somers, Shahank Sarwate
Testing industrall VoIP implementations: registration for SIP phones. SIIT (2005)
M. Ümit Uyar, Yu Wang, Samrat S. Batth, Adriana Wise, Mariusz A. Fecko
Timing Fault Models for Systems with Multiple Timers. TestCom (2005)