Leonidas Kosmidis

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 63

Top Topics

Pedestrian Detection

Confidence Estimates

Autonomous Driving

Top Venues

Publications

Javier Barrera, Leonidas Kosmidis, Enrico Mezzetti, Jaume Abella, Francisco J. Cazorla
Increasing Testing Robustness of GPU Software in Embedded Critical Systems. SAC (2024)
Dimitris Aspetakis, Leonidas Kosmidis, Matina Maria Trompouki, Jose Ruiz, Gábor Marosy
Formal Methods for High Integrity GPU Software Development and Verification. DATE (2024)
Ivan Rodriguez-Ferrandez, Leonidas Kosmidis, Maris Tali, David Steenari, Alex Hands, Camille Bélanger-Champagne
Proton Evaluation of Single Event Effects in the NVIDIA GPU Orin SoM: Understanding Radiation Vulnerabilities Beyond the SoC. IOLTS (2024)
Alejandro J. Calderón, Leonidas Kosmidis, Carlos F. Nicolás, Francisco J. Cazorla
XeroZerox: Analysis and Optimization of GPU Memory Management for High-Integrity Autonomous Systems. IEEE Access 12 (2024)
Alejandro J. Calderón, Irune Yarza, Stefano Sinisi, Lorenzo Lazzara, Valerio Di Valerio, Giulia Stazi, Leonidas Kosmidis, Matina Maria Trompouki, Alessandro Ulisse, Aitor Amonarriz, Peio Onaindia
The METASAT Model-Based Engineering Workflow and Digital Twin Concept. DATE (2024)
Ivan Rodriguez-Ferrandez, Leonidas Kosmidis, Maris Tali, David Steenari
Space Shuttle: A Test Vehicle for the Reliability of the SkyWater 130nm PDK for Future Space Processors. IOLTS (2023)
Xabier Arauzo, Irune Yarza, Leonidas Kosmidis, Alejandro J. Calderón, Marcos Rodriguez
Unraveling the Mystery of NVIDIA's Unified Memory for Safety-Critical GPU Systems. DSD (2023)
Jon Pérez-Cerrolaza, Jaume Abella, Leonidas Kosmidis, Alejandro J. Calderón, Francisco J. Cazorla, Jose Luis Flores
GPU Devices for Safety-Critical Systems: A Survey. ACM Comput. Surv. 55 (7) (2023)
Cristina Quesada Peralta, Matina Maria Trompouki, Leonidas Kosmidis
Evaluation of SYCL's Suitability for High-Performance Critical Systems. IWOCL (2023)
Leonidas Kosmidis, Alejandro J. Calderón, Aridane Álvarez Suárez, Stefano Sinisi, Eckart Göhler, Paco Gómez Molinero, Alfred Hönle, Alvaro Jover-Alvarez, Lorenzo Lazzara, Miguel Masmano Tello, Peio Onaindia, Tomaso Poggi, Ivan Rodriguez-Ferrandez, Marc Solé Bonet, Giulia Stazi, Matina Maria Trompouki, Alessandro Ulisse, Valerio Di Valerio, Jannis Wolf, Irune Yarza
METASAT: Modular Model-Based Design and Testing for Applications in Satellites. SAMOS (2023)
Marc Solé, Ivan Rodriguez-Ferrandez, David Steenari, Leonidas Kosmidis
Acceleration of Synthetic Aperture Radar for On-board Space Systems. HPEC (2023)
Roger Pujol, Josep Jorba, Hamid Tabani, Leonidas Kosmidis, Enrico Mezzetti, Jaume Abella, Francisco J. Cazorla
Vector Extensions in COTS Processors to Increase Guaranteed Performance in Real-Time Systems. ACM Trans. Embed. Comput. Syst. 22 (2) (2023)
Marc Solé Bonet, Leonidas Kosmidis
SPARROW: A Low-Cost Hardware/Software Co-designed SIMD Microarchitecture for AI Operations in Space Processors. DATE (2022)
Ivan Rodriguez-Ferrandez, Maris Tali, Leonidas Kosmidis, Marta Rovituso, David Steenari
Sources of Single Event Effects in the NVIDIA Xavier SoC Family under Proton Irradiation. IOLTS (2022)
Angeliki Kritikakou, Panagiota Nikolaou, Ivan Rodriguez-Ferrandez, Joseph Paturel, Leonidas Kosmidis, Maria K. Michael, Olivier Sentieys, David Steenari
Functional and Timing Implications of Transient Faults in Critical Systems. IOLTS (2022)
Sergi Alcaide, Leonidas Kosmidis, Carles Hernández, Jaume Abella
Achieving Diverse Redundancy for GPU Kernels. IEEE Trans. Emerg. Top. Comput. 10 (2) (2022)
Javier Barrera, Leonidas Kosmidis, Hamid Tabani, Jaume Abella, Francisco J. Cazorla
Contention Tracking in GPU Last-Level Cache. ICCD (2022)
Marc Benito, Matina Maria Trompouki, Leonidas Kosmidis, Juan David Garcia, Sergio Carretero, Ken Wenger
Comparison of GPU Computing Methodologies for Safety-Critical Systems: An Avionics Case Study. DATE (2021)
Alejandro J. Calderón, Leonidas Kosmidis, Carlos F. Nicolás, Javier de Lasala, Ion Larrañaga
Assessing and Improving the Suitability of Model-Based Design for GPU-Accelerated Railway Control Systems. ARCS (2021)
Alvaro Jover-Alvarez, Alejandro J. Calderón, Iván Rodriguez, Leonidas Kosmidis, Kazi Asifuzzaman, Patrick Uven, Kim Grüttner, Tomaso Poggi, Irune Agirre
The UP2DATE Baseline Research Platforms. DATE (2021)
Jaume Abella, Sergi Alcaide, Jens Anders, Francisco Bas, Steffen Becker, Elke De Mulder, Nourhan Elhamawy, Frank K. Gürkaynak, Helena Handschuh, Carles Hernández, Mike Hutter, Leonidas Kosmidis, Ilia Polian, Matthias Sauer, Stefan Wagner, Francesco Regazzoni
Security, Reliability and Test Aspects of the RISC-V Ecosystem. ETS (2021)
Leonidas Kosmidis, Iván Rodriguez, Álvaro Jover, Sergi Alcaide, Jérôme Lachaize, Jaume Abella, Olivier Notebaert, Francisco J. Cazorla, David Steenari
GPU4S: Embedded GPUs in Space - Latest Project Updates. CoRR (2021)
Leonidas Kosmidis, Iván Rodriguez, Alvaro Jover-Alvarez, Sergi Alcaide, Jérôme Lachaize, Olivier Notebaert, Antoine Certain, David Steenari
GPU4S: Major Project Outcomes, Lessons Learnt and Way Forward. DATE (2021)
Irune Agirre, Irune Yarza, Imanol Mugarza, Jacopo Binchi, Peio Onaindia, Tomaso Poggi, Francisco J. Cazorla, Leonidas Kosmidis, Kim Grüttner, Patrick Uven, Mohammed Abuteir, Jan Loewe, Juan M. Orbegozo, Stefania Botta
Safe and secure software updates on high-performance mixed-criticality systems: The UP2DATE approach. Microprocess. Microsystems 87 (2021)
Jaume Abella, Calvin Bulla, Guillem Cabo, Francisco J. Cazorla, Adrián Cristal, Max Doblas, Roger Figueras, Alberto González, Carles Hernández, César Hernández, Víctor Jiménez, Leonidas Kosmidis, Vatistas Kostalabros, Rubén Langarita, Neiel Leyva, Guillem López-Paradís, Joan Marimon, Ricardo Martínez, Jonnatan Mendoza, Francesc Moll, Miquel Moretó, Julián Pavón, Cristóbal Ramírez, Marco Antonio Ramírez, Carlos Rojas Morales, Antonio Rubio, Abraham Ruiz, Nehir Sönmez, Víctor Soria, Lluís Terés, Osman S. Unsal, Mateo Valero, Iván Vargas Valdivieso, Luis Villa
An Academic RISC-V Silicon Implementation Based on Open-Source Components. DCIS (2020)
Hamid Tabani, Matteo Fusi, Leonidas Kosmidis, Jaume Abella, Francisco J. Cazorla
IntPred: flexible, fast, and accurate object detection for autonomous driving systems. SAC (2020)
Miguel Alcon, Hamid Tabani, Jaume Abella, Leonidas Kosmidis, Francisco J. Cazorla
En-Route: on enabling resource usage testing for autonomous driving frameworks. SAC (2020)
Sergi Alcaide, Leonidas Kosmidis, Carles Hernández, Jaume Abella
Software-only based Diverse Redundancy for ASIL-D Automotive Applications on Embedded HPC Platforms. DFT (2020)
Leonidas Kosmidis, Iván Rodriguez, Álvaro Jover, Sergi Alcaide, Jérôme Lachaize, Jaume Abella, Olivier Notebaert, Francisco J. Cazorla, David Steenari
GPU4S: Embedded GPUs in space - Latest project updates. Microprocess. Microsystems 77 (2020)
Alejandro J. Calderón, Leonidas Kosmidis, Carlos F. Nicolás, Francisco J. Cazorla, Peio Onaindia
GMAI: Understanding and Exploiting the Internals of GPU Resource Allocation in Critical Systems. ACM Trans. Embed. Comput. Syst. 19 (5) (2020)
Iván Rodriguez, Leonidas Kosmidis, Olivier Notebaert, Francisco J. Cazorla, David Steenari
An On-board Algorithm Implementation on an Embedded GPU: A Space Case Study. DATE (2020)
Miguel Alcon, Hamid Tabani, Leonidas Kosmidis, Enrico Mezzetti, Jaume Abella, Francisco J. Cazorla
Timing of Autonomous Driving Software: Problem Analysis and Prospects for Future Solutions. RTAS (2020)
Sergi Alcaide Portet, Leonidas Kosmidis, Carles Hernández, Jaume Abella
Software-Only Triple Diverse Redundancy on GPUs for Autonomous Driving Platforms. DSN (Supplements) (2020)
Irune Agirre, Peio Onaindia, Tomaso Poggi, Irune Yarza, Francisco J. Cazorla, Leonidas Kosmidis, Kim Grüttner, Mohammed Abuteir, Jan Loewe, Juan M. Orbegozo, Stefania Botta
UP2DATE: Safe and secure over-the-air software updates on high-performance mixed-criticality systems. DSD (2020)
Javier Barrera, Leonidas Kosmidis, Hamid Tabani, Enrico Mezzetti, Jaume Abella, Mikel Fernández, Guillem Bernat, Francisco J. Cazorla
On the reliability of hardware event monitors in MPSoCs for critical domains. SAC (2020)
Alejandro J. Calderón, Leonidas Kosmidis, Carlos F. Nicolás, Francisco J. Cazorla, Peio Onaindia
Understanding and Exploiting the Internals of GPU Resource Allocation for Critical Systems. ICCAD (2019)
Fabio Mazzocchetti, Pedro Benedicte, Hamid Tabani, Leonidas Kosmidis, Jaume Abella, Francisco J. Cazorla
Performance Analysis and Optimization of Automotive GPUs. SBAC-PAD (2019)
Roger Pujol, Hamid Tabani, Leonidas Kosmidis, Enrico Mezzetti, Jaume Abella, Francisco J. Cazorla
Generating and Exploiting Deep Learning Variants to Increase Heterogeneous Resource Utilization in the NVIDIA Xavier. ECRTS (2019)
Francisco J. Cazorla, Leonidas Kosmidis, Enrico Mezzetti, Carles Hernández, Jaume Abella, Tullio Vardanega
Probabilistic Worst-Case Timing Analysis: Taxonomy and Comprehensive Survey. ACM Comput. Surv. 52 (1) (2019)
Hamid Tabani, Leonidas Kosmidis, Jaume Abella, Francisco J. Cazorla, Guillem Bernat
Assessing the Adherence of an Industrial Autonomous Driving Framework to ISO 26262 Software Guidelines. DAC (2019)
Sergi Alcaide, Leonidas Kosmidis, Carles Hernández, Jaume Abella
High-Integrity GPU Designs for Critical Real-Time Automotive Systems. DATE (2019)
Leonidas Kosmidis, Jérôme Lachaize, Jaume Abella, Olivier Notebaert, Francisco J. Cazorla, David Steenari
GPU4S: Embedded GPUs in Space. DSD (2019)
Sergi Alcaide, Leonidas Kosmidis, Carles Hernández, Jaume Abella
Software-only Diverse Redundancy on GPUs for Autonomous Driving Platforms. IOLTS (2019)
Matina Maria Trompouki, Leonidas Kosmidis
BRASIL: A High-Integrity GPGPU Toolchain for Automotive Systems. ICCD (2019)
Sergi Alcaide, Leonidas Kosmidis, Hamid Tabani, Carles Hernández, Jaume Abella, Francisco J. Cazorla
Safety-Related Challenges and Opportunities for GPUs in the Automotive Domain. IEEE Micro 38 (6) (2018)
Matina Maria Trompouki, Leonidas Kosmidis
Brook auto: high-level certification-friendly programming for GPU-powered automotive systems. DAC (2018)
Leonidas Kosmidis, Cristian Maxim, Victor Jégu, Francis Vatrinet, Francisco J. Cazorla
Industrial experiences with resource management under software randomization in ARINC653 avionics environments. ICCAD (2018)
Enrico Mezzetti, Leonidas Kosmidis, Jaume Abella, Francisco J. Cazorla
High-Integrity Performance Monitoring Units in Automotive Chips for Reliable Timing V&V. IEEE Micro 38 (1) (2018)
Enrique Díaz, Enrico Mezzetti, Leonidas Kosmidis, Jaume Abella, Francisco J. Cazorla
TC27x. DAC (2018)
Matina Maria Trompouki, Leonidas Kosmidis
Brook GLES Pi: democratising accelerator programming. High Performance Graphics (2018)
Mikel Fernández, David Morales, Leonidas Kosmidis, Alen Bardizbanyan, Ian Broster, Carles Hernández, Eduardo Quiñones, Jaume Abella, Francisco J. Cazorla, Paulo Machado, Luca Fossati
Probabilistic timing analysis on time-randomized platforms for the space domain. DATE (2017)
Enrique Díaz, Mikel Fernández, Leonidas Kosmidis, Enrico Mezzetti, Carles Hernández, Jaume Abella, Francisco J. Cazorla
MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding. Ada-Europe (2017)
Matina Maria Trompouki, Leonidas Kosmidis
Optimisation opportunities and evaluation for GPGPU applications on low-end mobile GPUs. DATE (2017)
Matina Maria Trompouki, Leonidas Kosmidis, Nacho Navarro
An open benchmark implementation for multi-CPU multi-GPU pedestrian detection in automotive systems. ICCAD (2017)
Fabrice Cros, Leonidas Kosmidis, Franck Wartel, David Morales, Jaume Abella, Ian Broster, Francisco J. Cazorla
Dynamic software randomisation: Lessons learnec from an aerospace case study. DATE (2017)
Pedro Benedicte, Leonidas Kosmidis, Eduardo Quiñones, Jaume Abella, Francisco J. Cazorla
Modelling the confidence of timing analysis for time randomised caches. SIES (2016)
Pedro Benedicte, Leonidas Kosmidis, Eduardo Quiñones, Jaume Abella, Francisco J. Cazorla
A confidence assessment of WCET estimates for software time randomized caches. INDIN (2016)
Francisco J. Cazorla, Jaume Abella, Jan Andersson, Tullio Vardanega, Francis Vatrinet, Iain Bate, Ian Broster, Mikel Azkarate-askasua, Franck Wartel, Liliana Cucu, Fabrice Cros, Glenn Farrall, Adriana Gogonel, Andrea Gianarro, Benoit Triquet, Carles Hernández, Code Lo, Cristian Maxim, David Morales, Eduardo Quiñones, Enrico Mezzetti, Leonidas Kosmidis, Irune Agirre, Mikel Fernández, Mladen Slijepcevic, Philippa Conmy, Walid Talaboulma
PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis. DSD (2016)
Leonidas Kosmidis, Davide Compagnin, David Morales, Enrico Mezzetti, Eduardo Quiñones, Jaume Abella, Tullio Vardanega, Francisco J. Cazorla
Measurement-Based Timing Analysis of the AURIX Caches. WCET (2016)
Matina Maria Trompouki, Leonidas Kosmidis
Towards general purpose computations on low-end mobile GPUs. DATE (2016)
Leonidas Kosmidis, Eduardo Quiñones, Jaume Abella, Tullio Vardanega, Carles Hernández, Andrea Gianarro, Ian Broster, Francisco J. Cazorla
Fitting processor architectures for measurement-based probabilistic timing analysis. Microprocess. Microsystems 47 (2016)
Leonidas Kosmidis, Roberto Vargas, David Morales, Eduardo Quiñones, Jaume Abella, Francisco J. Cazorla
TASA: toolchain-agnostic static software randomisation for critical real-time systems. ICCAD (2016)
Franck Wartel, Leonidas Kosmidis, Adriana Gogonel, Andrea Baldovin, Zoë R. Stephenson, Benoit Triquet, Eduardo Quiñones, Code Lo, Enrico Mezzetti, Ian Broster, Jaume Abella, Liliana Cucu-Grosjean, Tullio Vardanega, Francisco J. Cazorla
Timing analysis of an avionics case study on complex hardware/software platforms. DATE (2015)
Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla
Efficient Cache Designs for Probabilistically Analysable Real-Time Systems. IEEE Trans. Computers 63 (12) (2014)
Mladen Slijepcevic, Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla
Time-Analysable Non-Partitioned Shared Caches for Real-Time Multicore Systems. DAC (2014)
Javier Jalle, Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla
Bus designs for time-probabilistic multicore processors. DATE (2014)
Leonidas Kosmidis, Jaume Abella, Franck Wartel, Eduardo Quiñones, Antoine Colin, Francisco J. Cazorla
PUB: Path Upper-Bounding for Measurement-Based Probabilistic Timing Analysis. ECRTS (2014)
Mladen Slijepcevic, Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla
Timing Verification of Fault-Tolerant Chips for Safety-Critical Applications in Harsh Environments. IEEE Micro 34 (6) (2014)
Leonidas Kosmidis, Eduardo Quiñones, Jaume Abella, Glenn Farrall, Franck Wartel, Francisco J. Cazorla
Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware. DAC (2014)
Leonidas Kosmidis, Eduardo Quiñones, Jaume Abella, Tullio Vardanega, Ian Broster, Francisco J. Cazorla
Measurement-Based Probabilistic Timing Analysis and Its Impact on Processor Architecture. DSD (2014)
Francisco J. Cazorla, Eduardo Quiñones, Tullio Vardanega, Liliana Cucu, Benoit Triquet, Guillem Bernat, Emery D. Berger, Jaume Abella, Franck Wartel, Michael Houston, Luca Santinelli, Leonidas Kosmidis, Code Lo, Dorin Maxim
PROARTIS: Probabilistically Analyzable Real-Time Systems. ACM Trans. Embed. Comput. Syst. 12 (2s) (2013)
Leonidas Kosmidis, Eduardo Quiñones, Jaume Abella, Tullio Vardanega, Francisco J. Cazorla
Achieving timing composability with measurement-based probabilistic timing analysis. ISORC (2013)
Mladen Slijepcevic, Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla
DTM: Degraded Test Mode for Fault-Aware Probabilistic Timing Analysis. ECRTS (2013)
Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla
A cache design for probabilistically analysable real-time systems. DATE (2013)
Franck Wartel, Leonidas Kosmidis, Code Lo, Benoit Triquet, Eduardo Quiñones, Jaume Abella, Adriana Gogonel, Andrea Baldovin, Enrico Mezzetti, Liliana Cucu, Tullio Vardanega, Francisco J. Cazorla
Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study. SIES (2013)
Leonidas Kosmidis, Charlie Curtsinger, Eduardo Quiñones, Jaume Abella, Emery D. Berger, Francisco J. Cazorla
Probabilistic timing analysis on conventional cache designs. DATE (2013)
Leonidas Kosmidis, Tullio Vardanega, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla
Applying Measurement-Based Probabilistic Timing Analysis to Buffer Resources. WCET (2013)
Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla
Multi-level Unified Caches for Probabilistically Time Analysable Real-Time Systems. RTSS (2013)
Liliana Cucu-Grosjean, Luca Santinelli, Michael Houston, Code Lo, Tullio Vardanega, Leonidas Kosmidis, Jaume Abella, Enrico Mezzetti, Eduardo Quiñones, Francisco J. Cazorla
Measurement-Based Probabilistic Timing Analysis for Multi-path Programs. ECRTS (2012)