Pritam Roy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2006–2019
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | DATE | High Coverage Concolic Equivalence Checking. | Pritam Roy, Sagar Chaki, Pankaj Chauhan |
| 2016 | FMCAD | Efficient uninterpreted function abstraction and refinement for word-level model checking. | Yen-Sheng Ho, Pankaj Chauhan, Pritam Roy, Alan Mishchenko, Robert K. Brayton |
| 2007 | CAV | Magnifying-Lens Abstraction for Markov Decision Processes. | Luca de Alfaro, Pritam Roy |
| 2007 | CONCUR | Solving Games Via Three-Valued Abstraction Refinement. | Luca de Alfaro, Pritam Roy |
| 2007 | RTSS | Adapting Futures: Scalability for Real-World Computing. | Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy |
| 2006 | CAV | 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 |