Ana Cavalcanti

University of York

论文数

39

总引用数

488

H-Index

12

关于

暂无简介。

研究焦点

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

主要成就

12
H 指数
39
论文
488
总引用数
13
篇均引用
🏆 最高被引论文
RoboChart: modelling and verification of the functional behaviour of robotic applications
113 次引用 · 2019
📈 最高产年份: 2023 (8 论文)
🤝 主要合作者: 80
🏛 所属机构: University of York

代表论文

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

主要合作者

AMAlvaro Miyazawa17 篇合著论文PRPedro Ribeiro14 篇合著论文JWJim Woodcock10 篇合著论文JTJon Timmis10 篇合著论文JBJames Baxter7 篇合著论文SGSinem Getir Yaman5 篇合著论文RCRadu Călinescu5 篇合著论文SFSimon Foster4 篇合著论文ASAugusto Sampaio4 篇合著论文KYKangfeng Ye4 篇合著论文GCGustavo Carvalho3 篇合著论文BTBeverley Townsend3 篇合著论文MCMadiel Conserva Filho3 篇合著论文RMRobert M. Hierons2 篇合著论文MJMaddie Jones2 篇合著论文WLWei Li2 篇合著论文DADavid A. Anisi2 篇合著论文WBWill Barnett2 篇合著论文MAMustafa Adam2 篇合著论文CBCharlie Burholt2 篇合著论文
尚未生成