dblp.uni-trier.dewww.uni-trier.de

Ana Cavalcanti Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
59EEFrank Zeyda, Ana Cavalcanti: Mechanised Translation of Control Law Diagrams into Circus. IFM 2009: 151-166
58EEAna Cavalcanti: Stateflow Diagrams in Circus. Electr. Notes Theor. Comput. Sci. 240: 23-41 (2009)
57EEFrank Zeyda, Ana Cavalcanti: Mechanical Reasoning about Families of UTP Theories. Electr. Notes Theor. Comput. Sci. 240: 239-257 (2009)
56EEMarcel Oliveira, Ana Cavalcanti, Jim Woodcock: A UTP semantics for Circus. Formal Asp. Comput. 21(1-2): 3-32 (2009)
2008
55EEWill Harwood, Ana Cavalcanti, Jim Woodcock: A Theory of Pointers for the UTP. ICTAC 2008: 141-155
54EEManuela Xavier, Ana Cavalcanti, Augusto Sampaio: Type Checking Circus Specifications. Electr. Notes Theor. Comput. Sci. 195: 75-93 (2008)
53EEKamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone: Guest Editorial. Formal Asp. Comput. 20(4-5): 349-350 (2008)
2007
52EEAna Cavalcanti, Marie-Claude Gaudel: Testing for Refinement in CSP. ICFEM 2007: 151-170
51 Emine G. Aydal, Jim Woodcock, Ana Cavalcanti: Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. ICSOFT (SE) 2007: 290-295
50EEManuela Xavier, Ana Cavalcanti: Mechanised Refinement of Procedures. Electr. Notes Theor. Comput. Sci. 184: 63-80 (2007)
49EEMarcel Oliveira, Ana Cavalcanti, Jim Woodcock: A Denotational Semantics for Circus. Electr. Notes Theor. Comput. Sci. 187: 107-123 (2007)
2006
48 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
47 Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone: Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings Springer 2006
46EEAngela Freitas, Ana Cavalcanti: Automatic Translation from Circus to Java. FM 2006: 115-130
45EEAna Cavalcanti, Phil Clayton: Verification of Control Systems using Circus. ICECCS 2006: 269-278
44EESteve Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock: A Layered Behavioural Model of Platelets. ICECCS 2006: 98-106
43EELeo Freitas, Ana Cavalcanti, Jim Woodcock: Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. ICFEM 2006: 697-716
42EEMarcel Oliveira, Ana Cavalcanti, Jim Woodcock: Unifying Theories in ProofPower-Z. UTP 2006: 123-140
41EEThiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio: Object-Orientation in the UTP. UTP 2006: 18-37
40EEAna Cavalcanti, Will Harwood, Jim Woodcock: Pointers and Records in the Unifying Theories of Programming. UTP 2006: 200-216
39EEAna Cavalcanti, Jim Woodcock, Steve Dunne: Angelic nondeterminism in the unifying theories of programming. Formal Asp. Comput. 18(3): 288-307 (2006)
38EELeo Freitas, Jim Woodcock, Ana Cavalcanti: State-rich model checking. ISSE 2(1): 49-64 (2006)
2005
37EEJim Woodcock, Ana Cavalcanti, Leonardo Freitas: Operational Semantics for Model Checking Circus. FM 2005: 237-252
36EEAna Cavalcanti, Phil Clayton, Colin O'Halloran: Control Law Diagrams in Circus. FM 2005: 253-268
35EEMárcio Cornélio, Ana Cavalcanti, Augusto Sampaio: Refactoring Towards a Layered Architecture. Electr. Notes Theor. Comput. Sci. 130: 281-300 (2005)
34EEAna Cavalcanti, Jim Woodcock: Angelic Nondeterminism and Unifying Theories of Programming. Electr. Notes Theor. Comput. Sci. 137(2): 45-66 (2005)
33EEMarcel Oliveira, Ana Cavalcanti, Jim Woodcock: Formal development of industrial-scale systems in Circus. ISSE 1(2): 125-146 (2005)
32EEAna Cavalcanti, Augusto Sampaio, Jim Woodcock: Unifying classes and processes. Software and System Modeling 4(3): 277-296 (2005)
2004
31EEMarcel Oliveira, Ana Cavalcanti: From Circus to JCSP. ICFEM 2004: 320-340
30EEAdnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio: A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. ICTAC 2004: 478-493
29EEJim Woodcock, Ana Cavalcanti: A Tutorial Introduction to Designs in Unifying Theories of Programming. IFM 2004: 40-66
28EEAna Cavalcanti, Augusto Sampaio, Jim Woodcock: Refinement: An overview. PSSE 2004: 1-17
27EEAna Cavalcanti, Jim Woodcock: A Tutorial Introduction to CSP in Unifying Theories of Programming. PSSE 2004: 220-268
26EEMarcel Oliveira, Manuela Xavier, Ana Cavalcanti: Refine and Gabriel: Support for Refinement and Tactics. SEFM 2004: 310-319
25EEAna Cavalcanti, Patrícia D. L. Machado: Preface. Electr. Notes Theor. Comput. Sci. 95: 1-2 (2004)
24EEPaulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio: Algebraic reasoning for object-oriented programming. Sci. Comput. Program. 52: 53-100 (2004)
2003
23EEAdolfo Duran, Ana Cavalcanti, Augusto Sampaio: A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. FME 2003: 301-320
22EEAngela Freitas, Carla Nascimento, Ana Cavalcanti: A Refinement Tool for Z. ICFEM 2003: 396-415
21EEMarcel Oliveira, Ana Cavalcanti, Jim Woodcock: ArcAngel: a Tactic Language for Refinement. Formal Asp. Comput. 15(1): 28-47 (2003)
20EEAna Cavalcanti, Augusto Sampaio, Jim Woodcock: A Refinement Strategy for Circus. Formal Asp. Comput. 15(2-3): 146-181 (2003)
19 Ana Cavalcanti, Jim Woodcock: Predicate transformers in the semantics of Circus. IEE Proceedings - Software 150(2): 85-94 (2003)
2002
18EEAugusto Sampaio, Jim Woodcock, Ana Cavalcanti: Refinement in Circus. FME 2002: 451-470
17EEAna Cavalcanti, David A. Naumann: Forward Simulation for Data Refinement of Classes. FME 2002: 471-490
16EEAdolfo Duran, Ana Cavalcanti, Augusto Sampaio: Refinement Algebra for Formal Bytecode Generation. ICFEM 2002: 347-358
15EEAna Cavalcanti, Augusto Sampaio: From CSP-OZ to Java with Processes. IPDPS 2002
14EEJim Woodcock, Ana Cavalcanti: The Semantics of Circus. ZB 2002: 184-203
13EEMárcio Cornélio, Ana Cavalcanti, Augusto Sampaio: Refactoring by Transformation. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
12EEAna Cavalcanti, Augusto Sampaio, Jim Woodcock: Refinement of actions in Circus. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
2001
11EEJim Woodcock, Ana Cavalcanti: The Steam Boiler in a Unified Theory of Z and CSP. APSEC 2001: 291-298
10EEJim Woodcock, Ana Cavalcanti: A Concurrent Language for Refinement. IWFM 2001
2000
9EEAna Cavalcanti, David A. Naumann: A Weakest Precondition Semantics for Refinement of Object-Oriented Programs. IEEE Trans. Software Eng. 26(8): 713-728 (2000)
1999
8 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. HCI (2) 1999: 402-406
7EEAna Cavalcanti, David A. Naumann: A Weakest Precondition Semantics for an Object-Oriented Language of Refinement. World Congress on Formal Methods 1999: 1439-1459
6 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
5 Ana Cavalcanti, Jim Woodcock: A Weakest Precondition Semantics for Z. Comput. J. 41(1): 1-15 (1998)
4EEAna Cavalcanti, Jim Woodcock: ZRC - A Refinement Calculus for Z. Formal Asp. Comput. 10(3): 267-289 (1998)
3 Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Procedures and Recursion in the Refinement Calculus. J. Braz. Comp. Soc. 5(1): (1998)
1992
2 Silvio Romero de Lemos Meira, Ana Cavalcanti: MooZ Case Studies. Object Orientation in Z 1992: 37-58
1990
1 Silvio Romero de Lemos Meira, Ana Cavalcanti: Modular Object-oriented Z Specifications. Z User Workshop 1990: 173-192

Coauthor Index

1Emine G. Aydal [51]
2Kamel Barkaoui [47] [53]
3Flávia de Almeida Barros (Flávia A. Barros) [8]
4Paulo Borba [24]
5Manfred Broy [53]
6Sérgio Cavalcante [8]
7Antonio Cerone [47] [53]
8Philip B. Clayton (Phil Clayton) [36] [45]
9Márcio Cornélio [13] [24] [35]
10Steve Dunne [39]
11Adolfo Duran [16] [23]
12Angela Freitas [22] [46]
13Leo Freitas (Leonardo Freitas) [37] [38] [43]
14Marie-Claude Gaudel [52]
15Will Harwood [40] [55]
16Jifeng He [30]
17Manoel Lima [8]
18Patrícia D. L. Machado [25]
19Silvio Romero de Lemos Meira (Silvio R. L. Meira) [1] [2] [8]
20Hermano Moura [8]
21Carla Nascimento [22]
22David A. Naumann [7] [9] [17]
23Colin O'Halloran [36]
24Marcel Oliveira [21] [26] [31] [33] [42] [49] [56]
25Geber Ramalho [8]
26Augusto Sampaio [3] [6] [12] [13] [15] [16] [18] [20] [23] [24] [28] [30] [32] [35] [41] [48] [54]
27Thiago L. V. L. Santos [41]
28Steve A. Schneider (Steve Schneider) [44]
29Adnan Sherif [30]
30Helen Treharne [44]
31Alexandre Vasconcelos [8]
32Jim Woodcock (J. C. P. Woodcock) [3] [4] [5] [6] [10] [11] [12] [14] [18] [19] [20] [21] [27] [28] [29] [32] [33] [34] [37] [38] [39] [40] [42] [43] [44] [48] [49] [51] [55] [56]
33Manuela Xavier [26] [50] [54]
34Frank Zeyda [57] [59]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)