Prantik Chatterjee

According to our database, Prantik Chatterjee authored at least 8 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Accelerated Bounded Model Checking Using Interpolation Based Summaries.

Mayank Solanki, Prantik Chatterjee, Akash Lal, Subhajit Roy

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering.

Prantik Chatterjee, Pankaj Kumar Kalita, Sumit Lahiri, Sujit Kumar Muduli, Vishal Singh, Gourav Takhar, Subhajit Roy

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Augmenting Automated Spectrum Based Fault Localization for Multiple Faults.

Prantik Chatterjee, José Campos, Rui Abreu, Subhajit Roy

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Proof-Guided Underapproximation Widening for Bounded Model Checking.

Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2020

Diagnosing Software Faults Using Multiverse Analysis.

Prantik Chatterjee, Abhijit Chatterjee, José Campos, Rui Abreu, Subhajit Roy

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Distributed Bounded Model Checking.

Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2016

Finding Synergy Networks From Gene Expression Data: A Fuzzy-Rule-Based Approach.

Kaushik Sarkar, Prantik Chatterjee, Nikhil R. Pal

IEEE Trans. Fuzzy Syst., 2016

Discovery of synergistic genetic network: A minimum spanning tree-based approach.

Prantik Chatterjee, Nikhil Ranjan Pal

J. Bioinform. Comput. Biol., 2016