2023
Authors
Gomes, PV; de Oliveira, LE; Saraiva, J;
Publication
Swarm Evol. Comput.
Abstract
2023
Authors
Almeida, JB; Barbosa, M; Barthe, G; Grégoire, B; Laporte, V; Léchenet, JC; Oliveira, T; Pacheco, H; Quaresma, M; Schwabe, P; Séré, A; Strub, PY;
Publication
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Abstract
2023
Authors
Almeida, JB; Barbosa, M; Barthe, G; Grégoire, B; Laporte, V; Léchenet, JC; Oliveira, T; Pacheco, H; Quaresma, M; Schwabe, P; Séré, A; Strub, PY;
Publication
IACR Cryptol. ePrint Arch.
Abstract
2023
Authors
Almeida, JB; Firsov, D; Oliveira, T; Unruh, D;
Publication
IACR Cryptol. ePrint Arch.
Abstract
2023
Authors
Glässer, U; Campos, JC; Méry, D; Palanque, PA;
Publication
ABZ
Abstract
2023
Authors
Palanque, PA; Campos, JC;
Publication
Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings
Abstract
This document presents the case study for the ABZ 2023 conference. The case study introduces a safety critical interactive system called AMAN (Arrival MANager), which is a partly-autonomous scheduler of landing sequences of aircraft in airports. This interactive systems interleaves Air Traffic Controllers activities with automation in AMAN. While some AMAN systems are currently deployed in airports, we consider here only a subset of functions which represent a challenge in modelling and verification. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.