Skip to Content
Toggle navigation
Home
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
Login
Explore, Discover, Share
Search
Advanced search
Search Constraints
Start Over
Filtering by:
Advisor
Dougherty, Daniel J.
Remove constraint Advisor: Dougherty, Daniel J.
1
-
48
of
48
Sort by date uploaded ▲
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Number of results to display per page
100 per page
10
per page
20
per page
50
per page
100
per page
View results as:
List
Gallery
Masonry
Slideshow
Download search results to .CSV file
Search Results
Add to Category
Remove From Category
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 (Department):
Computer Science
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 (Department):
Computer Science
Graph Decompositions and Monadic Second Order Logic
Keyword:
clique width
,
Graph Theory
,
logic
, and
tree decompositions
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 (Department):
Mathematical Sciences
Multi-Decision Policy and Policy Combinator Specifications
Keyword:
Margrave
,
Access Control
,
specifications
,
policies
,
policy combinators
, and
formal methods
Creator:
Giannakopoulos, Theophilos John
Advisor:
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2012-02-21
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
First-Order Models for Configuration Analysis
Keyword:
firewalls
,
Security
,
static analysis
,
logic
,
scenarios
,
model finding
, 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 (Department):
Computer Science
A Framework for Exploring Finite Models
Keyword:
provenance information
,
Razor
,
Aluminum
,
first-order logic
,
Geometric Logic
,
Chase
,
finite model-finding
, and
exploration
Creator:
Saghafi, Salman
Advisor:
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2015-04-30
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
User Evaluation Framework for Model Finding Research
Keyword:
Verification
,
model finding
,
Case Studies
,
model finders
,
user studies
,
user evaluation
,
formal methods
, and
logic
Creator:
Danas, Ryan
Advisor:
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2016-08-31
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Analysis of social networks using Facebook
Keyword:
Mathematical models
,
Internet--Social aspects
, and
Social networks
Creator:
Roy, Christian A.
and
Adler, Jonathan D.
Advisor:
Dougherty, Daniel J.
and
Selkow, Stanley M.
Publisher:
Worcester Polytechnic Institute
Date Created:
2007-01-01
Resource Type:
Interactive Qualifying Project
Wall Street Project
Creator:
Wei, Xing
,
Doherty, Jessica Lynn
, and
Madan, Tanvir Singh
Advisor:
Dougherty, Daniel J.
,
Brown, Donald R.
, and
Gerstenfeld, Arthur
Publisher:
Worcester Polytechnic Institute
Date Created:
2009-01-13
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
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
Trade-Capture Process Analysis: Global Credit Products and Structure Credit Trading
Creator:
Williams, Maurice
,
Sucre, Andres Eugenio
,
Guizado, Olga Lorena
, and
Ossa, Daniel
Advisor:
Gerstenfeld, Arthur
and
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2009-01-14
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
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
Risk Reporting Techniques
Creator:
Sun, Yunwen Y
and
Martell, Fernando J
Advisor:
Dougherty, Daniel J.
and
Abraham, Jon P.
Publisher:
Worcester Polytechnic Institute
Date Created:
2012-01-12
Resource Type:
Major Qualifying Project
Protocol Analysis via The Chase
Creator:
Pombrio, Justin Lee
Advisor:
Dougherty, Daniel J.
,
Christopher, Peter R.
, and
Guttman, Joshua D.
Publisher:
Worcester Polytechnic Institute
Date Created:
2011-04-29
Resource Type:
Major Qualifying Project
Privacy in Online Social Networks
Creator:
Flaherty, Tyler Howell
Advisor:
Wills, Craig E.
and
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2009-04-30
Resource Type:
Major Qualifying Project
A Natural Language Interface Using First Order Logic
Creator:
Andrews, Craig H.
,
Itz, Michael C.
, and
Meyer, Martin J.
Advisor:
Dougherty, Daniel J.
and
Pollice, Gary F.
Publisher:
Worcester Polytechnic Institute
Date Created:
2005-12-17
Resource Type:
Major Qualifying Project
Modeling and Analyzing Security Requirements for Java
Creator:
Politz, Joseph Gibbs
and
Cialdea, James Giulio
Advisor:
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2008-12-19
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
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
Environment Cockpit
Creator:
Fu, RuoQing
Advisor:
Gerstenfeld, Arthur
,
Huang, Xinming
, and
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2012-01-13
Resource Type:
Major Qualifying Project
Environment Cockpit
Creator:
Chen, Qiu
Advisor:
Dougherty, Daniel J.
and
Abraham, Jon P.
Publisher:
Worcester Polytechnic Institute
Date Created:
2012-03-14
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
Data Generation, Distribution & Management
Creator:
Herreros-Alvarez, Claudio
and
Kildea, Jotham Alexander
Advisor:
Gerstenfeld, Arthur
and
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2011-03-30
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
Changing Business Practices in a New Regulatory Environment
Creator:
Wang, Boya
and
Dickson, James Benton
Advisor:
Gerstenfeld, Arthur
and
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2009-12-17
Resource Type:
Major Qualifying Project
Global Credit Products Technology SPV Reporting Tool
Creator:
Encarnacion, Jenny
and
Hilario, Ekaterina V.
Advisor:
Abraham, Jon P.
,
Gerstenfeld, Arthur
, and
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2009-12-18
Resource Type:
Major Qualifying Project
BNP Paribas: Systems Analysis and Concept Development
Creator:
Scarborough, Aubrey Marie
,
Sherrerd, Timothy Scott
, and
Dean, Brendan Padraic
Advisor:
Gerstenfeld, Arthur
and
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2009-12-16
Resource Type:
Major Qualifying Project
BNP Paribas: Enterprise Architecture
Creator:
Servi, Joseph Franklin
and
He, Zhen
Advisor:
Dougherty, Daniel J.
,
Gerstenfeld, Arthur
, and
Abraham, Jon P.
Publisher:
Worcester Polytechnic Institute
Date Created:
2012-01-13
Resource Type:
Major Qualifying Project
BNP Paribas: Equity Smart Order Router
Creator:
Lai, Huan Tu
and
Wang, Xiaoyun
Advisor:
Dougherty, Daniel J.
,
Abraham, Jon P.
, and
Gerstenfeld, Arthur
Publisher:
Worcester Polytechnic Institute
Date Created:
2010-11-29
Resource Type:
Major Qualifying Project
Build and Release Optimization of the Structured Credit Desktop
Creator:
Li, Han
,
Rodriguez, Byron E
, and
Mehta, Jaymin Rajen
Advisor:
Dougherty, Daniel J.
and
Gerstenfeld, Arthur
Publisher:
Worcester Polytechnic Institute
Date Created:
2011-01-12
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
Formal Verification of Boolean Unification Algorithms with Coq
Creator:
McDonald, Matthew Joseph
,
Antonatos, Spyridon
,
St. Pierre, Joseph Keenan
, and
Richardson, Dylan
Advisor:
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2019-04-24
Resource Type:
Major Qualifying Project
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
Keyword:
Formal verification
,
Alloy
,
Formal modeling
, 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 (Department):
Computer Science
A Tactic For Setoid Congruence
Creator:
Ehrlich, Kyle
Advisor:
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2021-05-05
Resource Type:
Major Qualifying Project
Live score synchronization II
Creator:
Jordan, Diane Rosalie
and
Johnson, Mark Daniel
Advisor:
Dougherty, Daniel J.
and
Ciaraldi, Michael J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2003-01-01
Resource Type:
Major Qualifying Project
Model checking for role-based access control
Creator:
Griffel, Eric Michael
and
Sader, Paul M.
Advisor:
Martin, William J.
and
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2007-01-01
Resource Type:
Major Qualifying Project
Normalization for metadata
Creator:
Susco, David James
,
Keay, David A.
, and
Shahu Doku, Ermelinda
Advisor:
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2005-01-01
Resource Type:
Major Qualifying Project
Theory assistant
Creator:
Landry, Adam Michael
,
McKay, Kerry Ann
, and
Chadwick, Zachary
Advisor:
Dougherty, Daniel J.
and
Ciaraldi, Michael J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2003-01-01
Resource Type:
Major Qualifying Project
Theory Assistant 2
Creator:
Johnson, Nathan Aaron
Advisor:
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2003-01-01
Resource Type:
Major Qualifying Project
Timing diagram to Buchi automation translation
Creator:
Schudy, Warren J.
and
Cooper, Peter Sidney
Advisor:
Dougherty, Daniel J.
and
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2003-01-01
Resource Type:
Major Qualifying Project
X2S
Creator:
Nordin, Richard J.
Advisor:
Mani, Murali
and
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2004-01-01
Resource Type:
Major Qualifying Project
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases
Creator:
Veloz Baez, Freddy
Advisor:
Dougherty, Daniel J.
and
Shue, Craig A.
Publisher:
Worcester Polytechnic Institute
Date Created:
2022-04-27
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
A Coq Formalization of Unification Modulo Exclusive-Or
Creator:
Xu, Yichi
Advisor:
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2023-04-26
Resource Type:
Thesis
Degree:
MS
Sales Training and Swaption Pricing under New Regulatory Environment
Creator:
Wang, Boya
Advisor:
Gerstenfeld, Arthur
,
Dougherty, Daniel J.
, and
Xie, Weiwei
Publisher:
Worcester Polytechnic Institute
Date Created:
2010-03-09
Resource Type:
Major Qualifying Project
Information Sharing at Bank of America
Creator:
Bora, Burcu
Advisor:
Abraham, Jon P.
,
Dougherty, Daniel J.
, and
Gerstenfeld, Arthur
Publisher:
Worcester Polytechnic Institute
Date Created:
2010-04-23
Resource Type:
Major Qualifying Project
Information Sharing at Bank of America
Creator:
Gallagher, Kimberly G.
,
Navins, Kimberly G.
,
Zhang, Chao
,
Angulo, Marco V.
, and
Bora, Burcu
Advisor:
Abraham, Jon P.
,
Gerstenfeld, Arthur
, and
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2009-12-17
Resource Type:
Major Qualifying Project
Toggle facets
Limit your search
Collections
Major Qualifying Projects
37
Masters Theses
7
PhD Dissertations
2
Interactive Qualifying Projects
1
Masters Reports
1
Year
Year range begin
–
Year range end
Current results range from
2003
to
2023
View distribution
Creator
Adler, Jonathan D
1
Adler, Jonathan D.
1
Andrews, Craig H.
1
Angulo, Marco V.
1
Antonatos, Spyridon
1
more
Creators
»
Advisor
Abraham, Jon P.
8
Brown, Donald R.
1
Christopher, Peter R.
1
Ciaraldi, Michael J.
2
Dougherty, Daniel J.
[remove]
48
more
Advisors
»
Contributor
Dougherty, Daniel J.
10
Fisler, Kathryn
1
Guttman, Joshua
2
Heineman, George T.
1
Krishnamurthi, Shriram
1
more
Contributors
»
Project Center
MITRE-Bedford, Massachusetts Project Center - MQP
1
Silicon Valley, California Project Center - MQP
1
Wall Street-FinTech Project Center (Boston or New York) - MQP
13
Wall Street-FinTech Project Center (London) - MQP
3
Major
Actuarial Mathematics
4
Computer Science
27
Electrical & Computer Engineering
2
Industrial Engineering
2
Interdisciplinary
9
more
Majors
»
Unit (Department)
Computer Science
8
Mathematical Sciences
1
Publisher
Worcester Polytechnic Institute
48
Subject
Community
1
Computing
1
Resource type
Major Qualifying Project
37
Thesis
7
Dissertation
2
Interactive Qualifying Project
1
Report
1
License
https://creativecommons.org/licenses/by/4.0/
1