Pritam Roy
Titolo
Citata da
Citata da
Anno
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
International Conference on Computer Aided Verification, 325-338, 2007
582007
Ticc: A Tool for Interface Compatibility and Composition
BT Adler, L De Alfaro, LD Da Silva, M Faella, A Legay, V Raman, P Roy
International Conference on Computer Aided Verification, 59-62, 2006
552006
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
432011
SimCheck: a contract type system for Simulink
P Roy, N Shankar
Innovations in Systems and Software Engineering 7 (2), 73-83, 2011
332011
Online testing with reinforcement learning
M Veanes, P Roy, C Campbell
Formal Approaches to Software Testing and Runtime Verification, 240-253, 2006
332006
Solving games via three-valued abstraction refinement
L De Alfaro, P Roy
International Conference on Concurrency Theory, 74-89, 2007
312007
SimCheck: An Expressive Type System for Simulink.
P Roy, N Shankar
NASA Formal Methods, 149-160, 2010
252010
Symbolic magnifying lens abstraction in Markov decision processes
P Roy, D Parker, G Norman
2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008
112008
Solving games via three-valued abstraction refinement
L de Alfaro, P Roy
Information and Computation 208 (6), 666-676, 2010
102010
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
82016
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20