Felipe Gorostiaga

IMDEA Software Institute

Papers

2

Total Citations

16

H-Index

2

About

No biography available yet.

Research Focus

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

Key Achievements

2
H-Index
2
Papers
16
Total Citations
8
Avg Citations/Paper
🏆 Most Cited Paper
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions
14 citations · 2021
📈 Most Prolific Year: 2021 (1 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: IMDEA Software Institute

Top Papers

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

Key Collaborators

SZSebastián Zudaire2 shared papersCSCésar Sánchez2 shared papersGSGerardo Schneider2 shared papersSUSebastián Uchitel2 shared papers
Not generated yet