Augusto Sampaio

ORCID

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 43

Top Venues

SBMF

Sci. Comput. Program.

Formal Aspects Comput.

CoRR

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda
UTP, Circus, and Isabelle. Theories of Programming and Formal Methods (2023)
Marcus Santos, Madiel Conserva Filho, Augusto Sampaio
A Model-based Approach to the Development and Verification of Robotic Systems for Competitions. LARS/SBR/WRE (2023)
Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio
Sound Test Case Generation for Concurrent Mobile Features. SBMF (2023)
Joabe Jesus, Augusto Sampaio
Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover. SBMF (2022)
Pedro Antonino, Augusto Sampaio, Jim Woodcock
A Pattern-based deadlock-freedom analysis strategy for concurrent systems. CoRR (2022)
Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts. SEFM (2022)
Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts. CoRR (2022)
Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang
Transforming RoboSim Models into UPPAAL. TASE (2021)
José Dihego, Augusto Sampaio, Marcel Oliveira
A refinement checking based strategy for component-based systems evolution. CoRR (2020)
Filipe Arruda, Flávia A. Barros, Augusto Sampaio
Automation and consistency analysis of test cases written in natural language: An industrial context. Sci. Comput. Program. 189 (2020)
José Dihego, Augusto Sampaio, Marcel Oliveira
A refinement checking based strategy for component-based systems evolution. J. Syst. Softw. 167 (2020)
Hugo L. S. Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio
Multi-objective Search for Effective Testing of Cyber-Physical Systems. SEFM (2019)
Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis
Verified simulation for robotics. Sci. Comput. Program. 174 (2019)
Sidney C. Nogueira, Hugo L. S. Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio
Test case generation, selection and coverage from natural language. Sci. Comput. Program. 181 (2019)
Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio
CPN simulation-based test case generation from controlled natural-language requirements. Sci. Comput. Program. 181 (2019)
Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis
Modelling and Verification for Swarm Robotics. IFM (2018)
Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio
Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions. SBMF (2018)
Augusto Sampaio, Farn Wang
Theoretical aspects of computing. Theor. Comput. Sci. 744 (2018)
Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti
Compositional and local livelock analysis for CSP. Inf. Process. Lett. 133 (2018)
Tainã Santos, Gustavo Carvalho, Augusto Sampaio
Formal Modelling of Environment Restrictions from Natural-Language Requirements. SBMF (2018)
Flávia Falcão, Lucas Lima, Augusto Sampaio
Safe and Constructive Design with UML Components. SBMF (2018)
Hugo L. S. Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, Augusto Sampaio
Sound conformance testing for cyber-physical systems: Theory and implementation. Sci. Comput. Program. 162 (2018)
Rodrigo Otoni, Ana Cavalcanti, Augusto Sampaio
Local Analysis of Determinism for CSP. SBMF (2017)
Moreno Falaschi, Augusto Sampaio
Editorial. Formal Aspects Comput. 29 (3) (2017)
Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio
FDR: From Theory to Industrial Application. Concurrency, Security, and Puzzles (2017)
Bruno Oliveira, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio
Simulation of hybrid systems from natural-language requirements. CASE (2017)
Rohit Gheyi, Paulo Borba, Augusto Sampaio, Márcio Ribeiro
An idiom to represent data types in Alloy. Inf. Softw. Technol. 82 (2017)
Hugo L. S. Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi, Masoumeh Taromirad
A Process for Sound Conformance Testing of Cyber-Physical Systems. ICST Workshops (2017)
Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis
An integrated semantics for reasoning about SysML design models using refinement. Softw. Syst. Model. 16 (3) (2017)
Madiel S. Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti
Local Livelock Analysis of Component-Based Models. ICFEM (2016)
Augusto Sampaio, Filipe Arruda
Formal Testing from Natural Language in an Industrial Context. SBMF (2016)
Filipe Arruda, Augusto Sampaio, Flávia A. Barros
Capture & Replay with Text-Based Reuse and Framework Agnosticism. SEKE (2016)
Gustavo Carvalho, Ana Cavalcanti, Augusto Sampaio
Modelling timed reactive systems from natural-language requirements. Formal Aspects Comput. 28 (5) (2016)
Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio
A Suspension-Trace Semantics for CSP. TASE (2016)
Marcel Vinícius Medeiros Oliveira, Pedro Antonino, Rodrigo Ramos, Augusto Sampaio, Alexandre Cabral Mota, A. W. Roscoe
Rigorous development of component-based systems using component metadata and patterns. Formal Aspects Comput. 28 (6) (2016)
Lucas Lima, Juliano Iyoda, Augusto Sampaio
Refinement Verification of Sequence Diagrams Using CSP. SBMF (2016)
Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros
Model Checking Requirements. SBMF (2016)
Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio
Test Case Generation from Natural Language Requirements Using CPN Simulation. SBMF (2015)
Sidney C. Nogueira, Hugo L. S. Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio
Automatic Generation of Test Cases and Test Purposes from Natural Language. SBMF (2015)
José Dihego, Augusto Sampaio
Aspect-Oriented Development of Trustworthy Component-based Systems. ICTAC (2015)
José Dihego, Augusto Sampaio, Marcel Vinícius Medeiros Oliveira
Constructive extensibility of trustworthy component-based systems. SAC (2015)
Gustavo Carvalho, Flávia A. Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. SEFM (2015)
Tarciana Dias da Silva, Augusto Sampaio, Alexandre Mota
Verifying Transformations of Java Programs Using Alloy. SBMF (2015)
Lucas Lima, Juliano Iyoda, Augusto Sampaio
A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis. MODELSWARD (2014)
Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota
Test generation from state based use case models. Formal Aspects Comput. 26 (3) (2014)
Pedro R. G. Antonino, Augusto Sampaio, Jim Woodcock
A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes. FM (2014)
Gustavo Carvalho, Diogo Falcão, Flávia de Almeida Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn
: Test case generation from natural language requirements based on SCR specifications. Sci. Comput. Program. 95 (2014)
Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota, Yoshinao Isobe
Sound and mechanised compositional verification of input-output conformance. Softw. Test. Verification Reliab. 24 (4) (2014)
Pedro R. G. Antonino, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Klaus E. Kristensen, Jeremy W. Bryans
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification. NASA Formal Methods (2014)
Frank Zeyda, Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio
A Modular Theory of Object Orientation in Higher-Order UTP. FM (2014)
Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti, Augusto Sampaio
A Formal Model for Natural-Language Timed Requirements of Reactive Systems. ICFEM (2014)
Gustavo Carvalho, Diogo Falcão, Flávia A. Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn
Test case generation from natural language requirements based on SCR specifications. SAC (2013)
Giovanny Lucero, David A. Naumann, Augusto Sampaio
Laws of Programming for References. APLAS (2013)
Gustavo Carvalho, Augusto Sampaio, Alexandre Mota
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. ICFEM (2013)
José Dihego, Pedro R. G. Antonino, Augusto Sampaio
Algebraic Laws for Process Subtyping. ICFEM (2013)
Gustavo Carvalho, Diogo Falcão, Alexandre Mota, Augusto Sampaio
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications. SBMF (2012)
Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Edson H. Watanabe
Constructive model-based analysis for safety assessment. Int. J. Softw. Tools Technol. Transf. 14 (6) (2012)
David A. Naumann, Augusto Sampaio, Leila Silva
Refactoring and representation independence for class hierarchies. Theor. Comput. Sci. 433 (2012)
David Cardoso, Augusto Sampaio
A framework for monitorable services implementation. SBCARS (2012)
Juan Ignacio Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda
Correct hardware synthesis - An algebraic approach. Acta Informatica 48 (7-8) (2011)
Rafael M. Duarte, Alexandre Mota, Augusto Sampaio
Introducing concurrency in sequential Java via laws. Inf. Process. Lett. 111 (3) (2011)
Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo
Architectural Verification of Control Systems Using CSP. ICFEM (2011)
Leila Silva, David A. Naumann, Augusto Sampaio
Refactoring and representation independence for class hierarchies: extended abstract. FTfJP@ECOOP (2010)
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
Conformance notions for the coordination of interaction components. Sci. Comput. Program. 75 (5) (2010)
Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
An algebraic approach to the design of compilers for object-oriented languages. Formal Aspects Comput. 22 (5) (2010)
Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Julio Buzzi
Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. ISoLA (1) (2010)
Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
Sound refactorings. Sci. Comput. Program. 75 (3) (2010)
Adnan Sherif, Ana Cavalcanti, Jifeng He, Augusto Sampaio
A process algebraic framework for specification and validation of real-time systems. Formal Aspects Comput. 22 (2) (2010)
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
Systematic Development of Trustworthy Component Systems. FM (2009)
Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota
Compositional Verification of Input-Output Conformance via CSP Refinement Checking. ICFEM (2009)
Renata Kaufman, Augusto Sampaio, Alexandre Mota
Formalisation and Analysis of Objects as CSP Processes. SBMF (2009)
Flávia Falcão, Juliano Iyoda, Augusto Sampaio
Multiple Synchrony in MSC. Electron. Notes Theor. Comput. Sci. 240 (2009)
Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio
A Complete Set of Object Modeling Laws for Alloy. SBMF (2009)
Lucas Lima, Juliano Iyoda, Augusto Sampaio, Eduardo Aranha
Test case prioritization based on data reuse an experimental study. ESEM (2009)
Gustavo Cabral, Augusto Sampaio
Formal Specification Generation from Requirement Documents. Electron. Notes Theor. Comput. Sci. 195 (2008)
Patrícia Ferreira, Augusto Sampaio, Alexandre Mota
Viewing CSP Specifications with UML-RT Diagrams. Electron. Notes Theor. Comput. Sci. 195 (2008)
Leila Silva, Augusto Sampaio, Zhiming Liu
Laws of Object-Orientation with Reference Semantics. SEFM (2008)
Manuela Xavier, Ana Cavalcanti, Augusto Sampaio
Type Checking Circus Specifications. Electron. Notes Theor. Comput. Sci. 195 (2008)
Adalberto Farias, Alexandre Cabral Mota, Augusto Sampaio
Compositional Abstraction of CSPZ Processes. J. Braz. Comput. Soc. 14 (2) (2008)
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
Framework composition conformance via refinement checking. SAC (2008)
Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota
Guided Test Generation from CSP Models. ICTAC (2008)
Gustavo Cabral, Augusto Sampaio
Automated Formal Specification Generation and Refinement from Requirement Documents. J. Braz. Comput. Soc. 14 (1) (2008)
Patrícia D. L. Machado, Augusto Sampaio
Automatic Test-Case Generation. PSSE (2007)
Augusto Sampaio
Preface. Electron. Notes Theor. Comput. Sci. 184 (2007)
Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio
Object-Orientation in the UTP. UTP (2006)
Robson Godoi, Rodrigo Ramos, Augusto Sampaio
Uma Extensão do RUP para Modelagem Rigorosa de Sistemas Concorrentes. SBES (2006)
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
Transformation Laws for UML-RT. FMOODS (2006)
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
Unifying classes and processes. Softw. Syst. Model. 4 (3) (2005)
Augusto Sampaio, Carlos Albuquerque, João Vasconcelos, Luckerson Cruz, Luis Figueiredo, Sérgio Cavalcante
Software test program: a software residency experience. ICSE (2005)
Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
Refactoring Towards a Layered Architecture. Electron. Notes Theor. Comput. Sci. 130 (2005)
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
A Semantics for UML-RT Active Classes via Mapping into Circus. FMOODS (2005)
Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo
A Strategy for the Formal Composition of Frameworks. SEFM (2005)
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
Refinement: An overview. PSSE (2004)
Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio
Algebraic reasoning for object-oriented programming. Sci. Comput. Program. 52 (2004)
Leila Silva, Augusto Sampaio, Edna Barros
A Constructive Approach to Hardware/Software Partitioning. Formal Methods Syst. Des. 24 (1) (2004)
Augusto Sampaio, Paulo Borba
Transformation Laws for Sequential Object-Oriented Programming. PSSE (2004)
Augusto Sampaio, Alexandre Mota, Rodrigo Ramos
Class and Capsule Refinement in UML for Real Time. Electron. Notes Theor. Comput. Sci. 95 (2004)
Adalberto Farias, Alexandre Mota, Augusto Sampaio
Data Abstraction. IFM (2004)
Leonardo Cole, Eduardo Kessler Piveta, Augusto Sampaio
RUP Based Analysis and Design with Aspects. SBES (2004)
Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio
Actions. ICTAC (2004)

Augusto Sampaio.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Augusto Sampaio