Lijo Thomas

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 5

Top Topics

Symbolic Execution

Implementation Details

Packet Delivery

Test Generation

Top Venues

IEEE Trans. Reliab.

Int. J. Virtual Pers. Learn. Environ.

Publications

R. Shalu, Lijo Thomas, J. Jerry Daniel, Lelitha Vanajakshi, Bhargava Rama Chilukuri
Implementation of Bus Priority System using DSRC Communication. COMSNETS (2022)
R. Shalu, Lijo Thomas, J. Jerry Daniel, Bhargava Rama Chilukuri, Lelitha Vanajakshi
Development of a Departure Time Planner using Quasi-Connected Vehicle Systems. COMSNETS (2022)
Lijo Thomas, G. S. Prakasha, Jestin Joseph
DREAMS After-School Programme for the Holistic Development of Children Amid Covid-19. Int. J. Virtual Pers. Learn. Environ. 12 (1) (2022)
Lijo Thomas, Satish Anamalamudi, S. V. R. Anand, Malati Hegde, Charles E. Perkins
Packet Delivery Deadline Time in the Routing Header for IPv6 over Low-Power Wireless Personal Area Networks (6LoWPANs). RFC 9034 (2021)
Lijo Thomas, R. Shalu, J. Jerry Daniel, S. V. R. Anand, Malati Hegde
6TiSCH operation sublayer (6top) implementation on Contiki OS. COMSNETS (2017)
Dianxiang Xu, Weifeng Xu, Michael Kent, Lijo Thomas, Linzhang Wang
An Automated Test Generation Technique for Software Quality Assurance. IEEE Trans. Reliab. 64 (1) (2015)
Dianxiang Xu, Michael Kent, Lijo Thomas, Tejeddine Mouelhi, Yves Le Traon
Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets. IEEE Trans. Computers 64 (9) (2015)
Dianxiang Xu, Lijo Thomas, Michael Kent, Tejeddine Mouelhi, Yves Le Traon
A model-based approach to automated testing of access control policies. SACMAT (2012)
Dianxiang Xu, Manghui Tu, Michael Sanford, Lijo Thomas, Daniel Woodraska, Weifeng Xu
Automated Security Test Generation with Formal Threat Models. IEEE Trans. Dependable Secur. Comput. 9 (4) (2012)
Justin Zhan, Lijo Thomas, Venkata Pasumarthi
Using gaming strategies for attacker and defender in recommender systems. CIDM (2011)
Justin Zhan, Lijo Thomas
Phishing detection using stochastic learning-based weak estimators. CICS (2011)
Lijo Thomas, Weifeng Xu, Dianxiang Xu
Mutation Analysis of Magento for Evaluating Threat Model-Based Security Testing. COMPSAC Workshops (2011)