Profil

Terefenko Alexandre

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

Main Referenced Co-authors
BRIHAYE, Thomas  (3)
Pinchinat, Sophie (3)
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 (7)

Publications (total 8)

The most downloaded
24 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 (OpenAlex)

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

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.

Contact ORBi UMONS