Pritam Roy
Titel
Geciteerd door
Geciteerd door
Jaar
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
552007
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
542006
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
372011
Online testing with reinforcement learning
M Veanes, P Roy, C Campbell
Formal Approaches to Software Testing and Runtime Verification, 240-253, 2006
352006
SimCheck: a contract type system for Simulink
P Roy, N Shankar
Innovations in Systems and Software Engineering 7 (2), 73-83, 2011
322011
Solving games via three-valued abstraction refinement
L De Alfaro, P Roy
International Conference on Concurrency Theory, 74-89, 2007
292007
SimCheck: An expressive type system for Simulink
P Roy, N Shankar
242010
Symbolic magnifying lens abstraction in Markov decision processes
P Roy, D Parker, G Norman, L de Alfaro
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
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
62007
Safety-guarantee controller synthesis for cyber-physical systems
P Roy, P Tabuada, R Majumdar
arXiv preprint arXiv:1010.5665, 2010
32010
Sociable Interfaces⋆
P Roy, M Sorea
Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005 …, 2005
12005
High Coverage Concolic Equivalence Checking
P Roy, S Chaki, P Chauhan
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 462-467, 2019
2019
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
Palsa development and associated vegetation in Northern Sweden
SA Harris, A Brouchkov, C Guodong, HWC Aamot, A Abelián, ...
Geocryology: Characteristics and Use of Frozen Ground and Permafrost …, 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
DOCTOR OF PHILOSOPHY in COMPUTER ENGINEERING
P Roy
UNIVERSITY OF CALIFORNIA SANTA CRUZ, 2009
2009
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20