Felipe Gorostiaga

IMDEA Software Institute

论文数

2

总引用数

16

H-Index

2

关于

暂无简介。

研究焦点

Task (project management)2 · 16 次引用
Computer science2 · 16 次引用
Plan (archaeology)2 · 16 次引用
Programming language2 · 16 次引用
Real-time computing2 · 16 次引用
Runtime verification2 · 16 次引用
Systems engineering2 · 16 次引用
Engineering2 · 16 次引用
Formal verification2 · 16 次引用
Geology1 · 14 次引用
Correctness1 · 2 次引用
Distributed computing1 · 2 次引用

主要成就

2
H 指数
2
论文
16
总引用数
8
篇均引用
🏆 最高被引论文
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions
14 次引用 · 2021
📈 最高产年份: 2021 (1 论文)
🤝 主要合作者: 4
🏛 所属机构: IMDEA Software Institute

代表论文

  1. 1
    Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions
    14 次引用 · 2021
  2. 2
    Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification
    2 次引用 · 2022

主要合作者

SZSebastián Zudaire2 篇合著论文CSCésar Sánchez2 篇合著论文GSGerardo Schneider2 篇合著论文SUSebastián Uchitel2 篇合著论文
尚未生成