Jon Mathews

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 8

Top Topics

Detecting Malicious

Functional Requirements

Software Systems

Top Venues

ICSE (Companion Volume)

Publications

Benjamin Holland, Payas Awadhutkar, Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews
COMB: computing relevant program behaviors. ICSE (Companion Volume) (2018)
Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi, Jon Mathews
Modeling lessons from verifying large software systems for safety and security. WSC (2017)
Ganesh Ram Santhanam, Benjamin Holland, Suresh C. Kothari, Jon Mathews
Interactive visualization toolbox to detect sophisticated android malware. VizSEC (2017)
Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews
Human-machine resolution of Invisible Control Flow? ICPC (2016)
Suresh C. Kothari, Ahmed Tamrawi, Jeremias Sauceda, Jon Mathews
Let's verify Linux: accelerated learning of analytical reasoning through automation and collaboration. ICSE (Companion Volume) (2016)
Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews
Rethinking verification: accuracy, efficiency and scalability through human-machine collaboration. ICSE (Companion Volume) (2016)
Benjamin Holland, Tom Deering, Suresh C. Kothari, Jon Mathews, Nikhil Ranade
Security Toolbox for Detecting Novel and Sophisticated Android Malware. ICSE (2) (2015)
Benjamin Holland, Tom Deering, Suresh C. Kothari, Jon Mathews, Nikhil Ranade
Security Toolbox for Detecting Novel and Sophisticated Android Malware. CoRR (2015)
Tom Deering, Suresh C. Kothari, Jeremias Sauceda, Jon Mathews
Atlas: a new way to explore software, build analysis tools. ICSE Companion (2014)