| |
| 2009 | ||
|---|---|---|
| 3 | EE | S. Campos, J. Neves, Luis Zarate, Mark Song: Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. ECBS 2009: 89-94 |
| 2007 | ||
| 2 | EE | Hugo Barros, Sérgio Vale Aguiar Campos, Mark Song, Luis Zarate: Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. ECBS 2007: 531-538 |
| 2005 | ||
| 1 | Mark Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos, Luis Zarate: Formal Verification of Transactional Systems Based on UML Specifications. SEKE 2005: 199-204 | |
| 1 | Hugo Barros | [2] |
| 2 | S. Campos | [3] |
| 3 | Sérgio Vale Aguiar Campos | [1] [2] |
| 4 | J. Neves | [3] |
| 5 | Adriano M. Pereira | [1] |
| 6 | Mark Song | [1] [2] [3] |