Search Constraints

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

Search Results

A Framework for Exploring Finite Models
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
User Evaluation Framework for Model Finding Research
Noninterference in Concurrent Game Structures
Formalization and Verification of Rewriting-Based Security Polices
First-Order Models for Configuration Analysis
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
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
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
Privacy in Online Social Networks
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases
A Coq Formalization of Unification Modulo Exclusive-Or
Multi-Decision Policy and Policy Combinator Specifications
Graph Decompositions and Monadic Second Order Logic