Augusto Sampaio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
44
Venues
16
Active years
1990–2022
Best venue rank
A*
Where they publish
Papers
44 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | SEFM | Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts. | Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe |
| 2021 | TASE | Transforming RoboSim Models into UPPAAL. | Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang |
| 2019 | SEFM | Multi-objective Search for Effective Testing of Cyber-Physical Systems. | Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio |
| 2018 | IFM | Modelling and Verification for Swarm Robotics. | Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis |
| 2017 | ICST | A Process for Sound Conformance Testing of Cyber-Physical Systems. | Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi, Masoumeh Taromirad |
| 2016 | ICFEM | Local Livelock Analysis of Component-Based Models. | Madiel S. Conserva Filho, Marcel Vincius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti |
| 2016 | SEKE | Capture & Replay with Text-Based Reuse and Framework Agnosticism. | Filipe Arruda, Augusto Sampaio, Flvia A. Barros |
| 2016 | TASE | A Suspension-Trace Semantics for CSP. | Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio |
| 2015 | ICTAC | Aspect-Oriented Development of Trustworthy Component-based Systems. | Jos Dihego, Augusto Sampaio |
| 2015 | SAC | Constructive extensibility of trustworthy component-based systems. | Jos Dihego, Augusto Sampaio, Marcel Vincius Medeiros Oliveira |
| 2015 | SEFM | NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. | Gustavo Carvalho, Flvia A. Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio |
| 2014 | FM | A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes. | Pedro R. G. Antonino, Augusto Sampaio, Jim Woodcock |
| 2014 | FM | A Modular Theory of Object Orientation in Higher-Order UTP. | Frank Zeyda, Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio |
| 2014 | ICFEM | A Formal Model for Natural-Language Timed Requirements of Reactive Systems. | Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti, Augusto Sampaio |
| 2014 | MODELSWARD | A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis. | Lucas Lima, Juliano Iyoda, Augusto Sampaio |
| 2013 | APLAS | Laws of Programming for References. | Giovanny Lucero, David A. Naumann, Augusto Sampaio |
| 2013 | ICFEM | A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. | Gustavo Carvalho, Augusto Sampaio, Alexandre Mota |
| 2013 | ICFEM | Algebraic Laws for Process Subtyping. | Jos Dihego, Pedro R. G. Antonino, Augusto Sampaio |
| 2013 | SAC | Test case generation from natural language requirements based on SCR specifications. | Gustavo Carvalho, Diogo Falco, Flvia A. Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn |
| 2011 | ICFEM | Architectural Verification of Control Systems Using CSP. | Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo |
| 2010 | ECOOP | Refactoring and representation independence for class hierarchies: extended abstract. | Leila Silva, David A. Naumann, Augusto Sampaio |
| 2010 | ISoLA | Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. | Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe A. S. Ferri, Julio Buzzi |
| 2009 | ESEM | Test case prioritization based on data reuse an experimental study. | Lucas Lima, Juliano Iyoda, Augusto Sampaio, Eduardo Aranha |
| 2009 | FM | Systematic Development of Trustworthy Component Systems. | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota |
| 2009 | ICFEM | Compositional Verification of Input-Output Conformance via CSP Refinement Checking. | Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota |
| 2008 | ICTAC | Guided Test Generation from CSP Models. | Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota |
| 2008 | SAC | Framework composition conformance via refinement checking. | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota |
| 2008 | SEFM | Laws of Object-Orientation with Reference Semantics. | Leila Silva, Augusto Sampaio, Zhiming Liu |
| 2005 | ICSE | Software test program: a software residency experience. | Augusto Sampaio, Carlos Albuquerque, Joo Vasconcelos, Luckerson Cruz, Luis Figueiredo, Srgio Cavalcante |
| 2005 | SEFM | A Strategy for the Formal Composition of Frameworks. | Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo |
| 2004 | ICTAC | A Framework for Specification and Validation of Real-Time Systems Using | Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio |
| 2004 | IFM | Efficient CSP | Adalberto Farias, Alexandre Mota, Augusto Sampaio |
| 2003 | ECOOP | A Refinement Algebra for Object-Oriented Programming. | Paulo Borba, Augusto Sampaio, Mrcio Cornlio |
| 2003 | FM | A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. | Adolfo Duran, Ana Cavalcanti, Augusto Sampaio |
| 2002 | FM | Mechanical Abstraction of CSP | Alexandre Mota, Paulo Borba, Augusto Sampaio |
| 2002 | FM | Refinement in Circus. | Augusto Sampaio, Jim Woodcock, Ana Cavalcanti |
| 2002 | ICFEM | Refinement Algebra for Formal Bytecode Generation. | Adolfo Duran, Ana Cavalcanti, Augusto Sampaio |
| 2001 | FM | An Integrated Approach to Specification and Validation of Real-Time Systems. | Adnan Sherif, Augusto Sampaio, Srgio Cavalcante |
| 2001 | FM | Serialising Parallel Processes in a Hardware/Software Partitioning Context. | Leila Silva, Augusto Sampaio, Geraint Jones |
| 1999 | FM | ParTS: A Partitioning Transformation System. | Juliano Iyoda, Augusto Sampaio, Leila Silva |
| 1998 | FASE | Model-Checking CSP-Z. | Alexandre Mota, Augusto Sampaio |
| 1997 | FM | A Normal Form Reduction Strategy for Hardware/Software Partitioning. | Leila Silva, Augusto Sampaio, Edna Barros |
| 1994 | FM | From MooZ to Eiffel - A Rigorous Approach to System Development. | Virgnia A. O. Cordeiro, Augusto Sampaio, Silvio Romero de Lemos Meira |
| 1990 | FM | Modular Extensions to Z. | Augusto Sampaio, Silvio Romero de Lemos Meira |