| 2009 |
|---|
| 9 | EE | S. Campos,
J. Neves,
Luis Zarate,
Mark Song:
Distributed BMC: A Depth-First Approach to Explore Clause Symmetry.
ECBS 2009: 89-94 |
| 2007 |
|---|
| 8 | 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 |
| 2006 |
|---|
| 7 | EE | Adriano M. Pereira,
Mark Song,
Gustavo Gorgulho:
The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems.
Electronic Commerce Research 6(3-4): 265-303 (2006) |
| 2005 |
|---|
| 6 | | 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 |
| 5 | | Mark Song,
Adriano M. Pereira,
Sérgio Vale Aguiar Campos:
Formal Verification of Transactional Systems.
WEBIST 2005: 194-197 |
| 2003 |
|---|
| 4 | | Mark Song,
Adriano M. Pereira,
Fernanda Lima,
Gustavo Gorgulho,
Sérgio Vale Aguiar Campos,
Wagner Meira Jr.:
Extending UML to Specify and Verify E-commerce Systems.
SEKE 2003: 306-313 |
| 3 | | Mark Song,
Adriano M. Pereira,
Fernanda Lima,
Gustavo Gorgulho,
Sérgio Vale Aguiar Campos,
Wagner Meira Jr.:
A Software Engineering Process to Specify and Verify E-Commerce Systems.
Software Engineering Research and Practice 2003: 419-425 |
| 2002 |
|---|
| 2 | EE | Adriano M. Pereira,
Mark Song,
Gustavo Gorgulho,
Wagner Meira Jr.,
Sérgio Vale Aguiar Campos:
A Formal Methodology to Specify E-commerce Systems.
ICFEM 2002: 180-191 |
| 1997 |
|---|
| 1 | | Guo Wei,
Gang Yu,
Mark Song:
Optimization Model and Algorithm for Crew Management During Airline Irregular Operations.
J. Comb. Optim. 1(3): 305-321 (1997) |
