Prantik Chatterjee

11 papers A* 3B 1Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Memory-Safety Verification of Open Programs with Angelic Assumptions.
Proc. ACM Program. Lang.
Gourav Takhar, Baldip Bijlani, Prantik Chatterjee, Akash Lal, Subhajit Roy
2024 — conf
Accelerated Bounded Model Checking Using Interpolation Based Summaries.
TACAS (2)
Mayank Solanki, Prantik Chatterjee, Akash Lal, Subhajit Roy
2024 J jnl
Distributed bounded model checking.
Formal Methods Syst. Des.
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
2023 A* conf
An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering.
ASE
Prantik Chatterjee, Pankaj Kumar Kalita, Sumit Lahiri, Sujit Kumar Muduli, Vishal Singh, Gourav Takhar, Subhajit Roy
2023 A* conf
Augmenting Automated Spectrum Based Fault Localization for Multiple Faults.
IJCAI
Prantik Chatterjee, José Campos, Rui Abreu, Subhajit Roy
2022 — conf
Proof-Guided Underapproximation Widening for Bounded Model Checking.
CAV (1)
Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy
2020 A* conf
Diagnosing Software Faults Using Multiverse Analysis.
IJCAI
Prantik Chatterjee, Abhijit Chatterjee, José Campos, Rui Abreu, Subhajit Roy
2020 B conf
Distributed Bounded Model Checking.
FMCAD
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
2020 J jnl
Distributed Bounded Model Checking.
CoRR
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
2016 J jnl
Discovery of synergistic genetic network: A minimum spanning tree-based approach.
J. Bioinform. Comput. Biol.
Prantik Chatterjee, Nikhil Ranjan Pal
2016 J jnl
Finding Synergy Networks From Gene Expression Data: A Fuzzy-Rule-Based Approach.
IEEE Trans. Fuzzy Syst.
Kaushik Sarkar, Prantik Chatterjee, Nikhil R. Pal