![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Ana Cavalcanti 0001
Person information
- affiliation: University of York, UK
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j67]Wei Li
, Pedro Ribeiro
, Alvaro Miyazawa
, Richard Redpath, Ana Cavalcanti
, Kieran Alden
, Jim Woodcock
, Jon Timmis
:
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool. Auton. Robots 48(6-7): 14 (2024) - [j66]Ana Cavalcanti
, Madiel Conserva Filho
, Pedro Ribeiro
, Augusto Sampaio
:
Laws of Timed State Machines. Comput. J. 67(6): 2066-2107 (2024) - [j65]Ana Cavalcanti, Alvaro Miyazawa, Jon Timmis:
Software engineering for robotics. Robotics Auton. Syst. 174: 104648 (2024) - [j64]Sinem Getir Yaman
, Pedro Ribeiro
, Charlie Burholt, Maddie Jones, Ana Cavalcanti
, Radu Calinescu
:
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. Sci. Comput. Program. 236: 103118 (2024) - [c120]Nick Feng
, Lina Marsso
, Sinem Getir Yaman
, Yesugen Baatartogtokh
, Reem Ayad
, Victória Oldemburgo de Mello
, Beverley A. Townsend
, Isobel Standen
, Ioannis Stefanakos
, Calum Imrie
, Genaína Nunes Rodrigues
, Ana Cavalcanti
, Radu Calinescu
, Marsha Chechik
:
Analyzing and Debugging Normative Requirements via Satisfiability Checking. ICSE 2024: 214:1-214:12 - [e9]Dirk Beyer
, Ana Cavalcanti
:
Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings. Lecture Notes in Computer Science 14573, Springer 2024, ISBN 978-3-031-57258-6 [contents] - [i14]Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik:
Analyzing and Debugging Normative Requirements via Satisfiability Checking. CoRR abs/2401.05673 (2024) - [i13]Nick Feng, Lina Marsso, Sinem Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik:
Normative Requirements Operationalization with Large Language Models. CoRR abs/2404.12335 (2024) - 2023
- [j63]Mohammad Reza Mousavi
, Ana Cavalcanti
, Michael Fisher
, Louise A. Dennis
, Robert M. Hierons
, Bilal Y. Kaddouh, Effie Lai-Chong Law, Robert C. Richardson, Jan Oliver Ringert
, Ivan Tyukin, Jim Woodcock:
Trustworthy Autonomous Systems Through Verifiability. Computer 56(2): 40-47 (2023) - [j62]James Baxter
, Gustavo Carvalho
, Ana Cavalcanti
, Francisco Rodrigues Júnior
:
RoboWorld: Verification of Robotic Systems with Environment in the Loop. Formal Aspects Comput. 35(4): 26:1-26:46 (2023) - [j61]James Baxter
, Ana Cavalcanti
, Maciej Gazda
, Robert M. Hierons
:
Testing using CSP Models: Time, Inputs, and Outputs. ACM Trans. Comput. Log. 24(2): 17:1-17:40 (2023) - [c119]Ana Cavalcanti
, Alvaro Miyazawa
, Uwe Schulze, Jon Timmis
:
Bringing RoboStar and RT-Tester Together. Applicable Formal Methods for Safe Industrial Products 2023: 16-33 - [c118]Jim Woodcock
, Ana Cavalcanti
, Simon Foster
, Marcel Oliveira
, Augusto Sampaio
, Frank Zeyda
:
UTP, Circus, and Isabelle. Theories of Programming and Formal Methods 2023: 19-51 - [c117]Mustafa Adam, Kangfeng Ye
, David A. Anisi, Ana Cavalcanti, Jim Woodcock, Robert Morris:
Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment. CASE 2023: 1-7 - [c116]Sinem Getir Yaman, Charlie Burholt, Maddie Jones, Radu Calinescu, Ana Cavalcanti:
Specification and Validation of Normative Rules for Autonomous Agents. FASE 2023: 241-248 - [c115]Ana Cavalcanti, Robert M. Hierons:
Challenges in testing of cyclic systems. ICECCS 2023: 1-6 - [c114]Ziggy Attala, Ana Cavalcanti, Jim Woodcock:
Modelling and Verifying Robotic Software that Uses Neural Networks. ICTAC 2023: 15-35 - [c113]Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik:
Towards a Formal Framework for Normative Requirements Elicitation. ASE 2023: 1776-1780 - [i12]Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Pedro Ribeiro, Beverley A. Townsend:
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. CoRR abs/2307.03697 (2023) - 2022
- [j60]James Baxter
, Pedro Ribeiro
, Ana Cavalcanti
:
Sound reasoning in tock-CSP. Acta Informatica 59(1): 125-162 (2022) - [j59]James Baxter
, Pedro Ribeiro
, Ana Cavalcanti:
Correction to: Sound reasoning in tock-CSP. Acta Informatica 59(2-3): 283 (2022) - [j58]Will Barnett, Ana Cavalcanti
, Alvaro Miyazawa:
Architectural modelling for robotics: RoboArch and the CorteX example. Frontiers Robotics AI 9 (2022) - [j57]Beverley A. Townsend
, Colin Paterson
, T. T. Arvind
, Gabriel Nemirovsky
, Radu Calinescu
, Ana Cavalcanti
, Ibrahim Habli
, Alan Thomas
:
From Pluralistic Normative Principles to Autonomous-Agent Rules. Minds Mach. 32(4): 683-715 (2022) - [j56]Kangfeng Ye
, Ana Cavalcanti
, Simon Foster
, Alvaro Miyazawa
, Jim Woodcock
:
Probabilistic modelling and verification using RoboChart and PRISM. Softw. Syst. Model. 21(2): 667-716 (2022) - [c112]Matt Windsor
, Ana Cavalcanti
:
RoboCert: Property Specification in Robotics. ICFEM 2022: 386-403 - [c111]Dehui Du
, Ana Cavalcanti, Jihui Nie
:
RoboSimVer: A Tool for RoboSim Modeling and Analysis. ASE 2022: 164:1-164:4 - 2021
- [j55]Erik P. de Vink, Ana Cavalcanti:
Editorial. Formal Aspects Comput. 33(1): 1-2 (2021) - [j54]Simon Foster
, Kangfeng Ye
, Ana Cavalcanti
, Jim Woodcock
:
Automated verification of reactive and concurrent programs by calculation. J. Log. Algebraic Methods Program. 121: 100681 (2021) - [c110]Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro:
Model-Based Engineering for Robotics with RoboChart and RoboTool. ICTAC Summmer School 2021: 106-151 - [c109]Abdulrazaq Abba
, Ana Cavalcanti, Jeremy Jacob:
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. SBMF 2021: 70-86 - [c108]Ana Cavalcanti, James Baxter
, Gustavo Carvalho:
RoboWorld: Where Can My Robot Work? SEFM 2021: 3-22 - [c107]Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang:
Transforming RoboSim Models into UPPAAL. TASE 2021: 79-86 - [i11]Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob:
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. CoRR abs/2104.13434 (2021) - 2020
- [j53]Ana Cavalcanti
, Pedro Ribeiro
:
Editorial. Formal Aspects Comput. 32(2-3): 155 (2020) - [j52]Simon Foster
, James Baxter
, Ana Cavalcanti
, Jim Woodcock
, Frank Zeyda:
Unifying semantic foundations for automated verification tools in Isabelle/UTP. Sci. Comput. Program. 197: 102510 (2020) - [j51]Simon Foster
, Ana Cavalcanti
, Samuel Canham, Jim Woodcock
, Frank Zeyda
:
Unifying theories of reactive design contracts. Theor. Comput. Sci. 802: 105-140 (2020) - [j50]Ana Cavalcanti
, Robert M. Hierons
, Sidney C. Nogueira:
Inputs and Outputs in CSP: A Model and a Testing Theory. ACM Trans. Comput. Log. 21(3): 24:1-24:53 (2020) - [c106]Ana Cavalcanti
:
Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology. ABZ 2020: 3-5 - [i10]Simon Foster
, Kangfeng Ye, Ana Cavalcanti
, Jim Woodcock:
Automated Verification of Reactive and Concurrent Programs by Calculation. CoRR abs/2007.13529 (2020)
2010 – 2019
- 2019
- [j49]Stefania Gnesi, Ana Cavalcanti, John S. Fitzgerald
, Constance L. Heitmeyer:
Editorial. Formal Aspects Comput. 31(2): 131-132 (2019) - [j48]Ana Cavalcanti
, Augusto Sampaio, Alvaro Miyazawa
, Pedro Ribeiro
, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis:
Verified simulation for robotics. Sci. Comput. Program. 174: 1-37 (2019) - [j47]Jan Peleska
, Wen-ling Huang, Ana Cavalcanti
:
Finite complete suites for CSP refinement testing. Sci. Comput. Program. 179: 1-23 (2019) - [j46]Alvaro Miyazawa
, Ana Cavalcanti
, Andy J. Wellings:
SCJ-Circus: Specification and refinement of Safety-Critical Java programs. Sci. Comput. Program. 181: 140-176 (2019) - [j45]Alvaro Miyazawa
, Pedro Ribeiro, Wei Li, Ana Cavalcanti
, Jon Timmis, Jim Woodcock
:
RoboChart: modelling and verification of the functional behaviour of robotic applications. Softw. Syst. Model. 18(5): 3097-3149 (2019) - [j44]Ana Cavalcanti
, Adenilso Simão
:
Fault-based refinement-testing for CSP. Softw. Qual. J. 27(2): 529-562 (2019) - [j43]Pedro Ribeiro
, Ana Cavalcanti
:
Angelic processes for CSP via the UTP. Theor. Comput. Sci. 756: 19-63 (2019) - [c105]Ana Cavalcanti
, James Baxter
, Robert M. Hierons
, Raluca Lefticaru
:
Testing Robots Using CSP. TAP@FM 2019: 21-38 - [c104]Jim Woodcock
, Ana Cavalcanti
, Simon Foster
, Alexandre Mota
, Kangfeng Ye
:
Probabilistic Semantics for RoboChart - A Weakest Completion Approach. UTP 2019: 80-105 - [i9]Simon Foster
, James Baxter, Ana Cavalcanti
, Jim Woodcock, Frank Zeyda:
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP. CoRR abs/1905.05500 (2019) - [i8]Pedro Ribeiro, James Baxter, Ana Cavalcanti:
Priorities in tock-CSP. CoRR abs/1907.07974 (2019) - 2018
- [j42]Madiel Conserva Filho
, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti
:
Compositional and local livelock analysis for CSP. Inf. Process. Lett. 133: 21-25 (2018) - [j41]Simon Foster
, Ana Cavalcanti
, Jim Woodcock
, Frank Zeyda
:
Unifying theories of time with generalised reactive processes. Inf. Process. Lett. 135: 47-52 (2018) - [c103]Simon Foster
, Kangfeng Ye
, Ana Cavalcanti
, Jim Woodcock:
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. RAMiCS 2018: 205-224 - [c102]Simon Foster
, James Baxter
, Ana Cavalcanti
, Alvaro Miyazawa
, Jim Woodcock:
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. FACS 2018: 137-155 - [c101]Ana Cavalcanti
, Alvaro Miyazawa
, Augusto Sampaio, Wei Li, Pedro Ribeiro
, Jon Timmis:
Modelling and Verification for Swarm Robotics. IFM 2018: 1-19 - [i7]Matt Luckcuck, Andy J. Wellings, Ana Cavalcanti:
Safety-Critical Java: Level 2 in Practice. CoRR abs/1805.10710 (2018) - [i6]Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings:
A Formal Model of the Safety-Critical Java Level 2 Paradigm. CoRR abs/1805.10711 (2018) - [i5]Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. CoRR abs/1806.02101 (2018) - [i4]Simon Foster
, James Baxter, Ana Cavalcanti
, Alvaro Miyazawa, Jim Woodcock:
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. CoRR abs/1807.08588 (2018) - 2017
- [j40]Matt Luckcuck
, Andy J. Wellings, Ana Cavalcanti
:
Safety-Critical Java: level 2 in practice. Concurr. Comput. Pract. Exp. 29(6) (2017) - [j39]Alex D. B. Alberto, Ana Cavalcanti
, Marie-Claude Gaudel, Adenilso Simão
:
Formal mutation testing for Circus. Inf. Softw. Technol. 81: 131-153 (2017) - [j38]Lucas Lima, Alvaro Miyazawa
, Ana Cavalcanti
, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis:
An integrated semantics for reasoning about SysML design models using refinement. Softw. Syst. Model. 16(3): 875-902 (2017) - [c100]Leonardo Fernandes
, Márcio Ribeiro
, Luiz Carvalho, Rohit Gheyi
, Melina Mongiovi
, André L. M. Santos
, Ana Cavalcanti
, Fabiano Cutigi Ferrari, José Carlos Maldonado:
Avoiding useless mutants. GPCE 2017: 187-198 - [c99]Pedro Ribeiro
, Alvaro Miyazawa
, Wei Li, Ana Cavalcanti
, Jon Timmis
:
Modelling and Verification of Timed Robotic Controllers. IFM 2017: 18-33 - [c98]James Baxter
, Ana Cavalcanti
:
Algebraic Compilation of Safety-Critical Java Bytecode. IFM 2017: 161-176 - [c97]Alvaro Miyazawa
, Pedro Ribeiro
, Wei Li, Ana Cavalcanti
, Jon Timmis
:
Automatic property checking of robotic applications. IROS 2017: 3869-3876 - [c96]Ana Cavalcanti
, Adenilso da Silva Simão
:
Fault-Based Testing for Refinement in CSP. ICTSS 2017: 21-37 - [c95]Ana Cavalcanti:
Formal Methods for Robotics: RoboChart, RoboSim, and More. SBMF 2017: 3-6 - [c94]Rodrigo Otoni
, Ana Cavalcanti
, Augusto Sampaio:
Local Analysis of Determinism for CSP. SBMF 2017: 107-124 - [c93]Frank Zeyda
, Julien Ouy, Simon Foster
, Ana Cavalcanti:
Formalising Cosimulation Models. SEFM Workshops 2017: 453-468 - [p2]Ana Cavalcanti
, Alvaro Miyazawa
, Richard John Payne, Jim Woodcock:
Sound Simulation and Co-simulation for Robotics. Present and Ulterior Software Engineering 2017: 173-194 - [e8]Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti:
Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings. Lecture Notes in Computer Science 10471, Springer 2017, ISBN 978-3-319-67112-3 [contents] - [i3]Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti
, Jim Woodcock, Jon Timmis:
From Formalised State Machines to Implementations of Robotic Controllers. CoRR abs/1702.01783 (2017) - [i2]Simon Foster
, Ana Cavalcanti
, Jim Woodcock, Frank Zeyda:
Unifying Theories of Timed with Generalised Reactive Processes. CoRR abs/1712.10213 (2017) - [i1]Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock
, Frank Zeyda:
Unifying Theories of Reactive Design Contracts. CoRR abs/1712.10233 (2017) - 2016
- [j37]Gustavo Carvalho, Ana Cavalcanti
, Augusto Sampaio:
Modelling timed reactive systems from natural-language requirements. Formal Aspects Comput. 28(5): 725-765 (2016) - [c92]Wei Li, Alvaro Miyazawa
, Pedro Ribeiro, Ana Cavalcanti
, Jim Woodcock, Jon Timmis:
From Formalised State Machines to Implementations of Robotic Controllers. DARS 2016: 517-529 - [c91]Madiel S. Conserva Filho, Marcel Vinícius Medeiros Oliveira
, Augusto Sampaio, Ana Cavalcanti:
Local Livelock Analysis of Component-Based Models. ICFEM 2016: 279-295 - [c90]Nuno Amálio, Richard John Payne, Ana Cavalcanti, Jim Woodcock
:
Checking SysML Models for Co-simulation. ICFEM 2016: 450-465 - [c89]Ana Cavalcanti
, Jim Woodcock
, Nuno Amálio:
Behavioural Models for FMI Co-simulations. ICTAC 2016: 255-273 - [c88]Leo Freitas, James Baxter
, Ana Cavalcanti, Andy J. Wellings:
Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. IFM 2016: 63-78 - [c87]Matt Luckcuck
, Ana Cavalcanti
, Andy J. Wellings:
A Formal Model of the Safety-Critical Java Level 2 Paradigm. IFM 2016: 226-241 - [c86]Ana Cavalcanti
, Alvaro Miyazawa
, Andy J. Wellings, Jim Woodcock, Shuai Zhao:
Java in the Safety-Critical Domain. SETSS 2016: 110-150 - [c85]Ana Cavalcanti
, Robert M. Hierons
, Sidney C. Nogueira, Augusto Sampaio:
A Suspension-Trace Semantics for CSP. TASE 2016: 3-13 - [c84]Simon Foster
, Bernhard Thiele, Ana Cavalcanti
, Jim Woodcock
:
Towards a UTP Semantics for Modelica. UTP 2016: 44-64 - [c83]Pedro Ribeiro
, Ana Cavalcanti
, Jim Woodcock
:
A Stepwise Approach to Linking Theories. UTP 2016: 134-154 - 2015
- [j36]Frank Zeyda
, Ana Cavalcanti
:
Laws of mission-based programming. Formal Aspects Comput. 27(2): 423-472 (2015) - [j35]Ana Cavalcanti
, Marie-Claude Gaudel:
Test selection for traces refinement. Theor. Comput. Sci. 563: 1-42 (2015) - [c82]Ana Cavalcanti
, Wen-ling Huang, Jan Peleska, Jim Woodcock
:
CSP and Kripke Structures. ICTAC 2015: 505-523 - [c81]James Baxter
, Ana Cavalcanti
, Andy J. Wellings, Leo Freitas:
Safety-Critical Java Virtual Machine Services. JTRES 2015: 7:1-7:10 - [c80]Jim Woodcock
, Andy J. Wellings, Ana Cavalcanti
:
Mobile CSP. SBMF 2015: 39-55 - [c79]Alvaro Miyazawa
, Ana Cavalcanti:
Refinement Strategies for Safety-Critical Java. SBMF 2015: 93-109 - [c78]Gustavo Carvalho, Flávia A. Barros, Ana Carvalho, Ana Cavalcanti
, Alexandre Mota, Augusto Sampaio:
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. SEFM 2015: 283-290 - [c77]Alvaro Miyazawa
, Ana Cavalcanti
:
SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java. Refine@FM 2015: 71-86 - 2014
- [j34]Frank Zeyda
, Lalkhumsanga Lalkhumsanga, Ana Cavalcanti
, Andy J. Wellings:
Circus Models for Safety-Critical Java Programs. Comput. J. 57(7): 1046-1091 (2014) - [j33]Alvaro Miyazawa
, Ana Cavalcanti
:
Refinement-based verification of implementations of Stateflow charts. Formal Aspects Comput. 26(2): 367-405 (2014) - [j32]Ana Cavalcanti
, Steve King, Colin O'Halloran, Jim Woodcock
:
Test-data generation for control coverage by proof. Formal Aspects Comput. 26(4): 795-823 (2014) - [c76]Ana Cavalcanti
, Marie-Claude Gaudel:
Data Flow Coverage for Circus-Based Testing. FASE 2014: 415-429 - [c75]Chris Marriott, Ana Cavalcanti
:
SCJ: Memory-Safety Checking without Annotations. FM 2014: 465-480 - [c74]Frank Zeyda
, Thiago L. V. L. Santos, Ana Cavalcanti
, Augusto Sampaio:
A Modular Theory of Object Orientation in Higher-Order UTP. FM 2014: 627-642 - [c73]Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti
, Augusto Sampaio:
A Formal Model for Natural-Language Timed Requirements of Reactive Systems. ICFEM 2014: 43-58 - [c72]Pedro Ribeiro
, Ana Cavalcanti
:
UTP Designs for Binary Multirelations. ICTAC 2014: 388-405 - [c71]Alvaro Miyazawa
, Ana Cavalcanti
:
Formal Refinement in SysML. IFM 2014: 155-170 - [c70]Jim Woodcock
, Ana Cavalcanti
, John S. Fitzgerald, Simon Foster
, Peter Gorm Larsen
:
Contracts in CML. ISoLA (2) 2014: 54-73 - [c69]Richard Hawkins, Alvaro Miyazawa
, Ana Cavalcanti
, Tim Kelly, John Rowlands:
Assurance Cases for Block-Configurable Software. SAFECOMP 2014: 155-169 - [c68]Simon Foster
, Alvaro Miyazawa
, Jim Woodcock
, Ana Cavalcanti
, John S. Fitzgerald
, Peter Gorm Larsen
:
An approach for managing semantic heterogeneity in Systems of Systems Engineering. SoSE 2014: 113-118 - [c67]Pedro Ribeiro
, Ana Cavalcanti
:
Angelicism in the Theory of Reactive Processes. UTP 2014: 42-61 - 2013
- [j31]Ana Cavalcanti
, Andy J. Wellings, Jim Woodcock
:
The Safety-Critical Java memory model formalised. Formal Aspects Comput. 25(1): 37-57 (2013) - [j30]Marcel Oliveira, Ana Cavalcanti
, Jim Woodcock
:
Unifying theories in ProofPower-Z. Formal Aspects Comput. 25(1): 133-158 (2013) - [j29]Ana Cavalcanti
, Frank Zeyda
, Andy J. Wellings, Jim Woodcock
, Kun Wei:
Safety-critical Java programs from Circus models. Real Time Syst. 49(5): 614-667 (2013) - [c66]Ana Cavalcanti
, Alexandre Mota, Jim Woodcock
:
Simulink Timed Models for Program Verification. Theories of Programming and Formal Methods 2013: 82-99 - [c65]Ana Cavalcanti
, Robert M. Hierons
:
Testing with Inputs and Outputs in CSP. FASE 2013: 359-374 - [c64]Alvaro Miyazawa
, Lucas Lima, Ana Cavalcanti
:
Formal Models of SysML Blocks. ICFEM 2013: 249-264 - [c63]Andy J. Wellings, Matt Luckcuck
, Ana Cavalcanti
:
Safety-critical Java level 2: motivations, example applications and issues. JTRES 2013: 48-57 - [c62]Pedro Ribeiro
, Ana Cavalcanti
:
Designs with Angelic Nondeterminism. TASE 2013: 71-78 - [c61]Frank Zeyda
, Ana Cavalcanti
:
Refining SCJ Mission Specifications into Parallel Handler Designs. Refine@IFM 2013: 52-67 - 2012
- [j28]Frank Zeyda, Marcel Oliveira, Ana Cavalcanti
:
Mechanised support for sound refinement tactics. Formal Aspects Comput. 24(1): 127-160 (2012) - [j27]Frank Zeyda, Ana Cavalcanti
:
Mechanical reasoning about families of UTP theories. Sci. Comput. Program. 77(4): 444-479 (2012) - [j26]Alvaro Miyazawa
, Ana Cavalcanti
:
Refinement-oriented models of Stateflow charts. Sci. Comput. Program. 77(10-11): 1151-1177 (2012) - [j25]Ana Cavalcanti
:
Special issue: International Conference on Formal Engineering Methods - ICFEM 2009. Sci. Comput. Program. 77(12): 1211 (2012) - [j24]Ana Cavalcanti
, David Déharbe:
Special issue: International Colloquium on Theoretical Aspects of Computing - ICTAC 2010. Theor. Comput. Sci. 455: 1 (2012) - [c60]Chris Marriott, Frank Zeyda
, Ana Cavalcanti
:
A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams. ABZ 2012: 294-307 - [c59]Neeraj Kumar Singh, Andy J. Wellings, Ana Cavalcanti
:
The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada. JTRES 2012: 62-71 - [c58]Jim Woodcock
, Ana Cavalcanti
, John S. Fitzgerald
, Peter Gorm Larsen
, Alvaro Miyazawa
, Simon Perry:
Features of CML: A formal modelling language for Systems of Systems. SoSE 2012: 445-450 - [c57]Kun Wei, Jim Woodcock
, Ana Cavalcanti
:
Circus Time with Reactive Designs. UTP 2012: 68-87 - [c56]Frank Zeyda
, Ana Cavalcanti
:
Higher-Order UTP for a Theory of Methods. UTP 2012: 204-223 - 2011
- [j23]Ana Cavalcanti
, Marie-Claude Gaudel:
Testing for refinement in Circus. Acta Informatica 48(2): 97-147 (2011) - [j22]Ana Cavalcanti
, Phil Clayton, Colin O'Halloran:
From control law diagrams to Ada via Circus. Formal Aspects Comput. 23(4): 465-512 (2011) - [j21]Ana Cavalcanti, Dennis Dams, Marie-Claude Gaudel:
Editorial. Formal Aspects Comput. 23(6): 681 (2011) - [j20]Marcel Oliveira, Frank Zeyda
, Ana Cavalcanti:
A tactic language for refinement of state-rich concurrent specifications. Sci. Comput. Program. 76(9): 792-833 (2011) - [c55]Ana Cavalcanti, Andy J. Wellings, Jim Woodcock
:
The Safety-Critical Java Memory Model: A Formal Account. FM 2011: 246-261 - [c54]Frank Zeyda
, Ana Cavalcanti
, Andy J. Wellings:
The Safety-Critical Java Mission Model: A Formal Account. ICFEM 2011: 49-65 - [c53]Ana Cavalcanti
, Andy J. Wellings, Jim Woodcock
, Kun Wei, Frank Zeyda
:
Safety-critical Java in Circus. JTRES 2011: 20-29 - [c52]Ana Cavalcanti
, Marie-Claude Gaudel, Robert M. Hierons
:
Conformance Relations for Distributed Testing Based on CSP. ICTSS 2011: 48-63 - [c51]Alvaro Miyazawa
, Ana Cavalcanti
:
Refinement-based verification of sequential implementations of Stateflow charts. Refine@FM 2011: 65-83 - 2010
- [j19]Adnan Sherif, Ana Cavalcanti
, Jifeng He, Augusto Sampaio:
A process algebraic framework for specification and validation of real-time systems. Formal Aspects Comput. 22(2): 153-191 (2010) - [j18]Adolfo Duran, Ana Cavalcanti
, Augusto Sampaio:
An algebraic approach to the design of compilers for object-oriented languages. Formal Aspects Comput. 22(5): 489-535 (2010) - [j17]Ana Cavalcanti, Dennis Dams:
Special issue: 2nd World Congress on Formal Methods. Formal Methods Syst. Des. 37(2-3): 93-94 (2010) - [j16]Márcio Cornélio, Ana Cavalcanti
, Augusto Sampaio:
Sound refactorings. Sci. Comput. Program. 75(3): 106-133 (2010) - [c50]Michael Vernon, Frank Zeyda
, Ana Cavalcanti:
Communication Systems in ClawZ. ASM 2010: 334-348 - [c49]Frank Zeyda
, Ana Cavalcanti:
Automating Refinement of Circus Programs. SBMF 2010: 274-290 - [c48]Ana Cavalcanti, Marie-Claude Gaudel:
Specification Coverage for Testing in Circus. UTP 2010: 1-45 - [e7]Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock
:
Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings. Lecture Notes in Computer Science 6255, Springer 2010, ISBN 978-3-642-14807-1 [contents] - [e6]Paulo Borba, Ana Cavalcanti
, Augusto Sampaio, Jim Woodcock
:
Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures. Lecture Notes in Computer Science 6153, Springer 2010, ISBN 978-3-642-14334-2 [contents] - [r1]Richard F. Paige, Jim Woodcock
, Phillip J. Brooke, Ana Cavalcanti:
Programming Phase: Formal Methods. Encyclopedia of Software Engineering 2010: 772-785
2000 – 2009
- 2009
- [j15]Marcel Oliveira, Ana Cavalcanti
, Jim Woodcock
:
A UTP semantics for Circus. Formal Aspects Comput. 21(1-2): 3-32 (2009) - [c47]Frank Zeyda
, Ana Cavalcanti:
Mechanised Translation of Control Law Diagrams into Circus. IFM 2009: 151-166 - [c46]Frank Zeyda
, Marcel Oliveira, Ana Cavalcanti:
Supporting ArcAngel in ProofPower. REFINE@FMWeek 2009: 225-243 - [e5]Ana Cavalcanti, Dennis Dams:
FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Lecture Notes in Computer Science 5850, Springer 2009, ISBN 978-3-642-05088-6 [contents] - [e4]Karin K. Breitman, Ana Cavalcanti:
Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Lecture Notes in Computer Science 5885, Springer 2009, ISBN 978-3-642-10372-8 [contents] - 2008
- [j14]Kamel Barkaoui, Manfred Broy, Ana Cavalcanti
, Antonio Cerone:
Guest Editorial. Formal Aspects Comput. 20(4-5): 349-350 (2008) - [c45]Will Harwood, Ana Cavalcanti, Jim Woodcock
:
A Theory of Pointers for the UTP. ICTAC 2008: 141-155 - [c44]Ana Cavalcanti
, Marie-Claude Gaudel:
A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming. UTP 2008: 42-61 - [c43]Frank Zeyda
, Ana Cavalcanti
:
Encoding Circus Programs in ProofPowerZ. UTP 2008: 218-237 - [c42]Ana Cavalcanti:
Stateflow Diagrams in Circus. SBMF 2008: 23-41 - [c41]Marcel Oliveira, Ana Cavalcanti:
ArcAngelC: a Refinement Tactic Language for Circus. Refine@FM 2008: 203-229 - [c40]Frank Zeyda
, Ana Cavalcanti:
Mechanical Reasoning about Families of UTP Theories. SBMF 2008: 239-257 - 2007
- [c39]Ana Cavalcanti, Marie-Claude Gaudel:
Testing for Refinement in CSP. ICFEM 2007: 151-170 - [c38]Emine Gokce Aydal, Jim Woodcock, Ana Cavalcanti:
Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. ICSOFT (SE) 2007: 290-295 - 2006
- [j13]Ana Cavalcanti
, Jim Woodcock
, Steve Dunne:
Angelic nondeterminism in the unifying theories of programming. Formal Aspects Comput. 18(3): 288-307 (2006) - [j12]Leo Freitas, Jim Woodcock
, Ana Cavalcanti
:
State-rich model checking. Innov. Syst. Softw. Eng. 2(1): 49-64 (2006) - [c37]Angela F. Freitas, Ana Cavalcanti:
Automatic Translation from Circus to Java. FM 2006: 115-130 - [c36]Steve A. Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock
:
A Layered Behavioural Model of Platelets. ICECCS 2006: 98-106 - [c35]Ana Cavalcanti, Phil Clayton:
Verification of Control Systems using Circus. ICECCS 2006: 269-278 - [c34]Leo Freitas, Ana Cavalcanti, Jim Woodcock
:
Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. ICFEM 2006: 697-716 - [c33]Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio:
Object-Orientation in the UTP. UTP 2006: 18-37 - [c32]Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
:
Unifying Theories in ProofPower-Z. UTP 2006: 123-140 - [c31]Ana Cavalcanti, Will Harwood, Jim Woodcock
:
Pointers and Records in the Unifying Theories of Programming. UTP 2006: 200-216 - [c30]Manuela Xavier, Ana Cavalcanti, Augusto Sampaio:
Type Checking Circus Specifications. SBMF 2006: 75-93 - [c29]Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
:
A Denotational Semantics for Circus. Refine@ICFEM 2006: 107-123 - [e3]Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone:
Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings. Lecture Notes in Computer Science 4281, Springer 2006, ISBN 3-540-48815-4 [contents] - [e2]Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
:
Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures. Lecture Notes in Computer Science 3167, Springer 2006, ISBN 978-3-540-46253-8 [contents] - 2005
- [j11]Marcel Oliveira, Ana Cavalcanti
, Jim Woodcock
:
Formal development of industrial-scale systems in Circus. Innov. Syst. Softw. Eng. 1(2): 125-146 (2005) - [j10]Ana Cavalcanti
, Augusto Sampaio, Jim Woodcock
:
Unifying classes and processes. Softw. Syst. Model. 4(3): 277-296 (2005) - [c28]Jim Woodcock
, Ana Cavalcanti, Leonardo Freitas:
Operational Semantics for Model Checking Circus. FM 2005: 237-252 - [c27]Ana Cavalcanti, Phil Clayton, Colin O'Halloran:
Control Law Diagrams in Circus. FM 2005: 253-268 - [c26]Ana Cavalcanti, Jim Woodcock
:
Angelic Nondeterminism and Unifying Theories of Programming. REFINE 2005: 45-66 - [c25]Manuela Xavier, Ana Cavalcanti:
Mechanised Refinement of Procedures. SBMF 2005: 63-80 - 2004
- [j9]Paulo Borba
, Augusto Sampaio, Ana Cavalcanti
, Márcio Cornélio:
Algebraic reasoning for object-oriented programming. Sci. Comput. Program. 52: 53-100 (2004) - [c24]Marcel Oliveira, Ana Cavalcanti:
From Circus to JCSP. ICFEM 2004: 320-340 - [c23]Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio:
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. ICTAC 2004: 478-493 - [c22]Jim Woodcock
, Ana Cavalcanti:
A Tutorial Introduction to Designs in Unifying Theories of Programming. IFM 2004: 40-66 - [c21]Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
:
Refinement: An overview. PSSE 2004: 1-17 - [c20]Ana Cavalcanti, Jim Woodcock
:
A Tutorial Introduction to CSP in Unifying Theories of Programming. PSSE 2004: 220-268 - [c19]Marcel Oliveira, Manuela Xavier, Ana Cavalcanti:
Refine and Gabriel: Support for Refinement and Tactics. SEFM 2004: 310-319 - [c18]Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio:
Refactoring Towards a Layered Architecture. SBMF 2004: 281-300 - [e1]Ana Cavalcanti, Patrícia D. L. Machado:
Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003. Electronic Notes in Theoretical Computer Science 95, Elsevier 2004 [contents] - 2003
- [j8]Marcel Oliveira, Ana Cavalcanti
, Jim Woodcock
:
ArcAngel: a Tactic Language for Refinement. Formal Aspects Comput. 15(1): 28-47 (2003) - [j7]Ana Cavalcanti
, Augusto Sampaio, Jim Woodcock
:
A Refinement Strategy for Circus. Formal Aspects Comput. 15(2-3): 146-181 (2003) - [j6]Ana Cavalcanti, Jim Woodcock
:
Predicate transformers in the semantics of Circus. IEE Proc. Softw. 150(2): 85-94 (2003) - [c17]Adolfo Duran, Ana Cavalcanti, Augusto Sampaio:
A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. FME 2003: 301-320 - [c16]Angela F. Freitas, Carla Nascimento, Ana Cavalcanti:
A Refinement Tool for Z. ICFEM 2003: 396-415 - [c15]Ana Cavalcanti, Patrícia D. L. Machado:
Preface. WMF 2003: 1-2 - 2002
- [c14]Augusto Sampaio, Jim Woodcock
, Ana Cavalcanti:
Refinement in Circus. FME 2002: 451-470 - [c13]Ana Cavalcanti, David A. Naumann:
Forward Simulation for Data Refinement of Classes. FME 2002: 471-490 - [c12]Adolfo Duran, Ana Cavalcanti, Augusto Sampaio:
Refinement Algebra for Formal Bytecode Generation. ICFEM 2002: 347-358 - [c11]Ana Cavalcanti, Augusto Sampaio:
From CSP-OZ to Java with Processes. IPDPS 2002 - [c10]Leonardo Freitas, Augusto Sampaio, Ana Cavalcanti:
JACK: A Framework for Process Algebra Implementation in Java. SBES 2002: 98-113 - [c9]Jim Woodcock
, Ana Cavalcanti:
The Semantics of Circus. ZB 2002: 184-203 - [c8]Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
:
Refinement of actions in Circus. Refine 2002: 132-162 - [c7]Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio:
Refactoring by Transformation. Refine 2002: 311-330 - 2001
- [c6]Jim Woodcock
, Ana Cavalcanti:
The Steam Boiler in a Unified Theory of Z and CSP. APSEC 2001: 291-298 - [c5]Jim Woodcock
, Ana Cavalcanti:
A Concurrent Language for Refinement. IWFM 2001 - 2000
- [j5]Ana Cavalcanti, David A. Naumann
:
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs. IEEE Trans. Software Eng. 26(8): 713-728 (2000) - [c4]Marcel Oliveira, Ana Cavalcanti:
Tactics of Refinement. SBES 2000: 117-132
1990 – 1999
- 1999
- [j4]Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
:
An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus. Sci. Comput. Program. 33(1): 87-96 (1999) - [c3]Ana Cavalcanti, David A. Naumann:
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement. World Congress on Formal Methods 1999: 1439-1459 - [c2]Geber L. Ramalho, Flávia A. Barros, Sérgio Cavalcante, Ana Cavalcanti, Manoel Lima, Silvio Romero de Lemos Meira, Hermano P. Moura, Alexandre M. L. de Vasconcelos:
Cyber Rally: An experience of democratic use of the internet. HCI (2) 1999: 402-406 - 1998
- [j3]Ana Cavalcanti, Jim Woodcock
:
A Weakest Precondition Semantics for Z. Comput. J. 41(1): 1-15 (1998) - [j2]Ana Cavalcanti, Jim Woodcock
:
ZRC - A Refinement Calculus for Z. Formal Aspects Comput. 10(3): 267-289 (1998) - [j1]Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Procedures and Recursion in the Refinement Calculus. J. Braz. Comput. Soc. 5(1) (1998) - 1997
- [b1]Ana Cavalcanti:
A refinement calculus for Z. University of Oxford, UK, 1997 - 1992
- [p1]Silvio Romero de Lemos Meira, Ana Cavalcanti:
MooZ Case Studies. Object Orientation in Z 1992: 37-58 - 1990
- [c1]Silvio Romero de Lemos Meira, Ana Cavalcanti:
Modular Object-oriented Z Specifications. Z User Workshop 1990: 173-192
Coauthor Index
aka: Marcel Vinícius Medeiros Oliveira
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint