Augusto Sampaio

发表

Augusto Sampaio, Gustavo Carvalho, Alexandre Mota, 2013, ICFEM.
Augusto Sampaio, Ana Cavalcanti, Frank Zeyda, 2014, FM.
Augusto Sampaio, Gustavo Carvalho, Tainã Santos, 2018, SBMF.
Augusto Sampaio, Silvio Romero de Lemos Meira, 1990, VDM Europe.
Augusto Sampaio, Leila Silva, Juliano Iyoda, 1999, World Congress on Formal Methods.
Augusto Sampaio, A. W. Roscoe, Marcel Vinícius Medeiros Oliveira, 2016, Formal Aspects of Computing.
Augusto Sampaio, Alexandre Mota, Adriano Gomes, 2010, ISoLA.
Augusto Sampaio, Jim Woodcock, Ana Cavalcanti, 2005, Software & Systems Modeling.
Augusto Sampaio, Flávia de Almeida Barros, Filipe Arruda, 2016, SEKE.
Augusto Sampaio, Alexandre Mota, Rodrigo Ramos, 2009, FM.
Augusto Sampaio, Patrícia Machado, 2007, PSSE.
Augusto Sampaio, Ana Cavalcanti, Paulo Borba, 2004, Sci. Comput. Program..
Augusto Sampaio, Farn Wang, Farn Wang, 2016, Lecture Notes in Computer Science.
Augusto Sampaio, Alexandre Mota, Adriano Gomes, 2012, International Journal on Software Tools for Technology Transfer.
Augusto Sampaio, Alexandre Mota, Sidney Nogueira, 2009, ICFEM.
Augusto Sampaio, C. A. R. Hoare, Jifeng He, 2000, Proof, Language, and Interaction.
Augusto Sampaio, Alexandre Mota, Rodrigo Ramos, 2008, SAC '08.
Augusto Sampaio, Ana Cavalcanti, Adolfo Duran, 2009, Formal Aspects of Computing.
Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio, 2017, Software & Systems Modeling.
Augusto Sampaio, Adnan Sherif, Sérgio Cavalcante, 2001, FME.
Augusto Sampaio, Juliano Iyoda, Hugo L. S. Araujo, 2015, SBMF.
Augusto Sampaio, Juliano Iyoda, Lucas Albertins de Lima, 2008 .
Augusto Sampaio, Ana Cavalcanti, Gustavo Carvalho, 2015, SEFM.
Augusto Sampaio, Paulo Borba, Tiago Massoni, 2003 .
Augusto Sampaio, Ana Cavalcanti, Gustavo Carvalho, 2016, Formal Aspects of Computing.
Augusto Sampaio, C. A. R. Hoare, Jifeng He, 1993, Acta Informatica.
Augusto Sampaio, Eduardo Aranha, Lucas Lima, 2009, 2009 3rd International Symposium on Empirical Software Engineering and Measurement.
Augusto Sampaio, Gustavo Cabral, A. Sampaio, 2006, SBMF.
Augusto Sampaio, Gustavo Cabral, 2010, Journal of the Brazilian Computer Society.
Augusto Sampaio, Alexandre Mota, Sidney Nogueira, 2012, Formal Aspects of Computing.
Augusto Sampaio, Ana Cavalcanti, Gustavo Carvalho, 2014, ICFEM.
Augusto Sampaio, Alexandre Mota, Yoshinao Isobe, 2014, Softw. Test. Verification Reliab..
Augusto Sampaio, Gavin Lowe, Thomas Gibson-Robinson, 2017, Concurrency, Security, and Puzzles.
Augusto Sampaio, Ana Cavalcanti, Adolfo Duran, 2001 .
Augusto Sampaio, Ana Cavalcanti, Adolfo Duran, 2003, FME.
Augusto Sampaio, Jos'e Dihego, Marcel Oliveira, 2020, J. Syst. Softw..
Augusto Sampaio, Alexandre Mota, Sidney Nogueira, 2008, ICTAC.
Augusto Sampaio, Edna Barros, Leila Silva, 1997, FME.
Augusto Sampaio, Alexandre Mota, Adalberto Farias, 2004, IFM.
Augusto Sampaio, Leila Silva, Geraint Jones, 2001, FME.
Augusto Sampaio, Jim Woodcock, Ana Cavalcanti, 2006 .
Augusto Sampaio, Juliano Iyoda, Flávia Falcão, 2009, SBMF.
Augusto Sampaio, Jim Woodcock, Ana Cavalcanti, 1999, Sci. Comput. Program..
Augusto Sampaio, Paulo Borba, Rohit Gheyi, 2009, SBMF.
Augusto Sampaio, Ana Cavalcanti, A. Cavalcanti, 2002, Proceedings 16th International Parallel and Distributed Processing Symposium.
Augusto Sampaio, Gustavo Carvalho, Alexandre Mota, 2013, SAC '13.
Augusto Sampaio, Ana Cavalcanti, Rodrigo Otoni, 2017, SBMF.
Augusto Sampaio, Jim Woodcock, Ana Cavalcanti, 1998, J. Braz. Comput. Soc..
Augusto Sampaio, Gustavo Carvalho, Mohammad Reza Mousavi, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Augusto Sampaio, Alexandre Mota, Paulo Borba, 2002, FME.
Augusto Sampaio, Alexandre Mota, Rodrigo Ramos, 2006, FMOODS.
Augusto Sampaio, Silvio Romero de Lemos Meira, Virgínia A. O. Cordeiro, 1994, FME.
Augusto Sampaio, Lucas Lima, Juliano Iyoda, 2014, 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).
Augusto Sampaio, Gustavo Carvalho, Morteza Mohaqeqi, 2017, Sci. Comput. Program..
Augusto Sampaio, Jim Woodcock, Ana Cavalcanti, 2004, PSSE.
Augusto Sampaio, Sidney Nogueira, Rafaela Almeida, 2018, SBMF.
Augusto Sampaio, Jim Woodcock, Pedro R. G. Antonino, 2014, FM.
Augusto Sampaio, Marcel Vinícius Medeiros Oliveira, Madiel Conserva Filho, 2014, IFM.
Augusto Sampaio, Leila Silva, Zhiming Liu, 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Augusto Sampaio, Jim Woodcock, Juliano Iyoda, 2011, Acta Informatica.
Augusto Sampaio, Alexandre Mota, Renata Kaufman, 2009, SBMF.
Augusto Sampaio, Ana Cavalcanti, Robert M. Hierons, 2016, 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).
Augusto Sampaio, Ana Cavalcanti, Manuela Xavier, 2008, Electron. Notes Theor. Comput. Sci..
Augusto Sampaio, Alexandre Mota, Adalberto Farias, 2008 .
Augusto Sampaio, Alexandre Mota, A. Sampaio, 1998, FASE.
Augusto Sampaio, Gustavo Carvalho, Mohammad Reza Mousavi, 2017, 2017 13th IEEE Conference on Automation Science and Engineering (CASE).
Augusto Sampaio, 1997 .
Augusto Sampaio, Moreno Falaschi, 2017, Formal Aspects of Computing.
Augusto Sampaio, Gustavo Carvalho, Alexandre Mota, 2014, Sci. Comput. Program..
Augusto Sampaio, 1993, AMAST Series in Computing.
Augusto Sampaio, David Cardoso, A. Sampaio, 2012, 2012 Sixth Brazilian Symposium on Software Components, Architectures and Reuse.
Augusto Sampaio, Farn Wang, 2018, Theor. Comput. Sci..
Augusto Sampaio, Ana Cavalcanti, Leonardo Freitas, 2002, Anais do XVI Simpósio Brasileiro de Engenharia de Software (SBES 2002).
Augusto Sampaio, Ana Cristina Vieira de Melo, Walter Mesquita, 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
Wei Li, Augusto Sampaio, Ana Cavalcanti, 2019, Sci. Comput. Program..
Augusto Sampaio, Marcel Vinícius Medeiros Oliveira, José Dihego, 2015, SAC.
Augusto Sampaio, Lucas Lima, Flávia Falcão, 2018, SBMF.
Augusto Sampaio, Alexandre Mota, Joabe Jesus, 2011, ICFEM.
Augusto Sampaio, Gustavo Carvalho, Bruno Cesar F. Silva, 2015, SBMF.
Augusto Sampaio, Gustavo Carvalho, Mohammad Reza Mousavi, 2019, SEFM.
Augusto Sampaio, Ana Cavalcanti, Bruno G. M. de Oliveira, 2002 .
Augusto Sampaio, Márcio Ribeiro, Paulo Borba, 2017, Inf. Softw. Technol..
Augusto Sampaio, Jim Woodcock, Ana Cavalcanti, 2003 .
Augusto Sampaio, 1997 .
Augusto Sampaio, Filipe Arruda, 2016, SBMF.
Augusto Sampaio, Paulo Borba, Márcio Cornélio, 2003, ECOOP.
Augusto Sampaio, Lucas Lima, Juliano Iyoda, 2016, SBMF.
Augusto Sampaio, Edna Barros, A. Sampaio, 1994, Third International Workshop on Hardware/Software Codesign.
Augusto Sampaio, Marcilia A. Campos, Alexandre H. F. Brainer, 1996, Reliab. Comput..
Augusto Sampaio, Juliano Iyoda, Hugo L. S. Araujo, 2019, Sci. Comput. Program..
Augusto Sampaio, Alexandre Mota, Rodrigo Ramos, 2005, FMOODS.
Augusto Sampaio, Ana Cavalcanti, Thiago L. V. L. Santos, 2006, UTP.
Augusto Sampaio, Gustavo Carvalho, Mark Blackburn, 2014 .
Augusto Sampaio, Luis Figueiredo, Sérgio Cavalcante, 2005, ICSE.
Augusto Sampaio, Gustavo Carvalho, Alexandre Mota, 2012, SBMF.
Augusto Sampaio, 2007, Electron. Notes Theor. Comput. Sci..
Augusto Sampaio, Alexandre Mota, Tarciana Dias da Silva, 2015, SBMF.
Augusto Sampaio, Ana Cavalcanti, Jifeng He, 2010, Formal Aspects of Computing.
Augusto Sampaio, Alexandre Mota, Adalberto Farias, 2010, Journal of the Brazilian Computer Society.
Augusto Sampaio, Alexandre Mota, Patrícia Ferreira, 2008, Electron. Notes Theor. Comput. Sci..
Augusto Sampaio, Jim Woodcock, Ana Cavalcanti, 2002, Refine.
Augusto Sampaio, Ana Cavalcanti, Marcel Vinícius Medeiros Oliveira, 2016, ICFEM.
Augusto Sampaio, Adnan Sherif, Sérgio Cavalcante, 2003, ICATPN.
Augusto Sampaio, Alexandre Mota, Rodrigo Ramos, 2010, Sci. Comput. Program..
Augusto Sampaio, Leila Silva, David A. Naumann, 2010, FTfJP@ECOOP.
Augusto Sampaio, Edna Barros, Leila Silva, 2004, Formal Methods Syst. Des..
Augusto Sampaio, Alexandre Mota, A. Sampaio, 2001, Sci. Comput. Program..
Augusto Sampaio, Gustavo Carvalho, Alexandre Mota, 2016, SBMF.
Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio, 2010, Science of Computer Programming.
Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio, 2005, Electron. Notes Theor. Comput. Sci..
Augusto Sampaio, Jim Woodcock, Ana Cavalcanti, 2006 .
Augusto Sampaio, Alexandre Mota, Rafael Duarte, 2011, Inf. Process. Lett..
Augusto Sampaio, Pedro R. G. Antonino, José Dihego, 2013, ICFEM.
Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio, 2002, Electron. Notes Theor. Comput. Sci..
Augusto Sampaio, Paulo Borba, Paulo Borba, 2000, RITA.
Wei Li, Augusto Sampaio, Ana Cavalcanti, 2018, IFM.
Augusto Sampaio, Ana Cavalcanti, Marcel Vinícius Medeiros Oliveira, 2018, Inf. Process. Lett..
Augusto Sampaio, Marcel Vinícius Medeiros Oliveira, Jeremy Bryans, 2014, NASA Formal Methods.
Augusto Sampaio, Jim Woodcock, Ana Cavalcanti, 2006 .
Augusto Sampaio, Leila Silva, David A. Naumann, 2012, Theor. Comput. Sci..
Augusto Sampaio, Filipe Arruda, Flávia A. Barros, 2020, Sci. Comput. Program..
Augusto Sampaio, Jim Woodcock, Ana Cavalcanti, 2003, Formal Aspects of Computing.
Augusto Sampaio, Alexandre Mota, Rodrigo Ramos, 2004, WMF.
Augusto Sampaio, David A. Naumann, Giovanny Lucero, 2013, APLAS.
Augusto Sampaio, Gustavo Carvalho, B. F. Silva, 2019, Sci. Comput. Program..
Augusto Sampaio, Ana Cavalcanti, Dehui Du, 2021, 2021 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Augusto Sampaio, Eduardo Kessler Piveta, Leonardo Cole, 2004 .
Augusto Sampaio, Gustavo Carvalho, Bruno Medeiros, 2016 .