| 2023 | CoDIT | 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 |
| 2020 | VECoS | ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets. | Ruotian Liu, Rabah Ammour, Leonardo Brenner, Isabel Demongodin |
| 2018 | CoDIT | Computation of Activation Probabilities in the Independent Cascade Model. | Wenjing Yang, Leonardo Brenner, Alessandro Giua |
| 2018 | ETFA | Influence Maximization by Link Activation in Social Networks. | Wenjing Yang, Leonardo Brenner, Alessandro Giua |
| 2004 | MASCOTS | Structured Stochastic Modeling of Fault-Tolerant Systems. | Cristiano Bertolini, Leonardo Brenner, Paulo Fernandes, Afonso Sales, Avelino F. Zorzo |
| 2003 | MASCOTS | MQNA - Markovian Queueing Networks Analyser. | Leonardo Brenner, Paulo Fernandes, Afonso Sales |
| 2003 | SBAC-PAD | Performance Analysis Issues for Parallel Implementations of Propagation Algorithm. | Leonardo Brenner, Luiz Gustavo Fernandes, Paulo Fernandes, Afonso Sales |