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

Modeling and Analyzing Security Requirements for Java

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

Multi-Decision Policy and Policy Combinator Specifications

Graph Decompositions and Monadic Second Order Logic