Silvano Dal Zilio

Silvano Dal Zilio

Researcher, LAAS-CNRS
Verified email at laas.fr
Cited by 1417
Computer Science Formal Verification Concurrent and Distributed systems Safety Critical Embedded Systems Process Calculi
Eric Jenn

Eric Jenn

IRT Saint-Exupery / Thales Avionics
Verified email at irt-saintexupery.com
Cited by 1241
Safety critical embedded systems
Van Chan Ngo

Van Chan Ngo

Hyperlexia
Verified email at nio.io
Cited by 304
Safety Critical Embedded Systems Programming Languages and Compilers Formal Verification Language
Ashraf Armoush

Ashraf Armoush

Assistant Professor of Computer Engineering, An-Najah National University
Verified email at najah.edu
Cited by 204
Safety Critical Embedded Systems
Johan Hjorth

Johan Hjorth

Doctoral Student
Verified email at mdu.se
Cited by 12
Mitigation techniques safety-critical embedded systems Deep Neural Networks