Follow
Pritam Roy
Title
Cited by
Cited by
Year
Sociable interfaces
L de Alfaro, LD da Silva, M Faella, A Legay, P Roy, M Sorea
International Workshop on Frontiers of Combining Systems, 81-105, 2005
722005
Magnifying-lens abstraction for Markov decision processes
L De Alfaro, P Roy
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
612007
Ticc: A Tool for Interface Compatibility and Composition
BT Adler, L De Alfaro, LD Da Silva, M Faella, A Legay, V Raman, P Roy
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
562006
Pessoa 2.0: a controller synthesis tool for cyber-physical systems
P Roy, P Tabuada, R Majumdar
Proceedings of the 14th international conference on Hybrid systems …, 2011
512011
Online testing with reinforcement learning
M Veanes, P Roy, C Campbell
International Workshop on Formal Approaches to Software Testing, 240-253, 2006
492006
SimCheck: a contract type system for Simulink
P Roy, N Shankar
Innovations in Systems and Software Engineering 7 (2), 73-83, 2011
382011
Solving games via three-valued abstraction refinement
L De Alfaro, P Roy
International Conference on Concurrency Theory, 74-89, 2007
332007
SimCheck: An expressive type system for Simulink
P Roy, N Shankar
Proceedings of the Second NASA Formal Methods Symposium, 2010
272010
Efficient uninterpreted function abstraction and refinement for word-level model checking
YS Ho, P Chauhan, P Roy, A Mishchenko, R Brayton
2016 Formal Methods in Computer-Aided Design (FMCAD), 65-72, 2016
172016
Solving games via three-valued abstraction refinement
L de Alfaro, P Roy
Information and Computation 208 (6), 666-676, 2010
152010
Symbolic magnifying lens abstraction in Markov decision processes
P Roy, D Parker, G Norman
2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008
122008
Adapting futures: Scalability for real-world computing
J Helander, R Serg, M Veanes, P Roy
28th IEEE International Real-Time Systems Symposium (RTSS 2007), 105-118, 2007
72007
Safety-guarantee controller synthesis for cyber-physical systems
P Roy, P Tabuada, R Majumdar
arXiv preprint arXiv:1010.5665, 2010
32010
High coverage concolic equivalence checking
P Roy, S Chaki, P Chauhan
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 462-467, 2019
22019
Sociable interfaces
P Roy, M Sorea
Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005 …, 2005
12005
Achieving high coverage in hardware equivalence checking via concolic verification
P Roy, S Chaki
Formal Methods in System Design 60 (3), 329-349, 2022
2022
Concolic equivalence checking
P Roy, S Chaki, P Chauhan
US Patent 11,017,139, 2021
2021
Response Risk Assessment Process for Chemical Incidents
CG Campbell, R Greenwalt, E Raber, S Mancieri, M Dillon, K Roy, ...
Lawrence Livermore National Lab.(LLNL), Livermore, CA (United States), 2018
2018
Magnifying lens abstraction for stochastic games with discounted and long-run average objectives
K Chatterjee, L De Alfaro, P Roy
arXiv preprint arXiv:1107.2132, 2011
2011
Interface Building for Software by Modular Three-Valued Abstraction Refinement
P Roy
arXiv preprint arXiv:1004.5382, 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–20