Travelled to:1 × Canada
1 × China
1 × Denmark
1 × Ireland
1 × Singapore
2 × Germany
3 × France
3 × Italy
3 × United Kingdom
Collaborated with:J.Woodcock A.Sampaio D.A.Naumann M.Gaudel R.M.Hierons F.Zeyda C.Marriott A.Miyazawa A.Freitas A.J.Wellings P.Clayton C.O'Halloran L.Freitas M.Oliveira M.Xavier A.Duran F.A.Barros T.L.V.L.Santos G.Carvalho A.Carvalho A.Mota G.Ramalho S.Cavalcante M.Lima S.R.d.L.Meira H.P.Moura A.Vasconcelos L.Fernandes M.Ribeiro L.Carvalho R.Gheyi M.Mongiovi A.L.M.Santos F.C.Ferrari J.C.Maldonado
Talks about:circus (6) refin (6) test (5) base (3) csp (3) translat (2) languag (2) diagram (2) control (2) theori (2)
Person: Ana Cavalcanti
DBLP: Cavalcanti:Ana
Facilitated 1 volumes:
EdContributed to:
2015
20142014
201420132011
201120092006200520042004200320021999
1999
2017Wrote 20 papers:
- SEFM-2015-CarvalhoBCCMS #csp #natural language #requirements #testing
- NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP (GC, FAB, AC, AC, AM, AS), pp. 283–290.
- FASE-2014-CavalcantiG #data flow #testing
- Data Flow Coverage for Circus-Based Testing (AC, MCG), pp. 415–429.
- FM-2014-MarriottC #named
- SCJ: Memory-Safety Checking without Annotations (CM, AC), pp. 465–480.
- FM-2014-ZeydaSCS #composition #higher-order #object-oriented
- A Modular Theory of Object Orientation in Higher-Order UTP (FZ, TLVLS, AC, AS), pp. 627–642.
- IFM-2014-MiyazawaC #refinement
- Formal Refinement in SysML (AM, AC), pp. 155–170.
- FASE-2013-CavalcantiH #csp #testing
- Testing with Inputs and Outputs in CSP (AC, RMH), pp. 359–374.
- FM-2011-CavalcantiWW #formal method #java #memory management #safety
- The Safety-Critical Java Memory Model: A Formal Account (AC, AJW, JW), pp. 246–261.
- ICTSS-2011-CavalcantiGH #consistency #csp #distributed #testing
- Conformance Relations for Distributed Testing Based on CSP (AC, MCG, RMH), pp. 48–63.
- IFM-2009-ZeydaC #diagrams
- Mechanised Translation of Control Law Diagrams into Circus (FZ, AC), pp. 151–166.
- FM-2006-FreitasC #automation #java
- Automatic Translation from Circus to Java (AF, AC), pp. 115–130.
- FM-2005-CavalcantiCO #diagrams
- Control Law Diagrams in Circus (AC, PC, CO), pp. 253–268.
- FM-2005-WoodcockCF #model checking #semantics
- Operational Semantics for Model Checking Circus (JW, AC, LF), pp. 237–252.
- IFM-2004-WoodcockC #design #programming #tutorial
- A Tutorial Introduction to Designs in Unifying Theories of Programming (JW, AC), pp. 40–66.
- SEFM-2004-OliveiraXC #refinement
- Refine and Gabriel: Support for Refinement and Tactics (MO, MX, AC), pp. 310–319.
- FME-2003-DuranCS #compilation #inheritance
- A Strategy for Compiling Classes, Inheritance, and Dynamic Binding (AD, AC, AS), pp. 301–320.
- FME-2002-CavalcantiN #refinement #simulation
- Forward Simulation for Data Refinement of Classes (AC, DAN), pp. 471–490.
- FME-2002-SampaioWC #refinement
- Refinement in Circus (AS, JW, AC), pp. 451–470.
- FM-v2-1999-CavalcantiN #object-oriented #refinement #semantics
- A Weakest Precondition Semantics for an Object-Oriented Language of Refinement (AC, DAN), pp. 1439–1459.
- HCI-CCAD-1999-RamalhoBCCLMMV #experience #internet #using
- Cyber Rally: An experience of democratic use of the internet (GR, FAB, SC, AC, ML, SRdLM, HPM, AV), pp. 402–406.
- GPCE-2017-FernandesRCGMSC
- Avoiding useless mutants (LF, MR, LC, RG, MM, ALMS, AC, FCF, JCM), pp. 187–198.