Index Catalog // Digital WPI

Skip to Content

Digitalwpilogo 2019

Home
Browse
- Browse by Collection
- Browse by Project Center
About
Help

Explore, Discover, Share

Search Constraints

Start Over

Filtering by: Advisor Dougherty, Daniel J. Remove constraint Advisor: Dougherty, Daniel J.

1 - 35 of 35

relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲

Number of results to display per page

10 per page
20 per page
50 per page
100 per page

View results as:

List Gallery Masonry Slideshow

Search Results

Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

Keyword:

Formal modeling, Formal verification, Alloy, and Cooperative autonomous driving (CAD)

Creator:

VanValkenburg, MaryAnn E.

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2020-05-18

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science
Formal Verification of Boolean Unification Algorithms with Coq

Creator:

McDonald, Matthew Joseph, Antonatos, Spyridon, Richardson, Dylan, and St. Pierre, Joseph Keenan

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2019-04-24

Resource Type:

Major Qualifying Project
A Formalization of Strand Spaces in Coq

Creator:

Nguyen, Hai Hoang

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2015-04-30

Resource Type:

Major Qualifying Project
Build and Release Optimization of the Structured Credit Desktop

Creator:

Li, Han, Mehta, Jaymin Rajen, and Rodriguez, Byron E

Advisor:

Dougherty, Daniel J. and Gerstenfeld, Arthur

Publisher:

Worcester Polytechnic Institute

Date Created:

2011-01-12

Resource Type:

Major Qualifying Project
BNP Paribas: Equity Smart Order Router

Creator:

Wang, Xiaoyun and Lai, Huan Tu

Advisor:

Abraham, Jon P., Dougherty, Daniel J., and Gerstenfeld, Arthur

Publisher:

Worcester Polytechnic Institute

Date Created:

2010-11-29

Resource Type:

Major Qualifying Project
BNP Paribas: Enterprise Architecture

Creator:

He, Zhen and Servi, Joseph Franklin

Advisor:

Abraham, Jon P., Dougherty, Daniel J., and Gerstenfeld, Arthur

Publisher:

Worcester Polytechnic Institute

Date Created:

2012-01-13

Resource Type:

Major Qualifying Project
BNP Paribas: Systems Analysis and Concept Development

Creator:

Dean, Brendan Padraic, Scarborough, Aubrey Marie, and Sherrerd, Timothy Scott

Advisor:

Gerstenfeld, Arthur and Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-12-16

Resource Type:

Major Qualifying Project
Global Credit Products Technology SPV Reporting Tool

Creator:

Hilario, Ekaterina V. and Encarnacion, Jenny

Advisor:

Abraham, Jon P., Gerstenfeld, Arthur, and Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-12-18

Resource Type:

Major Qualifying Project
Changing Business Practices in a New Regulatory Environment

Creator:

Wang, Boya and Dickson, James Benton

Advisor:

Dougherty, Daniel J. and Gerstenfeld, Arthur

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-12-17

Resource Type:

Major Qualifying Project
Core Finding for Relational Structures

Creator:

Pataranutaporn, Visit

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2014-05-01

Resource Type:

Major Qualifying Project
Data Generation, Distribution & Management

Creator:

Herreros-Alvarez, Claudio and Kildea, Jotham Alexander

Advisor:

Dougherty, Daniel J. and Gerstenfeld, Arthur

Publisher:

Worcester Polytechnic Institute

Date Created:

2011-03-30

Resource Type:

Major Qualifying Project
Enterprise Architecture

Creator:

He, Zhen

Advisor:

Abraham, Jon P. and Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2012-03-14

Resource Type:

Major Qualifying Project
Environment Cockpit

Creator:

Chen, Qiu

Advisor:

Abraham, Jon P. and Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2012-03-14

Resource Type:

Major Qualifying Project
Environment Cockpit

Creator:

Fu, RuoQing

Advisor:

Dougherty, Daniel J., Huang, Xinming, and Gerstenfeld, Arthur

Publisher:

Worcester Polytechnic Institute

Date Created:

2012-01-13

Resource Type:

Major Qualifying Project
Generating Universal Models for Geometric Theories

Creator:

Ficarra, Michael John

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2010-10-26

Resource Type:

Major Qualifying Project
Interactive Model Finding with Hominy

Creator:

Beal, Taymon Angus

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2015-03-26

Resource Type:

Major Qualifying Project
Modeling and Analyzing Security Requirements for Java

Creator:

Cialdea, James Giulio and Politz, Joseph Gibbs

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2008-12-19

Resource Type:

Major Qualifying Project
A Natural Language Interface Using First Order Logic

Creator:

Itz, Michael C., Meyer, Martin J., and Andrews, Craig H.

Advisor:

Dougherty, Daniel J. and Pollice, Gary F.

Publisher:

Worcester Polytechnic Institute

Date Created:

2005-12-17

Resource Type:

Major Qualifying Project
Privacy in Online Social Networks

Creator:

Flaherty, Tyler Howell

Advisor:

Dougherty, Daniel J. and Wills, Craig E

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-04-30

Resource Type:

Major Qualifying Project
Protocol Analysis via The Chase

Creator:

Pombrio, Justin Lee

Advisor:

Christopher, Peter R., Dougherty, Daniel J., and Guttman, Joshua D.

Publisher:

Worcester Polytechnic Institute

Date Created:

2011-04-29

Resource Type:

Major Qualifying Project
Risk Reporting Techniques

Creator:

Martell, Fernando J and Sun, Yunwen Y

Advisor:

Abraham, Jon P. and Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2012-01-12

Resource Type:

Major Qualifying Project
Scenarios for Description Logic

Creator:

Murray, Nicholas Daniel and Ford, Erica Danielle

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2015-04-30

Resource Type:

Major Qualifying Project
Towards a Transition System Semantics for Alloy

Creator:

Giannakopoulos, Theophilos John

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-03-16

Resource Type:

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

Creator:

Sucre, Andres Eugenio, Williams, Maurice, Ossa, Daniel, and Guizado, Olga Lorena

Advisor:

Dougherty, Daniel J. and Gerstenfeld, Arthur

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-01-14

Resource Type:

Major Qualifying Project
Translating Alloy to SMT-LIB

Creator:

McCormick, Kyle D and Cinelli, Forrest C

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2018-03-23

Resource Type:

Major Qualifying Project
Trusted Execution Environments with Architectural Support: Foundations and Implementation

Creator:

Biletch, Barry David

Advisor:

Lauer, Hugh C and Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2016-09-07

Resource Type:

Major Qualifying Project
Wall Street Project

Creator:

Madan, Tanvir Singh, Wei, Xing, and Doherty, Jessica Lynn

Advisor:

Dougherty, Daniel J., Brown, Donald R., and Gerstenfeld, Arthur

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-01-13

Resource Type:

Major Qualifying Project
Analysis of social networks using Facebook

Keyword:

Mathematical models, Internet--Social aspects, and Social networks

Creator:

Roy, Christian A. and Adler, Jonathan D.

Advisor:

Selkow, Stanley M. and Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2007-01-01

Resource Type:

Interactive Qualifying Project
User Evaluation Framework for Model Finding Research

Keyword:

model finders, logic, formal methods, Verification, user studies, user evaluation, model finding, and Case Studies

Creator:

Danas, Ryan

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2016-08-31

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science
A Framework for Exploring Finite Models

Keyword:

Geometric Logic, Aluminum, Chase, Razor, finite model-finding, exploration, first-order logic, and provenance information

Creator:

Saghafi, Salman

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2015-04-30

Resource Type:

Dissertation

Degree:

PhD

Unit:

Computer Science
First-Order Models for Configuration Analysis

Keyword:

static analysis, logic, firewalls, Security, model finding, scenarios, and configuration

Creator:

Nelson, Tim

Advisor:

Dougherty, Daniel J. and Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2013-04-25

Resource Type:

Dissertation

Degree:

PhD

Unit:

Computer Science
Multi-Decision Policy and Policy Combinator Specifications

Keyword:

specifications, policies, policy combinators, Access Control, formal methods, and Margrave

Creator:

Giannakopoulos, Theophilos John

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2012-02-21

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science
Graph Decompositions and Monadic Second Order Logic

Keyword:

clique width, logic, tree decompositions, and Graph Theory

Creator:

Adler, Jonathan D

Advisor:

Dougherty, Daniel J. and Martin, William J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-04-27

Resource Type:

Report

Degree:

MS

Unit:

Mathematical Sciences
Noninterference in Concurrent Game Structures

Keyword:

Security, confidentiality, and noninterference

Creator:

Mardziel, Piotr

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2007-05-02

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science
Formalization and Verification of Rewriting-Based Security Polices

Keyword:

Access Control, Maude, and term rewriting

Creator:

Veselinov, Roman Nikolov

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2008-04-30

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science

Limit your search

Collections

Major Qualifying Projects26
Masters Theses5
PhD Dissertations2
Interactive Qualifying Projects1
Masters Reports1

Year

20051
20072
20082
20098
20102
more Years »

Creator

Adler, Jonathan D1
Adler, Jonathan D.1
Andrews, Craig H.1
Antonatos, Spyridon1
Beal, Taymon Angus1
more Creators »

Advisor

Abraham, Jon P.6
Brown, Donald R.1
Christopher, Peter R.1
Dougherty, Daniel J.[remove]35
Fisler, Kathryn1
more Advisors »

Contributor

Dougherty, Daniel2
Dougherty, Daniel J.6
Fisler, Kathryn1
Guttman, Joshua2
Heineman, George T.1
more Contributors »

Project Center

MITRE-Bedford, Massachusetts Project Center - MQP1
Silicon Valley, California Project Center - MQP1
Wall Street-FinTech Project Center (Boston or New York) - MQP11
Wall Street-FinTech Project Center (London) - MQP2

Major

Actuarial Mathematics3
Computer Science17
Electrical & Computer Engineering2
Industrial Engineering2
Interdisciplinary8
more Majors »

Unit

Computer Science7
Mathematical Sciences1

Publisher

Worcester Polytechnic Institute35

Subject

Community1
Computing1

Resource type

Major Qualifying Project26
Thesis5
Dissertation2
Interactive Qualifying Project1
Report1

A service of Samvera.

Digital WPI v2.5.0

Switch language English
- Switch language
- Deutsch
- English
- Español
- Français
- Italiano
- Português do Brasil
- 中文
Login

Copyright © 2018 Samvera Licensed under the Apache License, Version 2.0