Augusto Sampaio

Proceedings of the FM 2014: Formal Methods, 2014

A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.

[BibT_eX]

[DOI]

Pedro R. G. Antonino

Proceedings of the FM 2014: Formal Methods, 2014

2013

Test case generation from natural language requirements based on SCR specifications.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Algebraic Laws for Process Subtyping.

[BibT_eX]

[DOI]

José Dihego

Pedro R. G. Antonino

Proceedings of the Formal Methods and Software Engineering, 2013

A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification.

[BibT_eX]

[DOI]

Gustavo Carvalho

Proceedings of the Formal Methods and Software Engineering, 2013

Laws of Programming for References.

[BibT_eX]

[DOI]

Giovanny Lucero

David A. Naumann

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Refactoring and representation independence for class hierarchies.

[BibT_eX]

[DOI]

David A. Naumann

Theor. Comput. Sci., 2012

Constructive model-based analysis for safety assessment.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2012

A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

A framework for monitorable services implementation.

[BibT_eX]

[DOI]

David Cardoso

Proceedings of the Sixth Brazilian Symposium on Software Components, 2012

2011

Introducing concurrency in sequential Java via laws.

[BibT_eX]

[DOI]

Rafael M. Duarte

Inf. Process. Lett., 2011

Correct hardware synthesis - An algebraic approach.

[BibT_eX]

[DOI]

Acta Informatica, 2011

Architectural Verification of Control Systems Using CSP.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Conformance notions for the coordination of interaction components.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2010

Sound refactorings.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2010

A process algebraic framework for specification and validation of real-time systems.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2010

An algebraic approach to the design of compilers for object-oriented languages.

[BibT_eX]

[DOI]

Adolfo Duran

Formal Aspects Comput., 2010

Systematic Model-Based Safety Assessment Via Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Refactoring and representation independence for class hierarchies: extended abstract.

[BibT_eX]

[DOI]

David A. Naumann

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

2009

Formalisation and Analysis of Objects as CSP Processes.

[BibT_eX]

[DOI]

Renata Kaufman

Proceedings of the Formal Methods: Foundations and Applications, 2009

A Complete Set of Object Modeling Laws for Alloy.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications, 2009

Compositional Verification of Input-Output Conformance via CSP Refinement Checking.

[BibT_eX]

[DOI]

Sidney C. Nogueira

Proceedings of the Formal Methods and Software Engineering, 2009

Systematic Development of Trustworthy Component Systems.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

Test case prioritization based on data reuse an experimental study.

[BibT_eX]

[DOI]

Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, 2009

2008

Compositional Abstraction of CSPZ Processes.

[BibT_eX]

[DOI]

Adalberto Farias

Alexandre Cabral Mota

J. Braz. Comput. Soc., 2008

Automated Formal Specification Generation and Refinement from Requirement Documents.

[BibT_eX]

[DOI]

Gustavo Cabral

J. Braz. Comput. Soc., 2008

Multiple Synchrony in MSC.

[BibT_eX]

[DOI]

Flávia Falcão

Juliano Iyoda

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008

Laws of Object-Orientation with Reference Semantics.

[BibT_eX]

[DOI]

Zhiming Liu

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Framework composition conformance via refinement checking.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Guided Test Generation from CSP Models.

[BibT_eX]

[DOI]

Sidney C. Nogueira

Proceedings of the Theoretical Aspects of Computing, 2008

2007

Automatic Test-Case Generation.

[BibT_eX]

[DOI]

Patrícia D. L. Machado

Proceedings of the Testing Techniques in Software Engineering, 2007

2006

Type Checking Circus Specifications.

[BibT_eX]

[DOI]

Manuela Xavier

Proceedings of the Brazilian Symposium on Formal Methods, 2006

Viewing CSP Specifications with UML-RT Diagrams.

[BibT_eX]

[DOI]

Patrícia Ferreira

Proceedings of the Brazilian Symposium on Formal Methods, 2006

Formal Specification Generation from Requirement Documents.

[BibT_eX]

[DOI]

Gustavo Cabral

Proceedings of the Brazilian Symposium on Formal Methods, 2006

Object-Orientation in the UTP.

[BibT_eX]

[DOI]

Thiago L. V. L. Santos

Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

Uma Extensão do RUP para Modelagem Rigorosa de Sistemas Concorrentes.

[BibT_eX]

[DOI]

Robson Godoi

Proceedings of the 20th Brazilian Symposium on Software Engineering, 2006

Transformation Laws for UML-RT.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005

Unifying classes and processes.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2005

Preface.

[BibT_eX]

[DOI]

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

A Strategy for the Formal Composition of Frameworks.

[BibT_eX]

[DOI]

Walter Mesquita

Ana Cristina Vieira de Melo

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Software test program: a software residency experience.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

A Semantics for UML-RT Active Classes via Mapping into Circus.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004

Algebraic reasoning for object-oriented programming.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2004

A Constructive Approach to Hardware/Software Partitioning.

[BibT_eX]

[DOI]

Edna Barros

Formal Methods Syst. Des., 2004

Refactoring Towards a Layered Architecture.

[BibT_eX]

[DOI]

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

RUP Based Analysis and Design with Aspects.

[BibT_eX]

[DOI]

Leonardo Cole

Eduardo Kessler Piveta

Proceedings of the 18th Brazilian Symposium on Software Engineering, 2004

Transformation Laws for Sequential Object-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the Refinement Techniques in Software Engineering, 2004

Refinement: An overview.

[BibT_eX]

[DOI]

Proceedings of the Refinement Techniques in Software Engineering, 2004

Efficient CSPZ Data Abstraction.

[BibT_eX]

[DOI]

Adalberto Farias

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

A Framework for Specification and Validation of Real-Time Systems Using Circus Actions.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2004

2003

A Refinement Strategy for Circus.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2003

Class and Capsule Refinement in UML for Real Time.

[BibT_eX]

[DOI]

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

A Strategy for Compiling Classes, Inheritance, and Dynamic Binding.

[BibT_eX]

[DOI]

Adolfo Duran

Proceedings of the FME 2003: Formal Methods, 2003

A Refinement Algebra for Object-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2003, 2003

Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets.

[BibT_eX]

[DOI]

Adnan Sherif

Sérgio Cavalcante

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002

Refactoring by Transformation.

[BibT_eX]

[DOI]

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Refinement of actions in Circus.

[BibT_eX]

[DOI]

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

JACK: A Framework for Process Algebra Implementation in Java.

[BibT_eX]

[DOI]

Leonardo Freitas

Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002

From CSP-OZ to Java with Processes.

[BibT_eX]

[DOI]

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Refinement Algebra for Formal Bytecode Generation.

[BibT_eX]

[DOI]

Adolfo Duran

Proceedings of the Formal Methods and Software Engineering, 2002

Refinement in Circus.

[BibT_eX]

[DOI]

Proceedings of the FME 2002: Formal Methods, 2002

Mechanical Abstraction of CSPZ Processes.

[BibT_eX]

[DOI]

Proceedings of the FME 2002: Formal Methods, 2002

2001

Model-checking CSP-Z: strategy, tool support and industrial application.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2001

Serialising Parallel Processes in a Hardware/Software Partitioning Context.

[BibT_eX]

[DOI]

Geraint Jones

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

An Integrated Approach to Specification and Validation of Real-Time Systems.

[BibT_eX]

[DOI]

Adnan Sherif

Sérgio Cavalcante

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

Basic Laws of ROOL: an object-oriented language.

[BibT_eX]

RITA, 2000

Algebraic derivation of an operational semantics.

[BibT_eX]

C. A. R. Hoare

Jifeng He

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.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1999

ParTS: A Partitioning Transformation System.

[BibT_eX]

[DOI]

Juliano Iyoda

Proceedings of the FM'99 - Formal Methods, 1999

1998

Procedures and Recursion in the Refinement Calculus.

[BibT_eX]

J. Braz. Comput. Soc., 1998

Model-Checking Processes with States: An Industrial Case Study.

[BibT_eX]

[DOI]

Proceedings of the 12th Brazilian Symposium on Software Engineering, 1998

Model-Checking CSP-Z.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 1998

An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

An Algebraic Approach to Compiler Design

[BibT_eX]

[DOI]

AMAST Series in Computing 4, World Scientific, ISBN: 978-981-4499-92-7, 1997

A Normal Form Reduction Strategy for Hardware/Software Partitioning.

[BibT_eX]

[DOI]

Edna Barros

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996

Mechanising the theory of intervals using OBJ3.

[BibT_eX]

[DOI]

Marcilia A. Campos

Augusto C. A. Sampaio

Alexandre H. F. Brainer

Reliab. Comput., 1996

De occam para o transputer: compilação via reescrita de termos.

[BibT_eX]

[DOI]

Renata Spencer

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.

[BibT_eX]

[DOI]

Virgínia A. O. Cordeiro

Silvio R. L. Meira

Proceedings of the 8th Brazilian Symposium on Software Engineering, 1994

From MooZ to Eiffel - A Rigorous Approach to System Development.

[BibT_eX]

[DOI]

Virgínia A. O. Cordeiro

Silvio Romero de Lemos Meira

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

Towards provably correct hardware/software partitioning using occam.

[BibT_eX]

[DOI]

Edna Barros

Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

1993

An algebraic approach to compiler design.

[BibT_eX]

[DOI]

PhD thesis, 1993

Normal Form Approach to Compiler Design.

[BibT_eX]

[DOI]

C. A. R. Hoare

Jifeng He

Acta Informatica, 1993

1990

Modular Extensions to Z.

[BibT_eX]

[DOI]