Journals

2009

  • Sherif, Adnan ; Cavalcanti, Ana ; Jifeng, He ; SAMPAIO, A. C. A. . A process algebraic framework for specification and validation of real-time systems. Formal Aspects of Computing, p. 1-50, 2009.

2008

  • Gustavo Cabral ; SAMPAIO, A. C. A. . Automated Formal Specification Generation and Refinement from Requirement Documents. Journal of the Brazilian Computer Society, v. 14, p. 87-106, 2008.
  • A. Farias ; Alexandre Cabral Mota ; SAMPAIO, A. C. A. . 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 (Qualis C). 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 (Qualis C). Revista IEEE América Latina, v. 6, p. 290-297, 2008.

2007

  • Patrícia Ferreira ; SAMPAIO, A. C. A. ; Alexandre Cabral Mota . Viewing CSP Specifications with UML-RT Diagram. Electronic Notes in Theoretical Computer Science, v. 195, p. 57-74, 2007.
  • Manuela Xavier ; CAVALCANTI, A. ; SAMPAIO, A. C. A. . Type Checking Circus Specifications. Electronic Notes in Theoretical Computer Science, v. 195, p. 75-93, 2007.
  • BORGES, R. ; MOTA, A. . Integrating UML and Formal Methods (Qualis C). Electronic Notes in Theoretical Computer Science, v. 184, p. 97-112, 2007.
  • MACHADO, Patrícia Duarte de Lima ; SILVA, D. A. ; MOTA, A. . Towards Property Oriented Testing (Qualis C). Electronic Notes in Theoretical Computer Science, v. 184, p. 3-19, 2007.
  • Konrad Slind, Scott Owens, Juliano Iyoda and Mike Gordon. Proof producing synthesis of arithmetic and cryptographic hardware. Formal Aspects of Computing, v. 19, p. 343-362, 2007.

2005

  • CAVALCANTI, A. ; SAMPAIO, A. C. A. ; WOODCOCK, J. . Unifying classes and processes. Software and Systems Modeling, Springer, Alemanha, v. 4, n. 3, p. 277-296, 2005.
  • M. Cornelio ; CAVALCANTI, A. ; SAMPAIO, A. C. A. . Refactoring Towards a Layered Architecture. Electronic Notes in Theoretical Computer Science, v. 130, p. 281-300, 2005.

2004

  • SILVA, L. ; SAMPAIO, A. C. A. ; BARROS, E. . A Constructive Approach to Hardware/Software Partitioning. Formal Methods in System Design, v. 24, p. 45-90, 2004.
  • P. Borba ; SAMPAIO, A. C. A. ; CAVALCANTI, A. ; M. Cornelio . Algebraic Reasoning for Object-Oriented Programming. Science of Computer Programming, v. 52, p. 53-100, 2004.
  • SAMPAIO, A. C. A. ; MOTA, A. ; Rodrigo Ramos . Class and Capsule Refinement in UML for Real Time. Electronic Notes in Theoretical Computer Science, v. 95, p. 23-51, 2004.

2003

  • CAVALCANTI, A. ; SAMPAIO, A. C. A. ; WOODCOCK, J. . A Refinement Strategy for Circus. Formal Aspects of Computing, Inglaterra, v. 15, n. 2-3, p. 147-181, 2003.

2002

  • CAVALCANTI, A. ; SAMPAIO, A. C. A. ; WOODCOCK, J. . Refinement of actions in Circus. Electronic Notes in Theoretical Computer Science, v. 70, p. 492-522, 2002.
  • M. Cornelio ; CAVALCANTI, A. ; SAMPAIO, A. C. A. . Refactoring by Transformation. Electronic Notes in Theoretical Computer Science, v. 70, p. 641-660, 2002.

2001

  • MOTA, A. ; SAMPAIO, A. C. A. . Model-Checking CSP-Z: Strategy, Tool Support and Industrial Application. Science of Computer Programming, Elsevier, Holanda, v. 40, n. 1, p. 59-96, 2001.

2000

  • P. Borba ; SAMPAIO, A. C. A. . Basic Laws of ROOL: an Object-Oriented Language. Revista de Informatica Teórica e Aplicada, Brasil, v. 7, n. 1, p. 49-68, 2000.

1999

  • CAVALCANTE, A. ; SAMPAIO, A. C. A. ; WOODCOCK, J. . An Inconsistency In Procedures, Parameters and Substitution in the Refinement Calculus. Science of Computer Programming, Amsterdam, v. 33, n. 1, p. 87-96, 1999.

1998

  • CAVALCANTI, A. ; SAMPAIO, A. C. A. ; WOODCOCK, J. . Procedures And Recursion In The Refinement Calculus. Journal of the Brazilian Computer Society, BRASIL, v. 5, n. 1, p. 5-19, 1998.

1996

  • CAMPOS, M. ; SAMPAIO, A. C. A. ; BRAINER, A. . Mechanising The Theory Of Intervals Using Obj3. Jounal of Reliable Computing, Amsterdam, v. 2, p. 97-102, 1996.

1993

  • HOARE, C. A. R. ; HE, J. ; SAMPAIO, A. C. A. . Normal Form Approach To Compiler Design. ACTA INFORMÁTICA, Estados Unidos, v. 30, p. 701-739, 1993.