Pritam Roy

According to our database, Pritam Roy authored at least 18 papers between 2005 and 2024.

Collaborative distances:

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

2024

Device-independent quantum secure direct communication under non-Markovian quantum channels.

Pritam Roy, Subhankar Bera, Shashank Gupta, Archan S. Majumdar

Quantum Inf. Process., May, 2024

2022

Achieving high coverage in hardware equivalence checking via concolic verification.

Pritam Roy, Sagar Chaki

Formal Methods Syst. Des., 2022

2019

High Coverage Concolic Equivalence Checking.

Pritam Roy, Sagar Chaki, Pankaj Chauhan

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2016

Efficient uninterpreted function abstraction and refinement for word-level model checking.

Yen-Sheng Ho, Pankaj Chauhan, Pritam Roy, Alan Mishchenko, Robert K. Brayton

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2013

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

2011

SimCheck: a contract type system for Simulink.

Pritam Roy, Natarajan Shankar

Innov. Syst. Softw. Eng., 2011

Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives

Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy

CoRR, 2011

Pessoa 2.0: a controller synthesis tool for cyber-physical systems.

Pritam Roy, Paulo Tabuada, Rupak Majumdar

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

2010

Solving games via three-valued abstraction refinement.

Luca de Alfaro, Pritam Roy

Inf. Comput., 2010

Safety-Guarantee Controller Synthesis for Cyber-Physical Systems

Pritam Roy, Paulo Tabuada, Rupak Majumdar

CoRR, 2010

Interface Building for Software by Modular Three-Valued Abstraction Refinement.

Pritam Roy

CoRR, 2010

SimCheck: An Expressive Type System for Simulink.

Pritam Roy, Natarajan Shankar

Proceedings of the Second NASA Formal Methods Symposium, 2010

2008

Symbolic Magnifying Lens Abstraction in Markov Decision Processes.

Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2007

Adapting Futures: Scalability for Real-World Computing.

Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Magnifying-Lens Abstraction for Markov Decision Processes.

Luca de Alfaro, Pritam Roy

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Online Testing with Reinforcement Learning.

Margus Veanes, Pritam Roy, Colin Campbell

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

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

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Sociable Interfaces.

Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005