Kalpesh Kapoor

35 papers B 1C 3Misc 5Journal 19Unranked 6
YearRankTypeTitle / Venue / Authors
2025 Misc conf
Flood and Loot Attack in Distributed Routing Protocols in PCNs.
COMSNETS
Neeraj Sharma, Kalpesh Kapoor
2025 J jnl
maxREE: Maximizing Flow by Replacing Exhausted Edges in Lightning Network.
IEEE Trans. Netw. Sci. Eng.
Neeraj Sharma, Kalpesh Kapoor
2024 — conf
Attacks in Distributed Routing Protocols in PCNs.
Blockchain
Neeraj Sharma, Kalpesh Kapoor
2024 J jnl
Deadlock Prevention in Payment Channel Networks.
IEEE Trans. Netw. Serv. Manag.
Neeraj Sharma, Kalpesh Kapoor
2023 Misc conf
Analysis of Optimal Number of Shards Using ShardEval, A Simulator for Sharded Blockchains.
ICISS
Vishisht Priyadarshi, Sourav Goel, Kalpesh Kapoor
2023 J jnl
Density of distinct squares in non-primitive words.
Inf. Process. Lett.
Maithilee Patawar, Kalpesh Kapoor
2023 C conf
Distributed Routing Algorithms for Concurrent Execution of Transactions in PCNs.
ICFEC
Neeraj Sharma, Kalpesh Kapoor
2023 J jnl
The square density of words having a sequence of FS-double squares.
Discret. Appl. Math.
Maithilee Patawar, Kalpesh Kapoor
2021 — conf
Characterization of Dense Patterns Having Distinct Squares.
CALDAM
Maithilee Patawar, Kalpesh Kapoor
2021 Misc conf
Design and Validation of BlockEval, A Blockchain Simulator.
COMSNETS
Deepak Kumar Gouda, Shashwat Jolly, Kalpesh Kapoor
2017 J jnl
Ins-Robust Primitive Words.
CoRR
Amit Kumar Srivastava, Kalpesh Kapoor
2017 J jnl
Weighted approximate parameterized string matching.
AKCE Int. J. Graphs Comb.
Shibsankar Das, Kalpesh Kapoor
2016 J jnl
A Tight Lower Bound for the Weights of Maximum Weight Matching in Bipartite Graphs.
CoRR
Shibsankar Das, Kalpesh Kapoor
2016 — conf
On Exchange-Robust and Subst-Robust Primitive Partial Words.
ICTCS
Ananda Chandra Nayak, Amit Kumar Srivastava, Kalpesh Kapoor
2016 J jnl
On del-robust primitive words.
Discret. Appl. Math.
Amit Kumar Srivastava, Ananda Chandra Nayak, Kalpesh Kapoor
2015 Misc conf
A Nonlinear Analytical Optimization Method for Standard Cell Placement of VLSI Circuits.
VLSID
Sameer Pawanekar, Gaurav Trivedi, Kalpesh Kapoor
2015 J jnl
On reachability in graphs with obstacles.
Discret. Math. Algorithms Appl.
Udit Agarwal, Kalpesh Kapoor
2015 C conf
On the Language of Primitive Partial Words.
LATA
Ananda Chandra Nayak, Kalpesh Kapoor
2014 C conf
Fine-Tuning Decomposition Theorem for Maximum Weight Bipartite Matching.
TAMC
Shibsankar Das, Kalpesh Kapoor
2014 J jnl
Motion planning in Cartesian product graphs.
Discuss. Math. Graph Theory
Biswajit Deb, Kalpesh Kapoor
2013 — conf
Kapees: A New Tool for Standard Cell Placement.
VDAT
Sameer Pawanekar, Kalpesh Kapoor, Gaurav Trivedi
2013 J jnl
On multiset of factors of a word.
Inf. Process. Lett.
Kalpesh Kapoor, Himadri Nayak
2012 J jnl
On
Discret. Math. Algorithms Appl.
Biswajit Deb, Kalpesh Kapoor, Sukanta Pati
2011 J jnl
Fine-grained Concurrency with Separation Logic.
J. Philos. Log.
Kalpesh Kapoor, Kamal Lodaya, Uday S. Reddy
2011 J jnl
Mutant Hierarchies Support Selective Mutation.
Informatica (Slovenia)
Kalpesh Kapoor
2009 Misc conf
QDMAC: An Energy Efficient Low Latency MAC Protocol for Query Based Wireless Sensor Networks.
ICDCN
Abhishek Anand, Shikhar Sachan, Kalpesh Kapoor, Sukumar Nandi
2009 J jnl
Using formal specifications to support testing.
ACM Comput. Surv.
Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan
2007 J jnl
Test conditions for fault classes in Boolean specifications.
ACM Trans. Softw. Eng. Methodol.
Kalpesh Kapoor, Jonathan P. Bowen
2006 J jnl
Formal Analysis of Coupling Hypothesis for Logical Faults.
Innov. Syst. Softw. Eng.
Kalpesh Kapoor
2005 J jnl
A formal analysis of MCDC and RCDC test criteria.
Softw. Test. Verification Reliab.
Kalpesh Kapoor, Jonathan P. Bowen
2004 J jnl
Experimental evaluation of the tolerance for control-flow test criteria.
Softw. Test. Verification Reliab.
Kalpesh Kapoor, Jonathan P. Bowen
2004 — conf
Ordering Mutants to Minimise Test Effort in Mutation Testing.
FATES
Kalpesh Kapoor, Jonathan P. Bowen
2004 — —
Stability of test criteria and fault hierarchies in software testing.
Kalpesh Kapoor
2003 — conf
Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria.
ISESE
Kalpesh Kapoor, Jonathan P. Bowen
2003 B conf
Tolerance of Control-Flow Testing Criteria.
COMPSAC
Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen