| 2020 | EATIS | An investigation into technology solutions for urban public monitoring through ubiquitous devices in the context of smart cities. | Layse Santos Souza, Joo Ribeiro de Almeida Neto, Thiago Jos Sandes Melo, Michel dos Santos Soares, Fabio Gomes Rocha, Rogrio Patrcio Chagas do Nascimento |
| 2013 | IRI | Siphon-based deadlock prevention policy for interorganizational WorkFlow net design. | Luciane de Fatima Silva, Lgia Maria Soares Passos, Michel dos Santos Soares, Stphane Julia |
| 2012 | ICCSA | Modeling Road Traffic Signals Control Using UML and the MARTE Profile. | Eduardo Augusto Silvestre, Michel dos Santos Soares |
| 2012 | ICCSA | Analysis of Techniques for Documenting User Requirements. | Michel dos Santos Soares, Daniel Souza Cioquetta |
| 2011 | COMPSAC | A Framework for Multi-layered Requirements Documentation and Analysis. | Michel dos Santos Soares, Jos L. M. Vrancken |
| 2011 | SMC | Modeling and analysis of discrete event systems using a Petri net component. | Michel dos Santos Soares |
| 2009 | SMC | A hierarchical model and implementation architecture for road traffic control. | Jos L. M. Vrancken, Jan H. van Schuppen, Michel dos Santos Soares, Frank Ottenhof |
| 2008 | SMC | Responsive traffic signals designed with petri nets. | Michel dos Santos Soares, Jos L. M. Vrancken |
| 2007 | SMC | Requirements specification and modeling through SysML. | Michel dos Santos Soares, Jos L. M. Vrancken |
| 2007 | SMC | Multi-level control of networks: the case of road traffic control. | Jos L. M. Vrancken, Michel dos Santos Soares |