Pritam Roy
发表
Luca de Alfaro,
Pritam Roy,
2007,
CONCUR.
Abhijit Chakrabarti,
Pritam Roy,
Priyanka Roy,
2013,
Appl. Soft Comput..
Luca de Alfaro,
Pritam Roy,
L. D. Alfaro,
2007,
CAV.
Luca de Alfaro,
Pritam Roy,
Gethin Norman,
2008,
2008 Fifth International Conference on Quantitative Evaluation of Systems.
Pritam Roy,
2010,
ArXiv.
Margus Veanes,
Pritam Roy,
Johannes Helander,
2007,
28th IEEE International Real-Time Systems Symposium (RTSS 2007).
Pritam Roy,
Pritam Roy,
2020
.
Natarajan Shankar,
Pritam Roy,
2011,
Innovations in Systems and Software Engineering.
Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives
pdf
Krishnendu Chatterjee,
Luca de Alfaro,
Pritam Roy,
2011,
ArXiv.
Axel Legay,
Leandro Dias da Silva,
Luca de Alfaro,
2005,
FroCoS.
Paulo Tabuada,
Rupak Majumdar,
Pritam Roy,
2011,
HSCC '11.
Sagar Chaki,
Pritam Roy,
Pankaj Chauhan,
2019,
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Pritam Roy,
2015
.
Pritam Roy,
2009
.
Luca de Alfaro,
Pritam Roy,
L. D. Alfaro,
2007,
Inf. Comput..
Pritam Roy,
2011,
ARTCom 2011.
Axel Legay,
Leandro Dias da Silva,
Luca de Alfaro,
2006,
CAV.
Robert K. Brayton,
Alan Mishchenko,
Pritam Roy,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
Natarajan Shankar,
Pritam Roy,
2010,
NASA Formal Methods.
Margus Veanes,
Colin Campbell,
Pritam Roy,
2006,
FATES/RV.
Paulo Tabuada,
Rupak Majumdar,
Pritam Roy,
2010,
ArXiv.
Margus Veanes,
Pritam Roy,
Johannes Helander,
2007,
RTSS 2007.