Follow
Prantik Chatterjee
Prantik Chatterjee
Senior Software Engineer, MathWorks
Verified email at cse.iitk.ac.in - Homepage
Title
Cited by
Cited by
Year
Diagnosing Software Faults Using Multiverse Analysis.
P Chatterjee, A Chatterjee, J Campos, R Abreu, S Roy
IJCAI, 1629-1635, 2020
182020
Distributed Bounded Model Checking.
P Chatterjee, S Roy, BP Diep, A Lal
FMCAD, 47-56, 2020
132020
Construction of synergy networks from gene expression data related to disease
P Chatterjee, NR Pal
Gene 590 (2), 250-262, 2016
122016
Proof-guided underapproximation widening for bounded model checking
P Chatterjee, J Meda, A Lal, S Roy
International Conference on Computer Aided Verification, 304-324, 2022
72022
Accelerated Bounded Model Checking Using Interpolation Based Summaries
M Solanki, P Chatterjee, A Lal, S Roy
International Conference on Tools and Algorithms for the Construction and …, 2024
32024
Finding synergy networks from gene expression data: A fuzzy-rule-based approach
K Sarkar, P Chatterjee, NR Pal
IEEE Transactions on Fuzzy Systems 24 (6), 1488-1499, 2016
32016
Discovery of synergistic genetic network: A minimum spanning tree-based approach
P Chatterjee, NR Pal
Journal of Bioinformatics and Computational Biology 14 (01), 1650003, 2016
32016
Augmenting Automated Spectrum Based Fault Localization for Multiple Faults.
P Chatterjee, J Campos, R Abreu, S Roy
IJCAI, 3140-3148, 2023
22023
An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering
P Chatterjee, PK Kalita, S Lahiri, SK Muduli, V Singh, G Takhar, S Roy
2023 38th IEEE/ACM International Conference on Automated Software …, 2023
12023
POPULATION STRUCTURE OFPenaeus monodon FROM COASTALWEST BENGAL USING RAPD FINGERPRINTING
NR Chatterjee, P Chatterjee, SD Roy
Kolkata, 2009
2009
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)| 979-8-3503-2996-4/23/$31.00© 2023 IEEE| DOI: 10.1109/ASE56229. 2023.00009
S Agarwal, V Aggarwal, U Alon, PC Amusuo, B Balcı, T Baral, S Barnett, ...
The system can't perform the operation now. Try again later.
Articles 1–11