| Sociable interfaces L de Alfaro, LD da Silva, M Faella, A Legay, P Roy, M Sorea Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005 …, 2005 | 74 | 2005 |
| Magnifying-lens abstraction for Markov decision processes L De Alfaro, P Roy Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007 | 61 | 2007 |
| 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 | 58 | 2006 |
| 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 | 48 | 2011 |
| Online testing with reinforcement learning M Veanes, P Roy, C Campbell Formal Approaches to Software Testing and Runtime Verification: First …, 2006 | 46 | 2006 |
| SimCheck: a contract type system for Simulink P Roy, N Shankar Innovations in Systems and Software Engineering 7 (2), 73-83, 2011 | 37 | 2011 |
| Solving games via three-valued abstraction refinement L De Alfaro, P Roy CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007 | 34 | 2007 |
| SimCheck: An expressive type system for Simulink P Roy, N Shankar Proceedings of the Second NASA Formal Methods Symposium, 2010 | 27 | 2010 |
| Solving games via three-valued abstraction refinement L de Alfaro, P Roy Information and Computation 208 (6), 666-676, 2010 | 14 | 2010 |
| Symbolic magnifying lens abstraction in Markov decision processes P Roy, D Parker, G Norman 2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008 | 13 | 2008 |
| 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 | 12 | 2016 |
| 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 | 7 | 2007 |
| Safety-guarantee controller synthesis for cyber-physical systems P Roy, P Tabuada, R Majumdar arXiv preprint arXiv:1010.5665, 2010 | 3 | 2010 |
| High coverage concolic equivalence checking P Roy, S Chaki, P Chauhan 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 462-467, 2019 | 2 | 2019 |
| Sociable interfaces P Roy, M Sorea Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005 …, 2005 | 1 | 2005 |
| Achieving high coverage in hardware equivalence checking via concolic verification P Roy, S Chaki Formal Methods in System Design, 1-21, 2023 | | 2023 |
| 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 |
Luca de AlfaroProfessor, UC Santa CruzVerified email at alumni.stanford.edu
