Prantik Chatterjee

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 9

Top Topics

Minimum Spanning Tree

Bounded Model Checking

Gene Expression

Top Venues

IEEE Trans. Fuzzy Syst.

Publications

Mayank Solanki, Prantik Chatterjee, Akash Lal, Subhajit Roy
Accelerated Bounded Model Checking Using Interpolation Based Summaries. TACAS (2) (2024)
Prantik Chatterjee, Pankaj Kumar Kalita, Sumit Lahiri, Sujit Kumar Muduli, Vishal Singh, Gourav Takhar, Subhajit Roy
An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering. ASE (2023)
Prantik Chatterjee, José Campos, Rui Abreu, Subhajit Roy
Augmenting Automated Spectrum Based Fault Localization for Multiple Faults. IJCAI (2023)
Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy
Proof-Guided Underapproximation Widening for Bounded Model Checking. CAV (1) (2022)
Prantik Chatterjee, Abhijit Chatterjee, José Campos, Rui Abreu, Subhajit Roy
Diagnosing Software Faults Using Multiverse Analysis. IJCAI (2020)
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
Distributed Bounded Model Checking. FMCAD (2020)
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
Distributed Bounded Model Checking. CoRR (2020)
Prantik Chatterjee, Nikhil Ranjan Pal
Discovery of synergistic genetic network: A minimum spanning tree-based approach. J. Bioinform. Comput. Biol. 14 (1) (2016)
Kaushik Sarkar, Prantik Chatterjee, Nikhil R. Pal
Finding Synergy Networks From Gene Expression Data: A Fuzzy-Rule-Based Approach. IEEE Trans. Fuzzy Syst. 24 (6) (2016)