Augusto Sampaio

Q: What Schools Are Affiliated With Augusto Sampaio

Augusto Sampaio is affiliated with the following schools: Federal University of Pernambuco, University of Oxford, University of Manchester, University of California, Santa Cruz

Augusto Sampaio's AcademicInfluence.com Rankings

Augusto Sampaio

Computer Science

#12176

World Rank

#12978

Historical Rank

Software Engineering

#363

World Rank

#369

Historical Rank

Database

#9232

World Rank

#9715

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Augusto Sampaio's Degrees

PhD Computer Science University of Manchester
Masters Computer Science Federal University of Pernambuco
Bachelors Computer Science Federal University of Pernambuco

Similar Degrees You Can Earn

Why Is Augusto Sampaio Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Augusto Cezar Alves Sampaio is a Brazilian computer scientist who works with formal methods and language semantics. Augusto Sampaio from Recife, Pernambuco, Brazil. He graduated from the Centro de Informática at the Federal University of Pernambuco . He undertook his PhD studies under the supervision of Prof. Sir Tony Hoare at the Oxford University Computing Laboratory . In 2013 Sampaio became Commander of the Scientific Merit Order, awarded by the Brazilian Science and Technology Ministry. In July 2016 Sampaio received the title of Doctor Honoris Causa from the University of York, UK.

(See a Problem?)

Augusto Sampaio's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A Refinement Strategy for Circus (2003) (137)
An Algebraic Approach to Compiler Design (1993) (90)
Algebraic reasoning for object-oriented programming (2004) (87)
Refinement in Circus (2002) (69)
Model-checking CSP-Z: strategy, tool support and industrial application (2001) (62)
Formal Specification Generation from Requirement Documents (2006) (60)
A process algebraic framework for specification and validation of real-time systems (2010) (60)
Unifying classes and processes (2005) (58)
Test generation from state based use case models (2014) (53)
Normal form approach to compiler design (1993) (48)
A Refinement Algebra for Object-Oriented Programming (2003) (41)
Guided Test Generation from CSP Models (2008) (39)
Object-Orientation in the UTP (2006) (39)
Test case generation from natural language requirements based on SCR specifications (2013) (34)
Refinement of actions in Circus (2002) (33)
A Semantics for UML-RT Active Classes via Mapping into Circus (2005) (31)
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions (2004) (30)
Towards provably correct hardware/software partitioning using OCCAM (1994) (29)
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP (2015) (28)
Laws of Object-Orientation with Reference Semantics (2008) (27)
A Normal Form Reduction Strategy for Hardware/Software Partitioning (1997) (27)
Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures (2006) (26)
Model-Checking CSP-Z (1998) (26)
NAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications (2014) (25)
Verified simulation for robotics (2019) (25)
On the Contributions of an End-to-End AOSD Testbed (2007) (25)
Systematic Model-Based Safety Assessment Via Probabilistic Model Checking (2010) (23)
Modular Extensions to Z (1990) (23)
Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures (2010) (22)
Software test program: a software residency experience (2005) (22)
NAT2TEST SCR (2014) (22)
Systematic Development of Trustworthy Component Systems (2009) (21)
An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus (1999) (21)
Refactoring by Transformation (2002) (19)
ParTS: A Partitioning Transformation System (1999) (19)
Sound conformance testing for cyber-physical systems: Theory and implementation (2017) (18)
Sound refactorings (2010) (18)
Compositional Verification of Input-Output Conformance via CSP Refinement Checking (2009) (18)
A Constructive Approach to Hardware/Software Partitioning (2004) (17)
Automatic Test-Case Generation (2007) (17)
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification (2014) (16)
Basic Laws of ROOL: an object-oriented language (2000) (16)
A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes (2014) (16)
Class and Capsule Refinement in UML for Real Time (2004) (15)
An integrated semantics for reasoning about SysML design models using refinement (2017) (15)
Automated formal specification generation and refinement from requirement documents (2008) (14)
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification (2013) (14)
An algebraic approach to the design of compilers for object-oriented languages (2010) (14)
Algebraic derivation of an operational semantics (2000) (13)
Rigorous development of component-based systems using component metadata and patterns (2016) (13)
Local Livelock Analysis of Component-Based Models (2016) (12)
From CSP-OZ to Java with processes (2002) (12)
Test case generation, selection and coverage from natural language (2019) (12)
Test case prioritization based on data reuse an experimental study (2009) (12)
Type Checking Circus Specifications (2006) (12)
Capture & Replay with Text-Based Reuse and Framework Agnosticism (2016) (11)
A Formal Model for Natural-Language Timed Requirements of Reactive Systems (2014) (11)
Modelling timed reactive systems from natural-language requirements (2016) (11)
Mechanical Abstraction of CSPZ Processes (2002) (11)
Model-Checking Circus State-Rich Specifications (2014) (10)
Automation of a Normal Form Reduction Strategy for Object-oriented Programming (2002) (10)
Refactoring and representation independence for class hierarchies (2012) (10)
Procedures and Recursion in the Refinement Calculus (1998) (9)
From MooZ to Eiffel - A Rigorous Approach to System Development (1994) (9)
Sound and mechanised compositional verification of input‐output conformance (2014) (9)
Constructive model-based analysis for safety assessment (2012) (9)
A RUP-based software process supporting progressive implementation (2003) (9)
Transformation Laws for Sequential Object-Oriented Programming (2004) (8)
Efficient CSPZ Data Abstraction (2004) (8)
Test Case Generation from Natural Language Requirements Using CPN Simulation (2015) (8)
Introducing concurrency in sequential Java via laws (2011) (8)
Viewing CSP Specifications with UML-RT Diagrams (2006) (8)
Modelling and Verification for Swarm Robotics (2018) (7)
Transformation Laws for UML-RT (2006) (7)
Multi-objective Search for Effective Testing of Cyber-Physical Systems (2019) (7)
RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing (2020) (7)
Architectural Verification of Control Systems Using CSP (2011) (7)
A Strategy for Compiling Classes, Inheritance, and Dynamic Binding (2003) (7)
JACK: A Framework for Process Algebra Implementation in Java (2002) (7)
A Suspension-Trace Semantics for CSP (2016) (7)
Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets (2003) (6)
CPN simulation-based test case generation from controlled natural-language requirements (2019) (6)
FDR: From Theory to Industrial Application (2017) (6)
An Integrated Approach to Specification and Validation of Real-Time Systems (2001) (6)
Compositional abstraction ofCSPZ processes (2008) (6)
Formal Modelling of Environment Restrictions from Natural-Language Requirements (2018) (6)
Compositional and local livelock analysis for CSP (2018) (6)
A strategy for the formal composition of frameworks (2005) (6)
Conformance notions for the coordination of interaction components (2010) (5)
Local Analysis of Determinism for CSP (2017) (5)
A unified language of classes and processes (2003) (5)
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment (1999) (5)
Refinement Algebra for Formal Bytecode Generation (2002) (5)
Crescimento inicial da cultura do rabanete (Raphanus sativus L.) submetida a níveis e fontes de fertilizantes orgânicos (2019) (5)
Automatic Generation of Test Cases and Test Purposes from Natural Language (2015) (4)
Constructive extensibility of trustworthy component-based systems (2015) (4)
Refinement: An overview (2004) (4)
Formal Bytecode Generation for a ROOL Virtual Machine (2001) (4)
Refactoring Towards a Layered Architecture (2005) (4)
Framework composition conformance via refinement checking (2008) (4)
Refactoring and representation independence for class hierarchies: extended abstract (2010) (4)
A Permutation Technique for Test Case Prioritization in a Black-box Environment (2008) (4)
A Modular Theory of Object Orientation in Higher-Order UTP (2014) (4)
A Process for Sound Conformance Testing of Cyber-Physical Systems (2017) (4)
Adalberto Farias , Alexandre Mota and Augusto Sampaio Compositional Abstraction of CSPZ Processes problems (2008) (4)
Model Checking Requirements (2016) (3)
NAT2TEST: Generating Test Cases from Natural Language Requirements based on CSP (2016) (3)
Serialising Parallel Processes in a Hardware/Software Partitioning Context (2001) (3)
Correct Hardware Synthesis An algebraic approach (2011) (3)
A formal semantics for Sequence Diagrams and a strategy for system analysis (2014) (3)
Algebraic Laws for Process Subtyping (2013) (3)
Simulation of hybrid systems from natural-language requirements (2017) (3)
Verifying Transformations of Java Programs Using Alloy (2015) (3)
Model-Checking Processes with States: An Industrial Case Study (1998) (2)
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications (2012) (2)
Aspect-Oriented Development of Trustworthy Component-based Systems (2015) (2)
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts (2022) (2)
Formal Testing from Natural Language in an Industrial Context (2016) (2)
RUP Based Analysis and Design with Aspects (2004) (2)
Analytical Comparison of Refinement Checkers (2011) (2)
A Complete Set of Object Modeling Laws for Alloy (2009) (2)
Efficient CSP Z Data Abstraction (2)
A Refinement Strategy for the Compilation of Classes , Inheritance , and Dynamic Binding ? (2003) (1)
Multiple Synchrony in MSC (2009) (1)
Correct hardware synthesis (2011) (1)
Rigorous Development with UML-RT (2006) (1)
Transforming RoboSim Models into UPPAAL (2021) (1)
A refinement checking based strategy for component-based systems evolution (2020) (1)
Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings (2019) (1)
Theoretical Aspects of Computing – ICTAC 2016 (2016) (1)
Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions (2018) (1)
Automation and consistency analysis of test cases written in natural language: An industrial context (2020) (1)
Safe and Constructive Design with UML Components (2018) (0)
Laws of Programming for References (2013) (0)
Avaliação da segurança no trabalho de operadores de betoneiras nas construções civis na cidade de Patos- PB (2019) (0)
Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover (2022) (0)
THE REASONING LANGUAGE (1997) (0)
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004Recife, Brazil, November 23-December 5, ... Lectures (Lecture Notes in Computer Science) (2006) (0)
Library Block Specifications (2006) (0)
Quantitative Evaluation of AO based SOA Application for University Automation using an Experimental TestBed (2017) (0)
Rigorous development of component-based systems using component metadata and patterns (2016) (0)
A systematic strategy to perform quantitative safety assessment of Simulink diagrams using Prism-Technical Report (2010) (0)
Call for Tutorials and Workshops Sixth International Conference on Formal Engineering Methods (ICFEM 2004) (2004) (0)
Projeto de reposição florestal de um empreendimento imobiliário no Município de Mossoró/RN (2017) (0)
Constructive model-based analysis for safety assessment (2012) (0)
Modelling timed reactive systems from natural-language requirements (2016) (0)
Mechanising the theory of intervals using OBJ3 (1996) (0)
Test generation from state based use case models (2012) (0)
Compositional Abstraction of CSP Z (2008) (0)
Editorial (2017) (0)
Refinement Verification of Sequence Diagrams Using CSP (2016) (0)
Editorial (2017) (0)
A Pattern-based deadlock-freedom analysis strategy for concurrent systems (2022) (0)
Análise comparativa do tempo de entreverdes de semáforos no município de Patos-PB (2019) (0)
Preface (2005) (0)
Elementary Probability Theory (2006) (0)
Formalisation and Analysis of Objects as CSP Processes (2009) (0)
Arquitetura como ferramenta auxiliar na termorregulação animal (2019) (0)
A SIMPLE COMPILER (1997) (0)
RIOS URBANOS: novos paradigmas à associação de valores culturais e ambientais (2019) (0)
An integrated semantics for reasoning about SysML design models using refinement (2015) (0)
PROCEDURES, RECURSION AND PARAMETERS (1997) (0)
A framework for monitorable services implementation (2012) (0)
Theoretical aspects of computing (2018) (0)
Proofs of Lemmas and Theorems in the UTP (2006) (0)
An idiom to represent data types in Alloy (2017) (0)
Formal Spe i ation and Validation of Real TimeSystemsAdnan (2007) (0)

This paper list is powered by the following services:

Other Resources About Augusto Sampaio

What Schools Are Affiliated With Augusto Sampaio?

Augusto Sampaio is affiliated with the following schools:

Augusto Sampaio's Academic­Influence.com Rankings

Augusto Sampaio's Degrees

Similar Degrees You Can Earn

Why Is Augusto Sampaio Influential?

Augusto Sampaio's Published Works

Published Works

Other Resources About Augusto Sampaio

What Schools Are Affiliated With Augusto Sampaio?

Augusto Sampaio's AcademicInfluence.com Rankings