| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rafael Duarte, Alexandre Mota, Augusto Sampaio |
Introducing concurrency in sequential Java via laws.  |
Inf. Process. Lett.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Ignacio Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda |
Correct hardware synthesis - An algebraic approach. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo |
Architectural Verification of Control Systems Using CSP. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan Sherif, Ana Cavalcanti, Jifeng He, Augusto Sampaio |
A process algebraic framework for specification and validation of real-time systems. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adolfo Duran, Ana Cavalcanti, Augusto Sampaio |
An algebraic approach to the design of compilers for object-oriented languages. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota |
Conformance notions for the coordination of interaction components. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio |
Sound refactorings. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.) |
Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures |
PSSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Julio Buzzi |
Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Flávia Falcão, Juliano Iyoda, Augusto Sampaio |
Multiple Synchrony in MSC. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Augusto Sampaio, Sidney Nogueira, Alexandre Mota |
Compositional Verification of Input-Output Conformance via CSP Refinement Checking. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio |
A Complete Set of Object Modeling Laws for Alloy. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Renata Kaufman, Augusto Sampaio, Alexandre Mota |
Formalisation and Analysis of Objects as CSP Processes. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
Design Pattern, CSP, Object-Z, Object-Oriented Specification |
| 1 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota |
Systematic Development of Trustworthy Component Systems. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Lima, Juliano Iyoda, Augusto Sampaio, Eduardo Aranha |
Test case prioritization based on data reuse an experimental study. |
ESEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adalberto Farias, Alexandre Cabral Mota, Augusto Sampaio |
Compositional Abstraction of CSPZ Processes. |
J. Braz. Comp. Soc. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Cabral, Augusto Sampaio |
Automated Formal Specification Generation and Refinement from Requirement Documents. |
J. Braz. Comp. Soc. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuela Xavier, Ana Cavalcanti, Augusto Sampaio |
Type Checking Circus Specifications. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Cabral, Augusto Sampaio |
Formal Specification Generation from Requirement Documents. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrícia Ferreira, Augusto Sampaio, Alexandre Mota |
Viewing CSP Specifications with UML-RT Diagrams. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leila Silva, Augusto Sampaio, Zhiming Liu |
Laws of Object-Orientation with Reference Semantics. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidney Nogueira, Augusto Sampaio, Alexandre Mota |
Guided Test Generation from CSP Models. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota |
Framework composition conformance via refinement checking. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
conformance notions, framework composition, refinement, CSP |
| 1 | Augusto Sampaio |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrícia Machado, Augusto Sampaio |
Automatic Test-Case Generation. |
PSSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota |
Transformation Laws for UML-RT. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio |
Object-Orientation in the UTP. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.) |
Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures |
PSSE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ana Cavalcanti, Augusto Sampaio, Jim Woodcock |
Unifying classes and processes. |
Software and System Modeling |
2005 |
DBLP DOI BibTeX RDF |
Integration, Refinement, CSP, Z |
| 1 | Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio |
Refactoring Towards a Layered Architecture. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota |
A Semantics for UML-RT Active Classes via Mapping into Circus. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
model transformations, method integration, UML-RT, Circus |
| 1 | Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo |
A Strategy for the Formal Composition of Frameworks. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Augusto Sampaio, Carlos Albuquerque, João Vasconcelos, Luckerson Cruz, Luis Figueiredo, Sérgio Cavalcante |
Software test program: a software residency experience. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
software residency, training experience, software engineering |
| 1 | Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio |
Algebraic reasoning for object-oriented programming. |
Sci. Comput. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Augusto Sampaio, Alexandre Mota, Rodrigo Ramos |
Class and Capsule Refinement in UML for Real Time. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Leila Silva, Augusto Sampaio, Edna Barros |
A Constructive Approach to Hardware/Software Partitioning. |
Formal Methods in System Design |
2004 |
DBLP DOI BibTeX RDF |
formal verification, co-design, hardware/software partitioning, occam, algebraic laws |
| 1 | Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio |
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
Formal methods integration, real-time systems, formal verification |
| 1 | Adalberto Farias, Alexandre Mota, Augusto Sampaio |
Efficient CSPZ Data Abstraction. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
Integrated formalism, CSPZ, Java, model checking, verification, specification, tool support, data abstraction |
| 1 | Ana Cavalcanti, Augusto Sampaio, Jim Woodcock |
Refinement: An overview. |
PSSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Augusto Sampaio, Paulo Borba |
Transformation Laws for Sequential Object-Oriented Programming. |
PSSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Augusto Sampaio, Jim Woodcock |
A Refinement Strategy for Circus. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Concurrency, CSP, Z, Program development |
| 1 | Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante |
Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
Real-time Systems, Case Studies, Z, Time CSP |
| 1 | Adolfo Duran, Ana Cavalcanti, Augusto Sampaio |
A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. |
FME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Borba, Augusto Sampaio, Márcio Cornélio |
A Refinement Algebra for Object-Oriented Programming. |
ECOOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio |
Refactoring by Transformation. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Augusto Sampaio, Jim Woodcock |
Refinement of actions in Circus. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Adolfo Duran, Ana Cavalcanti, Augusto Sampaio |
Refinement Algebra for Formal Bytecode Generation. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Augusto Sampaio |
From CSP-OZ to Java with Processes. (PDF / PS) |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
refinement calculi, concurrency, program development |
| 1 | Alexandre Mota, Paulo Borba, Augusto Sampaio |
Mechanical Abstraction of CSPZ Processes. |
FME |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Augusto Sampaio, Jim Woodcock, Ana Cavalcanti |
Refinement in Circus. |
FME |
2002 |
DBLP DOI BibTeX RDF |
unifying theories of programming, distribution, CSP, Z |
| 1 | Alexandre Mota, Augusto Sampaio |
Model-checking CSP-Z: strategy, tool support and industrial application. |
Sci. Comput. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Leila Silva, Augusto Sampaio, Geraint Jones |
Serialising Parallel Processes in a Hardware/Software Partitioning Context. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante |
An Integrated Approach to Specification and Validation of Real-Time Systems. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Borba, Augusto Sampaio |
Basic Laws of ROOL: an object-oriented language. |
RITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | C. A. R. Hoare, Jifeng He, Augusto Sampaio |
Algebraic derivation of an operational semantics. |
Proof, Language, and Interaction |
2000 |
DBLP BibTeX RDF |
|
| 1 | Ana Cavalcanti, Augusto Sampaio, Jim Woodcock |
An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus. |
Sci. Comput. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliano Iyoda, Augusto Sampaio, Leila Silva |
ParTS: A Partitioning Transformation System. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti, Augusto Sampaio, Jim Woodcock |
Procedures and Recursion in the Refinement Calculus. |
J. Braz. Comp. Soc. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Leila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda |
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Mota, Augusto Sampaio |
Model-Checking CSP-Z. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Leila Silva, Augusto Sampaio, Edna Barros |
A Normal Form Reduction Strategy for Hardware/Software Partitioning. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgínia A. O. Cordeiro, Augusto Sampaio, Silvio Romero de Lemos Meira |
From MooZ to Eiffel - A Rigorous Approach to System Development. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Edna Barros, Augusto Sampaio |
Towards provably correct hardware/software partitioning using occam. |
CODES |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | C. A. R. Hoare, Jifeng He, Augusto Sampaio |
Normal Form Approach to Compiler Design. |
Acta Inf. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Augusto Sampaio, Silvio Romero de Lemos Meira |
Modular Extensions to Z. |
VDM Europe |
1990 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")