引用次数
引用: 4,756
H-指数: 36
I10-指数 : 114
出版物: 242
From control law diagrams to Ada via Circus
Ana Cavalcanti , Phil Clayton , Colin O’Halloran
Formal Aspects of Computing 23 ( 4) 465 -512
29
2011
A Refinement Strategy for Circus
Ana Cavalcanti , Augusto Sampaio , Jim Woodcock
Formal Aspects of Computing 15 ( 2-3) 146 -181
107
2003
ArcAngel: a Tactic Language for Refinement
Marcel Oliveira , Ana Cavalcanti , Jim Woodcock
Formal Aspects of Computing 15 ( 1) 28 -47
29
2003
An algebraic approach to the design of compilers for object-oriented languages
Adolfo Duran , Ana Cavalcanti , Augusto Sampaio
Formal Aspects of Computing 22 ( 5) 489 -535
6
2010
A process algebraic framework for specification and validation of real-time systems
Adnan Sherif , Ana Cavalcanti , He Jifeng , Augusto Sampaio
Formal Aspects of Computing 22 ( 2) 153 -191
46
2010
Angelic nondeterminism in the unifying theories of programming
Ana Cavalcanti , Jim Woodcock , Steve Dunne
Formal Aspects of Computing 18 ( 3) 288 -307
24
2006
Laws of mission-based programming
Frank Zeyda , Ana Cavalcanti
Formal Aspects of Computing 27 ( 2) 423 -472
1
2015
The Safety-Critical Java memory model formalised
Ana Cavalcanti , Andy Wellings , Jim Woodcock
Formal Aspects of Computing 25 ( 1) 37 -57
15
2013
Test-data generation for control coverage by proof
Ana Cavalcanti , Steve King , Colin O’Halloran , Jim Woodcock
Formal Aspects of Computing 26 ( 4) 795 -823
1
2014
Refinement-based verification of implementations of Stateflow charts
Alvaro Miyazawa , Ana Cavalcanti
Formal Aspects of Computing 26 ( 2) 367 -405
3
2014
Modelling timed reactive systems from natural-language requirements
Gustavo Carvalho , Ana Cavalcanti , Augusto Sampaio
Formal Aspects of Computing 28 ( 5) 725 -765
6
2016
ZRC --- A Refinement Calculus for Z
Ana Cavalcanti , Jim Woodcock
Formal Aspects of Computing 10 ( 3) 267 -289
49
1998
Inputs and Outputs in CSP: A Model and a Testing Theory
Ana Cavalcanti , Robert M. Hierons , Sidney Nogueira
ACM Transactions on Computational Logic 21 ( 3) 1 -53
2020
Testing for refinement in CSP
Ana Cavalcanti , Marie-Claude Gaudel
formal methods 4789 151 -170
29
2007
The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada
Neeraj Kumar Singh , Andy Wellings , Ana Cavalcanti ,
java technologies for real-time and embedded systems 62 -71
20
2012
Programming Phase: Formal Methods
Richard F. Paige , Jim Woodcock , Phillip J. Brooke , Ana Cavalcanti
Encyclopedia of Software Engineering 772 -785
2010
Refinement of Actions in Circus
Ana Cavalcanti , Augusto Sampaio , Jim Woodcock
Electronic Notes in Theoretical Computer Science 70 ( 3) 132 -162
15
2002
Refactoring by Transformation
Márcio Cornélio , Ana Cavalcanti , Augusto Sampaio
Electronic Notes in Theoretical Computer Science 70 ( 3) 311 -330
14
2002
Formal Refinement in SysML
Alvaro Miyazawa , Ana Cavalcanti
integrated formal methods 155 -170
5
2014
Safety-critical Java in Circus
Ana Cavalcanti , Andy Wellings , Jim Woodcock , Kun Wei
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems - JTRES '11 20 -29
16
2011