Alexandre Terefenko

According to our database, Alexandre Terefenko authored at least 4 papers between 2022 and 2025.

Collaborative distances:

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

2025

Foundations of attack-defense trees with dynamic semantics. (Arbres d'attaque-défense multi-agent pour l'analyse de risque).

Alexandre Terefenko

PhD thesis, 2025

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