ForSmart: Effective Formal Methods for Smart-Contract Certification
Dauer: 48 Monate, Fördersumme: € 799.850
Fixing the Broken Bridge Between Mobile Apps and the Web
Dauer: 48 Monate, Fördersumme: € 798.760
Engineering Linear Ordering Algorithms for Optimizing Data Visualizations
Dauer: 62 Monate, Fördersumme: € 463.710
Fast and Quantitative What-if Analysis for Dependable Communication Networks (WHATIF)
Dauer: 48 Monate, Fördersumme: € 665.230
Heisenbugs: From Detection to Explanation
Dauer: 112 Monate, Fördersumme: € 1.500.000