Fernando Macías

پژوهشگر · Software Engineering

Western Norway University of Applied Sciences

Norway

معرفی

Fernando Macías is a Researcher at IMDEA Software Institute (Madrid, Spain), formerly affiliated with Western Norway University of Applied Sciences. He holds a PhD in Software Engineering (2019).

Key research projects:

Offchain Tezos Runtime Verification (blockchain security)
Flight on Chip (aerospace software verification)
MultEcore (multilevel modeling framework)
Model transformation testing (MoTES)
Legacy web application modernization (MIGRARIA)

حوزه‌های پژوهشی

Software Engineering Runtime Verification Model-Driven Engineering Blockchain Verification Aerospace Software Formal Methods

۰مقاله منتشرشده

Fernando Macías در سایت‌های دیگر

جست‌وجوهای مرتبط

شاید این‌ها هم برایتان مناسب باشند

F
Fernando MacíasIMDEA Software Institute · پژوهشگر
Martín CeresaIMDEA Software Institute · پژوهشگر
D
Dario FioreFlorida International University · استاد پژوهشی
M
Manuel HermenegildoPolytechnic University of Madrid (UPM) · استاد
Alexey GotsmanIMDEA Software Institute · استاد پژوهشی
Alexey GotsmanInria · استاد پژوهشی