logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
A

Ana Cavalcanti

university of york - uk

31H指数
267论文数
3.3K被引数
收录论文 8
发表时间
logo
Software Engineering for Self-Adaptive Robotics: A Research Agenda自适应性机器人软件工程：一项研究议程
errACM Transactions on Software Engineering and Methodology
IF6.2
err2026-08-21
err0
errOAAI
errHassan Sartaj; Shaukat Ali; Ana Cavalcanti; Lukas Esterle; Cláudio Gomes; Peter Gorm Larsen; Anastasios Tefas; Jim Woodcock; Houxiang Zhang
err分享
err收藏
A model-based approach for co-simulation-driven digital twins in robotics基于模型的面向机器人共仿真驱动的数字孪生方法
errRobotics and Autonomous Systems
IF5.2
err2025-10-28
err0
errOAAI
errSantiago Gil; Arjun Badyal; Alvaro Miyazawa; Peter Gorm Larsen; Ana Cavalcanti
err分享
err收藏
Diagrammatic physical robot models (vol 24, pg 1549, 2025)图示物理机器人模型（卷 24，页 1549，2025）
errSOFTWARE AND SYSTEMS MODELING
IF3.2
err2025-10-01
err0
errOAAI
errMiyazawa, Alvaro; Ahmadi, Sharar; Cavalcanti, Ana; Baxter, James; Post, Mark; Ribeiro, Pedro; Timmis, Jon; Wright, Thomas
err分享
err收藏
Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents☆规范，验证和验证自主代理的社会，法律，道德，移情和文化要求 ☆
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2025-02-01
err0
errOAAI
errYaman, Sinem Getir; Ribeiro, Pedro; Cavalcanti, Ana; Calinescu, Radu; Paterson, Colin; Townsend, Beverley
err分享
err收藏
Future Directions in Software Engineering for Autonomous Robots: An Agenda for Trustworthiness [Opinion]自主机器人软件工程的未来方向: 可信度议程 [意见]
errIEEE ROBOTICS & AUTOMATION MAGAZINE
IF7.1
err2024-09-01
err0
PREAI
errBrugali, Davide; Cavalcanti, Ana; Hochgeschwender, Nico; Pelliccione, Patrizio; Rebelo, Luciana
err分享
err收藏
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool
errAUTONOMOUS ROBOTS
IF4.3
err2024-07-05
err0
errOAAI
errLi, Wei; Ribeiro, Pedro; Miyazawa, Alvaro; Redpath, Richard; Cavalcanti, Ana; Alden, Kieran; Woodcock, Jim; Timmis, Jon
err分享
err收藏
Formal mutation testing for Circus
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2017-01-01
err8
errOAAI
errAlberto, Alex; Cavalcanti, Ana; Gaudel, Marie-Claude; Simao, Adenilso
err分享
err收藏
A weakest precondition semantics for refinement of object-oriented programs
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2000-01-01
err29
PREAI
errCavalcanti, A; Naumann, DA
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
J
Jon Timmis
H 指数: 52 · 论文数: 388
A
Anastasios Tefas
H 指数: 50 · 论文数: 610
J
Jim Woodcock
H 指数: 38 · 论文数: 353
H
Houxiang Zhang
H 指数: 38 · 论文数: 339
S
Shaukat Ali
H 指数: 36 · 论文数: 316
查看更多