Vadim Malvone - Publications, H-index & Citations

Vadim Malvone

imt - institut mines-telecom

10H指数

114论文数

285被引数

收录论文 7

发表时间

Runtime Verification via Rational Monitor with Imperfect Information

ACM Transactions on Software Engineering and Methodology

IF6.2

2026-03-01

PREAI

Ferrando, Angelo; Malvone, Vadim

On the Usability and Extensibility of VITAMIN 关于VITAMIN的可用性和可扩展性

ADVANCES IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS, AND COMPUTATIONAL SOCIAL SCIENCE: THE PAAMS COLLECTION, PAAMS 2025

IF0

2026-01-01

PREAI

Ferrando, Angelo; Malvone, Vadim

Extending Timed Automata with Clock Derivatives 为时序自动机扩展时钟导数

INTEGRATED FORMAL METHODS, IFM 2025

IF0

2026-01-01

PREAI

Cortes, David; Leneutrei, Jean; Malvone, Vadim; Ortiz, James; Schobbens, Pierre-Yves

Auto-Generating Visual Editors for Formal Logics with Blockly 基于Blockly的形式逻辑自动生成可视化编辑器

INTEGRATED FORMAL METHODS, IFM 2025

IF0

2026-01-01

PREAI

Ferrando, Angelo; Lu, Peng; Malvone, Vadim

Theory and Practice of Natural Strategy Checking in Concurrent Games with Imperfect Information 自然策略检查在非完美信息并发博弈中的理论与实践

ADVANCES IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS, AND COMPUTATIONAL SOCIAL SCIENCE: THE PAAMS COLLECTION, PAAMS 2025

IF0

2026-01-01

PREAI

Aruta, Marco; Improta, Francesco; Malvone, Vadim; Murano, Aniello

An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information 用于验证具有不完全信息的多智能体系统中战略属性的抽象-细化框架

artificial intelligence review

IF4.6

2023-03-01

OAAI

Belardinelli, Francesco; Ferrando, Angelo; Malvone, Vadim

Natural strategic ability

artificial intelligence review

IF4.6

2019-12-01

OAAI

Jamroga, Wojciech; Malvone, Vadim; Murano, Aniello

研究方向