Pritam Roy

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 4

Top Topics

Formal Verification

Top Venues

Formal Methods Syst. Des.

Quantum Inf. Process.

Publications

Pritam Roy, Subhankar Bera, Shashank Gupta, Archan S. Majumdar
Device-independent quantum secure direct communication under non-Markovian quantum channels. Quantum Inf. Process. 23 (5) (2024)
Pritam Roy, Sagar Chaki
Achieving high coverage in hardware equivalence checking via concolic verification. Formal Methods Syst. Des. 60 (3) (2022)
Pritam Roy, Sagar Chaki, Pankaj Chauhan
High Coverage Concolic Equivalence Checking. DATE (2019)
Yen-Sheng Ho, Pankaj Chauhan, Pritam Roy, Alan Mishchenko, Robert K. Brayton
Efficient uninterpreted function abstraction and refinement for word-level model checking. FMCAD (2016)
Priyanka Roy, Pritam Roy, Abhijit Chakrabarti
Modified shuffled frog leaping algorithm with genetic algorithm crossover for solving economic load dispatch problem with valve-point effect. Appl. Soft Comput. 13 (11) (2013)
Pritam Roy, Natarajan Shankar
SimCheck: a contract type system for Simulink. Innov. Syst. Softw. Eng. 7 (2) (2011)
Pritam Roy, Paulo Tabuada, Rupak Majumdar
Pessoa 2.0: a controller synthesis tool for cyber-physical systems. HSCC (2011)
Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy
Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives CoRR (2011)
Pritam Roy, Natarajan Shankar
SimCheck: An Expressive Type System for Simulink. NASA Formal Methods (2010)
Pritam Roy, Paulo Tabuada, Rupak Majumdar
Safety-Guarantee Controller Synthesis for Cyber-Physical Systems CoRR (2010)
Pritam Roy
Interface Building for Software by Modular Three-Valued Abstraction Refinement. CoRR (2010)
Luca de Alfaro, Pritam Roy
Solving games via three-valued abstraction refinement. Inf. Comput. 208 (6) (2010)
Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro
Symbolic Magnifying Lens Abstraction in Markov Decision Processes. QEST (2008)
Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy
Adapting Futures: Scalability for Real-World Computing. RTSS (2007)
Luca de Alfaro, Pritam Roy
Solving Games Via Three-Valued Abstraction Refinement. CONCUR (2007)
Luca de Alfaro, Pritam Roy
Magnifying-Lens Abstraction for Markov Decision Processes. CAV (2007)
Margus Veanes, Pritam Roy, Colin Campbell
Online Testing with Reinforcement Learning. FATES/RV (2006)
B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy
Ticc: A Tool for Interface Compatibility and Composition. CAV (2006)
Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea
Sociable Interfaces. FroCoS (2005)