Back
  1. Home
  2. Profile of Alexandre Terefenko (UMONS)
Profil

Terefenko Alexandre

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

Main Referenced Co-authors
BRIHAYE, Thomas  (2)
Pinchinat, Sophie (2)
CAPON, Chloé  (1)
GOEMINNE, Aline  (1)
LECOMTE, Nicolas  (1)
Main Referenced Keywords
Computer Science - Computer Science and Game Theory (5); Formal approach (5); Formal Semantics (5); Transition system (5); Attack tree (4);
Main Referenced Unit & Research Centers
CREMMI - Modélisation mathématique et informatique (1)
Main Referenced Disciplines
Computer science (7)
Mathematics (6)

Publications (total 7)

The most downloaded
16 downloads
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

The most cited

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.

Contact ORBi UMONS