Leonidas Kosmidis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
54
Venues
15
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
54 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ETS | Introduction to Post Quantum Cryptography for Resource Constrained Systems. | Leonidas Kosmidis, Sergi Alcaide, Matina Maria Trompouki, Antonio Escobar-Molero, Adam Anglart, Daniel Van Geest, Martin Zuber, Jean-Paul Truong, Andrej Grebenc, Detlef Houdeau |
| 2024 | DATE | Formal Methods for High Integrity GPU Software Development and Verification. | Dimitris Aspetakis, Leonidas Kosmidis, Matina Maria Trompouki, Jose Ruiz, Gbor Marosy |
| 2024 | DATE | The METASAT Model-Based Engineering Workflow and Digital Twin Concept. | Alejandro J. Caldern, Irune Yarza, Stefano Sinisi, Lorenzo Lazzara, Valerio Di Valerio, Giulia Stazi, Leonidas Kosmidis, Matina Maria Trompouki, Alessandro Ulisse, Aitor Amonarriz, Peio Onaindia |
| 2024 | DSD | The METASAT Modelling and Code Generation Toolchain for XtratuM and Hardware Accelerators. | Alejandro J. Caldern, Aitor Amonarriz, Mar Hernndez, Leonidas Kosmidis, Jannis Wolf, Marc Sol Bonet, Matina Maria Trompouki, Mikel Segura, Peio Onaindia |
| 2024 | IOLTS | Proton Evaluation of Single Event Effects in the NVIDIA GPU Orin SoM: Understanding Radiation Vulnerabilities Beyond the SoC. | Ivan Rodriguez-Ferrandez, Leonidas Kosmidis, Maris Tali, David Steenari, Alex Hands, Camille Blanger-Champagne |
| 2024 | SAC | Increasing Testing Robustness of GPU Software in Embedded Critical Systems. | Javier Barrera, Leonidas Kosmidis, Enrico Mezzetti, Jaume Abella, Francisco J. Cazorla |
| 2023 | DSD | Unraveling the Mystery of NVIDIA's Unified Memory for Safety-Critical GPU Systems. | Xabier Arauzo, Irune Yarza, Leonidas Kosmidis, Alejandro J. Caldern, Marcos Rodriguez |
| 2023 | IOLTS | Space Shuttle: A Test Vehicle for the Reliability of the SkyWater 130nm PDK for Future Space Processors. | Ivan Rodriguez-Ferrandez, Leonidas Kosmidis, Maris Tali, David Steenari |
| 2022 | DATE | SPARROW: A Low-Cost Hardware/Software Co-designed SIMD Microarchitecture for AI Operations in Space Processors. | Marc Sol Bonet, Leonidas Kosmidis |
| 2022 | ICCD | Contention Tracking in GPU Last-Level Cache. | Javier Barrera, Leonidas Kosmidis, Hamid Tabani, Jaume Abella, Francisco J. Cazorla |
| 2022 | IOLTS | Functional and Timing Implications of Transient Faults in Critical Systems. | Angeliki Kritikakou, Panagiota Nikolaou, Ivan Rodriguez-Ferrandez, Joseph Paturel, Leonidas Kosmidis, Maria K. Michael, Olivier Sentieys, David Steenari |
| 2022 | IOLTS | Sources of Single Event Effects in the NVIDIA Xavier SoC Family under Proton Irradiation. | Ivan Rodriguez-Ferrandez, Maris Tali, Leonidas Kosmidis, Marta Rovituso, David Steenari |
| 2021 | DATE | Comparison of GPU Computing Methodologies for Safety-Critical Systems: An Avionics Case Study. | Marc Benito, Matina Maria Trompouki, Leonidas Kosmidis, Juan David Garcia, Sergio Carretero, Ken Wenger |
| 2021 | DATE | The UP2DATE Baseline Research Platforms. | Alvaro Jover-Alvarez, Alejandro J. Caldern, Ivn Rodriguez, Leonidas Kosmidis, Kazi Asifuzzaman, Patrick Uven, Kim Grttner, Tomaso Poggi, Irune Agirre |
| 2021 | DATE | GPU4S: Major Project Outcomes, Lessons Learnt and Way Forward. | Leonidas Kosmidis, Ivn Rodriguez, Alvaro Jover-Alvarez, Sergi Alcaide, Jrme Lachaize, Olivier Notebaert, Antoine Certain, David Steenari |
| 2021 | ETS | Security, Reliability and Test Aspects of the RISC-V Ecosystem. | Jaume Abella, Sergi Alcaide, Jens Anders, Francisco Bas, Steffen Becker, Elke De Mulder, Nourhan Elhamawy, Frank K. Grkaynak, Helena Handschuh, Carles Hernndez, Michael Hutter, Leonidas Kosmidis, Ilia Polian, Matthias Sauer, Stefan Wagner, Francesco Regazzoni |
| 2020 | DATE | An On-board Algorithm Implementation on an Embedded GPU: A Space Case Study. | Ivn Rodriguez, Leonidas Kosmidis, Olivier Notebaert, Francisco J. Cazorla, David Steenari |
| 2020 | DSD | UP2DATE: Safe and secure over-the-air software updates on high-performance mixed-criticality systems. | Irune Agirre, Peio Onaindia, Tomaso Poggi, Irune Yarza, Francisco J. Cazorla, Leonidas Kosmidis, Kim Grttner, Mohammed Abuteir, Jan Loewe, Juan M. Orbegozo, Stefania Botta |
| 2020 | DSN | Software-Only Triple Diverse Redundancy on GPUs for Autonomous Driving Platforms. | Sergi Alcaide Portet, Leonidas Kosmidis, Carles Hernndez, Jaume Abella |
| 2020 | SAC | En-Route: on enabling resource usage testing for autonomous driving frameworks. | Miguel Alcon, Hamid Tabani, Jaume Abella, Leonidas Kosmidis, Francisco J. Cazorla |
| 2020 | SAC | On the reliability of hardware event monitors in MPSoCs for critical domains. | Javier Barrera, Leonidas Kosmidis, Hamid Tabani, Enrico Mezzetti, Jaume Abella, Mikel Fernndez, Guillem Bernat, Francisco J. Cazorla |
| 2020 | SAC | IntPred: flexible, fast, and accurate object detection for autonomous driving systems. | Hamid Tabani, Matteo Fusi, Leonidas Kosmidis, Jaume Abella, Francisco J. Cazorla |
| 2020 | RTAS | Timing of Autonomous Driving Software: Problem Analysis and Prospects for Future Solutions. | Miguel Alcon, Hamid Tabani, Leonidas Kosmidis, Enrico Mezzetti, Jaume Abella, Francisco J. Cazorla |
| 2019 | DAC | Assessing the Adherence of an Industrial Autonomous Driving Framework to ISO 26262 Software Guidelines. | Hamid Tabani, Leonidas Kosmidis, Jaume Abella, Francisco J. Cazorla, Guillem Bernat |
| 2019 | DATE | High-Integrity GPU Designs for Critical Real-Time Automotive Systems. | Sergi Alcaide, Leonidas Kosmidis, Carles Hernndez, Jaume Abella |
| 2019 | DSD | GPU4S: Embedded GPUs in Space. | Leonidas Kosmidis, Jrme Lachaize, Jaume Abella, Olivier Notebaert, Francisco J. Cazorla, David Steenari |
| 2019 | ECRTS | Generating and Exploiting Deep Learning Variants to Increase Heterogeneous Resource Utilization in the NVIDIA Xavier. | Roger Pujol, Hamid Tabani, Leonidas Kosmidis, Enrico Mezzetti, Jaume Abella, Francisco J. Cazorla |
| 2019 | ICCAD | Understanding and Exploiting the Internals of GPU Resource Allocation for Critical Systems. | Alejandro J. Caldern, Leonidas Kosmidis, Carlos F. Nicols, Francisco J. Cazorla, Peio Onaindia |
| 2019 | ICCD | BRASIL: A High-Integrity GPGPU Toolchain for Automotive Systems. | Matina Maria Trompouki, Leonidas Kosmidis |
| 2019 | IOLTS | Software-only Diverse Redundancy on GPUs for Autonomous Driving Platforms. | Sergi Alcaide, Leonidas Kosmidis, Carles Hernndez, Jaume Abella |
| 2019 | SBAC-PAD | Performance Analysis and Optimization of Automotive GPUs. | Fabio Mazzocchetti, Pedro Benedicte, Hamid Tabani, Leonidas Kosmidis, Jaume Abella, Francisco J. Cazorla |
| 2018 | DAC | Modelling multicore contention on the AURIX | Enrique Daz, Enrico Mezzetti, Leonidas Kosmidis, Jaume Abella, Francisco J. Cazorla |
| 2018 | DAC | Brook auto: high-level certification-friendly programming for GPU-powered automotive systems. | Matina Maria Trompouki, Leonidas Kosmidis |
| 2018 | ICCAD | Industrial experiences with resource management under software randomization in ARINC653 avionics environments. | Leonidas Kosmidis, Cristian Maxim, Victor Jgu, Francis Vatrinet, Francisco J. Cazorla |
| 2017 | DATE | Dynamic software randomisation: Lessons learnec from an aerospace case study. | Fabrice Cros, Leonidas Kosmidis, Franck Wartel, David Morales, Jaume Abella, Ian Broster, Francisco J. Cazorla |
| 2017 | DATE | Probabilistic timing analysis on time-randomized platforms for the space domain. | Mikel Fernndez, David Morales, Leonidas Kosmidis, Alen Bardizbanyan, Ian Broster, Carles Hernndez, Eduardo Quiones, Jaume Abella, Francisco J. Cazorla, Paulo Machado, Luca Fossati |
| 2017 | DATE | Optimisation opportunities and evaluation for GPGPU applications on low-end mobile GPUs. | Matina Maria Trompouki, Leonidas Kosmidis |
| 2017 | ICCAD | An open benchmark implementation for multi-CPU multi-GPU pedestrian detection in automotive systems. | Matina Maria Trompouki, Leonidas Kosmidis, Nacho Navarro |
| 2016 | DATE | Towards general purpose computations on low-end mobile GPUs. | Matina Maria Trompouki, Leonidas Kosmidis |
| 2016 | DSD | PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis. | 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 Hernndez, Code Lo, Cristian Maxim, David Morales, Eduardo Quiones, Enrico Mezzetti, Leonidas Kosmidis, Irune Agirre, Mikel Fernndez, Mladen Slijepcevic, Philippa Conmy, Walid Talaboulma |
| 2016 | ICCAD | TASA: toolchain-agnostic static software randomisation for critical real-time systems. | Leonidas Kosmidis, Roberto Vargas, David Morales, Eduardo Quiones, Jaume Abella, Francisco J. Cazorla |
| 2016 | INDIN | A confidence assessment of WCET estimates for software time randomized caches. | Pedro Benedicte, Leonidas Kosmidis, Eduardo Quiones, Jaume Abella, Francisco J. Cazorla |
| 2015 | DATE | Timing analysis of an avionics case study on complex hardware/software platforms. | Franck Wartel, Leonidas Kosmidis, Adriana Gogonel, Andrea Baldovin, Zo R. Stephenson, Benoit Triquet, Eduardo Quiones, Code Lo, Enrico Mezzetti, Ian Broster, Jaume Abella, Liliana Cucu-Grosjean, Tullio Vardanega, Francisco J. Cazorla |
| 2014 | DAC | Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware. | Leonidas Kosmidis, Eduardo Quiones, Jaume Abella, Glenn Farrall, Franck Wartel, Francisco J. Cazorla |
| 2014 | DAC | Time-Analysable Non-Partitioned Shared Caches for Real-Time Multicore Systems. | Mladen Slijepcevic, Leonidas Kosmidis, Jaume Abella, Eduardo Quiones, Francisco J. Cazorla |
| 2014 | DATE | Bus designs for time-probabilistic multicore processors. | Javier Jalle, Leonidas Kosmidis, Jaume Abella, Eduardo Quiones, Francisco J. Cazorla |
| 2014 | DSD | Measurement-Based Probabilistic Timing Analysis and Its Impact on Processor Architecture. | Leonidas Kosmidis, Eduardo Quiones, Jaume Abella, Tullio Vardanega, Ian Broster, Francisco J. Cazorla |
| 2014 | ECRTS | PUB: Path Upper-Bounding for Measurement-Based Probabilistic Timing Analysis. | Leonidas Kosmidis, Jaume Abella, Franck Wartel, Eduardo Quiones, Antoine Colin, Francisco J. Cazorla |
| 2013 | DATE | A cache design for probabilistically analysable real-time systems. | Leonidas Kosmidis, Jaume Abella, Eduardo Quiones, Francisco J. Cazorla |
| 2013 | DATE | Probabilistic timing analysis on conventional cache designs. | Leonidas Kosmidis, Charlie Curtsinger, Eduardo Quiones, Jaume Abella, Emery D. Berger, Francisco J. Cazorla |
| 2013 | ECRTS | DTM: Degraded Test Mode for Fault-Aware Probabilistic Timing Analysis. | Mladen Slijepcevic, Leonidas Kosmidis, Jaume Abella, Eduardo Quiones, Francisco J. Cazorla |
| 2013 | ISORC | Achieving timing composability with measurement-based probabilistic timing analysis. | Leonidas Kosmidis, Eduardo Quiones, Jaume Abella, Tullio Vardanega, Francisco J. Cazorla |
| 2013 | RTSS | Multi-level Unified Caches for Probabilistically Time Analysable Real-Time Systems. | Leonidas Kosmidis, Jaume Abella, Eduardo Quiones, Francisco J. Cazorla |
| 2012 | ECRTS | Measurement-Based Probabilistic Timing Analysis for Multi-path Programs. | Liliana Cucu-Grosjean, Luca Santinelli, Michael Houston, Code Lo, Tullio Vardanega, Leonidas Kosmidis, Jaume Abella, Enrico Mezzetti, Eduardo Quiones, Francisco J. Cazorla |