Multi-Decision Policy and Policy Combinator Specifications

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