Search Constraints
Filtering by:
Advisor
Dougherty, Daniel J.
Remove constraint Advisor: Dougherty, Daniel J.
1 - 44 of 44
Number of results to display per page
Search Results
Select an image to start the slideshow
Graph Decompositions and Monadic Second Order Logic
1 of 44
Multi-Decision Policy and Policy Combinator Specifications
2 of 44
A Framework for Exploring Finite Models
3 of 44
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
4 of 44
User Evaluation Framework for Model Finding Research
5 of 44
Noninterference in Concurrent Game Structures
6 of 44
Formalization and Verification of Rewriting-Based Security Polices
7 of 44
First-Order Models for Configuration Analysis
8 of 44
Analysis of social networks using Facebook
9 of 44
Wall Street Project
10 of 44
Trusted Execution Environments with Architectural Support: Foundations and Implementation
11 of 44
Translating Alloy to SMT-LIB
12 of 44
Trade-Capture Process Analysis: Global Credit Products and Structure Credit Trading
13 of 44
Towards a Transition System Semantics for Alloy
14 of 44
Scenarios for Description Logic
15 of 44
Risk Reporting Techniques
16 of 44
Protocol Analysis via The Chase
17 of 44
A Natural Language Interface Using First Order Logic
18 of 44
Modeling and Analyzing Security Requirements for Java
19 of 44
Interactive Model Finding with Hominy
20 of 44
Generating Universal Models for Geometric Theories
21 of 44
Environment Cockpit
22 of 44
Environment Cockpit
23 of 44
Enterprise Architecture
24 of 44
Data Generation, Distribution & Management
25 of 44
Core Finding for Relational Structures
26 of 44
Changing Business Practices in a New Regulatory Environment
27 of 44
Global Credit Products Technology SPV Reporting Tool
28 of 44
BNP Paribas: Systems Analysis and Concept Development
29 of 44
BNP Paribas: Enterprise Architecture
30 of 44
BNP Paribas: Equity Smart Order Router
31 of 44
Build and Release Optimization of the Structured Credit Desktop
32 of 44
A Formalization of Strand Spaces in Coq
33 of 44
Formal Verification of Boolean Unification Algorithms with Coq
34 of 44
A Tactic For Setoid Congruence
35 of 44
Live score synchronization II
36 of 44
Model checking for role-based access control
37 of 44
Normalization for metadata
38 of 44
Theory assistant
39 of 44
Theory Assistant 2
40 of 44
Timing diagram to Buchi automation translation
41 of 44
X2S
42 of 44
Privacy in Online Social Networks
43 of 44
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases
44 of 44