Terefenko Alexandre

Principaux co-auteurs référencés

BRIHAYE, Thomas (3)

Pinchinat, Sophie (3)

CAPON, Chloé (1)

GOEMINNE, Aline (1)

LECOMTE, Nicolas (1)

Principaux mots-clés référencés

Computer Science - Computer Science and Game Theory (5); Formal approach (5); Formal Semantics (5); Transition system (5); Attack tree (4);

Principaux centres et unités de recherche référencés

CREMMI - Modélisation mathématique et informatique (1)

Principales disciplines référencées

Sciences informatiques (7)

Mathématiques (7)

Publications (8)

Rechercher dans les publications

La plus téléchargée

34 téléchargements

Brihaye, T., Pinchinat, S., & Terefenko, A. (18 July 2023). Sémantique Formelle à Deux Joueurs pour Arbres d'Attaque [Paper presentation]. CNIA 2023 - Conférence Nationale en Intelligence Artificielle, PFIA. https://hdl.handle.net/20.500.12907/47244

La plus citée

2 citations (Scopus®)

Brihaye, T., Pinchinat, S., & Terefenko, A. (20 September 2022). Adversarial Formal Semantics of Attack Trees and Related Problems. Electronic Proceedings in Theoretical Computer Science, EPTCS, 370, 162 - 177. doi:10.4204/EPTCS.370.11 https://hdl.handle.net/20.500.12907/44643

Brihaye, T., Pinchinat, S., & Terefenko, A. (2024). Semantics of Attack-Defense Trees for Dynamic Countermeasures and a New Hierarchy of Star-Free Languages. In J. A. Soto (Ed.), LATIN 2024: Theoretical Informatics - 16th Latin American Symposium, 2024, Proceedings. Springer Science and Business Media Deutschland GmbH. doi:10.1007/978-3-031-55601-2_17

https://hdl.handle.net/20.500.12907/51858

Peer reviewed

https://hdl.handle.net/20.500.12907/47244

Capon, C., Goeminne, A., Lecomte, N., Main, J., Randour, M., Staquet, G., Terefenko, A., & Vandenhove, P. (2023). À vous de jouer !

https://hdl.handle.net/20.500.12907/45674

Terefenko, A. (2023). Formal trace semantics for attack-defence trees [Paper presentation]. Logical Aspects in Multi-Agent Systems and Strategic Reasoning.

https://hdl.handle.net/20.500.12907/44640

https://hdl.handle.net/20.500.12907/44643

Peer reviewed

Terefenko, A. (2022). Adversarial formal semantics of attack trees and related problems [Paper presentation]. 18e Journées Montoises d'Informatique Théorique.

https://hdl.handle.net/20.500.12907/44639

Terefenko, A. (2022). Multi-Player Attack Trees [Paper presentation]. Highlights of Logic, Games, and Automata.

https://hdl.handle.net/20.500.12907/44638

Terefenko, A. (2022). Multi-player attack trees [Paper presentation]. Summer school MOVEP 2022.

https://hdl.handle.net/20.500.12907/44690