Concepedia

Santiago Urueña

SU

Statistics

Publications

2

Citations

23

H-Index

2

Active since

2007

Affiliations

Universidad Politécnica de Madrid(Current)

Santiago Urueña is an author at Universidad Politécnica de Madrid specializing in computer engineering, system software, and systems engineering.

Top concepts

EngineeringSystem SoftwareComputer ScienceReal-time SystemsSystems EngineeringComputer EngineeringAutomationVerificationFormal MethodsProgram Analysis

Publications per year

2007–2008

2

Publications

2

Implementing the new Ada 2005 real-time features on a bare board kernel

Santiago Urueña, José Pulido, J. R. Álvarez Redondo et al. · ACM SIGAda Ada Letters · 2007 · 12 citations

Engineering, Computer Architecture, Hardware Security +18

The ASSERT Virtual Machine: A Predictable Platform for Real-Time Systems

Juan A. de la Puente, Juan Zamorano, José A. Pulido et al. · IFAC Proceedings Volumes · 2008 · 11 citations

Assert Virtual Machine, Engineering, Runtime Verification +15

1–2 of 2