Skip to Content
Toggle navigation
Home
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
Help
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
Search Results
Formalization and Verification of Rewriting-Based Security Polices
Noninterference in Concurrent Game Structures
Graph Decompositions and Monadic Second Order Logic
Multi-Decision Policy and Policy Combinator Specifications
First-Order Models for Configuration Analysis
A Framework for Exploring Finite Models
User Evaluation Framework for Model Finding Research
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
Privacy in Online Social Networks
A Natural Language Interface Using First Order Logic
Modeling and Analyzing Security Requirements for Java
Interactive Model Finding with Hominy
Generating Universal Models for Geometric Theories
Environment Cockpit
Environment Cockpit
Enterprise Architecture
Data Generation, Distribution & Management
Core Finding for Relational Structures
Changing Business Practices in a New Regulatory Environment
Global Credit Products Technology SPV Reporting Tool
BNP Paribas: Systems Analysis and Concept Development
BNP Paribas: Enterprise Architecture
BNP Paribas: Equity Smart Order Router
Build and Release Optimization of the Structured Credit Desktop
A Formalization of Strand Spaces in Coq
Formal Verification of Boolean Unification Algorithms with Coq
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
A Tactic For Setoid Congruence
Live score synchronization II
Model checking for role-based access control
Normalization for metadata
Theory assistant
Theory Assistant 2
Timing diagram to Buchi automation translation
X2S
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases
A Coq Formalization of Unification Modulo Exclusive-Or
Sales Training and Swaption Pricing under New Regulatory Environment
Information Sharing at Bank of America
Information Sharing at Bank of America
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