The PEPS Software Tool. - Anne Benoit; Leonardo Brenner; Paulo Fernandes 001; Brigitte Plateau; William J. Stewart 001 (Computer Performance Evaluation / TOOLS, 2003)

MQNA - Markovian Queueing Networks Analyser. - Leonardo Brenner; Paulo Fernandes 001; Afonso Sales (MASCOTS, 2003)

Performance Analysis Issues for Parallel Implementations of Propagation Algorithm. - Leonardo Brenner; Luiz Gustavo Fernandes; Paulo Fernandes 001; Afonso Sales (SBAC-PAD, 2003)

Structured Stochastic Modeling of Fault-Tolerant Systems. - Cristiano Bertolini; Leonardo Brenner; Paulo Fernandes 001; Afonso Sales; Avelino F. Zorzo (MASCOTS, 2004)

Performance Models For Master/Slave Parallel Programs. - Lucas Baldo; Leonardo Brenner; Luiz Gustavo Fernandes; Paulo Fernandes 001; Afonso Sales (PASM, 2004)

A Framework to Decompose GSPN Models. - Leonardo Brenner; Paulo Fernandes 001; Afonso Sales; Thais Webber (ICATPN, 2005)

PEPS2007 - Stochastic Automata Networks Software Tool. - Leonardo Brenner; Paulo Fernandes 001; Brigitte Plateau; Ihab Sbeity (QEST, 2007)

Modelling Grid5000 point availability with SAN. - Leonardo Brenner; Paulo Fernandes 001; Jean-Michel Fourneau; Brigitte Plateau (PASM@EPEW, 2008)

Phase-type distributions in stochastic automata networks. - Ihab Sbeity; Leonardo Brenner; Brigitte Plateau; William J. Stewart 001 (Eur. J. Oper. Res., 2008)

Réseaux d'Automates Stochastiques : Analyse transitoire en temps continu et algèbre tensorielle pour une sémantique en temps discret. (Stochastic Automata Networks: Transient analysis for continuous time models and tensor algebra for a semantic of discrete time models). - Leonardo Brenner (2009)

Generating a Performance Stochastic Model from UML Specifications - Ihab Sbeity; Leonardo Brenner; Mohamed Dbouk (CoRR, 2012)

Extension of Batches Petri Nets by Bi-parts Batch Places. - Radhia Gaddouri; Leonardo Brenner; Isabel Demongodin (ADECS @ Petri Nets, 2014)

Controlled Triangular Batches Petri Nets for hybrid mesoscopic modeling of traffic road networks under VSL control. - Radhia Gaddouri; Leonardo Brenner; Isabel Demongodin (CASE, 2016)

Computation of Activation Probabilities in the Independent Cascade Model. - Wenjing Yang 004; Leonardo Brenner; Alessandro Giua (CoDIT, 2018)

Influence Maximization by Link Activation in Social Networks. - Wenjing Yang 004; Leonardo Brenner; Alessandro Giua (ETFA, 2018)

Influence Maximization in Independent Cascade Networks Based on Activation Probability Computation. - Wenjing Yang 004; Leonardo Brenner; Alessandro Giua (IEEE Access, 2019)

ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets. - Ruotian Liu; Rabah Ammour; Leonardo Brenner; Isabel Demongodin (VECoS, 2020)

Costs analysis of stealthy attacks with bounded output synchronized Petri nets. - Rabah Ammour; Leonardo Brenner; Isabel Demongodin; Said Amari; Dimitri Lefebvre (CASE, 2021)

Observer Design for Bounded Output Synchronized Petri Nets. - Rabah Ammour; Said Amari; Leonardo Brenner; Isabel Demongodin; Dimitri Lefebvre (ECC, 2021)

Sequential Patterns for Spatio-Temporal Traffic Prediction. - Feda Almuhisen; Nicolas Durand 001; Leonardo Brenner; Mohamed Quafafou (WI/IAT, 2021)

A Decentralized Based Approach Using Hybrid Filtered Beam Search Algorithm for Monitoring Patrols. - Sara Hsaini; Rabah Ammour; Leonardo Brenner; Moulay El Hassan Charaf; Isabel Demongodin (CoDIT, 2023)

Attack Synchronizing Sequence Computation for Output Synchronized Petri Nets with Multiple Deadlocks. - Khalid Hamada; Rabah Ammour; Leonardo Brenner; Isabel Demongodin (ICNSC, 2023)

Robust Stealthy Attacks Based on Uncertain Costs and Labeled Finite Automata With Inputs. - Rabah Ammour; Said Amari; Leonardo Brenner; Isabel Demongodin; Dimitri Lefebvre (IEEE Robotics Autom. Lett., 2023)

Contributions à la modélisation, la simulation et l'analyse de systèmes déterministes et stochastiques par approches événementielles. (Contributions to the modeling, simulation and analysis of deterministic and stochastic systems using event-driven approaches). - Leonardo Brenner (2024)

Investigating Synoptic Influences on Tropospheric Volcanic Ash Dispersion from the 2015 Calbuco Eruption Using WRF-Chem Simulations and Satellite Data. - Douglas Lima de Bem; Vagner Anabor; Franciano Scremin Puhales; Damaris Kirsch Pinheiro; Fabio Grasso; Luiz Angelo Steffenel; Leonardo Brenner; Umberto Rizza (Remote. Sens., 2024)

Event-Driven Control of Hybrid Systems Using Batches Petri Nets: Application to High Throughput Manufacturing Systems. - Ruotian Liu; Rabah Ammour; Leonardo Brenner; Isabel Demongodin (IEEE Trans Autom. Sci. Eng., 2025)