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

Topics

Publication Date

Showing 1 - 10 of 80 results for the Type - Poster

Poster | October 2016 - Poster Verifying Distributed Adaptive Real (DART) Systems By Sagar Chaki

DART Vision

Poster | October 2016 - Poster Workplace Violence and IT Sabotage By Michael C. Theis

Determine if indicators for Insider Workplace Violence and Insider Cyber Sabotage can be identified

Poster | October 2016 - Poster Prioritizing Alerts from Static Analysis with Classification ... By Lori Flynn

Prioritizing Alerts from Static Analysis with Classification Models

Poster | October 2016 - Poster Statistical Model Checking for Swarms By Jeffrey Hansen

Input Attribution

Poster | October 2016 - Poster Research to Operations By Peter H. Feiler

Virtual System Integration

Poster | October 2016 - Poster Semiconductor Foundry Verification By Alexander Volynkin

Detecting Counterfeit Electronics

Poster | October 2016 - Poster Data Validation for Large-Scale Analytics By Stephanie Rosenthal

Building Tools to Support Data Sampling and Visualization

Poster | October 2016 - Poster Real-Time Extraction of Heart Rate from Video By Satya Venneti

Applying New Technologies to Gather and Analyze Biometrics

Poster | October 2016 - Poster Auto-Active Verification of Software with Timers and Clocks By Sagar Chaki

Formally verify STACs at the source code level using deductive (aka auto-active) verification

Poster | October 2016 - Poster Software Engineering for Additive Manufacturing By Stephanie Rosenthal

3D Printing

Refine