引用次数
引用: 4,756
H-指数: 36
I10-指数 : 114
出版物: 242
Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
Paulo Borba , Ana Cavalcanti , Augusto Sampaio , Jim Woodcook
PSSE
4
2010
Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings
Karin Breitman , Icfem , Ana Cavalcanti
Springer
2009
FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings
Ana Cavalcanti , Dennis Dams
Springer
2009
Refinamento: a essência da engenharia de software
Ana Cavalcanti
Ciência e Cultura 55 ( 2) 33 -38
2003
A Formal Model of the Safety-Critical Java Level 2 Paradigm
Ana Cavalcanti , Andy Wellings , Matt Luckcuck
integrated formal methods 226 -241
2
2016
Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Ana Cavalcanti , Karin Breitman
2009
Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Jim Woodcock , Marie-Claude Gaudel , David Deharbe , Ana Cavalcanti
2010
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems
Laure Petrucci , Ana Cavalcanti , Cristina Seceleanu
Ercim News ( 112) 47 -47
2018
Automated Verification of Reactive and Concurrent Programs by Calculation
Jim Woodcock , Ana Cavalcanti , Kangfeng Ye , Simon Foster
The Journal of Logic and Algebraic Programming 121 100681
1
2021
Sound reasoning in tock -CSP
Ana Cavalcanti , James Baxter , Pedro Ribeiro
Acta Informatica 1 -38
1
2021
RoboStar modelling stack: tackling the reality gap
Ana Cavalcanti
Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems
2021
Control Law Diagrams in Circus
Ana Cavalcanti , Phil Clayton , Colin O’Halloran
FM 2005: Formal Methods 253 -268
36
2005
Operational Semantics for Model Checking Circus
Jim Woodcock , Ana Cavalcanti , Leonardo Freitas
FM 2005: Formal Methods 237 -252
15
2005
Avoiding useless mutants
Leonardo Fernandes , Márcio Ribeiro , Luiz Carvalho , Rohit Gheyi
Sigplan Notices 52 ( 12) 187 -198
16
2017
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
Simon Foster , Kangfeng Ye , Ana Cavalcanti , Jim Woodcock
Relational and Algebraic Methods in Computer Science 205 -224
7
2018
Formal mutation testing for Circus
Alex Alberto , Ana Cavalcanti , Marie-Claude Gaudel , Adenilso Simão
Information & Software Technology 81 ( 81) 131 -153
8
2017
Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment
Leo Freitas , James Baxter , Ana Cavalcanti , Andy Wellings
integrated formal methods 63 -78
2
2016
Unifying theories in ProofPower-Z
Marcel Oliveira , Ana Cavalcanti , Jim Woodcock
Formal Aspects of Computing 25 ( 1) 133 -158
22
2013
A UTP semantics for Circus
Marcel Oliveira , Ana Cavalcanti , Jim Woodcock
Formal Aspects of Computing 21 ( 1) 3 -32
113
2009
Mechanised support for sound refinement tactics
Frank Zeyda , Marcel Oliveira , Ana Cavalcanti
Formal Aspects of Computing 24 ( 1) 127 -160
6
2012