A. Sampaio
发表
J. Woodcock,
J. Woodcock,
J. Perna,
2011
.
A. Sampaio,
A. Gomes,
A. Mota,
2010
.
A. Sampaio,
A. Mota,
Adalberto Farias,
2008
.
Augusto Sampaio,
Ana Cavalcanti,
Adolfo Duran,
2001
.
Augusto Sampaio,
Jim Woodcock,
Paulo Borba,
2010,
PSSE.
A. Cavalcanti,
A. Sampaio,
Adolfo Duran,
2003
.
A. W. Roscoe,
A. Sampaio,
P. Antonino,
2022,
SEFM.
J. Woodcock,
A. Sampaio,
P. Antonino,
2022,
ArXiv.
Augusto Sampaio,
Ana Cavalcanti,
Robert M. Hierons,
2016,
2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).
Augusto Sampaio,
Ana Cavalcanti,
Gustavo Carvalho,
2016,
Formal Aspects of Computing.
Augusto Sampaio,
Gustavo Carvalho,
Mark Blackburn,
2014
.
Augusto Sampaio,
Gustavo Carvalho,
Alexandre Mota,
2013,
SAC '13.
Augusto Sampaio,
Paulo Borba,
Márcio Cornélio,
2003,
ECOOP.
Augusto Sampaio,
David Cardoso,
A. Sampaio,
2012,
2012 Sixth Brazilian Symposium on Software Components, Architectures and Reuse.
Augusto Sampaio,
Ana Cavalcanti,
A. Cavalcanti,
2002,
Proceedings 16th International Parallel and Distributed Processing Symposium.
Augusto Sampaio,
Farn Wang,
Farn Wang,
2016,
Lecture Notes in Computer Science.
Augusto Sampaio,
Eduardo Aranha,
Lucas Lima,
2009,
2009 3rd International Symposium on Empirical Software Engineering and Measurement.
Augusto Sampaio,
Alexandre Mota,
Rodrigo Ramos,
2006,
FMOODS.
Augusto Sampaio,
Paulo Borba,
Tiago Massoni,
2003
.
Augusto Sampaio,
Jos'e Dihego,
Marcel Oliveira,
2020,
J. Syst. Softw..
Augusto Sampaio,
Ana Cavalcanti,
Márcio Cornélio,
2010,
Science of Computer Programming.
Augusto Sampaio,
David A. Naumann,
Giovanny Lucero,
2013,
APLAS.
J. Wloka,
L. Fernandes,
T. Batista,
2007,
Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design (EARLYASPECTS'07).
Augusto Sampaio,
Alexandre Mota,
Sidney Nogueira,
2008,
ICTAC.
J. Woodcock,
A. Cavalcanti,
A. Sampaio,
2002,
FME.
Augusto Sampaio,
C. A. R. Hoare,
Jifeng He,
1993,
Acta Informatica.
Augusto Sampaio,
Jim Woodcock,
Juliano Iyoda,
2011,
Acta Informatica.
Augusto Sampaio,
Ana Cavalcanti,
Rodrigo Otoni,
2017,
SBMF.
Augusto Sampaio,
Ana Cavalcanti,
Marcel Vinícius Medeiros Oliveira,
2016,
ICFEM.
Augusto Sampaio,
A. W. Roscoe,
Marcel Vinícius Medeiros Oliveira,
2016,
Formal Aspects of Computing.
Augusto Sampaio,
Jim Woodcock,
Pedro R. G. Antonino,
2014,
FM.
Augusto Sampaio,
Marcel Vinícius Medeiros Oliveira,
Jeremy Bryans,
2014,
NASA Formal Methods.
Augusto Sampaio,
Alexandre Mota,
Rodrigo Ramos,
2009,
FM.
Augusto Sampaio,
Ana Cavalcanti,
Thiago L. V. L. Santos,
2006,
UTP.
Augusto Sampaio,
Ana Cavalcanti,
Leonardo Freitas,
2002,
Anais do XVI Simpósio Brasileiro de Engenharia de Software (SBES 2002).
Augusto Sampaio,
Ana Cavalcanti,
Márcio Cornélio,
2017,
Software & Systems Modeling.
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
2003,
Formal Aspects of Computing.
Augusto Sampaio,
Alexandre Mota,
A. Sampaio,
1998,
FASE.
Augusto Sampaio,
Leila Silva,
Geraint Jones,
2001,
FME.
Augusto Sampaio,
Edna Barros,
Leila Silva,
2004,
Formal Methods Syst. Des..
Automation and consistency analysis of test cases written in natural language: An industrial context
Augusto Sampaio,
Filipe Arruda,
Flávia A. Barros,
2020,
Sci. Comput. Program..
Augusto Sampaio,
Gustavo Carvalho,
B. F. Silva,
2019,
Sci. Comput. Program..
Augusto Sampaio,
Paulo Borba,
Paulo Borba,
2000,
RITA.
A. Sampaio,
Filipe Arruda,
Gabriel N. Leite,
2022
.
Alvaro Miyazawa,
Gustavo Carvalho,
A. Sampaio,
2020,
Software Engineering for Robotics.
Augusto Sampaio,
Juliano Iyoda,
Flávia Falcão,
2009,
SBMF.
Augusto Sampaio,
Gustavo Cabral,
A. Sampaio,
2006,
SBMF.
Augusto Sampaio,
Juliano Iyoda,
Hugo L. S. Araujo,
2019,
Sci. Comput. Program..
Augusto Sampaio,
Ana Cavalcanti,
Marcel Vinícius Medeiros Oliveira,
2018,
Inf. Process. Lett..
Augusto Sampaio,
Lucas Lima,
Juliano Iyoda,
2016,
SBMF.
Augusto Sampaio,
Juliano Iyoda,
Hugo L. S. Araujo,
2015,
SBMF.
Augusto Sampaio,
Pedro R. G. Antonino,
José Dihego,
2013,
ICFEM.
Augusto Sampaio,
Alexandre Mota,
Adriano Gomes,
2012,
International Journal on Software Tools for Technology Transfer.
Augusto Sampaio,
Alexandre Mota,
Adriano Gomes,
2010,
ISoLA.
Augusto Sampaio,
Ana Cavalcanti,
Jifeng He,
2010,
Formal Aspects of Computing.
Augusto Sampaio,
Alexandre Mota,
Sidney Nogueira,
2009,
ICFEM.
Augusto Sampaio,
Alexandre Mota,
Renata Kaufman,
2009,
SBMF.
Augusto Sampaio,
Alexandre Mota,
Rodrigo Ramos,
2005,
FMOODS.
Augusto Sampaio,
Alexandre Mota,
Rodrigo Ramos,
2004,
WMF.
Augusto Sampaio,
Alexandre Mota,
Adalberto Farias,
2004,
IFM.
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
2002,
Refine.
Augusto Sampaio,
Alexandre Mota,
A. Sampaio,
2001,
Sci. Comput. Program..
Augusto SampaioFederal,
A. Sampaio,
A. Mota,
1998,
Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998).
Augusto Sampaio,
Edna Barros,
A. Sampaio,
1994,
Third International Workshop on Hardware/Software Codesign.
Augusto Sampaio,
Gavin Lowe,
Thomas Gibson-Robinson,
2017,
Concurrency, Security, and Puzzles.
Augusto Sampaio,
Flávia de Almeida Barros,
Filipe Arruda,
2016,
SEKE.
Augusto Sampaio,
Lucas Lima,
Flávia Falcão,
2018,
SBMF.
Augusto Sampaio,
Alexandre Mota,
Rodrigo Ramos,
2008,
SAC '08.
Augusto Sampaio,
Ana Cristina Vieira de Melo,
Walter Mesquita,
2005,
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
A. Sampaio,
P. Antonino,
Bruno Oliveira,
2023,
Anais do I Colóquio em Blockchain e Web Descentralizada (CBlockchain 2023).
Augusto Sampaio,
Alexandre Mota,
Rodrigo Ramos,
2010,
Sci. Comput. Program..
Augusto Sampaio,
Gustavo Carvalho,
Morteza Mohaqeqi,
2017,
Sci. Comput. Program..
Augusto Sampaio,
Gustavo Carvalho,
Mohammad Reza Mousavi,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Augusto Sampaio,
Marcel Vinícius Medeiros Oliveira,
Madiel Conserva Filho,
2014,
IFM.
Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti,
2005,
Software & Systems Modeling.