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