Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type


Publication Date

Derrick Karimi
December 2015 - Conference Paper Model Checking with Multi-threaded IC3 Portfolios

Authors: Sagar Chaki, Derrick Karimi

This paper presents three variants of multi-threaded IC3s for model checking hardware, differing by degree of synchronization and aggressiveness of proof checking.

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

Topics: Network Situational Awareness

Authors: Timothy J. Shimeall, George Jones, Derrick Karimi

In this presentation, the authors describe Quilt, a system for distributed queries of security-relevant data.