Follow
Pritam Roy
Title
Cited by
Cited by
Year
Sociable interfaces
L Alfaro, LD 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 Alfaro, P Roy
International Conference on Computer Aided Verification, 325-338, 2007
592007
Ticc: A Tool for Interface Compatibility and Composition
BT Adler, L Alfaro, LDD Silva, M Faella, A Legay, V Raman, P Roy
International Conference on Computer Aided Verification, 59-62, 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
462011
SimCheck: a contract type system for Simulink
P Roy, N Shankar
Innovations in Systems and Software Engineering 7 (2), 73-83, 2011
372011
Online testing with reinforcement learning
M Veanes, P Roy, C Campbell
Formal Approaches to Software Testing and Runtime Verification, 240-253, 2006
372006
Solving games via three-valued abstraction refinement
L Alfaro, P Roy
International Conference on Concurrency Theory, 74-89, 2007
342007
SimCheck: An expressive type system for Simulink
P Roy, N Shankar
Proceedings of the Second NASA Formal Methods Symposium, 2010
262010
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
122016
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
Solving games via three-valued abstraction refinement
L de Alfaro, P Roy
Information and Computation 208 (6), 666-676, 2010
112010
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
12019
Sociable interfaces
P Roy, M Sorea
Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005 …, 2005
12005
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
Interval-based abstraction refinement
P Roy
University of California, Santa Cruz, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–20