Index Catalog // Digital WPI

Start Over

Filtering by: Advisor Dougherty, Daniel J.

A Framework for Exploring Finite Models

Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

User Evaluation Framework for Model Finding Research

Noninterference in Concurrent Game Structures

Formalization and Verification of Rewriting-Based Security Polices

First-Order Models for Configuration Analysis

Analysis of social networks using Facebook

Wall Street Project

Trusted Execution Environments with Architectural Support: Foundations and Implementation

Translating Alloy to SMT-LIB

Trade-Capture Process Analysis: Global Credit Products and Structure Credit Trading

Towards a Transition System Semantics for Alloy

Scenarios for Description Logic

Risk Reporting Techniques

Protocol Analysis via The Chase

A Natural Language Interface Using First Order Logic

Interactive Model Finding with Hominy

Generating Universal Models for Geometric Theories

Environment Cockpit

Environment Cockpit