Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases

Development of a Data-Grounded Theory of Program Design in HTDP

Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

Event stream analytics

User Evaluation Framework for Model Finding Research

Similarity Reasoning over Semantic Context-Graphs

A Framework for Exploring Finite Models

Supporting Multi-Criteria Decision Support Queries over Disparate Data Sources

Extending Complex Event Processing for Advanced Applications