Multiple-View Architecture Model for Distributed Real-Time Systems Using MARTE. - Eduardo Augusto Silvestre; Michel dos Santos Soares (ISD, 2011)

Modeling Road Traffic Signals Control Using UML and the MARTE Profile. - Eduardo Augusto Silvestre; Michel dos Santos Soares (ICCSA (4), 2012)

Verifying Conflicts Between Multiple Norms in Multi-agent Systems. - Eduardo Augusto Silvestre; Viviane Torres da Silva (AAMAS, 2015)

Verifying Conflicts among Multiple Norms in Multi-agent Systems: (Extended Abstract). - Eduardo Augusto Silvestre; Viviane Torres da Silva (AAMAS, 2016)

An Approach to Verify Conflicts among Multiple Norms in Multi-agent Systems. - Eduardo Augusto Silvestre; Viviane Torres da Silva (WI, 2016)

Detection and resolution of normative conflicts in multi-agent systems: a literature survey. - Jéssica Soares dos Santos; Jean de Oliveira Zahn; Eduardo Augusto Silvestre; Viviane Torres da Silva; Wamberto Weber Vasconcelos (Auton. Agents Multi Agent Syst., 2017)

Conflict Detection among Multiple Norms in Multi-Agent Systems. - Eduardo Augusto Silvestre; Viviane Torres da Silva (Appl. Artif. Intell., 2018)