The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ana Cavalcanti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jim Woodcock, Ana Cavalcanti
    The Steam Boiler in a Unified Theory of Z and CSP. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:291-298 [Conf]
  2. Ana Cavalcanti, Phil Clayton, Colin O'Halloran
    Control Law Diagrams in Circus. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:253-268 [Conf]
  3. Ana Cavalcanti, David A. Naumann
    Forward Simulation for Data Refinement of Classes. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:471-490 [Conf]
  4. Ana Cavalcanti, David A. Naumann
    A Weakest Precondition Semantics for an Object-Oriented Language of Refinement. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1439-1459 [Conf]
  5. 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]
  6. Angela Freitas, Ana Cavalcanti
    Automatic Translation from Circus to Java. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:115-130 [Conf]
  7. Augusto Sampaio, Jim Woodcock, Ana Cavalcanti
    Refinement in Circus. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:451-470 [Conf]
  8. Jim Woodcock, Ana Cavalcanti, Leonardo Freitas
    Operational Semantics for Model Checking Circus. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:237-252 [Conf]
  9. Geber Ramalho, Flávia A. Barros, Sérgio Cavalcante, Ana Cavalcanti, Manoel Lima, Silvio Romero de Lemos Meira, Hermano Moura, Alexandre Vasconcelos
    Cyber Rally: An experience of democratic use of the internet. [Citation Graph (0, 0)][DBLP]
    HCI (2), 1999, pp:402-406 [Conf]
  10. Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
    Refinement Algebra for Formal Bytecode Generation. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:347-358 [Conf]
  11. Leo Freitas, Ana Cavalcanti, Jim Woodcock
    Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:697-716 [Conf]
  12. Angela Freitas, Carla Nascimento, Ana Cavalcanti
    A Refinement Tool for Z. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:396-415 [Conf]
  13. Marcel Oliveira, Ana Cavalcanti
    From Circus to JCSP. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:320-340 [Conf]
  14. 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]
  15. Jim Woodcock, Ana Cavalcanti
    A Tutorial Introduction to Designs in Unifying Theories of Programming. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:40-66 [Conf]
  16. Ana Cavalcanti, Augusto Sampaio
    From CSP-OZ to Java with Processes. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2002, pp:- [Conf]
  17. Jim Woodcock, Ana Cavalcanti
    A Concurrent Language for Refinement. [Citation Graph (0, 0)][DBLP]
    IWFM, 2001, pp:- [Conf]
  18. Marcel Oliveira, Manuela Xavier, Ana Cavalcanti
    Refine and Gabriel: Support for Refinement and Tactics. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:310-319 [Conf]
  19. Ana Cavalcanti, Will Harwood, Jim Woodcock
    Pointers and Records in the Unifying Theories of Programming. [Citation Graph (0, 0)][DBLP]
    UTP, 2006, pp:200-216 [Conf]
  20. Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
    Unifying Theories in ProofPower-Z. [Citation Graph (0, 0)][DBLP]
    UTP, 2006, pp:123-140 [Conf]
  21. 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]
  22. Silvio Romero de Lemos Meira, Ana Cavalcanti
    Modular Object-oriented Z Specifications. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:173-192 [Conf]
  23. Silvio Romero de Lemos Meira, Ana Cavalcanti
    MooZ Case Studies. [Citation Graph (0, 0)][DBLP]
    Object Orientation in Z, 1992, pp:37-58 [Conf]
  24. Jim Woodcock, Ana Cavalcanti
    The Semantics of Circus. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:184-203 [Conf]
  25. Ana Cavalcanti, Jim Woodcock
    A Weakest Precondition Semantics for Z. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1998, v:41, n:1, pp:1-15 [Journal]
  26. Ana Cavalcanti, Patrícia D. L. Machado
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:1-2 [Journal]
  27. 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]
  28. Ana Cavalcanti, Jim Woodcock
    Angelic Nondeterminism and Unifying Theories of Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:45-66 [Journal]
  29. 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]
  30. 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]
  31. 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]
  32. Ana Cavalcanti, Jim Woodcock
    ZRC - A Refinement Calculus for Z. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:3, pp:267-289 [Journal]
  33. Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
    ArcAngel: a Tactic Language for Refinement. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:1, pp:28-47 [Journal]
  34. Ana Cavalcanti, Jim Woodcock, Steve Dunne
    Angelic nondeterminism in the unifying theories of programming. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:3, pp:288-307 [Journal]
  35. Ana Cavalcanti, Jim Woodcock
    Predicate transformers in the semantics of Circus. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 2003, v:150, n:2, pp:85-94 [Journal]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. Ana Cavalcanti, David A. Naumann
    A Weakest Precondition Semantics for Refinement of Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:8, pp:713-728 [Journal]
  41. Ana Cavalcanti, Phil Clayton
    Verification of Control Systems using Circus. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:269-278 [Conf]
  42. Steve Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock
    A Layered Behavioural Model of Platelets. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:98-106 [Conf]
  43. Ana Cavalcanti, Marie-Claude Gaudel
    Testing for Refinement in CSP. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2007, pp:151-170 [Conf]
  44. Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
    Refinement: An overview. [Citation Graph (0, 0)][DBLP]
    PSSE, 2004, pp:1-17 [Conf]
  45. Ana Cavalcanti, Jim Woodcock
    A Tutorial Introduction to CSP in Unifying Theories of Programming. [Citation Graph (0, 0)][DBLP]
    PSSE, 2004, pp:220-268 [Conf]
  46. Manuela Xavier, Ana Cavalcanti
    Mechanised Refinement of Procedures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:63-80 [Journal]
  47. Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
    A Denotational Semantics for Circus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:107-123 [Journal]

  48. Communication Systems in ClawZ. [Citation Graph (, )][DBLP]


  49. Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. [Citation Graph (, )][DBLP]


  50. A Theory of Pointers for the UTP. [Citation Graph (, )][DBLP]


  51. Mechanised Translation of Control Law Diagrams into Circus. [Citation Graph (, )][DBLP]


  52. A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming. [Citation Graph (, )][DBLP]


  53. Encoding Circus Programs in ProofPowerZ. [Citation Graph (, )][DBLP]


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


  55. Mechanical Reasoning about Families of UTP Theories. [Citation Graph (, )][DBLP]


  56. Stateflow Diagrams in Circus. [Citation Graph (, )][DBLP]


  57. Supporting ArcAngel in ProofPower. [Citation Graph (, )][DBLP]


Search in 0.575secs, Finished in 0.576secs
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