Personal profile
Fingerprint
Dive into the research topics where Jean Leneutre is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Extending Timed Automata with Clock Derivatives
Cortés, D., Leneutre, J., Malvone, V., Ortiz, J. & Schobbens, P. Y., 1 Jan 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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
A formal approach to attack graphs
Catta, D., Leneutre, J., Malvone, V. & Murano, A., 1 Aug 2025, In: Annals of Mathematics and Artificial Intelligence. 93, 4, p. 589-610 22 p.Research output: Contribution to journal › Article › peer-review
-
Alternating-time Temporal Logic with Stochastic Abilities
Ballot, G., Malvone, V., Leneutre, J., Ma, J. & Leslous, M., 1 Jan 2025, Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025. Vorobeychik, Y., Das, S. & Nowe, A. (eds.). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 214-222 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions
Catta, D., Leneutre, J., Malvone, V. & Ortiz, J., 1 Jan 2025, Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025. Kwok, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 21-28 8 p. (IJCAI International Joint Conference on Artificial Intelligence).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Timed Obstruction Logic: A Timed Approach to Dynamic Game Reasoning
Leneutre, J., Malvone, V. & Ortiz, J., 1 Jan 2025, Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025. Vorobeychik, Y., Das, S. & Nowe, A. (eds.). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1272-1281 10 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
A Formal Verification Approach to Handle Attack Graph
Catta, D., Leneutre, J., Mijatovic, A., Ulin, J. & Malvone, V., 1 Jan 2024, In: International Conference on Agents and Artificial Intelligence. 3, p. 125-132 8 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
A Model-based Approach for Assessing the Security of Cyber-Physical Systems
Teixeira De Castro, H., Hussain, A., Blanc, G., El Hachem, J., Blouin, D., Leneutre, J. & Papadimitratos, P., 30 Jul 2024, ARES 2024 - 19th International Conference on Availability, Reliability and Security, Proceedings. Association for Computing Machinery, 121. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Obstruction Alternating-time Temporal Logic: a Strategic Logic to Reason about Dynamic Models
Catta, D., Leneutre, J., Malvone, V. & Murano, A., 1 Jan 2024, In: Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. 2024-May, p. 271-280 10 p.Research output: Contribution to journal › Conference article › peer-review
-
Reasoning about Real-Time and Probability on Obstruction Logic
Leneutre, J., Malvone, V. & Ortiz, J., 1 Jan 2024, In: CEUR Workshop Proceedings. 3883, p. 268-278 11 p.Research output: Contribution to journal › Conference article › peer-review