Alexandre Terefenko

According to our database, Alexandre Terefenko authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Semantics of Attack-Defense Trees for Dynamic Countermeasures and a New Hierarchy of Star-Free Languages.

Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko

Proceedings of the LATIN 2024: Theoretical Informatics, 2024

2023

Sémantique Formelle à Deux Joueurs pour Arbres d'Attaque.

Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko

Proceedings of the Conférence Nationale en Intelligence Artificielle, 2023

2022

Adversarial Formal Semantics of Attack Trees and Related Problems.

Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko

Proceedings of the 13th International Symposium on Games, 2022