Index Catalog // Digital WPI

Start Over

Filtering by: Advisor Dougherty, Daniel J. Publisher Worcester Polytechnic Institute

« Previous | 1 - 20 of 44 | Next »

List Gallery Masonry Slideshow

05741r77z?file=thumbnail

Graph Decompositions and Monadic Second Order Logic

Qf85nb45t?file=thumbnail

Multi-Decision Policy and Policy Combinator Specifications

0k225b23w?file=thumbnail

A Framework for Exploring Finite Models

00000253f?file=thumbnail

Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

F7623c65f?file=thumbnail

User Evaluation Framework for Model Finding Research

Rf55z777r?file=thumbnail

Noninterference in Concurrent Game Structures

Z890rt33r?file=thumbnail

Formalization and Verification of Rewriting-Based Security Polices

5x21tf59w?file=thumbnail

First-Order Models for Configuration Analysis

5d86p0445?file=thumbnail

Analysis of social networks using Facebook

M613mz968?file=thumbnail

Wall Street Project

Db78td43b?file=thumbnail

Trusted Execution Environments with Architectural Support: Foundations and Implementation

Mw22v685r?file=thumbnail

Translating Alloy to SMT-LIB

Dn39x295w?file=thumbnail

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

Qj72p860c?file=thumbnail

Towards a Transition System Semantics for Alloy

Sf268655x?file=thumbnail

Scenarios for Description Logic

Kw52j961h?file=thumbnail

Risk Reporting Techniques

Pr76f509h?file=thumbnail

Protocol Analysis via The Chase

G732db469?file=thumbnail

A Natural Language Interface Using First Order Logic

Xs55md590?file=thumbnail

Modeling and Analyzing Security Requirements for Java

D791sh83s?file=thumbnail

Interactive Model Finding with Hominy