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 modified ▲
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Number of results to display per page
50 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
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases
A Formalization of Strand Spaces in Coq
Environment Cockpit
Scenarios for Description Logic
A Tactic For Setoid Congruence
Model checking for role-based access control
A Natural Language Interface Using First Order Logic
Trusted Execution Environments with Architectural Support: Foundations and Implementation
Normalization for metadata
Theory Assistant 2
Live score synchronization II
X2S
Environment Cockpit
Interactive Model Finding with Hominy
Risk Reporting Techniques
Modeling and Analyzing Security Requirements for Java
BNP Paribas: Enterprise Architecture
BNP Paribas: Systems Analysis and Concept Development
Wall Street Project
Translating Alloy to SMT-LIB
Towards a Transition System Semantics for Alloy
Changing Business Practices in a New Regulatory Environment
Build and Release Optimization of the Structured Credit Desktop
Global Credit Products Technology SPV Reporting Tool
Timing diagram to Buchi automation translation
Theory assistant
Core Finding for Relational Structures
Formal Verification of Boolean Unification Algorithms with Coq
Protocol Analysis via The Chase
Analysis of social networks using Facebook
Enterprise Architecture
Data Generation, Distribution & Management
Generating Universal Models for Geometric Theories
Trade-Capture Process Analysis: Global Credit Products and Structure Credit Trading
BNP Paribas: Equity Smart Order Router
Privacy in Online Social Networks
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
Formalization and Verification of Rewriting-Based Security Polices
Graph Decompositions and Monadic Second Order Logic
Noninterference in Concurrent Game Structures
First-Order Models for Configuration Analysis
Multi-Decision Policy and Policy Combinator Specifications
A Framework for Exploring Finite Models
User Evaluation Framework for Model Finding Research
Information Sharing at Bank of America
Information Sharing at Bank of America
Sales Training and Swaption Pricing under New Regulatory Environment
A Coq Formalization of Unification Modulo Exclusive-Or
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