Concepedia

Felipe Gorostiaga

FG

Statistics

Publications

3

Citations

41

H-Index

3

Active since

2020

Affiliations

IMDEA Software Institute(Current)

Centro Internacional Franco-Argentino de Ciencias de la Información y de Sistemas

Universidad Politécnica de Madrid

Felipe Gorostiaga is an author at IMDEA Software Institute specializing in program analysis, verification, and system software.

ORCID

Top concepts

Publications per year

2020–2021

3

Publications

3

Stream runtime verification of real-time event streams with the Striver language

Felipe Gorostiaga, César Sánchez · International Journal on Software Tools for Technology Transfer · 2021 · 17 citations

, , +16

Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions

Sebastián Zudaire, Felipe Gorostiaga, César Sánchez et al. · 2021 · 14 citations

Social Distance Characterization by means of Pedestrian Simulation

Daniel R. Parisi, G. A. Patterson, Lucio Pagni et al. · arXiv (Cornell University) · 2020 · 10 citations · Full text

1–3 of 3