Pritam Roy

22 papers A* 2A 2B 2Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Secure one-sided device-independent quantum key distribution under collective attacks with enhanced robustness.
Quantum Inf. Process.
Pritam Roy, Subhankar Bera, Archan S. Majumdar
2025 J jnl
A multi-objective cuckoo search algorithm using generalized Lèvy flight and dissimilar egg identification for multispectral image thresholding.
Appl. Soft Comput.
Ramen Pal, Pritam Roy, Srijon Mallick, Somnath Mukhopadhyay, Sunita Sarkar, Mike Hinchey
2025 J jnl
Ratliff Property of Edge Ideals of Weighted Oriented Graphs.
Electron. J. Comb.
Arindam Banerjee, Kanoy Kumar Das, Pritam Roy
2024 J jnl
Device-independent quantum secure direct communication under non-Markovian quantum channels.
Quantum Inf. Process.
Pritam Roy, Subhankar Bera, Shashank Gupta, Archan S. Majumdar
2022 J jnl
Achieving high coverage in hardware equivalence checking via concolic verification.
Formal Methods Syst. Des.
Pritam Roy, Sagar Chaki
2019 A conf
High Coverage Concolic Equivalence Checking.
DATE
Pritam Roy, Sagar Chaki, Pankaj Chauhan
2016 B conf
Efficient uninterpreted function abstraction and refinement for word-level model checking.
FMCAD
Yen-Sheng Ho, Pankaj Chauhan, Pritam Roy, Alan Mishchenko, Robert K. Brayton
2013 J jnl
Modified shuffled frog leaping algorithm with genetic algorithm crossover for solving economic load dispatch problem with valve-point effect.
Appl. Soft Comput.
Priyanka Roy, Pritam Roy, Abhijit Chakrabarti
2011 J jnl
Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives
CoRR
Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy
2011 — conf
Pessoa 2.0: a controller synthesis tool for cyber-physical systems.
HSCC
Pritam Roy, Paulo Tabuada, Rupak Majumdar
2011 J jnl
SimCheck: a contract type system for Simulink.
Innov. Syst. Softw. Eng.
Pritam Roy, Natarajan Shankar
2010 J jnl
Interface Building for Software by Modular Three-Valued Abstraction Refinement.
CoRR
Pritam Roy
2010 J jnl
Safety-Guarantee Controller Synthesis for Cyber-Physical Systems
CoRR
Pritam Roy, Paulo Tabuada, Rupak Majumdar
2010 — conf
SimCheck: An Expressive Type System for Simulink.
NASA Formal Methods
Pritam Roy, Natarajan Shankar
2010 J jnl
Solving games via three-valued abstraction refinement.
Inf. Comput.
Luca de Alfaro, Pritam Roy
2008 — conf
Symbolic Magnifying Lens Abstraction in Markov Decision Processes.
QEST
Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro
2007 A conf
Adapting Futures: Scalability for Real-World Computing.
RTSS
Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy
2007 A* conf
Magnifying-Lens Abstraction for Markov Decision Processes.
CAV
Luca de Alfaro, Pritam Roy
2007 B conf
Solving Games Via Three-Valued Abstraction Refinement.
CONCUR
Luca de Alfaro, Pritam Roy
2006 — conf
Online Testing with Reinforcement Learning.
FATES/RV
Margus Veanes, Pritam Roy, Colin Campbell
2006 A* conf
Ticc: A Tool for Interface Compatibility and Composition.
CAV
B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy
2005 — conf
Sociable Interfaces.
FroCoS
Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea