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
Learning to Solve Quantified Boolean Formulas
Dauer: 53 Monate, Fördersumme: € 330.890
Fast and Quantitative What-if Analysis for Dependable Communication Networks (WHATIF)
Dauer: 48 Monate, Fördersumme: € 665.230