Sumit Ray

Reducing Verification Costs through Practical Formal Methods: A Survey

Mark R Blackburn, Sumit Ray, S. Ray, 2010 .

Interpretable Machine Learning Using Switched Linear Models for Security of Cyber-Physical Systems

Sumit Ray, Anuj Puri, A. Puri, 2020, 2020 Integrated Communications Navigation and Surveillance Conference (ICNS).

Model-based adaptation of flight-critical systems

Gabor Karsai, Kevin M. McNeill, Sumit Ray, 2009, 2009 IEEE/AIAA 28th Digital Avionics Systems Conference.

Hardware Support for Safety Interlocks and Introspection

Jonathan M. Smith, Benjamin C. Pierce, J. Gregory Morrisett, 2012, 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.

Preliminary design of the SAFE platform

Jonathan M. Smith, Benjamin C. Pierce, J. Gregory Morrisett, 2011, PLOS '11.