Jon Mathews

COMB: Computing Relevant Program Behaviors

Ahmed Tamrawi, Suresh Kothari, Benjamin Holland, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).

Let's Verify Linux: Accelerated Learning of Analytical Reasoning through Automation and Collaboration

Ahmed Tamrawi, Suresh Kothari, Jon Mathews, 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C).

Catastrophic Cyber-Physical Malware

Ganesh Ram Santhanam, Ahmed Tamrawi, Suresh Kothari, 2018 .

Human-machine resolution of Invisible Control Flow?

Ahmed Tamrawi, Suresh Kothari, Jon Mathews, 2016, 2016 IEEE 24th International Conference on Program Comprehension (ICPC).

Interactive visualization toolbox to detect sophisticated android malware

Ganesh Ram Santhanam, Suresh Kothari, Benjamin Holland, 2017, 2017 IEEE Symposium on Visualization for Cyber Security (VizSec).

Rethinking Verification: Accuracy, Efficiency, and Scalability through Human-Machine Collaboration

Ahmed Tamrawi, Suresh Kothari, Jon Mathews, 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C).

Atlas: a new way to explore software, build analysis tools

Suresh Kothari, Jon Mathews, Jeremias Sauceda, 2014, ICSE Companion.

Modeling lessons from verifying large software systems for safety and security

Ahmed Tamrawi, Suresh Kothari, Payas Awadhutkar, 2017, 2017 Winter Simulation Conference (WSC).

Security Toolbox for Detecting Novel and Sophisticated Android Malware

Suresh Kothari, Benjamin Holland, Jon Mathews, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.