Profil

Terefenko Alexandre

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
33 downloads
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

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