Retour
  1. Accueil
  2. Profil de Alexandre Terefenko (UMONS)
Profil

Terefenko Alexandre

Université de Mons - UMONS > Faculté des Sciences > Service de Mathématiques effectives

Principaux co-auteurs référencés
BRIHAYE, Thomas  (2)
Pinchinat, Sophie (2)
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 (6)

Publications (7)

La plus téléchargée
16 téléchargements
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

La plus citée

1 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. (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