Probabilistic Reasoning Meets Heuristic Search

Evolution-Aware Runtime Verification

Intelligent Software Engineering: Synergy between AI and Software Engineering

Human-centered Computational Design driven by Perceptual Data and Creative AI

Revisiting Quantitative Approaches to System Design in the Power Age

Using Vehicular Dynamics to Enhance Safety and Security in Connected Autonomous Vehicles