Dylan Marinho (Veridis) will defend his thesis, entitled “Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty”, on Tuesday, October 3 at 10am in room A008.
Real-time systems can be used in a wide range of applications, such as transport, telecommunications and industry. However, accidents can happen, and it is necessary to have confidence in these systems in order to avoid them. It is therefore necessary to formally prove that their behavior will comply with a specification. This specification can be of two kinds: with safety properties, showing that the system will always behave as expected, and security properties, showing that it will be resistant to certain attacks. For this, the formalism of timed automata (TAs) is fairly common.
- Stephan Merz, Université de Lorraine
- Étienne André, Sorbonne Université
- Patricia Bouyer Decitre, Université Paris-Saclay
- Thierry JÉRON, Université de Rennes
- Véronique Cortier, Université de Lorraine
- Thao Dang, INP Grenoble
- Frédéric Herbreteau, INP Bordeaux
- Swen Jacobs, CISPA Helmholtz Saarbrucken