Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems. - Francesco Belardinelli; Ioana Boureanu; Vadim Malvone; Solofomampionona Fortunat Rajaona (CoRR, 2022)

Automatically Verifying Expressive Epistemic Properties of Programs. - Francesco Belardinelli; Ioana Boureanu; Vadim Malvone; Fortunat Rajaona (AAAI, 2023)

Program Semantics and Verification Technique for AI-Centred Programs. - Solofomampionona Fortunat Rajaona; Ioana Boureanu; Vadim Malvone; Francesco Belardinelli (FM, 2023)

Fine-Grained Trackability in Protocol Executions. - Ksenia Budykho; Ioana Boureanu; Stephan Wesemeyer; Daniel Romero; Matt Lewis; Yogaratnam Rahulan; Fortunat Rajaona; Steve Schneider (NDSS, 2023)

Epistemic Model Checking for Privacy. - Fortunat Rajaona; Ioana Boureanu; R. Ramanujam 001; Stephan Wesemeyer (CSF, 2024)

An SMT-Based Approach to the Verification of Knowledge-Based Programs. - Francesco Belardinelli; Ioana Boureanu; Vadim Malvone; Fortunat Rajaona (Formal Aspects Comput., 2025)