×
Compute Distance To:
Author ID: cavalcanti.ana Recent zbMATH articles by "Cavalcanti, Ana"
Published as: Cavalcanti, Ana

Publications by Year

Citations contained in zbMATH Open

52 Publications have been cited 289 times in 106 Documents Cited by Year
A UTP semantics for Circus. Zbl 1165.68048
Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim
29
2009
A refinement strategy for Circus. Zbl 1093.68555
Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim
23
2003
The semantics of Circus. Zbl 1044.68560
Woodcock, Jim; Cavalcanti, Ana
22
2002
A process algebraic framework for specification and validation of real-time systems. Zbl 1214.68224
Sherif, Adnan; Cavalcanti, Ana; Jifeng, He; Sampaio, Augusto
13
2010
A theory of pointers for the UTP. Zbl 1161.68388
Harwood, Will; Cavalcanti, Ana; Woodcock, Jim
13
2008
Control law diagrams in Circus. Zbl 1120.68412
Cavalcanti, Ana; Clayton, Phil; O’Halloran, Colin
12
2005
Unifying theories in ProofPower-Z. Zbl 1186.68090
Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim
11
2006
ZRC – A refinement calculus for \(Z\). Zbl 0934.68062
Cavalcanti, Ana; Woodcock, Jim
9
1998
A tutorial introduction to designs in unifying theories of programming. Zbl 1196.68031
Woodcock, Jim; Cavalcanti, Ana
9
2004
Angelic nondeterminism in the unifying theories of programming. Zbl 1105.68012
Cavalcanti, Ana; Woodcock, Jim; Dunne, Steve
8
2006
From control law diagrams to Ada via Circus. Zbl 1226.68028
Cavalcanti, Ana; Clayton, Phil; O’Halloran, Colin
7
2011
Object-orientation in the UTP. Zbl 1186.68091
Santos, Thiago; Cavalcanti, Ana; Sampaio, Augusto
7
2006
ArcAngel: a tactic language for refinement. Zbl 1093.68565
Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim
7
2003
Algebraic reasoning for object-oriented programming. Zbl 1091.68027
Borba, Paulo; Sampaio, Augusto; Cavalcanti, Ana; Cornélio, Márcio
7
2004
Mechanical reasoning about families of UTP theories. Zbl 1243.68270
Zeyda, Frank; Cavalcanti, Ana
6
2012
Towards a UTP semantics for Modelica. Zbl 1483.68053
Foster, Simon; Thiele, Bernhard; Cavalcanti, Ana; Woodcock, Jim
6
2017
A weakest precondition semantics for an object-oriented language of refinement. Zbl 0953.68081
Cavalcanti, Ana; Naumann, David A.
6
1999
Refinement in Circus. Zbl 1064.68539
Sampaio, Augusto; Woodcock, Jim; Cavalcanti, Ana
6
2002
Forward simulation for data refinement of classes. Zbl 1064.68529
Cavalcanti, Ana; Naumann, David A.
6
2002
Operational semantics for model checking Circus. Zbl 1120.68423
Woodcock, Jim; Cavalcanti, Ana; Freitas, Leonardo
6
2005
The safety-critical Java memory model formalised. Zbl 1259.68029
Cavalcanti, Ana; Wellings, Andy; Woodcock, Jim
6
2013
Unifying theories in ProofPower-Z. Zbl 1259.68035
Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim
6
2013
Circus Time with reactive designs. Zbl 1452.68057
Wei, Kun; Woodcock, Jim; Cavalcanti, Ana
5
2013
A framework for specification and validation of real-time systems using Circus actions. Zbl 1108.68522
Sherif, Adnan; He, Jifeng; Cavalcanti, Ana; Sampaio, Augusto
5
2005
Pointers and records in the unifying theories of programming. Zbl 1186.68107
Cavalcanti, Ana; Harwood, Will; Woodcock, Jim
4
2006
An algebraic approach to the design of compilers for object-oriented languages. Zbl 1214.68126
Duran, Adolfo; Cavalcanti, Ana; Sampaio, Augusto
4
2010
Refactoring by transformation. Zbl 1270.68168
Cornélio, Márcio; Cavalcanti, Ana; Sampaio, Augusto
4
2002
Encoding Circus programs in ProofPower-Z. Zbl 1286.68097
Zeyda, Frank; Cavalcanti, Ana
3
2010
Unifying theories of time with generalised reactive processes. Zbl 1476.68143
Foster, Simon; Cavalcanti, Ana; Woodcock, Jim; Zeyda, Frank
3
2018
Testing for refinement in Circus. Zbl 1237.68059
Cavalcanti, Ana; Gaudel, Marie-Claude
3
2011
Type checking Circus specifications. Zbl 1279.68271
Xavier, Manuela; Cavalcanti, Ana; Sampaio, Augusto
3
2008
A tactic language for refinement of state-rich concurrent specifications. Zbl 1218.68101
Oliveira, Marcel; Zeyda, Frank; Cavalcanti, Ana
3
2011
Refactoring towards a layered architecture. Zbl 1272.68092
Cornélio, Márcio; Cavalcanti, Ana; Sampaio, Augusto
3
2005
Unifying theories of reactive design contracts. Zbl 1436.68195
Foster, Simon; Cavalcanti, Ana; Canham, Samuel; Woodcock, Jim; Zeyda, Frank
2
2020
A weakest precondition semantics for Z. Zbl 0906.68093
Cavalcanti, Ana; Woodcock, Jim
2
1998
Mechanised support for sound refinement tactics. Zbl 1242.68077
Zeyda, Frank; Oliveira, Marcel; Cavalcanti, Ana
2
2012
Refinement-oriented models of Stateflow charts. Zbl 1243.68152
Miyazawa, Alvaro; Cavalcanti, Ana
2
2012
Angelic nondeterminism and unifying theories of programming. Zbl 1276.68054
Cavalcanti, Ana; Woodcock, Jim
2
2005
A note on traces refinement and the conf relation in the unifying theories of programming. Zbl 1286.68071
Cavalcanti, Ana; Gaudel, Marie-Claude
1
2010
Compositional and local livelock analysis for CSP. Zbl 1426.68182
Conserva Filho, M. S.; Oliveira, M. V. M.; Sampaio, A.; Cavalcanti, Ana
1
2018
Calculational verification of reactive programs with reactive relations and Kleene algebra. Zbl 06975211
Foster, Simon; Ye, Kangfeng; Cavalcanti, Ana; Woodcock, Jim
1
2018
Mechanical reasoning about families of UTP theories. Zbl 1347.68098
Zeyda, Frank; Cavalcanti, Ana
1
2009
UTP designs for binary multirelations. Zbl 1432.68318
Ribeiro, Pedro; Cavalcanti, Ana
1
2014
Higher-order UTP for a theory of methods. Zbl 1452.68061
Zeyda, Frank; Cavalcanti, Ana
1
2013
CSP and Kripke structures. Zbl 1471.68135
Cavalcanti, Ana; Huang, Wen-ling; Peleska, Jan; Woodcock, Jim
1
2015
Safety-critical Java programs from Circus models. Zbl 1285.68037
Cavalcanti, Ana; Zeyda, Frank; Wellings, Andy; Woodcock, Jim; Wei, Kun
1
2013
An inconsistency in procedures, parameters, and substitution in the refinement calculus. Zbl 0942.68014
Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim
1
1999
Automating refinement of Circus programs. Zbl 1325.68163
Zeyda, Frank; Cavalcanti, Ana
1
2011
Sound refactorings. Zbl 1191.68168
Cornélio, Márcio; Cavalcanti, Ana; Sampaio, Augusto
1
2010
Refinement algebra for formal bytecode generation. Zbl 1015.68769
Duran, Adolfo; Cavalcanti, Ana; Sampaio, Augusto
1
2002
Simulink timed models for program verification. Zbl 1390.68423
Cavalcanti, Ana; Mota, Alexandre; Woodcock, Jim
1
2013
Refinement of actions in Circus. Zbl 1270.68079
Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim
1
2002
Unifying theories of reactive design contracts. Zbl 1436.68195
Foster, Simon; Cavalcanti, Ana; Canham, Samuel; Woodcock, Jim; Zeyda, Frank
2
2020
Unifying theories of time with generalised reactive processes. Zbl 1476.68143
Foster, Simon; Cavalcanti, Ana; Woodcock, Jim; Zeyda, Frank
3
2018
Compositional and local livelock analysis for CSP. Zbl 1426.68182
Conserva Filho, M. S.; Oliveira, M. V. M.; Sampaio, A.; Cavalcanti, Ana
1
2018
Calculational verification of reactive programs with reactive relations and Kleene algebra. Zbl 06975211
Foster, Simon; Ye, Kangfeng; Cavalcanti, Ana; Woodcock, Jim
1
2018
Towards a UTP semantics for Modelica. Zbl 1483.68053
Foster, Simon; Thiele, Bernhard; Cavalcanti, Ana; Woodcock, Jim
6
2017
CSP and Kripke structures. Zbl 1471.68135
Cavalcanti, Ana; Huang, Wen-ling; Peleska, Jan; Woodcock, Jim
1
2015
UTP designs for binary multirelations. Zbl 1432.68318
Ribeiro, Pedro; Cavalcanti, Ana
1
2014
The safety-critical Java memory model formalised. Zbl 1259.68029
Cavalcanti, Ana; Wellings, Andy; Woodcock, Jim
6
2013
Unifying theories in ProofPower-Z. Zbl 1259.68035
Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim
6
2013
Circus Time with reactive designs. Zbl 1452.68057
Wei, Kun; Woodcock, Jim; Cavalcanti, Ana
5
2013
Higher-order UTP for a theory of methods. Zbl 1452.68061
Zeyda, Frank; Cavalcanti, Ana
1
2013
Safety-critical Java programs from Circus models. Zbl 1285.68037
Cavalcanti, Ana; Zeyda, Frank; Wellings, Andy; Woodcock, Jim; Wei, Kun
1
2013
Simulink timed models for program verification. Zbl 1390.68423
Cavalcanti, Ana; Mota, Alexandre; Woodcock, Jim
1
2013
Mechanical reasoning about families of UTP theories. Zbl 1243.68270
Zeyda, Frank; Cavalcanti, Ana
6
2012
Mechanised support for sound refinement tactics. Zbl 1242.68077
Zeyda, Frank; Oliveira, Marcel; Cavalcanti, Ana
2
2012
Refinement-oriented models of Stateflow charts. Zbl 1243.68152
Miyazawa, Alvaro; Cavalcanti, Ana
2
2012
From control law diagrams to Ada via Circus. Zbl 1226.68028
Cavalcanti, Ana; Clayton, Phil; O’Halloran, Colin
7
2011
Testing for refinement in Circus. Zbl 1237.68059
Cavalcanti, Ana; Gaudel, Marie-Claude
3
2011
A tactic language for refinement of state-rich concurrent specifications. Zbl 1218.68101
Oliveira, Marcel; Zeyda, Frank; Cavalcanti, Ana
3
2011
Automating refinement of Circus programs. Zbl 1325.68163
Zeyda, Frank; Cavalcanti, Ana
1
2011
A process algebraic framework for specification and validation of real-time systems. Zbl 1214.68224
Sherif, Adnan; Cavalcanti, Ana; Jifeng, He; Sampaio, Augusto
13
2010
An algebraic approach to the design of compilers for object-oriented languages. Zbl 1214.68126
Duran, Adolfo; Cavalcanti, Ana; Sampaio, Augusto
4
2010
Encoding Circus programs in ProofPower-Z. Zbl 1286.68097
Zeyda, Frank; Cavalcanti, Ana
3
2010
A note on traces refinement and the conf relation in the unifying theories of programming. Zbl 1286.68071
Cavalcanti, Ana; Gaudel, Marie-Claude
1
2010
Sound refactorings. Zbl 1191.68168
Cornélio, Márcio; Cavalcanti, Ana; Sampaio, Augusto
1
2010
A UTP semantics for Circus. Zbl 1165.68048
Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim
29
2009
Mechanical reasoning about families of UTP theories. Zbl 1347.68098
Zeyda, Frank; Cavalcanti, Ana
1
2009
A theory of pointers for the UTP. Zbl 1161.68388
Harwood, Will; Cavalcanti, Ana; Woodcock, Jim
13
2008
Type checking Circus specifications. Zbl 1279.68271
Xavier, Manuela; Cavalcanti, Ana; Sampaio, Augusto
3
2008
Unifying theories in ProofPower-Z. Zbl 1186.68090
Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim
11
2006
Angelic nondeterminism in the unifying theories of programming. Zbl 1105.68012
Cavalcanti, Ana; Woodcock, Jim; Dunne, Steve
8
2006
Object-orientation in the UTP. Zbl 1186.68091
Santos, Thiago; Cavalcanti, Ana; Sampaio, Augusto
7
2006
Pointers and records in the unifying theories of programming. Zbl 1186.68107
Cavalcanti, Ana; Harwood, Will; Woodcock, Jim
4
2006
Control law diagrams in Circus. Zbl 1120.68412
Cavalcanti, Ana; Clayton, Phil; O’Halloran, Colin
12
2005
Operational semantics for model checking Circus. Zbl 1120.68423
Woodcock, Jim; Cavalcanti, Ana; Freitas, Leonardo
6
2005
A framework for specification and validation of real-time systems using Circus actions. Zbl 1108.68522
Sherif, Adnan; He, Jifeng; Cavalcanti, Ana; Sampaio, Augusto
5
2005
Refactoring towards a layered architecture. Zbl 1272.68092
Cornélio, Márcio; Cavalcanti, Ana; Sampaio, Augusto
3
2005
Angelic nondeterminism and unifying theories of programming. Zbl 1276.68054
Cavalcanti, Ana; Woodcock, Jim
2
2005
A tutorial introduction to designs in unifying theories of programming. Zbl 1196.68031
Woodcock, Jim; Cavalcanti, Ana
9
2004
Algebraic reasoning for object-oriented programming. Zbl 1091.68027
Borba, Paulo; Sampaio, Augusto; Cavalcanti, Ana; Cornélio, Márcio
7
2004
A refinement strategy for Circus. Zbl 1093.68555
Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim
23
2003
ArcAngel: a tactic language for refinement. Zbl 1093.68565
Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim
7
2003
The semantics of Circus. Zbl 1044.68560
Woodcock, Jim; Cavalcanti, Ana
22
2002
Refinement in Circus. Zbl 1064.68539
Sampaio, Augusto; Woodcock, Jim; Cavalcanti, Ana
6
2002
Forward simulation for data refinement of classes. Zbl 1064.68529
Cavalcanti, Ana; Naumann, David A.
6
2002
Refactoring by transformation. Zbl 1270.68168
Cornélio, Márcio; Cavalcanti, Ana; Sampaio, Augusto
4
2002
Refinement algebra for formal bytecode generation. Zbl 1015.68769
Duran, Adolfo; Cavalcanti, Ana; Sampaio, Augusto
1
2002
Refinement of actions in Circus. Zbl 1270.68079
Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim
1
2002
A weakest precondition semantics for an object-oriented language of refinement. Zbl 0953.68081
Cavalcanti, Ana; Naumann, David A.
6
1999
An inconsistency in procedures, parameters, and substitution in the refinement calculus. Zbl 0942.68014
Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim
1
1999
ZRC – A refinement calculus for \(Z\). Zbl 0934.68062
Cavalcanti, Ana; Woodcock, Jim
9
1998
A weakest precondition semantics for Z. Zbl 0906.68093
Cavalcanti, Ana; Woodcock, Jim
2
1998
all top 5

Cited by 156 Authors

31 Cavalcanti, Ana
21 Woodcock, James C. P.
12 Zeyda, Frank
8 Foster, Simon
6 Sampaio, Augusto C. A.
5 Oliveira, Marcel
4 Butterfield, Andrew
4 Liu, Zhiming
4 Naumann, David A.
4 Wehrheim, Heike
4 Zhu, Huibiao
3 Borba, Paulo
3 Brooke, Phillip J.
3 Gheyi, Rohit
3 Guttmann, Walter
3 Hayes, Ian J.
3 He, Jifeng
3 Qin, Shengchao
3 Wei, Kun
3 Xie, Wanling
2 Aspinall, David
2 Bauer, Sebastian S.
2 Burns, Alan D.
2 Colvin, Robert J.
2 Cornélio, Márcio
2 De Oliveira, Diego Caminha B.
2 Déharbe, David
2 Dong, JinSong
2 Fontaine, Pascal
2 Freitas, Leo
2 Gaudel, Marie-Claude
2 Gleirscher, Mario
2 Hallerstede, Stefan
2 Hennicker, Rolf
2 Jacob, Jeremy L.
2 Massoni, Tiago
2 O’Halloran, Colin
2 Paige, Richard F.
2 Perna, Juan Ignacio
2 Ravn, Anders P.
2 Ribeiro, Pedro
2 Silva, Leila
2 Struth, Georg
2 Sun, Jun
2 Treharne, Helen
2 Wellings, Andy
2 Wirsing, Martin
2 Xiang, Shuangqing
2 Zhan, Naijun
1 Aguirre, Nazareno M.
1 Amálio, Nuno
1 Andrews, Peter B.
1 Armstrong, Alasdair
1 Arthan, Rob D.
1 Banks, Michael J.
1 Berghammer, Rudolf
1 Boström, Pontus
1 Bowen, Jonathan P.
1 Boyer, Benoît
1 Brown, Chad Edward
1 Calinescu, Radu C.
1 Canham, Samuel
1 Carvalho Júnior, Antonio
1 Castro, Pablo F.
1 Chen, Chunqing
1 Chen, Mingshuai
1 Chen, Zhenbang
1 Chin, Wei-Ngan
1 Clayton, Phil
1 Conserva Filho, M. S.
1 da Costa Cavalheiro, Simone André
1 David, Cristina
1 Davies, Jim
1 Degerlund, Fredrik
1 Denney, Ewen
1 Derrick, John
1 Devries, Edsko
1 Dixon, Lucas
1 Dong, Ruzhen
1 Dunne, Steve E.
1 Duran, Adolfo
1 Evans, Neil D.
1 Faber, Johannes
1 Faitelson, David
1 Foss, Luciana
1 Fraikin, Benoît
1 Frappier, Marc
1 Furusawa, Hitoshi
1 George, Chris W.
1 Gomes, Victor B. F.
1 Grov, Gudmund
1 Huang, Wenling
1 Iliasov, Alexei
1 Iyoda, Juliano
1 Jifeng, He
1 Kassios, Ioannis T.
1 Kastenbaum, Stéphane
1 Ke, Wei
1 Kelly, Tim
1 King, Steve F.
...and 56 more Authors

Citations by Year