Carnegie Mellon University

Derrick Karimi

Derrick Karimi is an SEI alumni employee.

• All

Model Checking with Multi-threaded IC3 Portfolios

December 25, 2015 • Conference Paper

By Sagar Chaki , Derrick Karimi

Quilt: A System for Distributed Queries of Security-Relevant Data

May 19, 2013 • Presentation

By Timothy J. Shimeall , George Jones , Derrick Karimi