Derrick Karimi
Software Engineering Institute
Publications by Derrick Karimi
-
Model Checking with Multi-threaded IC3 Portfolios
December 25, 2015 • Conference Paper
Sagar ChakiDerrick Karimi
This paper presents three variants of multi-threaded IC3s for model checking hardware, differing by degree of synchronization and aggressiveness of proof checking.
read -
Quilt: A System for Distributed Queries of Security-Relevant Data
May 19, 2013 • Presentation
Timothy J. ShimeallGeorge JonesDerrick Karimi
In this presentation, the authors describe Quilt, a system for distributed queries of security-relevant data.
read