Profil

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)

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
Peer reviewed

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.

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

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

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
Peer reviewed

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

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

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

Contacter ORBi UMONS