Search Constraints

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

Search Results

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