 | 2009 |
|---|
| 51 |       | Rodrigo Ramos,
Augusto Sampaio,
Alexandre Mota:
Systematic Development of Trustworthy Component Systems.
FM 2009: 140-156 |
| 50 | | Rohit Gheyi,
Tiago Massoni,
Paulo Borba,
Augusto Sampaio:
A Complete Set of Object Modeling Laws for Alloy.
SBMF 2009: 204-219 |
| 49 | | Renata Kaufman,
Augusto Sampaio,
Alexandre Mota:
Formalisation and Analysis of Objects as CSP Processes.
SBMF 2009: 236-250 |
| 48 | | Flávia Falcão,
Juliano Iyoda,
Augusto Sampaio:
Multiple Synchrony in MSC.
Electr. Notes Theor. Comput. Sci. 240: 149-166 (2009) |
| 2008 |
|---|
| 47 | | Sidney Nogueira,
Augusto Sampaio,
Alexandre Mota:
Guided Test Generation from CSP Models.
ICTAC 2008: 258-273 |
| 46 | | Rodrigo Ramos,
Augusto Sampaio,
Alexandre Mota:
Framework composition conformance via refinement checking.
SAC 2008: 119-125 |
| 45 | | Leila Silva,
Augusto Sampaio,
Zhiming Liu:
Laws of Object-Orientation with Reference Semantics.
SEFM 2008: 217-226 |
| 44 | | Gustavo Cabral,
Augusto Sampaio:
Formal Specification Generation from Requirement Documents.
Electr. Notes Theor. Comput. Sci. 195: 171-188 (2008) |
| 43 | | Patrícia Ferreira,
Augusto Sampaio,
Alexandre Mota:
Viewing CSP Specifications with UML-RT Diagrams.
Electr. Notes Theor. Comput. Sci. 195: 57-74 (2008) |
| 42 | | Manuela Xavier,
Ana Cavalcanti,
Augusto Sampaio:
Type Checking Circus Specifications.
Electr. Notes Theor. Comput. Sci. 195: 75-93 (2008) |
| 2007 |
|---|
| 41 | | Augusto Sampaio:
Preface.
Electr. Notes Theor. Comput. Sci. 184: 1-2 (2007) |
| 2006 |
|---|
| 40 |  | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
Springer 2006 |
| 39 | | Rodrigo Ramos,
Augusto Sampaio,
Alexandre Mota:
Transformation Laws for UML-RT.
FMOODS 2006: 123-137 |
| 38 | | Thiago L. V. L. Santos,
Ana Cavalcanti,
Augusto Sampaio:
Object-Orientation in the UTP.
UTP 2006: 18-37 |
| 2005 |
|---|
| 37 | | Rodrigo Ramos,
Augusto Sampaio,
Alexandre Mota:
A Semantics for UML-RT Active Classes via Mapping into Circus.
FMOODS 2005: 99-114 |
| 36 | | Augusto Sampaio,
Carlos Albuquerque,
João Vasconcelos,
Luckerson Cruz,
Luis Figueiredo,
Sérgio Cavalcante:
Software test program: a software residency experience.
ICSE 2005: 611-612 |
| 35 | | Walter Mesquita,
Augusto Sampaio,
Ana Cristina Vieira de Melo:
A Strategy for the Formal Composition of Frameworks.
SEFM 2005: 404-413 |
| 34 | | Márcio Cornélio,
Ana Cavalcanti,
Augusto Sampaio:
Refactoring Towards a Layered Architecture.
Electr. Notes Theor. Comput. Sci. 130: 281-300 (2005) |
| 33 | | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
Unifying classes and processes.
Software and System Modeling 4(3): 277-296 (2005) |
| 2004 |
|---|
| 32 | | Adnan Sherif,
Jifeng He,
Ana Cavalcanti,
Augusto Sampaio:
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions.
ICTAC 2004: 478-493 |
| 31 | | Adalberto Farias,
Alexandre Mota,
Augusto Sampaio:
Efficient CSPZ Data Abstraction.
IFM 2004: 108-127 |
| 30 | | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
Refinement: An overview.
PSSE 2004: 1-17 |
| 29 | | Augusto Sampaio,
Paulo Borba:
Transformation Laws for Sequential Object-Oriented Programming.
PSSE 2004: 18-63 |
| 28 | | Augusto Sampaio,
Alexandre Mota,
Rodrigo Ramos:
Class and Capsule Refinement in UML for Real Time.
Electr. Notes Theor. Comput. Sci. 95: 23-51 (2004) |
| 27 | | Leila Silva,
Augusto Sampaio,
Edna Barros:
A Constructive Approach to Hardware/Software Partitioning.
Formal Methods in System Design 24(1): 45-90 (2004) |
| 26 | | Paulo Borba,
Augusto Sampaio,
Ana Cavalcanti,
Márcio Cornélio:
Algebraic reasoning for object-oriented programming.
Sci. Comput. Program. 52: 53-100 (2004) |
| 2003 |
|---|
| 25 | | Paulo Borba,
Augusto Sampaio,
Márcio Cornélio:
A Refinement Algebra for Object-Oriented Programming.
ECOOP 2003: 457-482 |
| 24 | | Adolfo Duran,
Ana Cavalcanti,
Augusto Sampaio:
A Strategy for Compiling Classes, Inheritance, and Dynamic Binding.
FME 2003: 301-320 |
| 23 | | 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: 161-180 |
| 22 | | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
A Refinement Strategy for Circus.
Formal Asp. Comput. 15(2-3): 146-181 (2003) |
| 2002 |
|---|
| 21 | | Alexandre Mota,
Paulo Borba,
Augusto Sampaio:
Mechanical Abstraction of CSPZ Processes.
FME 2002: 163-183 |
| 20 | | Augusto Sampaio,
Jim Woodcock,
Ana Cavalcanti:
Refinement in Circus.
FME 2002: 451-470 |
| 19 | | Adolfo Duran,
Ana Cavalcanti,
Augusto Sampaio:
Refinement Algebra for Formal Bytecode Generation.
ICFEM 2002: 347-358 |
| 18 | | Ana Cavalcanti,
Augusto Sampaio:
From CSP-OZ to Java with Processes.
IPDPS 2002 |
| 17 | | Márcio Cornélio,
Ana Cavalcanti,
Augusto Sampaio:
Refactoring by Transformation.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 16 | | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
Refinement of actions in Circus.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 2001 |
|---|
| 15 | | Adnan Sherif,
Augusto Sampaio,
Sérgio Cavalcante:
An Integrated Approach to Specification and Validation of Real-Time Systems.
FME 2001: 278-299 |
| 14 | | Leila Silva,
Augusto Sampaio,
Geraint Jones:
Serialising Parallel Processes in a Hardware/Software Partitioning Context.
FME 2001: 344-363 |
| 13 | | Alexandre Mota,
Augusto Sampaio:
Model-checking CSP-Z: strategy, tool support and industrial application.
Sci. Comput. Program. 40(1): 59-96 (2001) |
| 2000 |
|---|
| 12 | | C. A. R. Hoare,
Jifeng He,
Augusto Sampaio:
Algebraic derivation of an operational semantics.
Proof, Language, and Interaction 2000: 77-98 |
| 11 | | Paulo Borba,
Augusto Sampaio:
Basic Laws of ROOL: an object-oriented language.
RITA 7(1): 49-68 (2000) |
| 1999 |
|---|
| 10 | | Juliano Iyoda,
Augusto Sampaio,
Leila Silva:
ParTS: A Partitioning Transformation System.
World Congress on Formal Methods 1999: 1400-1419 |
| 9 | | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus.
Sci. Comput. Program. 33(1): 87-96 (1999) |
| 1998 |
|---|
| 8 | | Leila Silva,
Augusto Sampaio,
Edna Barros,
Juliano Iyoda:
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment.
AMAST 1998: 308-324 |
| 7 | | Alexandre Mota,
Augusto Sampaio:
Model-Checking CSP-Z.
FASE 1998: 205-220 |
| 6 | | Ana Cavalcanti,
Augusto Sampaio,
Jim Woodcock:
Procedures and Recursion in the Refinement Calculus.
J. Braz. Comp. Soc. 5(1): (1998) |
| 1997 |
|---|
| 5 | | Leila Silva,
Augusto Sampaio,
Edna Barros:
A Normal Form Reduction Strategy for Hardware/Software Partitioning.
FME 1997: 624-643 |
| 1994 |
|---|
| 4 | | Edna Barros,
Augusto Sampaio:
Towards provably correct hardware/software partitioning using occam.
CODES 1994: 210-217 |
| 3 | | Virgínia A. O. Cordeiro,
Augusto Sampaio,
Silvio Romero de Lemos Meira:
From MooZ to Eiffel - A Rigorous Approach to System Development.
FME 1994: 306-325 |
| 1993 |
|---|
| 2 | | C. A. R. Hoare,
Jifeng He,
Augusto Sampaio:
Normal Form Approach to Compiler Design.
Acta Inf. 30(8): 701-739 (1993) |
| 1990 |
|---|
| 1 | | Augusto Sampaio,
Silvio Romero de Lemos Meira:
Modular Extensions to Z.
VDM Europe 1990: 211-232 |
