| emsoft | participants

Jean-Baptiste Jeannin

Program Committees:
2019, 2020, 2023, and 2024
.

EMSOFT 2022: 22nd International Conference on Embedded Software

Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes

Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, and Necmiye Ozay

EMSOFT 2015: 15th International Conference on Embedded Software

Formal Verification of ACAS X, an Industrial Airborne Collision Avoidance System

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, and André Platzer