The INTO-CPS Association
John Fitzgerald
JohnFitzgerald
Newcastle University Newcastle upon Tyne, United Kingdom NE1 7RU
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Mehrdad Moradi
mehrdad-moradi
PhD on dependability analysis, robustness checking, validation, and verification technique for CPSs using model-based fault injection and ML.
University of Antwerp Antwerp, Belgium
Benedikt Blana
BenediktBlana
Defending the code, guarding the net, and predicting the future. Occasionally I try to catch pucks.
Siemens Gamesa Renewable Energy A/S Denmark
