Representations for High-level Autonomous Decision-making under Uncertainty

Moving Processing to Data: From Big Data Applications to Emerging Near-Data Computation

Policy Compliance in Online Services

Towards Ultra-Reliable Cyber-Physical Systems: Reliability Analysis of Distributed Real-Time Systems

Modeling User Behavior on Socio-Technical Systems: Patterns and Anomalies

Securing Modern Systems