Remi Delmas -

Registered user since Fri 30 Apr 2021

Name:Remi Delmas

Country:France

Affiliation:Uber ATCP

Research interests:Formal methods, language design and implementation, system safety

Contributions

2021

ECOOP

Author of ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety within the ECOOP Artifacts-track
Author of ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety within the ECOOP Technical Papers-track