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

Ana Cavalcanti (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Marriott, Frank Zeyda, Ana Cavalcanti: A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams. ABZ 2012: 294-307
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Zeyda, Marcel Oliveira, Ana Cavalcanti: Mechanised support for sound refinement tactics. Formal Asp. Comput. 24(1): 127-160 (2012)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Zeyda, Ana Cavalcanti: Mechanical reasoning about families of UTP theories. Sci. Comput. Program. 77(4): 444-479 (2012)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Zeyda, Ana Cavalcanti, Andy J. Wellings: The Safety-Critical Java Mission Model: A Formal Account. ICFEM 2011: 49-65
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAna Cavalcanti, Andy J. Wellings, Jim Woodcock, Kun Wei, Frank Zeyda: Safety-critical Java in Circus. JTRES 2011: 20-29
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcel Oliveira, Frank Zeyda, Ana Cavalcanti: A tactic language for refinement of state-rich concurrent specifications. Sci. Comput. Program. 76(9): 792-833 (2011)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Vernon, Frank Zeyda, Ana Cavalcanti: Communication Systems in ClawZ. ASM 2010: 334-348
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Zeyda, Ana Cavalcanti: Automating Refinement of Circus Programs. SBMF 2010: 274-290
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Zeyda, Ana Cavalcanti: Mechanised Translation of Control Law Diagrams into Circus. IFM 2009: 151-166
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Zeyda, Ana Cavalcanti: Mechanical Reasoning about Families of UTP Theories. Electr. Notes Theor. Comput. Sci. 240: 239-257 (2009)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Zeyda, Marcel Oliveira, Ana Cavalcanti: Supporting ArcAngel in ProofPower. Electr. Notes Theor. Comput. Sci. 259: 225-243 (2009)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Zeyda, Ana Cavalcanti: Encoding Circus Programs in ProofPowerZ. UTP 2008: 218-237

Selection of 12 from 88 records - Ana Cavalcanti has 45 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page