Concepedia

Augusto Sampaio

AS

29

Publications

822

Citations

17

H-Index

1993

Active since

Affiliations

Universidade Federal de Pernambuco(Current)

University of York

University of Kent

University of Oxford

Universidade de Pernambuco

Augusto Sampaio is an author at Universidade Federal de Pernambuco specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisSoftware DesignFormal VerificationSoftware EngineeringSoftware TestingSystem Software

Publications per year

1993–2024

29

Publications

29

Normal form approach to compiler design

C. A. R. Hoare, He Jifeng, Augusto Sampaio · Acta Informatica · 1993 · 81 citations

Normal Form Approach, Engineering, Program Analysis +10

Algebraic reasoning for object-oriented programming

Paulo Borba, Augusto Sampaio, Ana Cavalcanti et al. · Science of Computer Programming · 2004 · 75 citations

Engineering, Program Analysis, Automated Reasoning +9

Test generation from state based use case models

Sidney Nogueira, Augusto Sampaio, Alexandre Mota · Formal Aspects of Computing · 2012 · 59 citations · Full text

Model-checking CSP-Z: strategy, tool support and industrial application

Alexandre Mota, Augusto Sampaio · Science of Computer Programming · 2001 · 53 citations

Engineering, Formal Modeling, Software Testing +10

Formal Specification Generation from Requirement Documents

Gustavo Tavares Cabral, Augusto Sampaio · Electronic Notes in Theoretical Computer Science · 2008 · 50 citations · Full text

Csp Notation, Engineering, Requirement Modeling +18

Rows per page

1–5 of 29