Augusto Sampaio
Orcid: 0000-0001-9870-6893Affiliations:
- Universidade Federal de Pernambuco, Caicó, Brazil
According to our database1,
Augusto Sampaio
authored at least 139 papers
between 1988 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on cin.ufpe.br
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Softw. Syst. Model., June, 2024
Softw. Syst. Model., June, 2024
Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving.
Sci. Comput. Program., 2024
Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024
Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024
Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024
2023
Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023
A Model-based Approach to the Development and Verification of Robotic Systems for Competitions.
Proceedings of the Latin American Robotics Symposium, 2023
Proceedings of the Theories of Programming and Formal Methods, 2023
2022
CoRR, 2022
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022
Proceedings of the Formal Methods: Foundations and Applications - 25th Brazilian Symposium, 2022
2021
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021
2020
Automation and consistency analysis of test cases written in natural language: An industrial context.
Sci. Comput. Program., 2020
J. Syst. Softw., 2020
2019
CPN simulation-based test case generation from controlled natural-language requirements.
Sci. Comput. Program., 2019
Sci. Comput. Program., 2019
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019
2018
Sci. Comput. Program., 2018
Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018
Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018
Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions.
Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
2017
Softw. Syst. Model., 2017
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017
Proceedings of the Concurrency, Security, and Puzzles, 2017
2016
Rigorous development of component-based systems using component metadata and patterns.
Formal Aspects Comput., 2016
Formal Aspects Comput., 2016
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016
Proceedings of the Formal Methods and Software Engineering, 2016
2015
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015
2014
Softw. Test. Verification Reliab., 2014
NAT2TEST<sub>SCR</sub>: Test case generation from natural language requirements based on SCR specifications.
Sci. Comput. Program., 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
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014
Proceedings of the Formal Methods and Software Engineering, 2014
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
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
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
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013
2012
Theor. Comput. Sci., 2012
Int. J. Softw. Tools Technol. Transf., 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
Proceedings of the Sixth Brazilian Symposium on Software Components, 2012
2011
Proceedings of the Formal Methods and Software Engineering, 2011
2010
Sci. Comput. Program., 2010
Formal Aspects Comput., 2010
Formal Aspects Comput., 2010
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
Proceedings of the Formal Methods: Foundations and Applications, 2009
Proceedings of the Formal Methods: Foundations and Applications, 2009
Proceedings of the Formal Methods and Software Engineering, 2009
Proceedings of the FM 2009: Formal Methods, 2009
Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, 2009
2008
J. Braz. Comput. Soc., 2008
Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Proceedings of the Theoretical Aspects of Computing, 2008
2007
Proceedings of the Testing Techniques in Software Engineering, 2007
2006
Proceedings of the Brazilian Symposium on Formal Methods, 2006
Proceedings of the Brazilian Symposium on Formal Methods, 2006
Proceedings of the Brazilian Symposium on Formal Methods, 2006
Proceedings of the Unifying Theories of Programming, First International Symposium, 2006
Proceedings of the 20th Brazilian Symposium on Software Engineering, 2006
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006
2005
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005
2004
Formal Methods Syst. Des., 2004
Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004
Proceedings of the 18th Brazilian Symposium on Software Engineering, 2004
Proceedings of the Refinement Techniques in Software Engineering, 2004
Proceedings of the Refinement Techniques in Software Engineering, 2004
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004
A Framework for Specification and Validation of Real-Time Systems Using <i>Circus</i> Actions.
Proceedings of the Theoretical Aspects of Computing, 2004
2003
Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003
Proceedings of the FME 2003: Formal Methods, 2003
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
Proceedings of the BCS FACS Refinement Workshop 2002, 2002
Proceedings of the BCS FACS Refinement Workshop 2002, 2002
Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002
Proceedings of the Formal Methods and Software Engineering, 2002
Proceedings of the FME 2002: Formal Methods, 2002
2001
Sci. Comput. Program., 2001
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001
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
Proceedings of the FM'99 - Formal Methods, 1999
1998
Procedures and Recursion in the Refinement Calculus.
J. Braz. Comput. Soc., 1998
Proceedings of the 12th Brazilian Symposium on Software Engineering, 1998
Proceedings of the Fundamental Approaches to Software Engineering, 1998
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment.
Proceedings of the Algebraic Methodology and Software Technology, 1998
1997
AMAST Series in Computing 4, World Scientific, ISBN: 978-981-4499-92-7, 1997
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997
1996
Proceedings of the 10th Brazilian Symposium on Software Engineering, 1996
1994
Um Estudo de Caso Real em Refinamento de Especificações Formais Orientadas a Objetos.
Proceedings of the 8th Brazilian Symposium on Software Engineering, 1994
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994
Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994
1993
1990
1988
Proceedings of the 2nd Brazilian Symposium on Software Engineering, 1988