Leonardo Brenner

A Framework to Decompose GSPN Models

Paulo Fernandes, Thais Webber, Afonso Sales, 2005, ICATPN.

Robust Stealthy Attacks Based on Uncertain Costs and Labeled Finite Automata With Inputs

S. Amari, I. Demongodin, D. Lefebvre, 2023, IEEE Robotics and Automation Letters.

Observer design for labeled finite automata with inputs under stealthy actuators attacks

S. Amari, I. Demongodin, D. Lefebvre, 2022, IFAC-PapersOnLine.

PEPS2007 - Stochastic Automata Networks Software Tool

B. Plateau, Ihab Sbeity, Leonardo Brenner, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).

Generating a Performance Stochastic Model from UML Specifications pdf

Ihab Sbeity, Leonardo Brenner, Mohamed Dbouk, 2012, ArXiv.

Aggregation of stochastic automata networks with replicas

Anne Benoit, Brigitte Plateau, Leonardo Brenner, 2004 .