Modeling of a cyber-attack in an IEC 61850 scenario using stochastic colored Petri Nets. - Milton Rafael da Silva; Pedro Henrique Ferreira Machado; Luiz Edival de Souza; Carlos Waldecir de Souza (ICSAI, 2017)

Colored Petri Net modeling of communication systems based on IEC 61850. - Milton Rafael da Silva; Pedro Henrique Ferreira Machado; Luiz Edival de Souza; Carlos Waldecir de Souza (ICSAI, 2017)

Modeling of a data modification cyber-attack in an IEC 61850 scenario using stochastic colored Petri Nets. - Milton Rafael da Silva; Luiz Edival de Souza; Carlos Waldecir de Souza (ICSAI, 2017)

Long-Term Reliability Analysis of a Microgrid on Isolated Mode Using CPN Formalism. - Pedro Henrique Ferreira Machado; Luiz Edival de Souza; Jean-Claude Maun (PAAMS (Special Sessions), 2017)

A ROSPlan-Based Multi-Robot Navigation System. - Dannilo Samuel Silva Miranda; Luiz Edival de Souza; Guilherme Sousa Bastos (LARS/SBR/WRE, 2018)