Sérgio Vale Aguiar Campos (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

31		Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate: Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. ECBS 2007: 531-538
28		Mark A. J. Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos, Luis E. Zárate: Formal Verification of Transactional Systems Based on UML Specifications. SEKE 2005: 199-204
27		Mark A. J. Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos: Formal Verification of Transactional Systems. WEBIST 2005: 194-197
23		Mark A. J. 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
22		Mark A. J. 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
21		Adriano M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos: A Formal Methodology to Specify E-commerce Systems. ICFEM 2002: 180-191

Selection of 6 from 35 records - Sérgio Vale Aguiar Campos has 42 coauthors

Last update 2012-09-10 CET by the DBLP Team — Content released under the ODC-BY 1.0 license — See also our legal information page