My photo
Alexandre Mota 		Lecturer at Centre of Informatics (CIn-UFPE)

E-mail        acm(at)cin.ufpe.br
Telephone +55 81 2126-8430 (Ext 4336)
Fax            +55 81 2126-8438
Office        C124
Address     Av. Prof. Luis Freire, s/n
                 Cidade Universitária
                 Recife - Zip 50.740-540
                 Brazil
Research interests: Refinement checking, CSP, Z, Prism, testing, safety assessment
Brief biography: Alexandre Mota obtained his PhD from the Centre of Informatics in 2001. Also in 2001, he won the Best PhD Thesis Award from the Brazilian Computer Society (SBC). Currently, he is working on research projects with Motorola (Testing) and Embraer (Model checking).
Journal publications

  • RAMOS, Rodrigo, SAMPAIO, Augusto, MOTA, A. Conformance Notions for the Coordination of Interaction Components (accepted for publication). Science of Computer Programming. , 2009

  • Ferreira, Patrícia ; SAMPAIO, Augusto ; MOTA, A. . Viewing CSP Specifications with UML-RT Diagrams. Electronic Notes in Theoretical Computer Science, v. 195, p. 57-74, 2008
  • FARIAS, Adalberto ; MOTA, A. ; SAMPAIO, Augusto . Compositional Abstraction of CSPZ Processes. Journal of the Brazilian Computer Society, v. 14, p. 23-44, 2008
  • SOUZA, Clélio Feitosa de ; PERES, G. ; MOTA, A. . Unificando Modelos de Casos de Teste e de Requisitos. Revista IEEE América Latina, v. 6, p. 267-274, 2008
  • BERTOLINI, Cristiano ; MOTA, A. . Uma Estratégia para teste de Conformidade Automático em Sistemas Embarcados. Revista IEEE América Latina, v. 6, p. 290-297, 2008
  • BORGES, R. ; MOTA, A. . Integrating UML and Formal Methods. Electronic Notes in Theoretical Computer Science, v. 184, p. 97-112, 2007
  • Ferreira, Patrícia ; SAMPAIO, Augusto ; MOTA, A. . Viewing CSP Specifications with UML-RT Diagram. Electronic Notes in Theoretical Computer Science, v. 195, p. 57-74, 2007
  • SAMPAIO, Augusto ; MOTA, A. ; RAMOS, Rodrigo . Class and Capsule Refinement in UML for Real Time.Electronic Notes In Theoretical Computer Science, Campina Grande, Brazil, v. 95, p. 23-51, 2004
  • MOTA, A. ; SAMPAIO, Augusto . Model Checking CSPz: Strategy, Tool Support and Industrial Application. Science Of Computer Programming, v. 40, n. 3, p. 59-96, 2001
Conference publications

  • BERTOLINI, C., MOTA, A. Using Probabilistic Model Checking to Evaluate GUI Testing Techniques (accepted for publication) In: Software Engineering and Formal Methods, 2009, Hanoi. 7th IEEE International Conference on Software Engineering and Formal Methods. , 2009

  • Rebêlo, H., Lima, R., CORNÉLIO, M., Leavens, G., MOTA, A., Oliveira, C. Optimizing JML Features Compilation in Ajmlc Using Aspect-Oriented Refactorings (accepted for publication). In: Simpósio Brasileiro de Linguagens de Programação, 2009, Gramado. Simpósio Brasileiro de Linguagens de Programação - SBLP. , 2009

  • Kaufman, R., SAMPAIO, A., MOTA, A. Formalisation and Analysis of Objects as CSP Processes (accepted for publication) In: Simpósio Brasileiro de Métodos Formais, 2009, Gramado.

      Brazilian Symposium on Formal Methods (SBMF 2009)
  • DAMASCENO, A., FARIAS, A., MOTA, A. A Mechanized Strategy for Safe Abstraction of CSP Speci_cations (accepted for publication) In: Simpósio Brasileiro de Métodos Formais, 2009, Gramado. Brazilian Symposium on Formal Methods (SBMF 2009)
  • BERTOLINI, C., PERES, G., dAmorim, M., MOTA, A. A Black-box Testing Technique for the Detection of Crashes Based on Automated Test Scenarios In: International Conference on Software Testing Verification and Validation. 2009 International Conference on Software Testing Verification and Validation. , 2009. p.21 - 30
  • SOUZA, C.; PERES, G. ; MOTA, A. . Unifying Models of Test Cases and Requirements. In: XI Iberoamerican Workshop on Requirements Engineering and Software Environments, 2008, Recife. IDEAS 2008, 2008. p. 113-126
  • BERTOLINI, C.; MOTA, A. . Using Refinement Checking as System Testing. In: XI Iberoamerican Workshop on Requirements Engineering and Software Environments, 2008, Recife. IDEAS 2008, 2008. p. 17-30
  • Didier, A. ; FARIAS, A.; MOTA, A. . Checking Z data refinements using traces refinement. In: Simpósio Brasileiro de Métodos Formais, 2008, Salvador. SBMF 2008 - Brazilian Symposium on Formal Methods. Salvador : Editora Gráfica da UFBA, 2008. p. 67-82
  • RAMOS, Rodrigo ; SAMPAIO, Augusto ; MOTA, A. . Framework Composition Conformance via Refinement Checking. In: ACM Symposium on Applied Computing(SAC), 2008, Fortaleza. 23rd Annual ACM Symposium on Applied Computing(SAC), 2008. v. 23. p. 119-125
  • Nogueira, S. ; SAMPAIO, Augusto ; MOTA, A. . Guided Test Generation from CSP Models. In: ICTAC - International Colloquium on Theoretical Aspects of Computing, 2008, Istanbul. 5th International Colloquium on Theoretical Aspects of Computing, 2008. p. 258-273
  • PERES, G. ; MOTA, A. . A Tool to Translate CSP Models into English Requirements. In: II Encontro Brasileiro de Teste de Software, 2007, Recife. Encontro Brasileiro de Teste de Software, 2007
  • RAMOS, Rodrigo ; SAMPAIO, Augusto ; MOTA, A. . Framework Composition Conformance via Refinement Checking. In: Special Track on the 23rd ACM Symposium on Applied Computing, 2007, Fortaleza. ACM Symposium on Applied Computing, 2008
  • TEIXEIRA, Rodrigo ; SAMPAIO, Augusto ; MOTA, A. . Transformation Laws for UML-RT. In: Formal Methods for Open Object-Based Distributed Systems, 2006, Bologna. 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, 2006
  • Ferreira, Patrícia ; SAMPAIO, Augusto ; MOTA, A. . Viewing CSP specifications with UML-RT diagrams. In: Simpósio Brasileiro de Métodos Formais, 2006, Porto Alegre. SBMF - Simpósio Brasileiro de Métodos Formais, 2006. p. 73-88
  • RAMOS, Rodrigo ; SAMPAIO, Augusto ; MOTA, A. . A Semantics for UML-RT Active Classes via Mapping into Circus. In: Formal Methods for Open Object-Based Distributed Systems, 2005, Athens. Lecture Notes in Computer Science, 2005. v. 3535. p. 99-114
  • BORGES, R. ; MOTA, A. . Integrando UML e Métodos Formais. In: Simpósio Brasileiro de Métodos Formais, 2005, Porto Alegre. Proceedings of the Brazilian Symposium on Formal Methods, 2005. p. 80-95
  • MACHADO, Patrícia Duarte de Lima ; SILVA, D. A. ; MOTA, A. . Property Oriented Testing. In: Simpósio Brasileiro de Métodos Formais, 2005, Porto Alegre. Proceedings of the Brazilian Symposium on Formal Methods, 2005. p. 2-16
  • COLE, Leonardo ; BORBA, Paulo ; MOTA, A. . Proving aspect-oriented programming laws. In: Foundations of Aspect-Oriented Languages, 2005, Chicago. 4th Foundations of Aspect-Oriented Languages (FOAL), 2005. p. 1-10
  • MOTA, A. ; FARIAS, Adalberto ; SAMPAIO, Augusto . Efficient CSPz Data Abstraction. In: Integrated Formal Methods, 2004, Canterbury. IFM 2004 (Accepted for Publication), 2004
  • MOTA, A. ; SAMPAIO, Augusto ; RAMOS, Rodrigo . Class and Capsule Refinement in UML for Real Time. In: Workshop de Métodos Formais, 2003, Campina Grande. WMF´2003: VI Workshop on Formal Methods, 2003. p. 16-34
  • MOTA, A. ; BORBA, Paulo ; SAMPAIO, Augusto . Mechanical Abstraction of CSPz Processes. In: FORMAL METHODS EUROPE, 2002, Copenhagem. FME 2002: Formal Methods - Getting IT Right, 2002. v. 2391. p. 163-183
  • MOTA, A. ; FARIAS, Adalberto ; SAMPAIO, Augusto . Efficient Analysis of Infinite CSPZ Processes. In: Workshop de Métodos Formais, 2002, Gramado. 5th Workshop on Formal Methods (WMF'02), 2002. p. 113-128
  • MOTA, A. ; FARIAS, Adalberto ; SAMPAIO, Augusto . De CSPz para CSPm: Uma ferramenta transformacional Java. In: Workshop de Métodos Formais, 2001, Rio de Janeiro. 4th Workshop on Formal Methods (WMF'01), 2001. p. 1-10
  • MOTA, A. ; SAMPAIO, Augusto . Model Checking Processes with States: An Industrial Case Study. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 1998, MARINGÁ. XII SBES - SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 1998. p. 23-36
  • MOTA, A. ; SAMPAIO, Augusto . Model Checking CSPz. In: European Joint Conferences on the Theory and Practice of Software, 1998, Lisboa. Fundamental Approaches to Software Engineering, 1998. v. 1382. p. 205-220