Edit Profile (opens in new tab) Cavalcanti, Ana Compute Distance To: Compute Author ID: cavalcanti.ana Published as: Cavalcanti, Ana Documents Indexed: 67 Publications since 1998 10 Contributions as Editor Co-Authors: 44 Co-Authors with 75 Joint Publications 491 Co-Co-Authors all top 5 Co-Authors 2 single-authored 32 Woodcock, James C. P. 16 Sampaio, Augusto C. A. 11 Zeyda, Frank 7 Oliveira, Marcel 7 Ribeiro, Pedro 6 Foster, Simon 6 Gaudel, Marie-Claude 4 Cornélio, Márcio 3 Dams, Dennis René 3 O’Halloran, Colin 3 Ye, Kangfeng 2 Baxter, James 2 Clayton, Phil 2 Déharbe, David 2 Duran, Adolfo 2 Harwood, Will 2 Mota, Alexandre C. 2 Naumann, David A. 2 Sherif, Adnan 2 Wei, Kun 2 Wellings, Andy 1 Amálio, Nuno 1 Barkaoui, Kamel 1 Borba, Paulo 1 Canham, Samuel 1 Carvalho, Gustavo 1 Cerone, Antonio 1 Conserva Filho, M. S. 1 de Vink, Erik P. 1 Dunne, Steve E. 1 Freitas, Leo 1 Gnesi, Stefania 1 He, Jifeng 1 Heitmeyer, Constance L. 1 Hierons, Robert Mark 1 Huang, Wenling 1 Jifeng, He 1 King, Steve F. 1 Miyazawa, Alvaro 1 Nogueira, Sidney 1 Peleska, Jan 1 Santos, Thiago R. 1 Thiele, Bernhard 1 Xavier, Manuela all top 5 Serials 18 Formal Aspects of Computing 7 Science of Computer Programming 4 Theoretical Computer Science 3 Acta Informatica 3 Lecture Notes in Computer Science 2 Information Processing Letters 1 The Computer Journal. Section A / Section B 1 Real-Time Systems 1 Formal Methods in System Design 1 ACM Transactions on Computational Logic 1 Journal of Logical and Algebraic Methods in Programming Fields 77 Computer science (68-XX) 10 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) 2 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications 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.68048Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim 29 2009 A refinement strategy for Circus. Zbl 1093.68555Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim 23 2003 The semantics of Circus. Zbl 1044.68560Woodcock, Jim; Cavalcanti, Ana 22 2002 A process algebraic framework for specification and validation of real-time systems. Zbl 1214.68224Sherif, Adnan; Cavalcanti, Ana; Jifeng, He; Sampaio, Augusto 13 2010 A theory of pointers for the UTP. Zbl 1161.68388Harwood, Will; Cavalcanti, Ana; Woodcock, Jim 13 2008 Control law diagrams in Circus. Zbl 1120.68412Cavalcanti, Ana; Clayton, Phil; O’Halloran, Colin 12 2005 Unifying theories in ProofPower-Z. Zbl 1186.68090Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim 11 2006 ZRC – A refinement calculus for \(Z\). Zbl 0934.68062Cavalcanti, Ana; Woodcock, Jim 9 1998 A tutorial introduction to designs in unifying theories of programming. Zbl 1196.68031Woodcock, Jim; Cavalcanti, Ana 9 2004 Angelic nondeterminism in the unifying theories of programming. Zbl 1105.68012Cavalcanti, Ana; Woodcock, Jim; Dunne, Steve 8 2006 From control law diagrams to Ada via Circus. Zbl 1226.68028Cavalcanti, Ana; Clayton, Phil; O’Halloran, Colin 7 2011 Object-orientation in the UTP. Zbl 1186.68091Santos, Thiago; Cavalcanti, Ana; Sampaio, Augusto 7 2006 ArcAngel: a tactic language for refinement. Zbl 1093.68565Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim 7 2003 Algebraic reasoning for object-oriented programming. Zbl 1091.68027Borba, Paulo; Sampaio, Augusto; Cavalcanti, Ana; Cornélio, Márcio 7 2004 Mechanical reasoning about families of UTP theories. Zbl 1243.68270Zeyda, Frank; Cavalcanti, Ana 6 2012 Towards a UTP semantics for Modelica. Zbl 1483.68053Foster, Simon; Thiele, Bernhard; Cavalcanti, Ana; Woodcock, Jim 6 2017 A weakest precondition semantics for an object-oriented language of refinement. Zbl 0953.68081Cavalcanti, Ana; Naumann, David A. 6 1999 Refinement in Circus. Zbl 1064.68539Sampaio, Augusto; Woodcock, Jim; Cavalcanti, Ana 6 2002 Forward simulation for data refinement of classes. Zbl 1064.68529Cavalcanti, Ana; Naumann, David A. 6 2002 Operational semantics for model checking Circus. Zbl 1120.68423Woodcock, Jim; Cavalcanti, Ana; Freitas, Leonardo 6 2005 The safety-critical Java memory model formalised. Zbl 1259.68029Cavalcanti, Ana; Wellings, Andy; Woodcock, Jim 6 2013 Unifying theories in ProofPower-Z. Zbl 1259.68035Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim 6 2013 Circus Time with reactive designs. Zbl 1452.68057Wei, Kun; Woodcock, Jim; Cavalcanti, Ana 5 2013 A framework for specification and validation of real-time systems using Circus actions. Zbl 1108.68522Sherif, Adnan; He, Jifeng; Cavalcanti, Ana; Sampaio, Augusto 5 2005 Pointers and records in the unifying theories of programming. Zbl 1186.68107Cavalcanti, Ana; Harwood, Will; Woodcock, Jim 4 2006 An algebraic approach to the design of compilers for object-oriented languages. Zbl 1214.68126Duran, Adolfo; Cavalcanti, Ana; Sampaio, Augusto 4 2010 Refactoring by transformation. Zbl 1270.68168Cornélio, Márcio; Cavalcanti, Ana; Sampaio, Augusto 4 2002 Encoding Circus programs in ProofPower-Z. Zbl 1286.68097Zeyda, Frank; Cavalcanti, Ana 3 2010 Unifying theories of time with generalised reactive processes. Zbl 1476.68143Foster, Simon; Cavalcanti, Ana; Woodcock, Jim; Zeyda, Frank 3 2018 Testing for refinement in Circus. Zbl 1237.68059Cavalcanti, Ana; Gaudel, Marie-Claude 3 2011 Type checking Circus specifications. Zbl 1279.68271Xavier, Manuela; Cavalcanti, Ana; Sampaio, Augusto 3 2008 A tactic language for refinement of state-rich concurrent specifications. Zbl 1218.68101Oliveira, Marcel; Zeyda, Frank; Cavalcanti, Ana 3 2011 Refactoring towards a layered architecture. Zbl 1272.68092Cornélio, Márcio; Cavalcanti, Ana; Sampaio, Augusto 3 2005 Unifying theories of reactive design contracts. Zbl 1436.68195Foster, Simon; Cavalcanti, Ana; Canham, Samuel; Woodcock, Jim; Zeyda, Frank 2 2020 A weakest precondition semantics for Z. Zbl 0906.68093Cavalcanti, Ana; Woodcock, Jim 2 1998 Mechanised support for sound refinement tactics. Zbl 1242.68077Zeyda, Frank; Oliveira, Marcel; Cavalcanti, Ana 2 2012 Refinement-oriented models of Stateflow charts. Zbl 1243.68152Miyazawa, Alvaro; Cavalcanti, Ana 2 2012 Angelic nondeterminism and unifying theories of programming. Zbl 1276.68054Cavalcanti, Ana; Woodcock, Jim 2 2005 A note on traces refinement and the conf relation in the unifying theories of programming. Zbl 1286.68071Cavalcanti, Ana; Gaudel, Marie-Claude 1 2010 Compositional and local livelock analysis for CSP. Zbl 1426.68182Conserva 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 06975211Foster, Simon; Ye, Kangfeng; Cavalcanti, Ana; Woodcock, Jim 1 2018 Mechanical reasoning about families of UTP theories. Zbl 1347.68098Zeyda, Frank; Cavalcanti, Ana 1 2009 UTP designs for binary multirelations. Zbl 1432.68318Ribeiro, Pedro; Cavalcanti, Ana 1 2014 Higher-order UTP for a theory of methods. Zbl 1452.68061Zeyda, Frank; Cavalcanti, Ana 1 2013 CSP and Kripke structures. Zbl 1471.68135Cavalcanti, Ana; Huang, Wen-ling; Peleska, Jan; Woodcock, Jim 1 2015 Safety-critical Java programs from Circus models. Zbl 1285.68037Cavalcanti, Ana; Zeyda, Frank; Wellings, Andy; Woodcock, Jim; Wei, Kun 1 2013 An inconsistency in procedures, parameters, and substitution in the refinement calculus. Zbl 0942.68014Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim 1 1999 Automating refinement of Circus programs. Zbl 1325.68163Zeyda, Frank; Cavalcanti, Ana 1 2011 Sound refactorings. Zbl 1191.68168Cornélio, Márcio; Cavalcanti, Ana; Sampaio, Augusto 1 2010 Refinement algebra for formal bytecode generation. Zbl 1015.68769Duran, Adolfo; Cavalcanti, Ana; Sampaio, Augusto 1 2002 Simulink timed models for program verification. Zbl 1390.68423Cavalcanti, Ana; Mota, Alexandre; Woodcock, Jim 1 2013 Refinement of actions in Circus. Zbl 1270.68079Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim 1 2002 Unifying theories of reactive design contracts. Zbl 1436.68195Foster, Simon; Cavalcanti, Ana; Canham, Samuel; Woodcock, Jim; Zeyda, Frank 2 2020 Unifying theories of time with generalised reactive processes. Zbl 1476.68143Foster, Simon; Cavalcanti, Ana; Woodcock, Jim; Zeyda, Frank 3 2018 Compositional and local livelock analysis for CSP. Zbl 1426.68182Conserva 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 06975211Foster, Simon; Ye, Kangfeng; Cavalcanti, Ana; Woodcock, Jim 1 2018 Towards a UTP semantics for Modelica. Zbl 1483.68053Foster, Simon; Thiele, Bernhard; Cavalcanti, Ana; Woodcock, Jim 6 2017 CSP and Kripke structures. Zbl 1471.68135Cavalcanti, Ana; Huang, Wen-ling; Peleska, Jan; Woodcock, Jim 1 2015 UTP designs for binary multirelations. Zbl 1432.68318Ribeiro, Pedro; Cavalcanti, Ana 1 2014 The safety-critical Java memory model formalised. Zbl 1259.68029Cavalcanti, Ana; Wellings, Andy; Woodcock, Jim 6 2013 Unifying theories in ProofPower-Z. Zbl 1259.68035Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim 6 2013 Circus Time with reactive designs. Zbl 1452.68057Wei, Kun; Woodcock, Jim; Cavalcanti, Ana 5 2013 Higher-order UTP for a theory of methods. Zbl 1452.68061Zeyda, Frank; Cavalcanti, Ana 1 2013 Safety-critical Java programs from Circus models. Zbl 1285.68037Cavalcanti, Ana; Zeyda, Frank; Wellings, Andy; Woodcock, Jim; Wei, Kun 1 2013 Simulink timed models for program verification. Zbl 1390.68423Cavalcanti, Ana; Mota, Alexandre; Woodcock, Jim 1 2013 Mechanical reasoning about families of UTP theories. Zbl 1243.68270Zeyda, Frank; Cavalcanti, Ana 6 2012 Mechanised support for sound refinement tactics. Zbl 1242.68077Zeyda, Frank; Oliveira, Marcel; Cavalcanti, Ana 2 2012 Refinement-oriented models of Stateflow charts. Zbl 1243.68152Miyazawa, Alvaro; Cavalcanti, Ana 2 2012 From control law diagrams to Ada via Circus. Zbl 1226.68028Cavalcanti, Ana; Clayton, Phil; O’Halloran, Colin 7 2011 Testing for refinement in Circus. Zbl 1237.68059Cavalcanti, Ana; Gaudel, Marie-Claude 3 2011 A tactic language for refinement of state-rich concurrent specifications. Zbl 1218.68101Oliveira, Marcel; Zeyda, Frank; Cavalcanti, Ana 3 2011 Automating refinement of Circus programs. Zbl 1325.68163Zeyda, Frank; Cavalcanti, Ana 1 2011 A process algebraic framework for specification and validation of real-time systems. Zbl 1214.68224Sherif, Adnan; Cavalcanti, Ana; Jifeng, He; Sampaio, Augusto 13 2010 An algebraic approach to the design of compilers for object-oriented languages. Zbl 1214.68126Duran, Adolfo; Cavalcanti, Ana; Sampaio, Augusto 4 2010 Encoding Circus programs in ProofPower-Z. Zbl 1286.68097Zeyda, Frank; Cavalcanti, Ana 3 2010 A note on traces refinement and the conf relation in the unifying theories of programming. Zbl 1286.68071Cavalcanti, Ana; Gaudel, Marie-Claude 1 2010 Sound refactorings. Zbl 1191.68168Cornélio, Márcio; Cavalcanti, Ana; Sampaio, Augusto 1 2010 A UTP semantics for Circus. Zbl 1165.68048Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim 29 2009 Mechanical reasoning about families of UTP theories. Zbl 1347.68098Zeyda, Frank; Cavalcanti, Ana 1 2009 A theory of pointers for the UTP. Zbl 1161.68388Harwood, Will; Cavalcanti, Ana; Woodcock, Jim 13 2008 Type checking Circus specifications. Zbl 1279.68271Xavier, Manuela; Cavalcanti, Ana; Sampaio, Augusto 3 2008 Unifying theories in ProofPower-Z. Zbl 1186.68090Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim 11 2006 Angelic nondeterminism in the unifying theories of programming. Zbl 1105.68012Cavalcanti, Ana; Woodcock, Jim; Dunne, Steve 8 2006 Object-orientation in the UTP. Zbl 1186.68091Santos, Thiago; Cavalcanti, Ana; Sampaio, Augusto 7 2006 Pointers and records in the unifying theories of programming. Zbl 1186.68107Cavalcanti, Ana; Harwood, Will; Woodcock, Jim 4 2006 Control law diagrams in Circus. Zbl 1120.68412Cavalcanti, Ana; Clayton, Phil; O’Halloran, Colin 12 2005 Operational semantics for model checking Circus. Zbl 1120.68423Woodcock, Jim; Cavalcanti, Ana; Freitas, Leonardo 6 2005 A framework for specification and validation of real-time systems using Circus actions. Zbl 1108.68522Sherif, Adnan; He, Jifeng; Cavalcanti, Ana; Sampaio, Augusto 5 2005 Refactoring towards a layered architecture. Zbl 1272.68092Cornélio, Márcio; Cavalcanti, Ana; Sampaio, Augusto 3 2005 Angelic nondeterminism and unifying theories of programming. Zbl 1276.68054Cavalcanti, Ana; Woodcock, Jim 2 2005 A tutorial introduction to designs in unifying theories of programming. Zbl 1196.68031Woodcock, Jim; Cavalcanti, Ana 9 2004 Algebraic reasoning for object-oriented programming. Zbl 1091.68027Borba, Paulo; Sampaio, Augusto; Cavalcanti, Ana; Cornélio, Márcio 7 2004 A refinement strategy for Circus. Zbl 1093.68555Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim 23 2003 ArcAngel: a tactic language for refinement. Zbl 1093.68565Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim 7 2003 The semantics of Circus. Zbl 1044.68560Woodcock, Jim; Cavalcanti, Ana 22 2002 Refinement in Circus. Zbl 1064.68539Sampaio, Augusto; Woodcock, Jim; Cavalcanti, Ana 6 2002 Forward simulation for data refinement of classes. Zbl 1064.68529Cavalcanti, Ana; Naumann, David A. 6 2002 Refactoring by transformation. Zbl 1270.68168Cornélio, Márcio; Cavalcanti, Ana; Sampaio, Augusto 4 2002 Refinement algebra for formal bytecode generation. Zbl 1015.68769Duran, Adolfo; Cavalcanti, Ana; Sampaio, Augusto 1 2002 Refinement of actions in Circus. Zbl 1270.68079Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim 1 2002 A weakest precondition semantics for an object-oriented language of refinement. Zbl 0953.68081Cavalcanti, Ana; Naumann, David A. 6 1999 An inconsistency in procedures, parameters, and substitution in the refinement calculus. Zbl 0942.68014Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim 1 1999 ZRC – A refinement calculus for \(Z\). Zbl 0934.68062Cavalcanti, Ana; Woodcock, Jim 9 1998 A weakest precondition semantics for Z. Zbl 0906.68093Cavalcanti, Ana; Woodcock, Jim 2 1998 all cited Publications top 5 cited Publications 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 all top 5 Cited in 13 Serials 38 Formal Aspects of Computing 10 Theoretical Computer Science 10 Science of Computer Programming 4 Journal of Logical and Algebraic Methods in Programming 3 Acta Informatica 2 Information Processing Letters 2 Real-Time Systems 1 Formal Methods in System Design 1 Journal of Functional Programming 1 The Journal of Logic and Algebraic Programming 1 ACM Transactions on Computational Logic 1 Journal of Applied Logic 1 Mathematics in Computer Science Cited in 5 Fields 105 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 3 Systems theory; control (93-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) Citations by Year