activity
20122025
most citedA Parametric Counterexample Refinement Approach for Robust Timed Specifications

10 citations · 10 across the 5 of their papers we have counts for

collaborators

6 papers

cs.MA2025

A MARL-based Approach for Easing MAS Organization Engineering

Julien Soulé, Jean-Paul Jamont, Michel Occello +2

Multi-Agent Systems (MAS) have been successfully applied in industry for their ability to address complex, distributed problems, especially in IoT-based systems. Their efficiency i…

cs.AI2025

Towards a Multi-Agent Simulation of Cyber-attackers and Cyber-defenders Battles

Julien Soulé, Jean-Paul Jamont, Michel Occello +2

As cyber-attacks show to be more and more complex and coordinated, cyber-defenders strategy through multi-agent approaches could be key to tackle against cyber-attacks as close as…

cs.MA2025

Streamlining Resilient Kubernetes Autoscaling with Multi-Agent Systems via an Automated Online Design Framework

Julien Soulé, Jean-Paul Jamont, Michel Occello +2

In cloud-native systems, Kubernetes clusters with interdependent services often face challenges to their operational resilience due to poor workload management issues such as resou…

cs.AI2025

An Organizationally-Oriented Approach to Enhancing Explainability and Control in Multi-Agent Reinforcement Learning

Julien Soulé, Jean-Paul Jamont, Michel Occello +2

Multi-Agent Reinforcement Learning can lead to the development of collaborative agent behaviors that show similarities with organizational concepts. Pushing forward this perspectiv…

cs.IT2018

Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow

Fabrizio Biondi, Yusuke Kawamoto, Axel Legay +1

Analysis of a probabilistic system often requires to learn the joint probability distribution of its random variables. The computation of the exact distribution is usually an exhau…

cs.SE2012★ 10 cited

A Parametric Counterexample Refinement Approach for Robust Timed Specifications

Louis-Marie Traonouez

Robustness analyzes the impact of small perturbations in the semantics of a model. This allows to model hardware imprecision and therefore it has been applied to determine implemen…