Carnegie Mellon University

Software Engineering Institute

Home
Publications
Authors
Derrick Karimi

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

Report a Vulnerability to CERT/CC
Subscribe to SEI Bulletin
Request Permission to Use SEI Materials

Carnegie Mellon University
Software Engineering Institute
4500 Fifth Avenue
Pittsburgh, PA 15213-2612
412-268-5800

Contact Us

Office Locations
Additional Sites Directory
Legal
Privacy Notice
CMU Ethics Hotline
www.sei.cmu.edu

2025

Carnegie Mellon University