2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.

Publicações

2025

Demystification and near-perfect estimation of minimum gas limit and gas used for Ethereum smart contracts

DE LIMA CABRAL, DANILO RAFAEL; ANTONINO, PEDRO; Sampaio, Augusto Cezar Alves
Journal of Cloud Computing: Advances, Systems and Applications
2025

Micro Frontend Architecture for Robotic Systems: a Systematic Approach With Design Rationale

SILVA, UANDERSON; ANDRADE, MATHEUS; CRUZ, JOSÉ; SILVA, ANDRESA; Sampaio, Augusto; GAMA, KIEV
2025 IEEE/ACM 7th International Workshop on Robotics Software Engineering (RoSE)
2025

Combining sequential feature test cases to generate sound tests for concurrent features

ALMEIDA, RAFAELA; Nogueira, Sidney; Sampaio, Augusto
SCIENCE OF COMPUTER PROGRAMMING
2024

An Integrated Framework for Analysing, Simulating and Testing UML Models

Gustavo Carvalho; Jose Dihego; Augusto Sampaio
Simpósio Brasileiro de Métodos Formais
2024

Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving

JESUS, JOABE; Sampaio, Augusto
SCIENCE OF COMPUTER PROGRAMMING
2024

Extracting Formal Smart-Contract Specifications from Natural Language with LLMs

Gabriel Leite; Filipe Arruda.; Pedro Antonino; Augusto Sampaio; ROSCOE, A. W.
[FACS] Formal Aspects of Component Software
2024

Trusted Deployer: A Tool for Safe Creation and Upgrade of Ethereum Smart Contracts

FERREIRA, J.; Pedro Antonino; Augusto Sampaio; ROSCOE, A. W.; Filipe Arruda.
Simpósio Brasileiro de Métodos Formais
2024

Formal Methods in Industry

TER BEEK, MAURICE H.; ROZIER, KRISTIN YVONNE; Sampaio, Augusto; SECELEANU, CRISTINA; THOMAS, MARTYN; WILLEMSE, TIM A. C.; ZHANG, LIJUN; CHAPMAN, ROD; CLEAVELAND, RANCE; GARAVEL, HUBERT; GU, RONG; TER HORST, IVO; KEIREN, JEROEN J. A.; LECOMTE, THIERRY; LEUSCHEL, MICHAEL
FORMAL ASPECTS OF COMPUTING
2024

A refinement-based approach to safe smart contract deployment and evolution

ANTONINO, PEDRO; FERREIRA, JULIANDSON; Sampaio, Augusto; ROSCOE, A. W.; ARRUDA, FILIPE
Software and Systems Modeling
2023

Laws of Timed State Machines

Cavalcanti, Ana; CONSERVA FILHO, MADIEL; RIBEIRO, PEDRO; Sampaio, Augusto
COMPUTER JOURNAL
2023

A Model-based Approach to the Development and Verification of Robotic Systems for Competitions

Marcus Santos; Madiel Conserva.; Augusto Sampaio
[LARS/SBR] Latin American Robotics Symposium and Brazilian Symposium on Robotics
2023

A formal component model for UML based on CSP aiming at compositional verification

FALCÃO, FLÁVIA; Lima, Lucas; Sampaio, Augusto; ANTONINO, PEDRO
Software and Systems Modeling
2023

Sound Test Case Generation for Concurrent Mobile Features

Rafaela Almeida; Sidney Nogueira; Augusto Sampaio
[SBMF] Brazilian Symposium on Formal Methods
2022

Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover

Joabe Jesus; Sampaio, A.
[SBMF] Brazilian Symposium on Formal Methods
2022

Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts.

Pedro Antonino; FERREIRA, J.; SAMPAIO, A; ROSCOE, A. W.
[SEFM] Software Engineering and Formal Methods (SEFM 2022)
2021

Verification of RoboSim Models Using UPPAAL

Mingzhuo Zhang; Dehui du; Augusto Sampaio; Ana Cavalcanti; Conserva Filho, Madiel S.; Menghan Zhang
[TASE] Theoretical Aspects of Software Engineering (TASE)
2020

A refinement checking based strategy for component-based systems evolution

DIHEGO, JOSÉ; Sampaio, Augusto; OLIVEIRA, MARCEL
JOURNAL OF SYSTEMS AND SOFTWARE
2020

Automation and consistency analysis of test cases written in natural language: An industrial context

ARRUDA, FILIPE; BARROS, FLÁVIA; Sampaio, Augusto
SCIENCE OF COMPUTER PROGRAMMING
2019

Test case generation, selection and coverage from natural language

Nogueira, Sidney; ARAUJO, HUGO; ARAUJO, RENATA; Iyoda, Juliano; Sampaio, Augusto
SCIENCE OF COMPUTER PROGRAMMING
2019

Multi-objective Search for Effective Testing of Cyber-Physical Systems

Hugo Araujo.; Gustavo Carvalho; MOUSAVI, MOHAMMAD REZA; Augusto Sampaio
[SEFM] SEFM - Software Engineering Formal Methods
2019

Verified simulation for robotics

Cavalcanti, Ana; Sampaio, Augusto; MIYAZAWA, ALVARO; RIBEIRO, PEDRO; FILHO, MADIEL CONSERVA; DIDIER, ANDRÉ; LI, WEI; TIMMIS, JON
SCIENCE OF COMPUTER PROGRAMMING
2019

CPN simulation-based test case generation from controlled natural-language requirements

SILVA, BRUNO CESAR F.; CARVALHO, GUSTAVO; Sampaio, Augusto
SCIENCE OF COMPUTER PROGRAMMING
2018

Theoretical aspects of computing

Sampaio, Augusto; WANG, FARN
THEORETICAL COMPUTER SCIENCE
2018

Compositional and Local Livelock Analysis for CSP

CONSERVA FILHO, M.S.; OLIVEIRA, M.V.M.; Sampaio, A.; Cavalcanti, Ana
INFORMATION PROCESSING LETTERS
2018

Formal Modelling of Environment Restrictions from Natural-Language Requirements

Tainã Santos; Gustavo Carvalho; Augusto Sampaio
[SBMF] SBMF - Simpósio Brasileiro de Métodos Formais
2018

Modelling and Verification for Swarm Robotics

CAVALCANTI, A.; MIYAZAWA, ALVARO; Augusto Sampaio
[IFM] IFM - Integrated Formal Methods
2018

Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions

Rafaela Almeida; Sidney Nogueira; Augusto Sampaio
[SBMF] SBMF - Simpósio Brasileiro de Métodos Formais
2018

Safe and Constructive Design with UML Components

Flávia Falcão; Lucas Lima; Augusto Sampaio
[SBMF] SBMF Simpósio Brasileiro de Métodos Formais
2017

Sound Conformance Testing for Cyber-Physical Systems: Theory and Implementation

ARAUJO, HUGO; CARVALHO, GUSTAVO; MOHAQEQI, MORTEZA; MOUSAVI, MOHAMMAD REZA; Sampaio, Augusto
SCIENCE OF COMPUTER PROGRAMMING
2017

Local Analysis of Determinism for CSP

Rodrigo Otoni; CAVALCANTI, A.; Augusto Sampaio
[SBMF] Simpósio Braileiro de Métodos Formais (SBMF)
2017

An integrated semantics for reasoning about SysML design models using refinement

Lima, Lucas; MIYAZAWA, ALVARO; Cavalcanti, Ana; CORNÉLIO, MÁRCIO; Iyoda, Juliano; Sampaio, Augusto; HAINS, RALPH; LARKHAM, ADRIAN; LEWIS, VAUGHAN
Software & Systems Modeling
2017

A Process for Sound Conformance Testing of Cyber-Physical Systems

ARAUJO, HUGO; CARVALHO, GUSTAVO; Sampaio, Augusto; MOUSAVI, MOHAMMAD REZA; TAROMIRAD, MASOUMEH
2017 IEEE International Conference on Software Testing, Verification and Validation: Workshops (ICSTW)
2017

Editorial

FALASCHI, MORENO; Sampaio, Augusto
FORMAL ASPECTS OF COMPUTING
2017

An idiom to represent data types in Alloy

GHEYI, ROHIT; BORBA, PAULO; Sampaio, Augusto; RIBEIRO, MÁRCIO
Information and Software Technology
2017

Simulation of hybrid systems from natural-language requirements

OLIVEIRA, BRUNO; CARVALHO, GUSTAVO; MOUSAVI, MOHAMMAD REZA; Sampaio, Augusto
[CASE] 2017 13th IEEE Conference on Automation Science and Engineering (CASE 2017)
2016

Local Livelock Analysis of Component-Based Models

Madiel Conserva; Marcel Oliveira; Sampaio, Augusto; CAVALCANTI, A.
[ICFEM] ICFEM
2016

Model Checking Requirements

Sergio Barza.; Gustavo Carvalho; Iyoda, Juliano; Augusto Sampaio; Alexandre Cabral Mota; F. Barros
[SBMF] SBMF
2016

Rigorous development of component-based systems using component metadata and patterns

OLIVEIRA, M. V. M.; ANTONINO, P.; RAMOS, R.; Sampaio, A.; MOTA, A.; ROSCOE, A. W.
Formal Aspects of Computing
2016

A Suspension-Trace Semantics for CSP

Cavalcanti, Ana; HIERONS, ROBERT M.; Nogueira, Sidney; Sampaio, Augusto
[TASE] 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)
2016

Capture & Replay with Text-Based Reuse and Framework Agnosticism

Filipe Arruda.; Augusto Sampaio; BARROS, FLÁVIA
[SEKE] Software Engineering and Knowledge Engineering
2016

Formal Testing from Natural Language in an Industrial Context

Augusto Sampaio; Filipe Arruda.
[SBMF] SBMF
2016

Modelling timed reactive systems from natural-language requirements

CARVALHO, GUSTAVO; Cavalcanti, Ana; Sampaio, Augusto
Formal Aspects of Computing (Internet)
2016

Refinement Verification of Sequence Diagrams Using CSP

Lucas Lima; Iyoda, Juliano; Augusto Sampaio
[SBMF] SBMF
2015

Verifying Transformations of Java Programs Using Alloy

Tarciana Dias; Sampaio, Augusto; Mota, Alexandre
[SBMF] SBMF - Brazilian Symposium on Formal Methods
2015

Aspect-Oriented Development of Trustworthy Component-based Systems

Jose Dihego; Sampaio, Augusto
[ICTAC] ICTAC - International Colloquium on Theoretical Aspects of Computing
2015

NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP

Gustavo Carvalho; F. Barros; Carvalho, Ana; CAVALCANTI, A.; MOTA, A.; Sampaio, Augusto
[SEFM] SEFM (tool paper)
2015

Automatic Generation of Test Cases and Test Purposes from Natural Language

Sidney Nogueira; Hugo Araujo.; Renata Araujo; IYODA, J; Sampaio, Augusto
[SBMF] SBMF - Brazilian Symposium on Formal Methods
2015

Test Case Generation from Natural Language Requirements Using CPN Simulation

Bruno Silva; CARVALHO, GUSTAVO; Sampaio, Augusto
[SBMF] SBMF - Brazilian Symposium on Formal Methods
2015

Constructive extensibility of trustworthy component-based systems

DIHEGO, JOSÉ; Sampaio, Augusto; OLIVEIRA, MARCEL
[SAC] the 30th Annual ACM Symposium
2014

A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes

Pedro Antonino; Augusto Sampaio; Woodcock, Jim
[FM] Formal Methods
2014

A Modular Theory of Object Orientation in Higher-Order UTP

Frank Zeyda; T. Santos; CAVALCANTI, A.; Augusto Sampaio
[FM] Formal Methods
2014

Model-Checking Circus State-Rich Specifications

Marcel Oliveira; Sampaio, Augusto; Conserva Filho, Madiel S.
[IFM] IFM
2014

Test generation from state based use case models

Nogueira, Sidney; Sampaio, Augusto; Mota, Alexandre
Formal Aspects of Computing (Internet)
2014

Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification

Pedro Antonino; Marcel Oliveira; Augusto Sampaio; Klaus Kristenses; Jeremy Bryans
NASA Formal Methods
2014

Test case generation from natural language requirements based on SCR specifications

CARVALHO, GUSTAVO; FALCÃO, DIOGO; BARROS, FLÁVIA; Sampaio, Augusto; Mota, Alexandre; MOTTA, LEONARDO; BLACKBURN, MARK
Science of Computer Programming (Print)
2014

A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis.

Lima, Lucas; Iyoda, Juliano; Sampaio, Augusto
[MODELSWARD] Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014)
2014

A Formal Model for Natural-Language Timed Requirements of Reactive Systems

Gustavo Carvalho; Carvalho, Ana.; Rocha, Eduardo; CAVALCANTI, A.; Sampaio, Augusto
[ICFEM] ICFEM
2014

Sound and mechanised compositional verification of input-output conformance

Sampaio, Augusto; Nogueira, Sidney; Mota, Alexandre; ISOBE, YOSHINAO
Software Testing, Verification & Reliability
2013

Test case generation from natural language requirements based on SCR specifications

CARVALHO, GUSTAVO; FALCÃO, DIOGO; BARROS, FLÁVIA; Sampaio, Augusto; Mota, Alexandre; MOTTA, LEONARDO; BLACKBURN, MARK
[SAC] the 28th Annual ACM Symposium
2013

Laws of Programming for References

Giovanny Lucero; David Naumann; Sampaio, Augusto
[APLAS] APLAS - 11th Asian Symposium,
2013

A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification

Gustavo Carvalho; Sampaio, Augusto; Alexandre Cabral Mota
[ICFEM] 15th International
2013

Algebraic Laws for Process Subtyping

Jose Dihego; Pedro Antonino; Sampaio, Augusto
[ICFEM] 15th International Conference on Formal Engineering Methods, ICFEM 2013
2012

Constructive model-based analysis for safety assessment

Gomes, Adriano; Mota, Alexandre; Sampaio, Augusto; Ferri, Felipe; Watanabe, Edson
International Journal on Software Tools for Technology Transfer (Internet)
2012

Refactoring and representation independence for class hierarchies

Naumann, David A.; Sampaio, Augusto; Silva, Leila
Theoretical Computer Science
2012

A framework for monitorable services implementation

CARDOSO, DAVID; Sampaio, Augusto
[SBCARS] 2012 Sixth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS)
2012

A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications

Gustavo Carvalho; Digo Falcão; Mota, Alexandre; Sampaio, Augusto
[SBMF] SBMF - Simpósio Brasileiro de Métodos Formais
2011

Correct hardware synthesis

Perna, Juan; Woodcock, Jim; Sampaio, Augusto; Iyoda, Juliano
Acta Informatica
2011

Analytical Comparison of Refinement Checkers.

Gustavo Carvalho; Tarciana Dias; Alexandre Cabral Mota; Sampaio, Augusto C. A.
14th Brazilian Symposium on Formal Methods, Short Papers Proceedings
2011

Architectural verification of control systems using CSP

Joabe Jesus; Alexandre Cabral Mota; Sampaio, Augusto C. A.; Luiz Grijo
[ICFEM] ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
2011

Introducing concurrency in sequential Java via laws

Duarte, Rafael; Mota, Alexandre; Sampaio, Augusto
Information Processing Letters (Print)
2010

A process algebraic framework for specification and validation of real-time systems

Sherif, Adnan; Cavalcanti, Ana; Jifeng, He; Sampaio, Augusto
Formal Aspects of Computing
2010

Systematic Model-Based Safety Assessment via Probabilistic Model Checking

Gomes, Adriano; MOTA, A.; Sampaio, Augusto C. A.; Ferri, Felipe; Buzzi, Julio
Isola - International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
2010

Refactoring and representation independence for class hierarchies

Silva, Leila; Naumann, David A.; Sampaio, Augusto
the 12th Workshop
2010

An algebraic approach to the design of compilers for object-oriented languages

Duran, Adolfo; Cavalcanti, Ana; Sampaio, Augusto
Formal Aspects of Computing
2010

Sound Refactorings

M. Cornelio; Cavalcanti, Ana; Sampaio, Augusto
Science of Computer Programming (Print)
2010

Conformance notions for the coordination of interaction components

Ramos, Rodrigo; Sampaio, Augusto; Mota, Alexandre
Science of Computer Programming (Print)
2009

Multiple Synchrony in MSC

Falcão, Flávia; IYODA, J; Iyoda, Juliano; Sampaio, Augusto
Electronic Notes in Theoretical Computer Science
2009

Formalisation and Analysis of Objects as CSP Processes

Renata Kaufman; SAMPAIO, A. C. A.; Alexandre Cabral Mota
Simpósio Brasileiro de Métodos Formais
2009

A Complete Set of Object Modeling Laws for Alloy

Rohit Gheyi; T. Massoni; P. Borba; SAMPAIO, A. C. A.
[SBMF] SBMF - Simpósio Brasileiro de Métodos Formais
2009

Test case prioritization based on data reuse an experimental study

Lima, Lucas; Iyoda, Juliano; Sampaio, Augusto; Aranha, Eduardo
[ESEM] 2009 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM)
2009

Compositional Verification of Input Output Conformance via CSP Refinement Checking

SAMPAIO, A. C. A.; Sidney Nogueira; Alexandre Cabral Mota
[ICFEM] ICFEM - International Conference on Formal Engineering Methods
2009

Systematic Development of Trustworthy Component Systems

Rodrigo Ramos; SAMPAIO, A. C. A.; Alexandre Cabral Mota
FM2009 - 16th International Symposium on Formal Methods
2009

Test Case Selector: Uma Ferramenta para Seleção de Testes

Juliana Mafra; Breno Miranda; IYODA, J.; SAMPAIO, A. C. A.
SAST - Workshop Brasileiro de Teste de Software Sistemático e Automatizado
2008

Laws of Object-Orientation with Reference Semantics

Silva, Leila; Sampaio, Augusto; Liu, Zhiming
<![CDATA[2008 Sixth IEEE International Conference on Software Engineering and Formal Methods]]>
2008

Viewing CSP Specifications with UML-RT Diagrams?

FERREIRA, P; SAMPAIO, A; Mota, A
Electronic Notes in Theoretical Computer Science
2008

Automated formal specification generation and refinement from requirement documents

Cabral, Gustavo; Sampaio, Augusto
Journal of the Brazilian Computer Society (Impresso)
2008

Framework composition conformance via refinement checking

Ramos, Rodrigo; Sampaio, Augusto; Mota, Alexandre
[SAC] the 2008 ACM symposium
2008

Type Checking Circus Specifications

XAVIER, M; Cavalcanti, A; SAMPAIO, A
Electronic Notes in Theoretical Computer Science
2008

Guided Test Generation from CSP Models

Sidney Nogueira; SAMPAIO, A. C. A.; Alexandre Cabral Mota
[ICTAC] ICTAC - International Colloquium on Theoretical Aspects of Computing
2008

Compositional abstraction of CSP Z processes

Farias, Adalberto; Mota, Alexandre; Sampaio, Augusto
Journal of the Brazilian Computer Society (Impresso)
2006

Type Checking Circus Specifications

Manuela Xavier; CAVALCANTI, A.; SAMPAIO, A. C. A.
[SBMF] SBMF - Simpósio Brasileiro de Métodos Formais
2006

Formal Specification Generation from Requirement Documents

Gustavo Cabral; SAMPAIO, A. C. A.
[SBMF] SBMF - Simpósio Brasileiro de Métodos Formais
2006

Viewing CSP specifications with UML-RT diagrams

Patrícia Ferreira; SAMPAIO, A. C. A.; MOTA, A.
[SBMF] SBMF - Simpósio Brasileiro de Métodos Formais
2006

Residência em Software

SAMPAIO, A. C. A.; Hermano Moura; Alexandre Vasconcelos
[SBQS] Simpósio Brasileiro de Qualidade de Software (Sessão Prêmio Dorgival Brandão Júnior da Qualidade e Produtividade de Software)
2006

Object-Orientation in the UTP

T. Santos; CAVALCANTI, A.; SAMPAIO, A. C. A.
Unifying Theories of Programming (UTP 2006)
2006

Transformation Laws for UML-RT

Rodrigo Ramos; SAMPAIO, A. C. A.; MOTA, A.
[WG] IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS?06)
2005

Unifying classes and processes

Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim
Software and Systems Modeling (Print)
2005

Software test program

Sampaio, Augusto; Albuquerque, Carlos; Vasconcelos, Joåo; Cruz, Luckerson; Figueiredo, Luis; Cavalcante, Sergio
[ICSE] the 27th international conference
2005

A Semantics for UML-RT Active Classes via Mapping into Circus

Rodrigo Ramos; SAMPAIO, A. C. A.; MOTA, A.
IFIP Conference on Formal Methods for Open Object-based Distributed Systems
2005

Refactoring Towards a Layered Architecture

CORNELIO, M; Cavalcanti, A; SAMPAIO, A
Electronic Notes in Theoretical Computer Science
2005

A Framework for Specification and Validation of Real-Time Systems Using Circus Actions

A. Sherif; HE, J.; CAVALCANTI, A.; SAMPAIO, A. C. A.
[ICTAC] International Colloquiun Theoretical Aspects of Computing - ICTAC 2004
2005

A strategy for the formal composition of frameworks

Mesquita, W.; Sampaio, A.; de Melo, A.C.V.
[SEFM] <![CDATA[Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)]]>
2004

RUP Based Analysis and Design with Aspects

Leonardo Cole; Eduardo Piveta; SAMPAIO, A. C. A.
[SBES] SBES - Simpósio Brasileiro de Engenharia de Software
2004

Class and Capsule Refinement in UML for Real Time

SAMPAIO, A; Alexandre Cabral Mota; Rodrigo Ramos
Electronic Notes in Theoretical Computer Science
2004

Efficient CSPZ Data Abstraction

A. Farias; MOTA, A.; SAMPAIO, A. C. A.
Integrated Formal Methods
2004

A Constructive Approach to Hardware/Software Partitioning

Silva, Leila; Sampaio, Augusto; Barros, Edna
Formal Methods in System Design
2004

Algebraic reasoning for object-oriented programming

BORBA, P; SAMPAIO, A. C. A.; CAVALCANTI, A.; M. Cornelio
Science of Computer Programming (Print)
2003

A Refinement Strategy for Circus

Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim
Formal Aspects of Computing
2003

A Strategy for Compiling Classes, Inheritance, and Dynamic Binding

A. Duran; CAVALCANTI, A.; SAMPAIO, A. C. A.
Formal Methods
2003

Specification and Validation of the SACI-1 On-Board Computer Using Timd-CSP-Z and Petri Nets

A. Sherif; SAMPAIO, A. C. A.; S. Cavalcanti
Application and Theory of Petri Nets
2003

A Refinement Algebra for Object-Oriented Programming

P. Borba; SAMPAIO, A. C. A.; M. Cornelio
[ECOOP] ECOOP - European Conference on Object-Oriented Programming
2002

Refinement Algebra for Formal Bytecode Generation

A. Duran; SAMPAIO, A. C. A.; CAVALCANTI, A.
[ICFEM] ICFEM - International Conference on Formal Engineering Methods
2002

The Automation of a Normal Form Reduction Strategy for Object-Oriented Programming

B. Oliveira; CAVALCANTI, A.; SAMPAIO, A. C. A.
Workshop de Métodos Formais
2002

Efficient Analysis of Infinite CSP-Z Specifications

A. Farias; MOTA, A.; SAMPAIO, A. C. A.
Workshop de Métodos Formais
2002

JACK: A Framework for Process Algebra Implementation in Java

L. Freitas; SAMPAIO, A. C. A.; CAVALCANTI, A.
Simpósio Brasileiro de Engenharia de Software
2002

Mechanical Abstraction of CSP-Z Processes

MOTA, A.; P. Borba; SAMPAIO, A. C. A.
FME - Formal Methods Europe
2002

Refinement of Actions in Circus,

Cavalcanti, A; SAMPAIO, A; WOODCOCK, J
Electronic Notes in Theoretical Computer Science
2002

Refinement in Circus

SAMPAIO, A. C. A.; WOODCOCK, J.; CAVALCANTI, A.
FME - Formal Methods Europe
2002

From CSP-OZ to Java with Processes

CAVALCANTI, A.; SAMPAIO, A. C. A.
International Parallel and Distributed Processing Symposium - IPDPD 2002
2002

Refactoring by Transformation

CORNELIO, M; Cavalcanti, A; SAMPAIO, A
Electronic Notes in Theoretical Computer Science
2001

Serialising Parallel Processes in a Hardware/Software Partitioning Context

SILVA, L.; SAMPAIO, A. C. A.; G. Jones
Formal Methods Europe - FME'2001
2001

An Integrated Approach to Specification and Validation of Real-Time Systems

A. Sherif; SAMPAIO, A. C. A.; S. Cavalcanti
Formal Methods Europe (FME'2001)
2001

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

Mota, A; SAMPAIO, A. C. A.
Science of Computer Programming (Print)
2000

Basic Laws of ROOL: an Object-Oriented Language

P. Borba; SAMPAIO, A. C. A.
Revista de Informática Teórica e Aplicada
2000

Basic Laws of ROOL: an Object-Oriented Language

P. Borba; SAMPAIO, A. C. A.
Workshop de Metodos Formais
1999

ParTS: A Partitioning Transformation System

IYODA, J.; SAMPAIO, A. C. A.; SILVA, L.
[FM] FM'99 - World Congress on Formal Methods
1999

An inconsistency in procedures, parameters, and substitution in the refinement calculus

Cavalcanti, A; Sampaio, Augusto; WOODCOCK, J.
Science of Computer Programming (Print)
1999

An Algebraic Approach to Codesign

SAMPAIO, A. C. A.; SILVA, L.; BARROS, E.; IYODA, J.
Workshop on Provably Correct Systems
1999

An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment

SILVA, L.; SAMPAIO, A. C. A.; BARROS, E.; IYODA, J.
Algebraic Methodology and Software Technology - AMAST
1998

Procedures and Recursion in the Refinement Calculus

Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim
Journal of the Brazilian Computer Society (Impresso)
1998

Model-Checking CSP-Z

MOTA, A.; SAMPAIO, A. C. A.
[FASE] FASE'98 - Fundamental Approaches to Software Engineering
1998

Model-Checking Processes With States: An Industrial Case Study

MOTA, A.; SAMPAIO, A. C. A.
[SBES] Anais do XII Simposio Brasileiro de Engenharia de Software
1997

Projeto Integrado de Hardware e Software Com Ênfase Em Corretude: Um Estudo de Caso

SILVA, L.; SAMPAIO, A. C. A.; BARROS, E.
XXIV Seminario Integrado de Software e Hardware
1997

A Normal Form Reduction Strategy For Hardware/Software Partitioning

SAMPAIO, A. C. A.; SILVA, L.; BARROS, E.
Formal Methods Europe
1996

Formalizacao Algebrica de Um Metodo Para Particionamento Hardware/Software

SAMPAIO, A. C. A.; PIRES, A.
IX Simposio Brasileiro de Concepcao de Circuitos Integrados
1996

A Transformational Approach to Hardware/Software Partitioning

SAMPAIO, A. C. A.; SILVA, L.; BARROS, E.
Hardware Synthesis and Verification Workshop
1996

Mechanising the theory of intervals using OBJ3????????????? ??????? ? ?????? ?????????? ?????????????? OBJ3

Campos, Marcilia A.; Sampaio, Augusto C. A.; Brainer, Alexandre H. F.
Reliable Computing
1996

Reusing Algebraic Theories in Program Transformation

SAMPAIO, A. C. A.
Program Transformation Workshop
1996

De Occam Para O Transputer: Compilacao Via Reescrita de Termos

SAMPAIO, A. C. A.; SPENCER, R.
[SBES] X Simposio Brasileiro de Engenharia de Software
1995

Proving Algebraic Properties Of Intervals Using OBJ3

CAMPOS, M.; SAMPAIO, A. C. A.; BRAINER, A.
XVIII SIMPÓSIO BRASILEIRO DE MATEMÁTICA APLICADA E COMPUTACIONAL
1995

Um Método de Desenvolvimento de Programas Para Obj3

SAMPAIO, A. C. A.; LIMA, J.
XXII SEMISH/PANEL95
1994

De Mooz Para Eiffel

CORDEIRO, V.; SAMPAIO, A. C. A.; MEIRA, S.
XXI CONGRESSO DA SBC
1994

Toward Provably Correct Hardware Partitioning Using Occam

BARROS, E.; SAMPAIO, A. C. A.
PROCEEDINGS OF THE THIRD INTERNATIONAL WORKSHOP ON HARDWARE/SOFTWARE CODESIGN (IEEE COMPUTER SOCIETY PRESS)
1994

From Mooz To Eiffel:A Rigorous Approach To System Development

CORDEIRO, V.; SAMPAIO, A. C. A.; MEIRA, S.
FORMAL METHODS EUROPE'94
1994

Um Estudo de Caso Real Em Refinamento de Especificações Formais Orientadas A Objetos

CORDEIRO, V.; SAMPAIO, A. C. A.; MEIRA, S.
VIII SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE
1994

From Hardware/Software Partitioning To Layout Synthesis: A Transformation Approach

BARROS, E.; LIMA, M.; SAMPAIO, A. C. A.
[SBCCI] VIII SIMPÓSIO BRASILEIRO DE CONCEPÇÃO DE CIRCUITOS INTEGRADOS
1993

Normal form approach to compiler design

HOARE, C. A. R.; Jifeng, He; Sampaio, A.
Acta Informatica
1990

Modular Extensions to Z

SAMPAIO, A. C. A.; MEIRA, S.
VDM'90: VDM and Z - Formal Methods in Software Development
1988

Uma Análise de Adequação e Validação de Primitivas de Comunicação entre Processos

SAMPAIO, A. C. A.; Paulo Cunha
[SBRC] SBRC - Simpósio Brasileiro de Redes de Computadores
1988

Especificação em Z de um Interpretador para uma Linguagem Simples

SAMPAIO, A. C. A.; MEIRA, S.
[SEMISH] XV SEMISH - Congresso da SBC
1988

GEMS - Um Gerenciador de Módulos de Software

Max Albuquerque; Hermano Moura; SAMPAIO, A. C. A.; MEIRA, S.
[SBES] II SBES - Simpósio Brasileiro de Engenharia de Software
1988

Zc : Uma Notação para Especificação de Sistemas Complexos

SAMPAIO, A. C. A.; MEIRA, S.
[SEMISH] XV SEMISH - Congresso da SBC
1987

Especificação Funcional de um Interpretador

SAMPAIO, A. C. A.; MEIRA, S.
[IV] ERMAC - SBMAC

Publicações

2025

Demystification and near-perfect estimation of minimum gas limit and gas used for Ethereum smart contracts

DE LIMA CABRAL, DANILO RAFAEL; ANTONINO, PEDRO; Sampaio, Augusto Cezar Alves
Journal of Cloud Computing: Advances, Systems and Applications
2025

Micro Frontend Architecture for Robotic Systems: a Systematic Approach With Design Rationale

SILVA, UANDERSON; ANDRADE, MATHEUS; CRUZ, JOSÉ; SILVA, ANDRESA; Sampaio, Augusto; GAMA, KIEV
2025 IEEE/ACM 7th International Workshop on Robotics Software Engineering (RoSE)
2025

Combining sequential feature test cases to generate sound tests for concurrent features

ALMEIDA, RAFAELA; Nogueira, Sidney; Sampaio, Augusto
SCIENCE OF COMPUTER PROGRAMMING
2024

An Integrated Framework for Analysing, Simulating and Testing UML Models

Gustavo Carvalho; Jose Dihego; Augusto Sampaio
Simpósio Brasileiro de Métodos Formais
2024

Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving

JESUS, JOABE; Sampaio, Augusto
SCIENCE OF COMPUTER PROGRAMMING
2024

Extracting Formal Smart-Contract Specifications from Natural Language with LLMs

Gabriel Leite; Filipe Arruda.; Pedro Antonino; Augusto Sampaio; ROSCOE, A. W.
[FACS] Formal Aspects of Component Software
2024

Trusted Deployer: A Tool for Safe Creation and Upgrade of Ethereum Smart Contracts

FERREIRA, J.; Pedro Antonino; Augusto Sampaio; ROSCOE, A. W.; Filipe Arruda.
Simpósio Brasileiro de Métodos Formais
2024

Formal Methods in Industry

TER BEEK, MAURICE H.; ROZIER, KRISTIN YVONNE; Sampaio, Augusto; SECELEANU, CRISTINA; THOMAS, MARTYN; WILLEMSE, TIM A. C.; ZHANG, LIJUN; CHAPMAN, ROD; CLEAVELAND, RANCE; GARAVEL, HUBERT; GU, RONG; TER HORST, IVO; KEIREN, JEROEN J. A.; LECOMTE, THIERRY; LEUSCHEL, MICHAEL
FORMAL ASPECTS OF COMPUTING
2024

A refinement-based approach to safe smart contract deployment and evolution

ANTONINO, PEDRO; FERREIRA, JULIANDSON; Sampaio, Augusto; ROSCOE, A. W.; ARRUDA, FILIPE
Software and Systems Modeling
2023

Laws of Timed State Machines

Cavalcanti, Ana; CONSERVA FILHO, MADIEL; RIBEIRO, PEDRO; Sampaio, Augusto
COMPUTER JOURNAL
2023

A Model-based Approach to the Development and Verification of Robotic Systems for Competitions

Marcus Santos; Madiel Conserva.; Augusto Sampaio
[LARS/SBR] Latin American Robotics Symposium and Brazilian Symposium on Robotics
2023

A formal component model for UML based on CSP aiming at compositional verification

FALCÃO, FLÁVIA; Lima, Lucas; Sampaio, Augusto; ANTONINO, PEDRO
Software and Systems Modeling
2023

Sound Test Case Generation for Concurrent Mobile Features

Rafaela Almeida; Sidney Nogueira; Augusto Sampaio
[SBMF] Brazilian Symposium on Formal Methods
2022

Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover

Joabe Jesus; Sampaio, A.
[SBMF] Brazilian Symposium on Formal Methods
2022

Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts.

Pedro Antonino; FERREIRA, J.; SAMPAIO, A; ROSCOE, A. W.
[SEFM] Software Engineering and Formal Methods (SEFM 2022)
2021

Verification of RoboSim Models Using UPPAAL

Mingzhuo Zhang; Dehui du; Augusto Sampaio; Ana Cavalcanti; Conserva Filho, Madiel S.; Menghan Zhang
[TASE] Theoretical Aspects of Software Engineering (TASE)
2020

A refinement checking based strategy for component-based systems evolution

DIHEGO, JOSÉ; Sampaio, Augusto; OLIVEIRA, MARCEL
JOURNAL OF SYSTEMS AND SOFTWARE
2020

Automation and consistency analysis of test cases written in natural language: An industrial context

ARRUDA, FILIPE; BARROS, FLÁVIA; Sampaio, Augusto
SCIENCE OF COMPUTER PROGRAMMING
2019

Test case generation, selection and coverage from natural language

Nogueira, Sidney; ARAUJO, HUGO; ARAUJO, RENATA; Iyoda, Juliano; Sampaio, Augusto
SCIENCE OF COMPUTER PROGRAMMING
2019

Multi-objective Search for Effective Testing of Cyber-Physical Systems

Hugo Araujo.; Gustavo Carvalho; MOUSAVI, MOHAMMAD REZA; Augusto Sampaio
[SEFM] SEFM - Software Engineering Formal Methods
2019

Verified simulation for robotics

Cavalcanti, Ana; Sampaio, Augusto; MIYAZAWA, ALVARO; RIBEIRO, PEDRO; FILHO, MADIEL CONSERVA; DIDIER, ANDRÉ; LI, WEI; TIMMIS, JON
SCIENCE OF COMPUTER PROGRAMMING
2019

CPN simulation-based test case generation from controlled natural-language requirements

SILVA, BRUNO CESAR F.; CARVALHO, GUSTAVO; Sampaio, Augusto
SCIENCE OF COMPUTER PROGRAMMING
2018

Theoretical aspects of computing

Sampaio, Augusto; WANG, FARN
THEORETICAL COMPUTER SCIENCE
2018

Compositional and Local Livelock Analysis for CSP

CONSERVA FILHO, M.S.; OLIVEIRA, M.V.M.; Sampaio, A.; Cavalcanti, Ana
INFORMATION PROCESSING LETTERS
2018

Formal Modelling of Environment Restrictions from Natural-Language Requirements

Tainã Santos; Gustavo Carvalho; Augusto Sampaio
[SBMF] SBMF - Simpósio Brasileiro de Métodos Formais
2018

Modelling and Verification for Swarm Robotics

CAVALCANTI, A.; MIYAZAWA, ALVARO; Augusto Sampaio
[IFM] IFM - Integrated Formal Methods
2018

Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions

Rafaela Almeida; Sidney Nogueira; Augusto Sampaio
[SBMF] SBMF - Simpósio Brasileiro de Métodos Formais
2018

Safe and Constructive Design with UML Components

Flávia Falcão; Lucas Lima; Augusto Sampaio
[SBMF] SBMF Simpósio Brasileiro de Métodos Formais
2017

Sound Conformance Testing for Cyber-Physical Systems: Theory and Implementation

ARAUJO, HUGO; CARVALHO, GUSTAVO; MOHAQEQI, MORTEZA; MOUSAVI, MOHAMMAD REZA; Sampaio, Augusto
SCIENCE OF COMPUTER PROGRAMMING
2017

Local Analysis of Determinism for CSP

Rodrigo Otoni; CAVALCANTI, A.; Augusto Sampaio
[SBMF] Simpósio Braileiro de Métodos Formais (SBMF)
2017

An integrated semantics for reasoning about SysML design models using refinement

Lima, Lucas; MIYAZAWA, ALVARO; Cavalcanti, Ana; CORNÉLIO, MÁRCIO; Iyoda, Juliano; Sampaio, Augusto; HAINS, RALPH; LARKHAM, ADRIAN; LEWIS, VAUGHAN
Software & Systems Modeling
2017

A Process for Sound Conformance Testing of Cyber-Physical Systems

ARAUJO, HUGO; CARVALHO, GUSTAVO; Sampaio, Augusto; MOUSAVI, MOHAMMAD REZA; TAROMIRAD, MASOUMEH
2017 IEEE International Conference on Software Testing, Verification and Validation: Workshops (ICSTW)
2017

Editorial

FALASCHI, MORENO; Sampaio, Augusto
FORMAL ASPECTS OF COMPUTING
2017

An idiom to represent data types in Alloy

GHEYI, ROHIT; BORBA, PAULO; Sampaio, Augusto; RIBEIRO, MÁRCIO
Information and Software Technology
2017

Simulation of hybrid systems from natural-language requirements

OLIVEIRA, BRUNO; CARVALHO, GUSTAVO; MOUSAVI, MOHAMMAD REZA; Sampaio, Augusto
[CASE] 2017 13th IEEE Conference on Automation Science and Engineering (CASE 2017)
2016

Local Livelock Analysis of Component-Based Models

Madiel Conserva; Marcel Oliveira; Sampaio, Augusto; CAVALCANTI, A.
[ICFEM] ICFEM
2016

Model Checking Requirements

Sergio Barza.; Gustavo Carvalho; Iyoda, Juliano; Augusto Sampaio; Alexandre Cabral Mota; F. Barros
[SBMF] SBMF
2016

Rigorous development of component-based systems using component metadata and patterns

OLIVEIRA, M. V. M.; ANTONINO, P.; RAMOS, R.; Sampaio, A.; MOTA, A.; ROSCOE, A. W.
Formal Aspects of Computing
2016

A Suspension-Trace Semantics for CSP

Cavalcanti, Ana; HIERONS, ROBERT M.; Nogueira, Sidney; Sampaio, Augusto
[TASE] 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)
2016

Capture & Replay with Text-Based Reuse and Framework Agnosticism

Filipe Arruda.; Augusto Sampaio; BARROS, FLÁVIA
[SEKE] Software Engineering and Knowledge Engineering
2016

Formal Testing from Natural Language in an Industrial Context

Augusto Sampaio; Filipe Arruda.
[SBMF] SBMF
2016

Modelling timed reactive systems from natural-language requirements

CARVALHO, GUSTAVO; Cavalcanti, Ana; Sampaio, Augusto
Formal Aspects of Computing (Internet)
2016

Refinement Verification of Sequence Diagrams Using CSP

Lucas Lima; Iyoda, Juliano; Augusto Sampaio
[SBMF] SBMF
2015

Verifying Transformations of Java Programs Using Alloy

Tarciana Dias; Sampaio, Augusto; Mota, Alexandre
[SBMF] SBMF - Brazilian Symposium on Formal Methods
2015

Aspect-Oriented Development of Trustworthy Component-based Systems

Jose Dihego; Sampaio, Augusto
[ICTAC] ICTAC - International Colloquium on Theoretical Aspects of Computing
2015

NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP

Gustavo Carvalho; F. Barros; Carvalho, Ana; CAVALCANTI, A.; MOTA, A.; Sampaio, Augusto
[SEFM] SEFM (tool paper)
2015

Automatic Generation of Test Cases and Test Purposes from Natural Language

Sidney Nogueira; Hugo Araujo.; Renata Araujo; IYODA, J; Sampaio, Augusto
[SBMF] SBMF - Brazilian Symposium on Formal Methods
2015

Test Case Generation from Natural Language Requirements Using CPN Simulation

Bruno Silva; CARVALHO, GUSTAVO; Sampaio, Augusto
[SBMF] SBMF - Brazilian Symposium on Formal Methods
2015

Constructive extensibility of trustworthy component-based systems

DIHEGO, JOSÉ; Sampaio, Augusto; OLIVEIRA, MARCEL
[SAC] the 30th Annual ACM Symposium
2014

A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes

Pedro Antonino; Augusto Sampaio; Woodcock, Jim
[FM] Formal Methods
2014

A Modular Theory of Object Orientation in Higher-Order UTP

Frank Zeyda; T. Santos; CAVALCANTI, A.; Augusto Sampaio
[FM] Formal Methods
2014

Model-Checking Circus State-Rich Specifications

Marcel Oliveira; Sampaio, Augusto; Conserva Filho, Madiel S.
[IFM] IFM
2014

Test generation from state based use case models

Nogueira, Sidney; Sampaio, Augusto; Mota, Alexandre
Formal Aspects of Computing (Internet)
2014

Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification

Pedro Antonino; Marcel Oliveira; Augusto Sampaio; Klaus Kristenses; Jeremy Bryans
NASA Formal Methods
2014

Test case generation from natural language requirements based on SCR specifications

CARVALHO, GUSTAVO; FALCÃO, DIOGO; BARROS, FLÁVIA; Sampaio, Augusto; Mota, Alexandre; MOTTA, LEONARDO; BLACKBURN, MARK
Science of Computer Programming (Print)
2014

A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis.

Lima, Lucas; Iyoda, Juliano; Sampaio, Augusto
[MODELSWARD] Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014)
2014

A Formal Model for Natural-Language Timed Requirements of Reactive Systems

Gustavo Carvalho; Carvalho, Ana.; Rocha, Eduardo; CAVALCANTI, A.; Sampaio, Augusto
[ICFEM] ICFEM
2014

Sound and mechanised compositional verification of input-output conformance

Sampaio, Augusto; Nogueira, Sidney; Mota, Alexandre; ISOBE, YOSHINAO
Software Testing, Verification & Reliability
2013

Test case generation from natural language requirements based on SCR specifications

CARVALHO, GUSTAVO; FALCÃO, DIOGO; BARROS, FLÁVIA; Sampaio, Augusto; Mota, Alexandre; MOTTA, LEONARDO; BLACKBURN, MARK
[SAC] the 28th Annual ACM Symposium
2013

Laws of Programming for References

Giovanny Lucero; David Naumann; Sampaio, Augusto
[APLAS] APLAS - 11th Asian Symposium,
2013

A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification

Gustavo Carvalho; Sampaio, Augusto; Alexandre Cabral Mota
[ICFEM] 15th International
2013

Algebraic Laws for Process Subtyping

Jose Dihego; Pedro Antonino; Sampaio, Augusto
[ICFEM] 15th International Conference on Formal Engineering Methods, ICFEM 2013
2012

Constructive model-based analysis for safety assessment

Gomes, Adriano; Mota, Alexandre; Sampaio, Augusto; Ferri, Felipe; Watanabe, Edson
International Journal on Software Tools for Technology Transfer (Internet)
2012

Refactoring and representation independence for class hierarchies

Naumann, David A.; Sampaio, Augusto; Silva, Leila
Theoretical Computer Science
2012

A framework for monitorable services implementation

CARDOSO, DAVID; Sampaio, Augusto
[SBCARS] 2012 Sixth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS)
2012

A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications

Gustavo Carvalho; Digo Falcão; Mota, Alexandre; Sampaio, Augusto
[SBMF] SBMF - Simpósio Brasileiro de Métodos Formais
2011

Correct hardware synthesis

Perna, Juan; Woodcock, Jim; Sampaio, Augusto; Iyoda, Juliano
Acta Informatica
2011

Analytical Comparison of Refinement Checkers.

Gustavo Carvalho; Tarciana Dias; Alexandre Cabral Mota; Sampaio, Augusto C. A.
14th Brazilian Symposium on Formal Methods, Short Papers Proceedings
2011

Architectural verification of control systems using CSP

Joabe Jesus; Alexandre Cabral Mota; Sampaio, Augusto C. A.; Luiz Grijo
[ICFEM] ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
2011

Introducing concurrency in sequential Java via laws

Duarte, Rafael; Mota, Alexandre; Sampaio, Augusto
Information Processing Letters (Print)
2010

A process algebraic framework for specification and validation of real-time systems

Sherif, Adnan; Cavalcanti, Ana; Jifeng, He; Sampaio, Augusto
Formal Aspects of Computing
2010

Systematic Model-Based Safety Assessment via Probabilistic Model Checking

Gomes, Adriano; MOTA, A.; Sampaio, Augusto C. A.; Ferri, Felipe; Buzzi, Julio
Isola - International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
2010

Refactoring and representation independence for class hierarchies

Silva, Leila; Naumann, David A.; Sampaio, Augusto
the 12th Workshop
2010

An algebraic approach to the design of compilers for object-oriented languages

Duran, Adolfo; Cavalcanti, Ana; Sampaio, Augusto
Formal Aspects of Computing
2010

Sound Refactorings

M. Cornelio; Cavalcanti, Ana; Sampaio, Augusto
Science of Computer Programming (Print)
2010

Conformance notions for the coordination of interaction components

Ramos, Rodrigo; Sampaio, Augusto; Mota, Alexandre
Science of Computer Programming (Print)
2009

Multiple Synchrony in MSC

Falcão, Flávia; IYODA, J; Iyoda, Juliano; Sampaio, Augusto
Electronic Notes in Theoretical Computer Science
2009

Formalisation and Analysis of Objects as CSP Processes

Renata Kaufman; SAMPAIO, A. C. A.; Alexandre Cabral Mota
Simpósio Brasileiro de Métodos Formais
2009

A Complete Set of Object Modeling Laws for Alloy

Rohit Gheyi; T. Massoni; P. Borba; SAMPAIO, A. C. A.
[SBMF] SBMF - Simpósio Brasileiro de Métodos Formais
2009

Test case prioritization based on data reuse an experimental study

Lima, Lucas; Iyoda, Juliano; Sampaio, Augusto; Aranha, Eduardo
[ESEM] 2009 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM)
2009

Compositional Verification of Input Output Conformance via CSP Refinement Checking

SAMPAIO, A. C. A.; Sidney Nogueira; Alexandre Cabral Mota
[ICFEM] ICFEM - International Conference on Formal Engineering Methods
2009

Systematic Development of Trustworthy Component Systems

Rodrigo Ramos; SAMPAIO, A. C. A.; Alexandre Cabral Mota
FM2009 - 16th International Symposium on Formal Methods
2009

Test Case Selector: Uma Ferramenta para Seleção de Testes

Juliana Mafra; Breno Miranda; IYODA, J.; SAMPAIO, A. C. A.
SAST - Workshop Brasileiro de Teste de Software Sistemático e Automatizado
2008

Laws of Object-Orientation with Reference Semantics

Silva, Leila; Sampaio, Augusto; Liu, Zhiming
<![CDATA[2008 Sixth IEEE International Conference on Software Engineering and Formal Methods]]>
2008

Viewing CSP Specifications with UML-RT Diagrams?

FERREIRA, P; SAMPAIO, A; Mota, A
Electronic Notes in Theoretical Computer Science
2008

Automated formal specification generation and refinement from requirement documents

Cabral, Gustavo; Sampaio, Augusto
Journal of the Brazilian Computer Society (Impresso)
2008

Framework composition conformance via refinement checking

Ramos, Rodrigo; Sampaio, Augusto; Mota, Alexandre
[SAC] the 2008 ACM symposium
2008

Type Checking Circus Specifications

XAVIER, M; Cavalcanti, A; SAMPAIO, A
Electronic Notes in Theoretical Computer Science
2008

Guided Test Generation from CSP Models

Sidney Nogueira; SAMPAIO, A. C. A.; Alexandre Cabral Mota
[ICTAC] ICTAC - International Colloquium on Theoretical Aspects of Computing
2008

Compositional abstraction of CSP Z processes

Farias, Adalberto; Mota, Alexandre; Sampaio, Augusto
Journal of the Brazilian Computer Society (Impresso)
2006

Type Checking Circus Specifications

Manuela Xavier; CAVALCANTI, A.; SAMPAIO, A. C. A.
[SBMF] SBMF - Simpósio Brasileiro de Métodos Formais
2006

Formal Specification Generation from Requirement Documents

Gustavo Cabral; SAMPAIO, A. C. A.
[SBMF] SBMF - Simpósio Brasileiro de Métodos Formais
2006

Viewing CSP specifications with UML-RT diagrams

Patrícia Ferreira; SAMPAIO, A. C. A.; MOTA, A.
[SBMF] SBMF - Simpósio Brasileiro de Métodos Formais
2006

Residência em Software

SAMPAIO, A. C. A.; Hermano Moura; Alexandre Vasconcelos
[SBQS] Simpósio Brasileiro de Qualidade de Software (Sessão Prêmio Dorgival Brandão Júnior da Qualidade e Produtividade de Software)
2006

Object-Orientation in the UTP

T. Santos; CAVALCANTI, A.; SAMPAIO, A. C. A.
Unifying Theories of Programming (UTP 2006)
2006

Transformation Laws for UML-RT

Rodrigo Ramos; SAMPAIO, A. C. A.; MOTA, A.
[WG] IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS?06)
2005

Unifying classes and processes

Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim
Software and Systems Modeling (Print)
2005

Software test program

Sampaio, Augusto; Albuquerque, Carlos; Vasconcelos, Joåo; Cruz, Luckerson; Figueiredo, Luis; Cavalcante, Sergio
[ICSE] the 27th international conference
2005

A Semantics for UML-RT Active Classes via Mapping into Circus

Rodrigo Ramos; SAMPAIO, A. C. A.; MOTA, A.
IFIP Conference on Formal Methods for Open Object-based Distributed Systems
2005

Refactoring Towards a Layered Architecture

CORNELIO, M; Cavalcanti, A; SAMPAIO, A
Electronic Notes in Theoretical Computer Science
2005

A Framework for Specification and Validation of Real-Time Systems Using Circus Actions

A. Sherif; HE, J.; CAVALCANTI, A.; SAMPAIO, A. C. A.
[ICTAC] International Colloquiun Theoretical Aspects of Computing - ICTAC 2004
2005

A strategy for the formal composition of frameworks

Mesquita, W.; Sampaio, A.; de Melo, A.C.V.
[SEFM] <![CDATA[Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)]]>
2004

RUP Based Analysis and Design with Aspects

Leonardo Cole; Eduardo Piveta; SAMPAIO, A. C. A.
[SBES] SBES - Simpósio Brasileiro de Engenharia de Software
2004

Class and Capsule Refinement in UML for Real Time

SAMPAIO, A; Alexandre Cabral Mota; Rodrigo Ramos
Electronic Notes in Theoretical Computer Science
2004

Efficient CSPZ Data Abstraction

A. Farias; MOTA, A.; SAMPAIO, A. C. A.
Integrated Formal Methods
2004

A Constructive Approach to Hardware/Software Partitioning

Silva, Leila; Sampaio, Augusto; Barros, Edna
Formal Methods in System Design
2004

Algebraic reasoning for object-oriented programming

BORBA, P; SAMPAIO, A. C. A.; CAVALCANTI, A.; M. Cornelio
Science of Computer Programming (Print)
2003

A Refinement Strategy for Circus

Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim
Formal Aspects of Computing
2003

A Strategy for Compiling Classes, Inheritance, and Dynamic Binding

A. Duran; CAVALCANTI, A.; SAMPAIO, A. C. A.
Formal Methods
2003

Specification and Validation of the SACI-1 On-Board Computer Using Timd-CSP-Z and Petri Nets

A. Sherif; SAMPAIO, A. C. A.; S. Cavalcanti
Application and Theory of Petri Nets
2003

A Refinement Algebra for Object-Oriented Programming

P. Borba; SAMPAIO, A. C. A.; M. Cornelio
[ECOOP] ECOOP - European Conference on Object-Oriented Programming
2002

Refinement Algebra for Formal Bytecode Generation

A. Duran; SAMPAIO, A. C. A.; CAVALCANTI, A.
[ICFEM] ICFEM - International Conference on Formal Engineering Methods
2002

The Automation of a Normal Form Reduction Strategy for Object-Oriented Programming

B. Oliveira; CAVALCANTI, A.; SAMPAIO, A. C. A.
Workshop de Métodos Formais
2002

Efficient Analysis of Infinite CSP-Z Specifications

A. Farias; MOTA, A.; SAMPAIO, A. C. A.
Workshop de Métodos Formais
2002

JACK: A Framework for Process Algebra Implementation in Java

L. Freitas; SAMPAIO, A. C. A.; CAVALCANTI, A.
Simpósio Brasileiro de Engenharia de Software
2002

Mechanical Abstraction of CSP-Z Processes

MOTA, A.; P. Borba; SAMPAIO, A. C. A.
FME - Formal Methods Europe
2002

Refinement of Actions in Circus,

Cavalcanti, A; SAMPAIO, A; WOODCOCK, J
Electronic Notes in Theoretical Computer Science
2002

Refinement in Circus

SAMPAIO, A. C. A.; WOODCOCK, J.; CAVALCANTI, A.
FME - Formal Methods Europe
2002

From CSP-OZ to Java with Processes

CAVALCANTI, A.; SAMPAIO, A. C. A.
International Parallel and Distributed Processing Symposium - IPDPD 2002
2002

Refactoring by Transformation

CORNELIO, M; Cavalcanti, A; SAMPAIO, A
Electronic Notes in Theoretical Computer Science
2001

Serialising Parallel Processes in a Hardware/Software Partitioning Context

SILVA, L.; SAMPAIO, A. C. A.; G. Jones
Formal Methods Europe - FME'2001
2001

An Integrated Approach to Specification and Validation of Real-Time Systems

A. Sherif; SAMPAIO, A. C. A.; S. Cavalcanti
Formal Methods Europe (FME'2001)
2001

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

Mota, A; SAMPAIO, A. C. A.
Science of Computer Programming (Print)
2000

Basic Laws of ROOL: an Object-Oriented Language

P. Borba; SAMPAIO, A. C. A.
Revista de Informática Teórica e Aplicada
2000

Basic Laws of ROOL: an Object-Oriented Language

P. Borba; SAMPAIO, A. C. A.
Workshop de Metodos Formais
1999

ParTS: A Partitioning Transformation System

IYODA, J.; SAMPAIO, A. C. A.; SILVA, L.
[FM] FM'99 - World Congress on Formal Methods
1999

An inconsistency in procedures, parameters, and substitution in the refinement calculus

Cavalcanti, A; Sampaio, Augusto; WOODCOCK, J.
Science of Computer Programming (Print)
1999

An Algebraic Approach to Codesign

SAMPAIO, A. C. A.; SILVA, L.; BARROS, E.; IYODA, J.
Workshop on Provably Correct Systems
1999

An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment

SILVA, L.; SAMPAIO, A. C. A.; BARROS, E.; IYODA, J.
Algebraic Methodology and Software Technology - AMAST
1998

Procedures and Recursion in the Refinement Calculus

Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim
Journal of the Brazilian Computer Society (Impresso)
1998

Model-Checking CSP-Z

MOTA, A.; SAMPAIO, A. C. A.
[FASE] FASE'98 - Fundamental Approaches to Software Engineering
1998

Model-Checking Processes With States: An Industrial Case Study

MOTA, A.; SAMPAIO, A. C. A.
[SBES] Anais do XII Simposio Brasileiro de Engenharia de Software
1997

Projeto Integrado de Hardware e Software Com Ênfase Em Corretude: Um Estudo de Caso

SILVA, L.; SAMPAIO, A. C. A.; BARROS, E.
XXIV Seminario Integrado de Software e Hardware
1997

A Normal Form Reduction Strategy For Hardware/Software Partitioning

SAMPAIO, A. C. A.; SILVA, L.; BARROS, E.
Formal Methods Europe
1996

Formalizacao Algebrica de Um Metodo Para Particionamento Hardware/Software

SAMPAIO, A. C. A.; PIRES, A.
IX Simposio Brasileiro de Concepcao de Circuitos Integrados
1996

A Transformational Approach to Hardware/Software Partitioning

SAMPAIO, A. C. A.; SILVA, L.; BARROS, E.
Hardware Synthesis and Verification Workshop
1996

Mechanising the theory of intervals using OBJ3????????????? ??????? ? ?????? ?????????? ?????????????? OBJ3

Campos, Marcilia A.; Sampaio, Augusto C. A.; Brainer, Alexandre H. F.
Reliable Computing
1996

Reusing Algebraic Theories in Program Transformation

SAMPAIO, A. C. A.
Program Transformation Workshop
1996

De Occam Para O Transputer: Compilacao Via Reescrita de Termos

SAMPAIO, A. C. A.; SPENCER, R.
[SBES] X Simposio Brasileiro de Engenharia de Software
1995

Proving Algebraic Properties Of Intervals Using OBJ3

CAMPOS, M.; SAMPAIO, A. C. A.; BRAINER, A.
XVIII SIMPÓSIO BRASILEIRO DE MATEMÁTICA APLICADA E COMPUTACIONAL
1995

Um Método de Desenvolvimento de Programas Para Obj3

SAMPAIO, A. C. A.; LIMA, J.
XXII SEMISH/PANEL95
1994

De Mooz Para Eiffel

CORDEIRO, V.; SAMPAIO, A. C. A.; MEIRA, S.
XXI CONGRESSO DA SBC
1994

Toward Provably Correct Hardware Partitioning Using Occam

BARROS, E.; SAMPAIO, A. C. A.
PROCEEDINGS OF THE THIRD INTERNATIONAL WORKSHOP ON HARDWARE/SOFTWARE CODESIGN (IEEE COMPUTER SOCIETY PRESS)
1994

From Mooz To Eiffel:A Rigorous Approach To System Development

CORDEIRO, V.; SAMPAIO, A. C. A.; MEIRA, S.
FORMAL METHODS EUROPE'94
1994

Um Estudo de Caso Real Em Refinamento de Especificações Formais Orientadas A Objetos

CORDEIRO, V.; SAMPAIO, A. C. A.; MEIRA, S.
VIII SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE
1994

From Hardware/Software Partitioning To Layout Synthesis: A Transformation Approach

BARROS, E.; LIMA, M.; SAMPAIO, A. C. A.
[SBCCI] VIII SIMPÓSIO BRASILEIRO DE CONCEPÇÃO DE CIRCUITOS INTEGRADOS
1993

Normal form approach to compiler design

HOARE, C. A. R.; Jifeng, He; Sampaio, A.
Acta Informatica
1990

Modular Extensions to Z

SAMPAIO, A. C. A.; MEIRA, S.
VDM'90: VDM and Z - Formal Methods in Software Development
1988

Uma Análise de Adequação e Validação de Primitivas de Comunicação entre Processos

SAMPAIO, A. C. A.; Paulo Cunha
[SBRC] SBRC - Simpósio Brasileiro de Redes de Computadores
1988

Especificação em Z de um Interpretador para uma Linguagem Simples

SAMPAIO, A. C. A.; MEIRA, S.
[SEMISH] XV SEMISH - Congresso da SBC
1988

GEMS - Um Gerenciador de Módulos de Software

Max Albuquerque; Hermano Moura; SAMPAIO, A. C. A.; MEIRA, S.
[SBES] II SBES - Simpósio Brasileiro de Engenharia de Software
1988

Zc : Uma Notação para Especificação de Sistemas Complexos

SAMPAIO, A. C. A.; MEIRA, S.
[SEMISH] XV SEMISH - Congresso da SBC
1987

Especificação Funcional de um Interpretador

SAMPAIO, A. C. A.; MEIRA, S.
[IV] ERMAC - SBMAC
acas

Augusto Cezar Alves Sampaio

Professor Titular

Processamento e Sintese de midias digitais
Design Thinking
Link para o site pessoal de Augusto Cezar Alves Sampaio
Link para o perfil do lattes de Augusto Cezar Alves Sampaio
Link para o perfil do DBLP de Augusto Cezar Alves Sampaio
Link para o perfil do ORCID de Augusto Cezar Alves Sampaio
Link para o perfil do Scholar de Augusto Cezar Alves Sampaio
Link para o perfil do sigaa de Augusto Cezar Alves Sampaio
E-mail
acas@cin.ufpe.br
Telefone
+55 81 2126-8430 R:4011
Sala
B212
•Publicações
Publicações
•Projetos
Projetos
•Orientações Acadêmicas
Orientações
acas

Augusto Cezar Alves Sampaio

Professor Titular

Processamento e Sintese de midias digitais
Design Thinking
Link para o site pessoal de Augusto Cezar Alves Sampaio
Link para o perfil do lattes de Augusto Cezar Alves Sampaio
Link para o perfil do DBLP de Augusto Cezar Alves Sampaio
Link para o perfil do ORCID de Augusto Cezar Alves Sampaio
Link para o perfil do Scholar de Augusto Cezar Alves Sampaio
Link para o perfil do sigaa de Augusto Cezar Alves Sampaio
E-mail
acas@cin.ufpe.br
Telefone
+55 81 2126-8430 R:4011
Sala
B212
•Publicações
Publicações
•Projetos
Projetos
•Orientações Acadêmicas
Orientações