Augusto Sampaio

According to our database1, Augusto Sampaio
  • authored at least 103 papers between 1990 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
An integrated semantics for reasoning about SysML design models using refinement.
Software and System Modeling, 2017

An idiom to represent data types in Alloy.
Information & Software Technology, 2017

Editorial.
Formal Asp. Comput., 2017

A Process for Sound Conformance Testing of Cyber-Physical Systems.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

FDR: From Theory to Industrial Application.
Proceedings of the Concurrency, Security, and Puzzles, 2017

2016
Rigorous development of component-based systems using component metadata and patterns.
Formal Asp. Comput., 2016

Modelling timed reactive systems from natural-language requirements.
Formal Asp. Comput., 2016

A Suspension-Trace Semantics for CSP.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Capture & Replay with Text-Based Reuse and Framework Agnosticism.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Formal Testing from Natural Language in an Industrial Context.
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

Refinement Verification of Sequence Diagrams Using CSP.
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

Model Checking Requirements.
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

Local Livelock Analysis of Component-Based Models.
Proceedings of the Formal Methods and Software Engineering, 2016

2015
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Verifying Transformations of Java Programs Using Alloy.
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

Test Case Generation from Natural Language Requirements Using CPN Simulation.
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

Automatic Generation of Test Cases and Test Purposes from Natural Language.
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

Constructive extensibility of trustworthy component-based systems.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Aspect-Oriented Development of Trustworthy Component-based Systems.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014
Sound and mechanised compositional verification of input-output conformance.
Softw. Test., Verif. Reliab., 2014

NAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications.
Sci. Comput. Program., 2014

Test generation from state based use case models.
Formal Asp. Comput., 2014

Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification.
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Model-Checking Circus State-Rich Specifications.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

A Formal Model for Natural-Language Timed Requirements of Reactive Systems.
Proceedings of the Formal Methods and Software Engineering, 2014

A Modular Theory of Object Orientation in Higher-Order UTP.
Proceedings of the FM 2014: Formal Methods, 2014

A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.
Proceedings of the FM 2014: Formal Methods, 2014

2013
Test case generation from natural language requirements based on SCR specifications.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Algebraic Laws for Process Subtyping.
Proceedings of the Formal Methods and Software Engineering, 2013

A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification.
Proceedings of the Formal Methods and Software Engineering, 2013

Laws of Programming for References.
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012
Refactoring and representation independence for class hierarchies.
Theor. Comput. Sci., 2012

Constructive model-based analysis for safety assessment.
STTT, 2012

A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

A framework for monitorable services implementation.
Proceedings of the Sixth Brazilian Symposium on Software Components, 2012

2011
Introducing concurrency in sequential Java via laws.
Inf. Process. Lett., 2011

Correct hardware synthesis - An algebraic approach.
Acta Inf., 2011

Architectural Verification of Control Systems Using CSP.
Proceedings of the Formal Methods and Software Engineering, 2011

2010
Conformance notions for the coordination of interaction components.
Sci. Comput. Program., 2010

Sound refactorings.
Sci. Comput. Program., 2010

A process algebraic framework for specification and validation of real-time systems.
Formal Asp. Comput., 2010

An algebraic approach to the design of compilers for object-oriented languages.
Formal Asp. Comput., 2010

Systematic Model-Based Safety Assessment Via Probabilistic Model Checking.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Refactoring and representation independence for class hierarchies: extended abstract.
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

2009
Multiple Synchrony in MSC.
Electr. Notes Theor. Comput. Sci., 2009

Formalisation and Analysis of Objects as CSP Processes.
Proceedings of the Formal Methods: Foundations and Applications, 2009

A Complete Set of Object Modeling Laws for Alloy.
Proceedings of the Formal Methods: Foundations and Applications, 2009

Compositional Verification of Input-Output Conformance via CSP Refinement Checking.
Proceedings of the Formal Methods and Software Engineering, 2009

Systematic Development of Trustworthy Component Systems.
Proceedings of the FM 2009: Formal Methods, 2009

Test case prioritization based on data reuse an experimental study.
Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, 2009

2008
Compositional Abstraction of CSPZ Processes.
J. Braz. Comp. Soc., 2008

Automated Formal Specification Generation and Refinement from Requirement Documents.
J. Braz. Comp. Soc., 2008

Type Checking Circus Specifications.
Electr. Notes Theor. Comput. Sci., 2008

Viewing CSP Specifications with UML-RT Diagrams.
Electr. Notes Theor. Comput. Sci., 2008

Formal Specification Generation from Requirement Documents.
Electr. Notes Theor. Comput. Sci., 2008

Laws of Object-Orientation with Reference Semantics.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Framework composition conformance via refinement checking.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Guided Test Generation from CSP Models.
Proceedings of the Theoretical Aspects of Computing, 2008

2007
Preface.
Electr. Notes Theor. Comput. Sci., 2007

Automatic Test-Case Generation.
Proceedings of the Testing Techniques in Software Engineering, 2007

2006
Object-Orientation in the UTP.
Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

Transformation Laws for UML-RT.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005
Unifying classes and processes.
Software and System Modeling, 2005

Refactoring Towards a Layered Architecture.
Electr. Notes Theor. Comput. Sci., 2005

A Strategy for the Formal Composition of Frameworks.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Software test program: a software residency experience.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

A Semantics for UML-RT Active Classes via Mapping into Circus.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004
Algebraic reasoning for object-oriented programming.
Sci. Comput. Program., 2004

A Constructive Approach to Hardware/Software Partitioning.
Formal Methods in System Design, 2004

Class and Capsule Refinement in UML for Real Time.
Electr. Notes Theor. Comput. Sci., 2004

Transformation Laws for Sequential Object-Oriented Programming.
Proceedings of the Refinement Techniques in Software Engineering, 2004

Refinement: An overview.
Proceedings of the Refinement Techniques in Software Engineering, 2004

Efficient CSPZ Data Abstraction.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

A Framework for Specification and Validation of Real-Time Systems Using Circus Actions.
Proceedings of the Theoretical Aspects of Computing, 2004

2003
A Refinement Strategy for Circus.
Formal Asp. Comput., 2003

A Strategy for Compiling Classes, Inheritance, and Dynamic Binding.
Proceedings of the FME 2003: Formal Methods, 2003

A Refinement Algebra for Object-Oriented Programming.
Proceedings of the ECOOP 2003, 2003

Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002
Refactoring by Transformation.
Electr. Notes Theor. Comput. Sci., 2002

Refinement of actions in Circus.
Electr. Notes Theor. Comput. Sci., 2002

From CSP-OZ to Java with Processes.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Refinement Algebra for Formal Bytecode Generation.
Proceedings of the Formal Methods and Software Engineering, 2002

Refinement in Circus.
Proceedings of the FME 2002: Formal Methods, 2002

Mechanical Abstraction of CSPZ Processes.
Proceedings of the FME 2002: Formal Methods, 2002

2001
Model-checking CSP-Z: strategy, tool support and industrial application.
Sci. Comput. Program., 2001

Serialising Parallel Processes in a Hardware/Software Partitioning Context.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

An Integrated Approach to Specification and Validation of Real-Time Systems.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000
Basic Laws of ROOL: an object-oriented language.
RITA, 2000

Algebraic derivation of an operational semantics.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1999
An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus.
Sci. Comput. Program., 1999

ParTS: A Partitioning Transformation System.
Proceedings of the FM'99 - Formal Methods, 1999

1998
Procedures and Recursion in the Refinement Calculus.
J. Braz. Comp. Soc., 1998

Model-Checking CSP-Z.
FASE, 1998

An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1997
An Algebraic Approach to Compiler Design
AMAST Series in Computing 4, World Scientific, ISBN: 978-981-4499-92-7, 1997

A Normal Form Reduction Strategy for Hardware/Software Partitioning.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996
Mechanising the theory of intervals using OBJ3.
Reliable Computing, 1996

1994
From MooZ to Eiffel - A Rigorous Approach to System Development.
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

Towards provably correct hardware/software partitioning using occam.
Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

1993
An algebraic approach to compiler design.
PhD thesis, 1993

Normal Form Approach to Compiler Design.
Acta Inf., 1993

1990
Modular Extensions to Z.
Proceedings of the VDM '90, 1990


  Loading...