Augusto Sampaio

Gustavo Carvalho, Diogo Falcão, Flávia A. Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn: Test case generation from natural language requirements based on SCR specifications. SAC 2013: 1217-1222

Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Edson H. Watanabe: Constructive model-based analysis for safety assessment. STTT 14(6): 673-702 (2012)

David A. Naumann, Augusto Sampaio, Leila Silva: Refactoring and representation independence for class hierarchies. Theor. Comput. Sci. 433: 60-97 (2012)

David Cardoso, Augusto Sampaio: A framework for monitorable services implementation. SBCARS 2012: 91-100

Gustavo Carvalho, Diogo Falcão, Alexandre Mota, Augusto Sampaio: A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications. SBMF 2012: 67-82

Juan Ignacio Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda: Correct hardware synthesis - An algebraic approach. Acta Inf. 48(7-8): 363-396 (2011)

Rafael Duarte, Alexandre Mota, Augusto Sampaio: Introducing concurrency in sequential Java via laws. Inf. Process. Lett. 111(3): 129-134 (2011)

Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo: Architectural Verification of Control Systems Using CSP. ICFEM 2011: 323-339

Adnan Sherif, Ana Cavalcanti, Jifeng He, Augusto Sampaio: A process algebraic framework for specification and validation of real-time systems. Formal Asp. Comput. 22(2): 153-191 (2010)

Adolfo Duran, Ana Cavalcanti, Augusto Sampaio: An algebraic approach to the design of compilers for object-oriented languages. Formal Asp. Comput. 22(5): 489-535 (2010)

Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio: Sound refactorings. Sci. Comput. Program. 75(3): 106-133 (2010)

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: Conformance notions for the coordination of interaction components. Sci. Comput. Program. 75(5): 350-373 (2010)

Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Julio Buzzi: Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. ISoLA (1) 2010: 625-639

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. Lecture Notes in Computer Science 6153, Springer 2010, isbn 978-3-642-14334-2

Flávia Falcão, Juliano Iyoda, Augusto Sampaio: Multiple Synchrony in MSC. Electr. Notes Theor. Comput. Sci. 240: 149-166 (2009)

Lucas Lima, Juliano Iyoda, Augusto Sampaio, Eduardo Aranha: Test case prioritization based on data reuse an experimental study. ESEM 2009: 279-290

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: Systematic Development of Trustworthy Component Systems. FM 2009: 140-156

Augusto Sampaio, Sidney Nogueira, Alexandre Mota: Compositional Verification of Input-Output Conformance via CSP Refinement Checking. ICFEM 2009: 20-48

Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio: A Complete Set of Object Modeling Laws for Alloy. SBMF 2009: 204-219

Renata Kaufman, Augusto Sampaio, Alexandre Mota: Formalisation and Analysis of Objects as CSP Processes. SBMF 2009: 236-250

Patrícia Ferreira, Augusto Sampaio, Alexandre Mota: Viewing CSP Specifications with UML-RT Diagrams. Electr. Notes Theor. Comput. Sci. 195: 57-74 (2008)

Manuela Xavier, Ana Cavalcanti, Augusto Sampaio: Type Checking Circus Specifications. Electr. Notes Theor. Comput. Sci. 195: 75-93 (2008)

Gustavo Cabral, Augusto Sampaio: Formal Specification Generation from Requirement Documents. Electr. Notes Theor. Comput. Sci. 195: 171-188 (2008)

Gustavo Cabral, Augusto Sampaio: Automated Formal Specification Generation and Refinement from Requirement Documents. J. Braz. Comp. Soc. 14(1): 87-106 (2008)

Adalberto Farias, Alexandre Cabral Mota, Augusto Sampaio: Compositional Abstraction of CSPZ Processes. J. Braz. Comp. Soc. 14(2): 23-44 (2008)

Sidney Nogueira, Augusto Sampaio, Alexandre Mota: Guided Test Generation from CSP Models. ICTAC 2008: 258-273

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: Framework composition conformance via refinement checking. SAC 2008: 119-125

Leila Silva, Augusto Sampaio, Zhiming Liu: Laws of Object-Orientation with Reference Semantics. SEFM 2008: 217-226

Augusto Sampaio: Preface. Electr. Notes Theor. Comput. Sci. 184: 1-2 (2007)

Patrícia Machado, Augusto Sampaio: Automatic Test-Case Generation. PSSE 2007: 59-103

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: Transformation Laws for UML-RT. FMOODS 2006: 123-137

Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio: Object-Orientation in the UTP. UTP 2006: 18-37

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. Lecture Notes in Computer Science 3167, Springer 2006, isbn 978-3-540-46253-8

Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio: Refactoring Towards a Layered Architecture. Electr. Notes Theor. Comput. Sci. 130: 281-300 (2005)

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Unifying classes and processes. Software and System Modeling 4(3): 277-296 (2005)

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota: A Semantics for UML-RT Active Classes via Mapping into Circus. FMOODS 2005: 99-114

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

Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo: A Strategy for the Formal Composition of Frameworks. SEFM 2005: 404-413

Augusto Sampaio, Alexandre Mota, Rodrigo Ramos: Class and Capsule Refinement in UML for Real Time. Electr. Notes Theor. Comput. Sci. 95: 23-51 (2004)

Leila Silva, Augusto Sampaio, Edna Barros: A Constructive Approach to Hardware/Software Partitioning. Formal Methods in System Design 24(1): 45-90 (2004)

Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio: Algebraic reasoning for object-oriented programming. Sci. Comput. Program. 52: 53-100 (2004)

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

Adalberto Farias, Alexandre Mota, Augusto Sampaio: Efficient CSP_Z Data Abstraction. IFM 2004: 108-127

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Refinement: An overview. PSSE 2004: 1-17

Augusto Sampaio, Paulo Borba: Transformation Laws for Sequential Object-Oriented Programming. PSSE 2004: 18-63

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: A Refinement Strategy for Circus. Formal Asp. Comput. 15(2-3): 146-181 (2003)

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

Paulo Borba, Augusto Sampaio, Márcio Cornélio: A Refinement Algebra for Object-Oriented Programming. ECOOP 2003: 457-482

Adolfo Duran, Ana Cavalcanti, Augusto Sampaio: A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. FME 2003: 301-320

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Refinement of actions in Circus. Electr. Notes Theor. Comput. Sci. 70(3): 132-162 (2002)

Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio: Refactoring by Transformation. Electr. Notes Theor. Comput. Sci. 70(3): 311-330 (2002)

Alexandre Mota, Paulo Borba, Augusto Sampaio: Mechanical Abstraction of CSP_Z Processes. FME 2002: 163-183

Augusto Sampaio, Jim Woodcock, Ana Cavalcanti: Refinement in Circus. FME 2002: 451-470

Adolfo Duran, Ana Cavalcanti, Augusto Sampaio: Refinement Algebra for Formal Bytecode Generation. ICFEM 2002: 347-358

Ana Cavalcanti, Augusto Sampaio: From CSP-OZ to Java with Processes. IPDPS 2002

Alexandre Mota, Augusto Sampaio: Model-checking CSP-Z: strategy, tool support and industrial application. Sci. Comput. Program. 40(1): 59-96 (2001)

Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante: An Integrated Approach to Specification and Validation of Real-Time Systems. FME 2001: 278-299

Leila Silva, Augusto Sampaio, Geraint Jones: Serialising Parallel Processes in a Hardware/Software Partitioning Context. FME 2001: 344-363

Paulo Borba, Augusto Sampaio: Basic Laws of ROOL: an object-oriented language. RITA 7(1): 49-68 (2000)

C. A. R. Hoare, Jifeng He, Augusto Sampaio: Algebraic derivation of an operational semantics. Proof, Language, and Interaction 2000: 77-98

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)

Juliano Iyoda, Augusto Sampaio, Leila Silva: ParTS: A Partitioning Transformation System. World Congress on Formal Methods 1999: 1400-1419

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Procedures and Recursion in the Refinement Calculus. J. Braz. Comp. Soc. 5(1) (1998)

Leila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda: An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. AMAST 1998: 308-324

Alexandre Mota, Augusto Sampaio: Model-Checking CSP-Z. FASE 1998: 205-220

Leila Silva, Augusto Sampaio, Edna Barros: A Normal Form Reduction Strategy for Hardware/Software Partitioning. FME 1997: 624-643

Edna Barros, Augusto Sampaio: Towards provably correct hardware/software partitioning using occam. CODES 1994: 210-217

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

C. A. R. Hoare, Jifeng He, Augusto Sampaio: Normal Form Approach to Compiler Design. Acta Inf. 30(8): 701-739 (1993)

Augusto Sampaio, Silvio Romero de Lemos Meira: Modular Extensions to Z. VDM Europe 1990: 211-232