Translating Alloy to SMT-LIB

Trade-Capture Process Analysis: Global Credit Products and Structure Credit Trading

Towards a Transition System Semantics for Alloy

Risk Reporting Techniques

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

Data Generation, Distribution & Management

Core Finding for Relational Structures

Global Credit Products Technology SPV Reporting Tool

BNP Paribas: Systems Analysis and Concept Development

BNP Paribas: Equity Smart Order Router

Build and Release Optimization of the Structured Credit Desktop

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