The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Augusto Sampaio: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Leila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda
    An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:308-324 [Conf]
  2. Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante
    Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:161-180 [Conf]
  3. Edna Barros, Augusto Sampaio
    Towards provably correct hardware/software partitioning using occam. [Citation Graph (0, 0)][DBLP]
    CODES, 1994, pp:210-217 [Conf]
  4. Paulo Borba, Augusto Sampaio, Márcio Cornélio
    A Refinement Algebra for Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2003, pp:457-482 [Conf]
  5. Alexandre Mota, Augusto Sampaio
    Model-Checking CSP-Z. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:205-220 [Conf]
  6. Virgínia A. O. Cordeiro, Augusto Sampaio, Silvio Romero de Lemos Meira
    From MooZ to Eiffel - A Rigorous Approach to System Development. [Citation Graph (0, 0)][DBLP]
    FME, 1994, pp:306-325 [Conf]
  7. Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
    A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:301-320 [Conf]
  8. Juliano Iyoda, Augusto Sampaio, Leila Silva
    ParTS: A Partitioning Transformation System. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1400-1419 [Conf]
  9. Alexandre Mota, Paulo Borba, Augusto Sampaio
    Mechanical Abstraction of CSPZ Processes. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:163-183 [Conf]
  10. Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante
    An Integrated Approach to Specification and Validation of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:278-299 [Conf]
  11. Leila Silva, Augusto Sampaio, Edna Barros
    A Normal Form Reduction Strategy for Hardware/Software Partitioning. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:624-643 [Conf]
  12. Leila Silva, Augusto Sampaio, Geraint Jones
    Serialising Parallel Processes in a Hardware/Software Partitioning Context. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:344-363 [Conf]
  13. Augusto Sampaio, Silvio Romero de Lemos Meira
    Modular Extensions to Z. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1990, pp:211-232 [Conf]
  14. Augusto Sampaio, Jim Woodcock, Ana Cavalcanti
    Refinement in Circus. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:451-470 [Conf]
  15. Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
    A Semantics for UML-RT Active Classes via Mapping into Circus. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:99-114 [Conf]
  16. Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
    Transformation Laws for UML-RT. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:123-137 [Conf]
  17. Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
    Refinement Algebra for Formal Bytecode Generation. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:347-358 [Conf]
  18. Augusto Sampaio, Carlos Albuquerque, Joåo Vasconcelos, Luckerson Cruz, Luis Figueiredo, Sérgio Cavalcante
    Software test program: a software residency experience. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:611-612 [Conf]
  19. Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio
    A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:478-493 [Conf]
  20. Adalberto Farias, Alexandre Mota, Augusto Sampaio
    Efficient CSPZ Data Abstraction. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:108-127 [Conf]
  21. Ana Cavalcanti, Augusto Sampaio
    From CSP-OZ to Java with Processes. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2002, pp:- [Conf]
  22. Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo
    A Strategy for the Formal Composition of Frameworks. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:404-413 [Conf]
  23. Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio
    Object-Orientation in the UTP. [Citation Graph (0, 0)][DBLP]
    UTP, 2006, pp:18-37 [Conf]
  24. C. A. R. Hoare, Jifeng He, Augusto Sampaio
    Normal Form Approach to Compiler Design. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1993, v:30, n:8, pp:701-739 [Journal]
  25. Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
    Refinement of actions in Circus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  26. Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
    Refactoring by Transformation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  27. Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
    Refactoring Towards a Layered Architecture. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:281-300 [Journal]
  28. Augusto Sampaio, Alexandre Mota, Rodrigo Ramos
    Class and Capsule Refinement in UML for Real Time. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:23-51 [Journal]
  29. Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
    A Refinement Strategy for Circus. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:2-3, pp:146-181 [Journal]
  30. Leila Silva, Augusto Sampaio, Edna Barros
    A Constructive Approach to Hardware/Software Partitioning. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:24, n:1, pp:45-90 [Journal]
  31. Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
    Procedures and Recursion in the Refinement Calculus. [Citation Graph (0, 0)][DBLP]
    J. Braz. Comp. Soc., 1998, v:5, n:1, pp:- [Journal]
  32. Paulo Borba, Augusto Sampaio
    Basic Laws of ROOL: an object-oriented language. [Citation Graph (0, 0)][DBLP]
    RITA, 2000, v:7, n:1, pp:49-68 [Journal]
  33. Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio
    Algebraic reasoning for object-oriented programming. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:52, n:, pp:53-100 [Journal]
  34. Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
    An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1999, v:33, n:1, pp:87-96 [Journal]
  35. Alexandre Mota, Augusto Sampaio
    Model-checking CSP-Z: strategy, tool support and industrial application. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:40, n:1, pp:59-96 [Journal]
  36. Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
    Unifying classes and processes. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2005, v:4, n:3, pp:277-296 [Journal]
  37. Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
    Refinement: An overview. [Citation Graph (0, 0)][DBLP]
    PSSE, 2004, pp:1-17 [Conf]
  38. Augusto Sampaio, Paulo Borba
    Transformation Laws for Sequential Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    PSSE, 2004, pp:18-63 [Conf]
  39. Augusto Sampaio
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:1-2 [Journal]

  40. Algebraic derivation of an operational semantics. [Citation Graph (, )][DBLP]


  41. Systematic Development of Trustworthy Component Systems. [Citation Graph (, )][DBLP]


  42. Compositional Verification of Input-Output Conformance via CSP Refinement Checking. [Citation Graph (, )][DBLP]


  43. Guided Test Generation from CSP Models. [Citation Graph (, )][DBLP]


  44. Framework composition conformance via refinement checking. [Citation Graph (, )][DBLP]


  45. Laws of Object-Orientation with Reference Semantics. [Citation Graph (, )][DBLP]


  46. Automatic Test-Case Generation. [Citation Graph (, )][DBLP]


  47. Test case prioritization based on data reuse an experimental study. [Citation Graph (, )][DBLP]


  48. Formalisation and Analysis of Objects as CSP Processes. [Citation Graph (, )][DBLP]


  49. A Complete Set of Object Modeling Laws for Alloy. [Citation Graph (, )][DBLP]


  50. Formal Specification Generation from Requirement Documents. [Citation Graph (, )][DBLP]


  51. Type Checking Circus Specifications. [Citation Graph (, )][DBLP]


  52. Viewing CSP Specifications with UML-RT Diagrams. [Citation Graph (, )][DBLP]


  53. Multiple Synchrony in MSC. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002