research
∙
01/12/2023
Open Design Case Study – A Crowdsourcing Effort to Curate Software Design Case Studies
Case study-based learning has been successfully integrated into various ...
share
research
∙
12/12/2021
A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems
The increasing prevalence of security attacks on software-intensive syst...
research
∙
07/29/2021
Counterexample Classification
In model checking, when a given model fails to satisfy the desired speci...
research
∙
05/13/2021
Feature Interactions on Steroids: On the Composition of ML Models
The lack of specifications is a key difference between traditional softw...
research
∙
08/17/2020
Runtime-Safety-Guided Policy Repair
We study the problem of policy repair for learning-based control policie...
research
∙
01/18/2020
Teaching Software Engineering for AI-Enabled Systems
Software engineers have significant expertise to offer when building int...
research
∙
01/30/2019