Shrawan Kumar

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 24

Top Topics

Interval Analysis

Test Generation

Software Systems

Localization Algorithm

Top Venues

Wirel. Networks

Wirel. Pers. Commun.

Publications

Kapil Kumar, Shrawan Kumar, Renu Garg, Indrajeet Kumar
Reliability estimation for inverse Pareto lifetime model based on unified hybrid censored data. Int. J. Syst. Assur. Eng. Manag. 15 (6) (2024)
Sumit Kumar, Neera Batra, Shrawan Kumar
Optimized localization in large-scale heterogeneous WSN. J. Supercomput. 79 (6) (2023)
Ganesh Kumar Wadhwani, Pankaj Kumar Varshney, Anjali Gupta, Shrawan Kumar
Sentiment Analysis and Comprehensive Evaluation of Supervised Machine Learning Models Using Twitter Data on Russia-Ukraine War. SN Comput. Sci. 4 (4) (2023)
Sumit Kumar, Shrawan Kumar, Ruchi Garg
Range-free localization for GWSN using k-NN algorithm with local linear Gaussian kernel regression (KGR). Evol. Syst. 14 (1) (2023)
Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, Supratik Chakraborty
VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution). TACAS (2) (2023)
Ranjit Rajak, Shrawan Kumar, Shiv Prakash, Nidhi Rajak, Pratibha Dixit
A novel technique to optimize quality of service for directed acyclic graph (DAG) scheduling in cloud computing environment using heuristic approach. J. Supercomput. 79 (2) (2023)
Anushri Jana, Bharti Chimdyalwar, Shrawan Kumar, R. Venkatesh
Fast Analysis of Evolving Software Systems. ISSRE Workshops (2022)
Sumit Kumar, Shrawan Kumar, Daya Krishan Lobiyal
MWLP-DP: Mobile war-fighters location prediction for dark phase in Internet of Battlefield Things. Trans. Emerg. Telecommun. Technol. 33 (4) (2022)
Narayana Darapaneni, Shrawan Kumar, Selvarangan Krishnan, Hemalatha K, Arunkumar Rajagopal, Nagendra, Anwesh Reddy Paduri
Implementing a Real-Time, YOLOv5 based Social Distancing Measuring System for Covid-19. CoRR (2022)
Bharti Chimdyalwar, Anushri Jana, Shrawan Kumar, Ankita Khadsare, Vaidehi Ghime
Identifying Relevant Changes for Incremental Verification of Evolving Software Systems. SANER (2022)
Ruchi Garg, Sumit Kumar, Shrawan Kumar
Distributed TDMA Frame with Transmission Slot Estimation for Fully Connected Wireless Multihop Networks. Wirel. Pers. Commun. 124 (1) (2022)
Advaita Datar, Amey Zare, Asia A, R. Venkatesh, Shrawan Kumar, Ulka Shrotri
Automated Validation of Insurance Applications against Calculation Specifications. ISSRE Workshops (2022)
Advaita Datar, Amey Zare, Asia A, R. Venkatesh, Shrawan Kumar, Ulka Shrotri
Automated Validation of Insurance Applications against Calculation Specifications. CoRR (2022)
Bharti Chimdyalwar, Shrawan Kumar
Selective path-sensitive interval analysis (WIP paper). LCTES (2021)
Abhinesh Kaushik, D. K. Lobiyal, Shrawan Kumar
Improved 3-dimensional DV-hop localization algorithm based on information of nearby nodes. Wirel. Networks 27 (3) (2021)
Anushri Jana, Ankita Khadsare, Bharti Chimdyalwar, Shrawan Kumar, Vaidehi Ghime, R. Venkatesh
Fast Change-Based Alarm Reporting for Evolving Software Systems. ISSRE (2021)
Sumit Kumar, Neera Batra, Shrawan Kumar
Range-independent localization for GPS dead zone in MWSN. Wirel. Networks 27 (7) (2021)
Sumit Kumar, Shrawan Kumar, Neera Batra
Optimized Distance Range Free Localization Algorithm for WSN. Wirel. Pers. Commun. 117 (3) (2021)
Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh
VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution). TACAS (2) (2020)
Mohammad Afzal, A. Asia, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar, R. Venkatesh
VeriAbs : Verification by Abstraction and Test Generation. ASE (2019)
Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla
VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). TACAS (2) (2018)
Shrawan Kumar, Amitabha Sanyal, R. Venkatesh, Punit Shah
Property Checking Array Programs Using Loop Shrinking. TACAS (1) (2018)
Shrawan Kumar, D. K. Lobiyal
Novel DV-Hop localization algorithm for wireless sensor networks. Telecommun. Syst. 64 (3) (2017)
Bharti Chimdyalwar, Priyanka Darke, Avriti Chauhan, Punit Shah, Shrawan Kumar, R. Venkatesh
VeriAbs: Verification by Abstraction (Competition Contribution). TACAS (2) (2017)
Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker
Value Slice: A New Slicing Concept for Scalable Property Checking. TACAS (2015)
Shrawan Kumar, J. M. Landsberg
Connections between conjectures of Alon-Tarsi, Hadamard-Howe, and integrals over the special unitary group. Discret. Math. 338 (7) (2015)
Shrawan Kumar
Property irrelevant predicates. CoRR (2015)
Shrawan Kumar, J. M. Landsberg
Connections between conjectures of Alon-Tarsi, Hadamard-Howe, and integrals over the special unitary group. CoRR (2014)
Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker
Sliced Slices: Separating Data and Control Influences. CoRR (2014)
Shrawan Kumar, D. K. Lobiyal
Power efficient range-free localization algorithm for wireless sensor networks. Wirel. Networks 20 (4) (2014)
Anand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar, R. Venkatesh
Scaling Model Checking for Test Generation Using Dynamic Inference. ICST (2013)
Shrawan Kumar, Bharti Chimdyalwar, Ulka Shrotri
Precise range analysis on large industry code. ESEC/SIGSOFT FSE (2013)
Shrawan Kumar, D. K. Lobiyal
An Advanced DV-Hop Localization Algorithm for Wireless Sensor Networks. Wirel. Pers. Commun. 71 (2) (2013)
Shrawan Kumar, D. K. Lobiyal
An Enhanced DV-Hop Localization Algorithm for Wireless Sensor Networks. Int. J. Wirel. Networks Broadband Technol. 2 (2) (2012)
Bharti Chimdyalwar, Shrawan Kumar
Effective false positive filtering for evolving software. ISEC (2011)
Shubhangi Khare, Sandeep Saraswat, Shrawan Kumar
Static program analysis of large embedded code base: an experience. ISEC (2011)
Prahladavaradan Sampath, Shrawan Kumar
Composing Context Sensitive Analysis. SEFM (2006)
Shrawan Kumar, Yogesh Narayan, Chris Bacchus
Symmetric and Asymmetric Two-Handed Pull-Push Strength of Young Adults. Hum. Factors 37 (4) (1995)