Ana Cavalcanti

University of York

Papers

39

Total Citations

488

H-Index

12

About

No biography available yet.

Research Focus

Computer science38 · 486 citations
Programming language29 · 421 citations
Artificial intelligence26 · 381 citations
Software engineering19 · 304 citations
Robot22 · 299 citations
Software17 · 290 citations
Semantics (computer science)14 · 265 citations
Domain (mathematical analysis)12 · 245 citations
Model checking7 · 199 citations
Unified Modeling Language6 · 189 citations
Notation12 · 152 citations
Formal semantics (linguistics)2 · 140 citations

Key Achievements

12
H-Index
39
Papers
488
Total Citations
13
Avg Citations/Paper
🏆 Most Cited Paper
RoboChart: modelling and verification of the functional behaviour of robotic applications
113 citations · 2019
📈 Most Prolific Year: 2023 (8 Papers)
🤝 Key Collaborators: 80
🏛 Institutions: University of York

Top Papers

  1. 1
    RoboChart: modelling and verification of the functional behaviour of robotic applications
    113 citations · 2019
  2. 2
    Verified simulation for robotics
    44 citations · 2019
  3. 3
    Automatic property checking of robotic applications
    35 citations · 2017
  4. 4
    RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing
    28 citations · 2020
  5. 5
    Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
    27 citations · 2018
  6. 6
    Probabilistic modelling and verification using RoboChart and PRISM
    26 citations · 2021
  7. 7
    Specification and Validation of Normative Rules for Autonomous Agents
    18 citations · 2023
  8. 8
    Testing Robots Using CSP
    16 citations · 2019
  9. 9
    From Formalised State Machines to Implementations of Robotic Controllers
    14 citations · 2018
  10. 10
    Analyzing and Debugging Normative Requirements via Satisfiability Checking
    13 citations · 2024

Key Collaborators

AMAlvaro Miyazawa17 shared papersPRPedro Ribeiro14 shared papersJWJim Woodcock10 shared papersJTJon Timmis10 shared papersJBJames Baxter7 shared papersSGSinem Getir Yaman5 shared papersRCRadu Călinescu5 shared papersSFSimon Foster4 shared papersASAugusto Sampaio4 shared papersKYKangfeng Ye4 shared papersGCGustavo Carvalho3 shared papersBTBeverley Townsend3 shared papersMCMadiel Conserva Filho3 shared papersRMRobert M. Hierons2 shared papersMJMaddie Jones2 shared papersWLWei Li2 shared papersDADavid A. Anisi2 shared papersWBWill Barnett2 shared papersMAMustafa Adam2 shared papersCBCharlie Burholt2 shared papers
Not generated yet