Sérgio Vale Aguiar Campos
发表
Sérgio Vale Aguiar Campos,
Adriano M. Pereira,
Wagner Meira,
2003,
Software Engineering Research and Practice.
Alex Borges Vieira,
Sérgio Vale Aguiar Campos,
Jussara M. Almeida,
2012,
Comput. Commun..
Sérgio Vale Aguiar Campos,
Luis E. Zárate,
Mark A. J. Song,
2007,
14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Marius Minea,
2001,
SMC@FLoC.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Marius Minea,
1997,
Sci. Comput. Program..
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Hiromi Hiraishi,
1994,
1994 Proceedings Real-Time Systems Symposium.
Marcus Vinicius de Melo Rocha,
Alex Borges Vieira,
Sérgio Vale Aguiar Campos,
2009,
WebMedia.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Marius Minea,
1995,
Workshop on Languages, Compilers, & Tools for Real-Time Systems.
João Ferreira A. e Oliveira,
Alex Borges Vieira,
Sérgio Vale Aguiar Campos,
2009,
WebMedia.
Sérgio Vale Aguiar Campos,
Berthier A. Ribeiro-Neto,
Edmundo de Souza e Silva,
2002,
Performance.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Kenneth L. McMillan,
1993,
CAV.
Alex Borges Vieira,
Sérgio Vale Aguiar Campos,
Pedro de Carvalho Gomes,
2012,
2012 International Conference on High Performance Computing & Simulation (HPCS).
Sérgio Vale Aguiar Campos,
Orna Grumberg,
1996,
CAV.
João Ferreira A. e Oliveira,
Ítalo S. Cunha,
Sérgio Vale Aguiar Campos,
2017,
GLOBECOM 2017 - 2017 IEEE Global Communications Conference.
Alex Borges Vieira,
Sérgio Vale Aguiar Campos,
Ana Paula Couto da Silva,
2012,
2012 20th Euromicro International Conference on Parallel, Distributed and Network-based Processing.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Marius Minea,
1995,
Proceedings of ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Vasiliki Hartonas-Garmhausen,
1999,
ARTS.
Alex Borges Vieira,
Sérgio Vale Aguiar Campos,
Jussara M. Almeida,
2008,
2008 IEEE International Conference on Multimedia and Expo.
Sérgio Vale Aguiar Campos,
Omar Paranaiba Vilela Neto,
Luiz Henrique Borges Sardinha,
2017,
2017 30th Symposium on Integrated Circuits and Systems Design (SBCCI).
Sérgio Vale Aguiar Campos,
Adriano M. Pereira,
Wagner Meira,
2003,
International Conference on Software Engineering and Knowledge Engineering.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Marius Minea,
1997,
CAV.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
E. Clarke,
1997,
Theor. Comput. Sci..
Sérgio Vale Aguiar Campos,
Adriano M. Pereira,
Luis E. Zárate,
2005,
SEKE.
Sérgio Vale Aguiar Campos,
S. Campos,
1998,
FORTE.
Fausto Giunchiglia,
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
2000,
Sci. Comput. Program..
Sérgio Vale Aguiar Campos,
Herbert Rausch Fernandes,
Giovanni Freitas Gomes,
2020,
SBMF.
Alex Borges Vieira,
Sérgio Vale Aguiar Campos,
Berthier A. Ribeiro-Neto,
2003,
2003 IEEE International Symposium on Performance Analysis of Systems and Software. ISPASS 2003..
Sérgio Vale Aguiar Campos,
Adriano M. Pereira,
Mark A. J. Song,
2005,
WEBIST.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Orna Grumberg,
1996,
Formal Methods Syst. Des..
Alex Borges Vieira,
Sérgio Vale Aguiar Campos,
Jussara M. Almeida,
2013,
Comput. Networks.
Ítalo S. Cunha,
Sérgio Vale Aguiar Campos,
Cristiano M. Silva,
2017,
2017 IEEE Symposium on Computers and Communications (ISCC).
Marcelo de Almeida Maia,
Ítalo S. Cunha,
Marcus Vinicius de Melo Rocha,
2005,
MULTIMEDIA '05.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Sergey Berezin,
1997,
COMPOS.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Hiromi Hiraishi,
1995,
IEICE Trans. Inf. Syst..
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Marius Minea,
1995,
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.
Sérgio Vale Aguiar Campos,
Berthier A. Ribeiro-Neto,
Autran Macedo,
1999,
MULTIMEDIA '99.
Sérgio Vale Aguiar Campos,
Orna Grumberg,
Karen Yorav,
2004,
International Journal on Software Tools for Technology Transfer.
Fausto Giunchiglia,
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
1998,
Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).
Sérgio Vale Aguiar Campos,
David Déharbe,
Newton José Vieira,
2005,
SBMF.
Marcelo de Almeida Maia,
Ítalo S. Cunha,
Marcus Vinicius de Melo Rocha,
2006,
WebMedia '06.
Sérgio Vale Aguiar Campos,
Adriana Abalen Martins Dias,
Cristiano Guimarães Pimenta,
2018,
BSB.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
E. Clarke,
1999,
International Journal on Software Tools for Technology Transfer.
Sérgio Vale Aguiar Campos,
Adriano M. Pereira,
Wagner Meira,
2002,
ICFEM.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
1997,
ARTS.