Sociable Interfaces. - Luca de Alfaro; Leandro Dias da Silva; Marco Faella; Axel Legay; Pritam Roy; Maria Sorea (FroCoS, 2005)

Ticc: A Tool for Interface Compatibility and Composition. - B. Thomas Adler; Luca de Alfaro; Leandro Dias da Silva; Marco Faella; Axel Legay; Vishwanath Raman; Pritam Roy (CAV, 2006)

Online Testing with Reinforcement Learning. - Margus Veanes; Pritam Roy; Colin Campbell (FATES/RV, 2006)

Magnifying-Lens Abstraction for Markov Decision Processes. - Luca de Alfaro; Pritam Roy (CAV, 2007)

Adapting Futures: Scalability for Real-World Computing. - Johannes Helander; Risto Serg; Margus Veanes; Pritam Roy (RTSS, 2007)

Symbolic Magnifying Lens Abstraction in Markov Decision Processes. - Pritam Roy; David Parker 001; Gethin Norman; Luca de Alfaro (QEST, 2008)

SimCheck: An Expressive Type System for Simulink. - Pritam Roy; Natarajan Shankar (NASA Formal Methods, 2010)

Interface Building for Software by Modular Three-Valued Abstraction Refinement. - Pritam Roy (CoRR, 2010)

Safety-Guarantee Controller Synthesis for Cyber-Physical Systems - Pritam Roy; Paulo Tabuada; Rupak Majumdar (CoRR, 2010)

Solving games via three-valued abstraction refinement. - Luca de Alfaro; Pritam Roy (Inf. Comput., 2010)

Pessoa 2.0: a controller synthesis tool for cyber-physical systems. - Pritam Roy; Paulo Tabuada; Rupak Majumdar (HSCC, 2011)

Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives - Krishnendu Chatterjee; Luca de Alfaro; Pritam Roy (CoRR, 2011)

SimCheck: a contract type system for Simulink. - Pritam Roy; Natarajan Shankar (Innov. Syst. Softw. Eng., 2011)

Modified shuffled frog leaping algorithm with genetic algorithm crossover for solving economic load dispatch problem with valve-point effect. - Priyanka Roy; Pritam Roy; Abhijit Chakrabarti (Appl. Soft Comput., 2013)

Efficient uninterpreted function abstraction and refinement for word-level model checking. - Yen-Sheng Ho; Pankaj Chauhan; Pritam Roy; Alan Mishchenko; Robert K. Brayton (FMCAD, 2016)

High Coverage Concolic Equivalence Checking. - Pritam Roy; Sagar Chaki; Pankaj Chauhan (DATE, 2019)

Achieving high coverage in hardware equivalence checking via concolic verification. - Pritam Roy; Sagar Chaki (Formal Methods Syst. Des., 2022)

Device-independent quantum secure direct communication under non-Markovian quantum channels. - Pritam Roy; Subhankar Bera; Shashank Gupta; Archan S. Majumdar (Quantum Inf. Process., 2024)

A multi-objective cuckoo search algorithm using generalized Lèvy flight and dissimilar egg identification for multispectral image thresholding. - Ramen Pal; Pritam Roy; Srijon Mallick; Somnath Mukhopadhyay; Sunita Sarkar; Mike Hinchey (Appl. Soft Comput., 2025)