Profil personnel
Qualification académique
HDR
Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Résultat de recherche
-
Auto-Generating Visual Editors for Formal Logics with Blockly
Ferrando, A., Lu, P. & Malvone, V., 1 janv. 2026, Integrated Formal Methods - 20th International Conference, iFM 2025, Proceedings. Damiani, F. & Farrell, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 451-459 9 p. (Lecture Notes in Computer Science; Vol 16194 LNCS).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Extending Timed Automata with Clock Derivatives
Cortés, D., Leneutre, J., Malvone, V., Ortiz, J. & Schobbens, P. Y., 1 janv. 2026, Integrated Formal Methods - 20th International Conference, iFM 2025, Proceedings. Damiani, F. & Farrell, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 99-119 21 p. (Lecture Notes in Computer Science; Vol 16194 LNCS).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
On the Usability and Extensibility of VITAMIN
Ferrando, A. & Malvone, V., 1 janv. 2026, Advances in Practical Applications of Agents, Multi-Agent Systems, and Computational Social Science: The PAAMS Collection - 23rd International Conference, PAAMS 2025, Proceedings. Mathieu, P. & De la Prieta, F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 354-359 6 p. (Lecture Notes in Computer Science; Vol 16031 LNAI).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Preface
Dima, C., Ferrando, A. & Malvone, V., 1 janv. 2026, Dans: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 16366 LNAI, p. v-viRésultats de recherche: Contribution à un journal › Éditorial
-
Runtime Verification via Rational Monitor with Imperfect Information
Ferrando, A. & Malvone, V., 1 mars 2026, Dans: ACM Transactions on Software Engineering and Methodology. 35, 3, 74.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
-
Theory and Practice of Natural Strategy Checking in Concurrent Games with Imperfect Information
Aruta, M., Improta, F., Malvone, V. & Murano, A., 1 janv. 2026, Advances in Practical Applications of Agents, Multi-Agent Systems, and Computational Social Science: The PAAMS Collection - 23rd International Conference, PAAMS 2025, Proceedings. Mathieu, P. & De la Prieta, F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 15-27 13 p. (Lecture Notes in Computer Science; Vol 16031 LNAI).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
When Natural Strategies Meet Fuzziness and Resource-Bounded Actions
Aruta, M., Improta, F., Malvone, V. & Murano, A., 1 janv. 2026, Dans: Proceedings of the AAAI Conference on Artificial Intelligence. 40, 35, p. 29305-29313 9 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert -
10.3233/FAIA250985
Ballot, G., Malvone, V., Leneutre, J. & Ma, J., 21 oct. 2025, ECAI 2025 - 28th European Conference on Artificial Intelligence, including 14th Conference on Prestigious Applications of Intelligent Systems, PAIS 2025 - Proceedings. Lynce, I., Murano, N., Vallati, M., Villata, S., Chesani, F., Milano, M., Omicini, A. & Dastani, M. (eds.). IOS Press BV, p. 1599-1606 8 p. (Frontiers in Artificial Intelligence and Applications; Vol 413).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Advances in Multi-Agent Systems Research: Extended Selected Papers from EUMAS 2022 and EUMAS 2023
Baumeister, D., Rothe, J., Spanoudakis, N., Malvone, V. & Murano, A., 1 août 2025, Dans: SN Computer Science. 6, 6, 654.Résultats de recherche: Contribution à un journal › Éditorial
Accès ouvert -
A formal approach to attack graphs
Catta, D., Leneutre, J., Malvone, V. & Murano, A., 1 août 2025, Dans: Annals of Mathematics and Artificial Intelligence. 93, 4, p. 589-610 22 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs