Leonidas Kosmidis

Measurement-Based Probabilistic Timing Analysis for Multi-path Programs

Liliana Cucu‐Grosjean, Luca Santinelli, Michael Houston et al. · 2012 · 235 citations · Full text

Engineering, Computer Engineering, Computer Science +10

PROARTIS

Francisco J. Cazorla, Eduardo Quiñones, Tullio Vardanega et al. · ACM Transactions on Embedded Computing Systems · 2013 · 112 citations

Engineering, Computer Engineering, Computer Science +10

A cache design for probabilistically analysable real-time systems

Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones et al. · UPCommons institutional repository (Universitat Politècnica de Catalunya) · 2013 · 84 citations · Full text

Engineering, Computer Engineering, Computer Science +15

Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study

Franck Wartel, Leonidas Kosmidis, Codé Lo et al. · 2013 · 77 citations

Engineering, Computer Engineering, Computer Science +13

PROARTIS: Probabilistically Analysable Real-Time Systems

Francisco J. Cazorla, Eduardo Quiñones, Tullio Vardanega et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2012 · 62 citations · Full text

Engineering, Computer Engineering, Computer Science +11