| 2026 | AAAI | When Natural Strategies Meet Fuzziness and Resource-Bounded Actions. | Marco Aruta, Francesco Improta, Vadim Malvone, Aniello Murano |
| 2026 | ICAART | Toward Explainable Diagnosis: A Neurosymbolic Approach. | Ciro Listone, Vadim Malvone, Aniello Murano |
| 2026 | ICAART | FindMe Reforged: Temporal Logic AI for Richer Videogame Scenarios. | Vadim Malvone, Aniello Murano, Vincenzo Pio Palma, Salvatore Romano |
| 2026 | ICAART | Probabilistic Alternating-Time Temporal Logic with Stochastic Abilities. | Sarra Zaghbib, Gabriel Ballot, Vadim Malvone, Jean Leneutre |
| 2026 | KR | Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking. | Rustam Galimullin, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano |
| 2025 | ECAI | Strategic Reasoning with Capacity-Constrained Agents and Imperfect Information. | Gabriel Ballot, Vadim Malvone, Jean Leneutre, Jingxuan Ma |
| 2025 | ECAI | Runtime Verification with Rational Multi-Monitors. | Davide Catta, Angelo Ferrando, Vadim Malvone |
| 2025 | EUMAS | S4H: A Tool for Synthesizing Human-Like Strategies. | Marco Aruta, Vadim Malvone, Aniello Murano |
| 2025 | EUMAS | An Intuitionistic Version of Computation Tree Logic. | Laura Bozzelli, Andrea Capone, Davide Catta, Vadim Malvone, Aniello Murano |
| 2025 | ICAART | VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems. | Angelo Ferrando, Vadim Malvone |
| 2025 | IJCAI | Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions. | Davide Catta, Jean Leneutre, Vadim Malvone, James Ortiz |
| 2025 | IFM | Extending Timed Automata with Clock Derivatives. | David Corts, Jean Leneutre, Vadim Malvone, James Jerson Ortiz, Pierre-Yves Schobbens |
| 2025 | IFM | Auto-Generating Visual Editors for Formal Logics with Blockly. | Angelo Ferrando, Peng Lu, Vadim Malvone |
| 2025 | PAAMS | Theory and Practice of Natural Strategy Checking in Concurrent Games with Imperfect Information. | Marco Aruta, Francesco Improta, Vadim Malvone, Aniello Murano |
| 2025 | PAAMS | On the Usability and Extensibility of VITAMIN. | Angelo Ferrando, Vadim Malvone |
| 2024 | ICAART | A Formal Verification Approach to Handle Attack Graphs. | Davide Catta, Jean Leneutre, Antonina Mijatovic, Johanna Ulin, Vadim Malvone |
| 2024 | IFM | Solvent: Liquidity Verification of Smart Contracts. | Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone |
| 2024 | PRIMA | Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions. | Davide Catta, Angelo Ferrando, Vadim Malvone |
| 2024 | PRIMA | Theory and Practice of Quantitative ATL. | Angelo Ferrando, Giulia Luongo, Vadim Malvone, Aniello Murano |
| 2023 | AAAI | Automatically Verifying Expressive Epistemic Properties of Programs. | Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona |
| 2023 | ECAI | Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models. | Davide Catta, Jean Leneutre, Vadim Malvone |
| 2023 | FM | Program Semantics and Verification Technique for AI-Centred Programs. | Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli |
| 2023 | ICAART | How to Find Good Coalitions to Achieve Strategic Objectives. | Angelo Ferrando, Vadim Malvone |
| 2023 | ICAART | A Game Theoretic Approach to Attack Graphs. | Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano |
| 2023 | ICAART | Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives. | Davide Catta, Angelo Ferrando, Vadim Malvone |
| 2023 | IJCAI | Scalable Verification of Strategy Logic through Three-Valued Abstraction. | Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano |
| 2023 | WETICE | HYASM: A Tool to Verify Hierarchical Systems. | Angelo Ferrando, Vadim Malvone, Aniello Murano, Silvia Stranieri |
| 2022 | CCS | Reasoning about Moving Target Defense in Attack Modeling Formalisms. | Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde |
| 2022 | ICAART | Enabling Markovian Representations under Imperfect Information. | Francesco Belardinelli, Borja G. Len, Vadim Malvone |
| 2022 | PAAMS | Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems. | Angelo Ferrando, Vadim Malvone |
| 2022 | SEFM | Runtime Verification with Imperfect Information Through Indistinguishability Relations. | Angelo Ferrando, Vadim Malvone |
| 2020 | ECAI | Verifying Strategic Abilities in Multi-Agent Systems via First-Order Entailment. | Francesco Belardinelli, Vadim Malvone |
| 2020 | KR | A Three-valued Approach to Strategic Abilities under Imperfect Information. | Francesco Belardinelli, Vadim Malvone |
| 2020 | LICS | A Hennessy-Milner Theorem for ATL with Imperfect Information. | Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea |
| 2019 | AAAI | An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information. | Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone |
| 2019 | IJCAI | Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. | Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano |
| 2019 | PRIMA | Decidable Verification of Agent-Based Data-Aware Systems. | Francesco Belardinelli, Vadim Malvone |
| 2018 | KR | Approximating Perfect Recall When Model Checking Strategic Abilities. | Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone |
| 2017 | EUMAS | Reasoning About Additional Winning Strategies in Two-Player Games. | Vadim Malvone, Aniello Murano |
| 2016 | ECAI | Hiding Actions in Concurrent Games. | Vadim Malvone, Aniello Murano, Loredana Sorrentino |
| 2015 | TIME | On the Counting of Strategies. | Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino |