Augusto Sampaio

152 papers A* 1A 3B 12C 13Misc 5Journal 47Unranked 63
YearRankTypeTitle / Venue / Authors
2026 J jnl
Combining sequential feature test cases to generate sound tests for concurrent features.
Sci. Comput. Program.
Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio
2026 J jnl
Generating formal smart-contract specifications: comparing few-shot learning and fine-tuned LLMs.
Sci. Comput. Program.
Gabriel Leite, Filipe Arruda, Pedro Antonino, Augusto Sampaio, A. W. Roscoe
2025 J jnl
Causality for Cyber-Physical Systems.
CoRR
Hugo Araújo, Hana Chockler, Mohammad Reza Mousavi, Gustavo Carvalho, Augusto Sampaio
2025 J jnl
Demystification and Near-perfect Estimation of Minimum Gas Limit and Gas Used for Ethereum Smart Contracts.
CoRR
Danilo Rafael de Lima Cabral, Pedro Antonino, Augusto Sampaio
2025 — conf
Deriving Sound Test Scripts from Requirements Written in a Controlled Natural Language.
SBMF
Filipe Arruda, Flávia A. Barros, Augusto Sampaio
2025 J jnl
Formal Methods in Industry.
Formal Aspects Comput.
Maurice H. ter Beek, Rod Chapman, Rance Cleaveland, Hubert Garavel, Rong Gu, Ivo ter Horst, Jeroen J. A. Keiren, Thierry Lecomte, Michael Leuschel, Kristin Yvonne Rozier, Augusto Sampaio, Cristina Seceleanu, Martyn Thomas, Tim A. C. Willemse, Lijun Zhang
2025 — conf
Micro Frontend Architecture for Robotic Systems: a Systematic Approach With Design Rationale.
RoSE
Uanderson Silva, Matheus Andrade, José Cruz, Andresa Silva, Augusto Sampaio, Kiev Gama
2024 J jnl
A formal component model for UML based on CSP aiming at compositional verification.
Softw. Syst. Model.
Flávia Falcão, Lucas Lima, Augusto Sampaio, Pedro Antonino
2024 J jnl
A refinement-based approach to safe smart contract deployment and evolution.
Softw. Syst. Model.
Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe, Filipe Arruda
2024 — conf
An Integrated Framework for Analysing, Simulating and Testing UML Models.
SBMF
Gustavo Carvalho, José Dihego, Augusto Sampaio
2024 — conf
Extracting Formal Smart-Contract Specifications from Natural Language with LLMs.
FACS
Gabriel Leite, Filipe Arruda, Pedro Antonino, Augusto Sampaio, A. W. Roscoe
2024 J jnl
Laws of Timed State Machines.
Comput. J.
Ana Cavalcanti, Madiel Conserva Filho, Pedro Ribeiro, Augusto Sampaio
2024 J jnl
Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving.
Sci. Comput. Program.
Joabe Jesus, Augusto Sampaio
2024 — ed.
The Application of Formal Methods - Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
The Application of Formal Methods
Simon Foster, Augusto Sampaio
2024 — conf
Trusted Deployer: A Tool for Safe Creation and Upgrade of Ethereum Smart Contracts.
SBMF
Juliandson Ferreira, Pedro Antonino, Augusto Sampaio, A. W. Roscoe, Filipe Arruda
2023 — conf
A Model-based Approach to the Development and Verification of Robotic Systems for Competitions.
LARS/SBR/WRE
Marcus Santos, Madiel Conserva Filho, Augusto Sampaio
2023 — conf
Sound Test Case Generation for Concurrent Mobile Features.
SBMF
Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio
2023 — conf
UTP, Circus, and Isabelle.
Theories of Programming and Formal Methods
Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda
2022 J jnl
A Pattern-based deadlock-freedom analysis strategy for concurrent systems.
CoRR
Pedro Antonino, Augusto Sampaio, Jim Woodcock
2022 — conf
Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover.
SBMF
Joabe Jesus, Augusto Sampaio
2022 B conf
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts.
SEFM
Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe
2022 J jnl
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts.
CoRR
Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe
2021 Misc conf
Transforming RoboSim Models into UPPAAL.
TASE
Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang
2020 J jnl
A refinement checking based strategy for component-based systems evolution.
CoRR
José Dihego, Augusto Sampaio, Marcel Oliveira
2020 J jnl
A refinement checking based strategy for component-based systems evolution.
J. Syst. Softw.
José Dihego, Augusto Sampaio, Marcel Oliveira
2020 J jnl
Automation and consistency analysis of test cases written in natural language: An industrial context.
Sci. Comput. Program.
Filipe Arruda, Flávia A. Barros, Augusto Sampaio
2019 J jnl
CPN simulation-based test case generation from controlled natural-language requirements.
Sci. Comput. Program.
Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio
2019 B conf
Multi-objective Search for Effective Testing of Cyber-Physical Systems.
SEFM
Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio
2019 J jnl
Test case generation, selection and coverage from natural language.
Sci. Comput. Program.
Sidney C. Nogueira, Hugo Leonardo da Silva Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio
2019 — ed.
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
UTP
Pedro Ribeiro, Augusto Sampaio
2019 J jnl
Verified simulation for robotics.
Sci. Comput. Program.
Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis
2018 — conf
Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions.
SBMF
Rafaela Almeida, Sidney C. Nogueira, Augusto Sampaio
2018 J jnl
Compositional and local livelock analysis for CSP.
Inf. Process. Lett.
Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti
2018 — conf
Formal Modelling of Environment Restrictions from Natural-Language Requirements.
SBMF
Tainã Santos, Gustavo Carvalho, Augusto Sampaio
2018 B conf
Modelling and Verification for Swarm Robotics.
IFM
Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis
2018 — conf
Safe and Constructive Design with UML Components.
SBMF
Flávia Falcão, Lucas Lima, Augusto Sampaio
2018 J jnl
Sound conformance testing for cyber-physical systems: Theory and implementation.
Sci. Comput. Program.
Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, Augusto Sampaio
2018 J jnl
Theoretical aspects of computing.
Theor. Comput. Sci.
Augusto Sampaio, Farn Wang
2017 — conf
A Process for Sound Conformance Testing of Cyber-Physical Systems.
ICST Workshops
Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi, Masoumeh Taromirad
2017 J jnl
An idiom to represent data types in Alloy.
Inf. Softw. Technol.
Rohit Gheyi, Paulo Borba, Augusto Sampaio, Márcio Ribeiro
2017 J jnl
An integrated semantics for reasoning about SysML design models using refinement.
Softw. Syst. Model.
Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis
2017 J jnl
Editorial.
Formal Aspects Comput.
Moreno Falaschi, Augusto Sampaio
2017 — conf
FDR: From Theory to Industrial Application.
Concurrency, Security, and Puzzles
Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio
2017 — conf
Local Analysis of Determinism for CSP.
SBMF
Rodrigo Otoni, Ana Cavalcanti, Augusto Sampaio
2017 — conf
Simulation of hybrid systems from natural-language requirements.
CASE
Bruno Oliveira, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio
2016 Misc conf
A Suspension-Trace Semantics for CSP.
TASE
Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio
2016 C conf
Capture & Replay with Text-Based Reuse and Framework Agnosticism.
SEKE
Filipe Arruda, Augusto Sampaio, Flávia A. Barros
2016 — conf
Formal Testing from Natural Language in an Industrial Context.
SBMF
Augusto Sampaio, Filipe Arruda
2016 C conf
Local Livelock Analysis of Component-Based Models.
ICFEM
Madiel S. Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti
2016 — conf
Model Checking Requirements.
SBMF
Sérgio Barza, Gustavo Carvalho, Juliano Iyoda, Augusto Sampaio, Alexandre Mota, Flávia de Almeida Barros
2016 J jnl
Modelling timed reactive systems from natural-language requirements.
Formal Aspects Comput.
Gustavo Carvalho, Ana Cavalcanti, Augusto Sampaio
2016 — conf
Refinement Verification of Sequence Diagrams Using CSP.
SBMF
Lucas Lima, Juliano Iyoda, Augusto Sampaio
2016 J jnl
Rigorous development of component-based systems using component metadata and patterns.
Formal Aspects Comput.
Marcel Vinícius Medeiros Oliveira, Pedro Antonino, Rodrigo Ramos, Augusto Sampaio, Alexandre Cabral Mota, A. W. Roscoe
2016 C ed.
Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings
ICTAC
Augusto Sampaio, Farn Wang
2015 C conf
Aspect-Oriented Development of Trustworthy Component-based Systems.
ICTAC
José Dihego, Augusto Sampaio
2015 — conf
Automatic Generation of Test Cases and Test Purposes from Natural Language.
SBMF
Sidney C. Nogueira, Hugo Leonardo da Silva Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio
2015 Misc conf
Constructive extensibility of trustworthy component-based systems.
SAC
José Dihego, Augusto Sampaio, Marcel Vinícius Medeiros Oliveira
2015 B conf
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP.
SEFM
Gustavo Carvalho, Flávia A. Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio
2015 — conf
Test Case Generation from Natural Language Requirements Using CPN Simulation.
SBMF
Bruno Cesar F. Silva, Gustavo Carvalho, Augusto Sampaio
2015 — conf
Verifying Transformations of Java Programs Using Alloy.
SBMF
Tarciana Dias da Silva, Augusto Sampaio, Alexandre Mota
2014 C conf
A Formal Model for Natural-Language Timed Requirements of Reactive Systems.
ICFEM
Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti, Augusto Sampaio
2014 C conf
A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis.
MODELSWARD
Lucas Lima, Juliano Iyoda, Augusto Sampaio
2014 B conf
A Modular Theory of Object Orientation in Higher-Order UTP.
FM
Frank Zeyda, Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio
2014 B conf
A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.
FM
Pedro R. G. Antonino, Augusto Sampaio, Jim Woodcock
2014 — conf
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification.
NASA Formal Methods
Pedro R. G. Antonino, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Klaus E. Kristensen, Jeremy W. Bryans
2014 J jnl
NAT2TEST
Sci. Comput. Program.
Gustavo Carvalho, Diogo Falcão, Flávia de Almeida Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn
2014 J jnl
Sound and mechanised compositional verification of input-output conformance.
Softw. Test. Verification Reliab.
Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota, Yoshinao Isobe
2014 J jnl
Test generation from state based use case models.
Formal Aspects Comput.
Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota
2013 C conf
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification.
ICFEM
Gustavo Carvalho, Augusto Sampaio, Alexandre Mota
2013 C conf
Algebraic Laws for Process Subtyping.
ICFEM
José Dihego, Pedro R. G. Antonino, Augusto Sampaio
2013 B conf
Laws of Programming for References.
APLAS
Giovanny Lucero, David A. Naumann, Augusto Sampaio
2013 Misc conf
Test case generation from natural language requirements based on SCR specifications.
SAC
Gustavo Carvalho, Diogo Falcão, Flávia A. Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn
2012 — conf
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications.
SBMF
Gustavo Carvalho, Diogo Falcão, Alexandre Mota, Augusto Sampaio
2012 — conf
A framework for monitorable services implementation.
SBCARS
David Cardoso, Augusto Sampaio
2012 J jnl
Constructive model-based analysis for safety assessment.
Int. J. Softw. Tools Technol. Transf.
Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe A. S. Ferri, Edson H. Watanabe
2012 J jnl
Refactoring and representation independence for class hierarchies.
Theor. Comput. Sci.
David A. Naumann, Augusto Sampaio, Leila Silva
2011 C conf
Architectural Verification of Control Systems Using CSP.
ICFEM
Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo
2011 J jnl
Correct hardware synthesis - An algebraic approach.
Acta Informatica
Juan Ignacio Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda
2011 J jnl
Introducing concurrency in sequential Java via laws.
Inf. Process. Lett.
Rafael M. Duarte, Alexandre Mota, Augusto Sampaio
2010 J jnl
A process algebraic framework for specification and validation of real-time systems.
Formal Aspects Comput.
Adnan Sherif, Ana Cavalcanti, Jifeng He, Augusto Sampaio
2010 J jnl
An algebraic approach to the design of compilers for object-oriented languages.
Formal Aspects Comput.
Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
2010 J jnl
Conformance notions for the coordination of interaction components.
Sci. Comput. Program.
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
2010 — conf
Refactoring and representation independence for class hierarchies: extended abstract.
FTfJP@ECOOP
Leila Silva, David A. Naumann, Augusto Sampaio
2010 J jnl
Sound refactorings.
Sci. Comput. Program.
Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
2010 — conf
Systematic Model-Based Safety Assessment Via Probabilistic Model Checking.
ISoLA (1)
Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe A. S. Ferri, Julio Buzzi
2010 — ed.
Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
PSSE
Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
2009 — conf
A Complete Set of Object Modeling Laws for Alloy.
SBMF
Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio
2009 C conf
Compositional Verification of Input-Output Conformance via CSP Refinement Checking.
ICFEM
Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota
2009 — conf
Formalisation and Analysis of Objects as CSP Processes.
SBMF
Renata Kaufman, Augusto Sampaio, Alexandre Mota
2009 B conf
Systematic Development of Trustworthy Component Systems.
FM
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
2009 A conf
Test case prioritization based on data reuse an experimental study.
ESEM
Lucas Lima, Juliano Iyoda, Augusto Sampaio, Eduardo Aranha
2008 J jnl
Automated Formal Specification Generation and Refinement from Requirement Documents.
J. Braz. Comput. Soc.
Gustavo Cabral, Augusto Sampaio
2008 J jnl
Compositional Abstraction of CSPZ Processes.
J. Braz. Comput. Soc.
Adalberto Farias, Alexandre Cabral Mota, Augusto Sampaio
2008 Misc conf
Framework composition conformance via refinement checking.
SAC
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
2008 C conf
Guided Test Generation from CSP Models.
ICTAC
Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota
2008 B conf
Laws of Object-Orientation with Reference Semantics.
SEFM
Leila Silva, Augusto Sampaio, Zhiming Liu
2008 — conf
Multiple Synchrony in MSC.
SBMF
Flávia Falcão, Juliano Iyoda, Augusto Sampaio
2007 — conf
Automatic Test-Case Generation.
PSSE
Patrícia D. L. Machado, Augusto Sampaio
2007 — ed.
Proceedings of the Second Brazilian Symposium on Formal Methods, SBMF 2005, Porto Alegre, RS, Brazil, November 30, 2005
SBMF
Augusto Sampaio
2006 — conf
Formal Specification Generation from Requirement Documents.
SBMF
Gustavo Cabral, Augusto Sampaio
2006 — conf
Object-Orientation in the UTP.
UTP
Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio
2006 — ed.
Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
PSSE
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
2006 — conf
Transformation Laws for UML-RT.
FMOODS
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
2006 — conf
Type Checking Circus Specifications.
SBMF
Manuela Xavier, Ana Cavalcanti, Augusto Sampaio
2006 — conf
Uma Extensão do RUP para Modelagem Rigorosa de Sistemas Concorrentes.
SBES
Robson Godoi, Rodrigo Ramos, Augusto Sampaio
2006 — conf
Viewing CSP Specifications with UML-RT Diagrams.
SBMF
Patrícia Ferreira, Augusto Sampaio, Alexandre Mota
2005 — conf
A Semantics for UML-RT Active Classes via Mapping into Circus.
FMOODS
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
2005 B conf
A Strategy for the Formal Composition of Frameworks.
SEFM
Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo
2005 — conf
Preface.
SBMF
Augusto Sampaio
2005 A* conf
Software test program: a software residency experience.
ICSE
Augusto Sampaio, Carlos Albuquerque, João Vasconcelos, Luckerson Cruz, Luis Figueiredo, Sérgio Cavalcante
2005 J jnl
Unifying classes and processes.
Softw. Syst. Model.
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
2004 J jnl
A Constructive Approach to Hardware/Software Partitioning.
Formal Methods Syst. Des.
Leila Silva, Augusto Sampaio, Edna Barros
2004 C conf
A Framework for Specification and Validation of Real-Time Systems Using
ICTAC
Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio
2004 J jnl
Algebraic reasoning for object-oriented programming.
Sci. Comput. Program.
Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio
2004 B conf
Efficient CSP
IFM
Adalberto Farias, Alexandre Mota, Augusto Sampaio
2004 — conf
RUP Based Analysis and Design with Aspects.
SBES
Leonardo Cole, Eduardo Kessler Piveta, Augusto Sampaio
2004 — conf
Refactoring Towards a Layered Architecture.
SBMF
Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
2004 — conf
Refinement: An overview.
PSSE
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
2004 — conf
Transformation Laws for Sequential Object-Oriented Programming.
PSSE
Augusto Sampaio, Paulo Borba
2003 A conf
A Refinement Algebra for Object-Oriented Programming.
ECOOP
Paulo Borba, Augusto Sampaio, Márcio Cornélio
2003 J jnl
A Refinement Strategy for Circus.
Formal Aspects Comput.
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
2003 — conf
A Strategy for Compiling Classes, Inheritance, and Dynamic Binding.
FME
Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
2003 — conf
Class and Capsule Refinement in UML for Real Time.
WMF
Augusto Sampaio, Alexandre Mota, Rodrigo Ramos
2003 — conf
Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets.
ICATPN
Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante
2002 A conf
From CSP-OZ to Java with Processes.
IPDPS
Ana Cavalcanti, Augusto Sampaio
2002 — conf
JACK: A Framework for Process Algebra Implementation in Java.
SBES
Leonardo Freitas, Augusto Sampaio, Ana Cavalcanti
2002 — conf
Mechanical Abstraction of CSP
FME
Alexandre Mota, Paulo Borba, Augusto Sampaio
2002 — conf
Refactoring by Transformation.
Refine
Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
2002 C conf
Refinement Algebra for Formal Bytecode Generation.
ICFEM
Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
2002 — conf
Refinement in Circus.
FME
Augusto Sampaio, Jim Woodcock, Ana Cavalcanti
2002 — conf
Refinement of actions in Circus.
Refine
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
2001 — conf
An Integrated Approach to Specification and Validation of Real-Time Systems.
FME
Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante
2001 J jnl
Model-checking CSP-Z: strategy, tool support and industrial application.
Sci. Comput. Program.
Alexandre Mota, Augusto Sampaio
2001 — conf
Serialising Parallel Processes in a Hardware/Software Partitioning Context.
FME
Leila Silva, Augusto Sampaio, Geraint Jones
2000 — conf
Algebraic derivation of an operational semantics.
Proof, Language, and Interaction
C. A. R. Hoare, Jifeng He, Augusto Sampaio
2000 J jnl
Basic Laws of ROOL: an object-oriented language.
RITA
Paulo Borba, Augusto Sampaio
2000 — ed.
Proceedings of the 14th Brazilian Symposium on Software Engineering, SBES 2000, João Pessoa, PB, Brazil, October 4-6, 2000.
SBES
Augusto Sampaio
1999 J jnl
An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus.
Sci. Comput. Program.
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
1999 — conf
ParTS: A Partitioning Transformation System.
World Congress on Formal Methods
Juliano Iyoda, Augusto Sampaio, Leila Silva
1998 — conf
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment.
AMAST
Leila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda
1998 B conf
Model-Checking CSP-Z.
FASE
Alexandre Mota, Augusto Sampaio
1998 — conf
Model-Checking Processes with States: An Industrial Case Study.
SBES
Alexandre Mota, Augusto Sampaio
1998 J jnl
Procedures and Recursion in the Refinement Calculus.
J. Braz. Comput. Soc.
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
1997 — conf
A Normal Form Reduction Strategy for Hardware/Software Partitioning.
FME
Leila Silva, Augusto Sampaio, Edna Barros
1997 — book
An Algebraic Approach to Compiler Design
Augusto Sampaio
1996 — conf
De occam para o transputer: compilação via reescrita de termos.
SBES
Renata Spencer, Augusto Sampaio
1994 — conf
From MooZ to Eiffel - A Rigorous Approach to System Development.
FME
Virgínia A. O. Cordeiro, Augusto Sampaio, Silvio Romero de Lemos Meira
1994 — conf
Towards provably correct hardware/software partitioning using occam.
CODES
Edna Barros, Augusto Sampaio
1994 — conf
Um Estudo de Caso Real em Refinamento de Especificações Formais Orientadas a Objetos.
SBES
Virgínia A. O. Cordeiro, Augusto Sampaio, Silvio R. L. Meira
1993 — —
An algebraic approach to compiler design.
Augusto Sampaio
1993 J jnl
Normal Form Approach to Compiler Design.
Acta Informatica
C. A. R. Hoare, Jifeng He, Augusto Sampaio
1990 — conf
Modular Extensions to Z.
VDM Europe
Augusto Sampaio, Silvio Romero de Lemos Meira