Leonidas Kosmidis

95 papers A* 5A 22B 5C 17Misc 5Journal 18Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Assessing the Use of NVIDIA Multi-Instance GPU in the Automotive Domain. IEEE Embed. Syst. Lett. Javier Barrera, Leonidas Kosmidis, Jaume Abella, Francisco J. Cazorla
2025	—	`ed.`	16th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 14th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2025, Barcelona, Spain, January 22, 2025 PARMA-DITAM Daniele Cattaneo, Maria Fazio, Leonidas Kosmidis, Gabriele Morabito
2025	—	`conf`	A Qualifiable GPU Sharing Approach for AI Workloads in Critical Systems. HPEC Marc Solé Bonet, Jannis Wolf, Aridane Álvarez Suárez, Leonidas Kosmidis
2025	J	`jnl`	A RISC-V Multicore and GPU SoC Platform with a Qualifiable Software Stack for Safety Critical Systems. CoRR Marc Solé Bonet, Jannis Wolf, Leonidas Kosmidis
2025	C	`conf`	AI Engineering for Safety-Critical Control Systems: An Aerospace Perspective. ACC Umut Durak, Zamira Daw, Ufuk Topcu, Ella M. Atkins, Darren Cofer, Mevlut Uzun, Gökhan Inalhan, Leonidas Kosmidis, James L. Paunicka, Trung T. Pham
2025	—	`conf`	Analysis of GPU Memory Allocation Characteristics. PARMA-DITAM Marcos Rodriguez, Irune Yarza, Leonidas Kosmidis, Alejandro J. Calderón
2025	—	`conf`	Evaluation of the Parallel Features of Rust for Space Systems. PARMA-DITAM Alberto Perugini, Leonidas Kosmidis
2025	J	`jnl`	Hardware support for contention tracking in CPU and GPU last-level cache. J. Syst. Archit. Javier Barrera, Leonidas Kosmidis, Hamid Tabani, Jaume Abella, Francisco J. Cazorla
2025	—	`conf`	Integration of GPU RTL IP into System-level Simulation through TLM: A Case Study with Vortex RISC-V GPU in the METASAT Platform Digital Twin. Software Engineering Companion Lorenzo Lazzara, Giulia Stazi, Valerio Di Valerio, Stefano Sinisi, Alessandro Ulisse, Marc Solé Bonet, Janis Wolf, Leonidas Kosmidis
2025	—	`conf`	Radiation Effects on NVIDIA Jetson SoCs: Insights from Heavy Ion Irradiation. DFT Ivan Rodriguez-Ferrandez, Eric Rufart Blasco, Leonidas Kosmidis, Maris Tali, David Steenari
2025	—	`conf`	Towards Studying the Effect of Compiler Optimizations and Software Randomization on GPU Reliability. PARMA-DITAM Pau López Castillón, Xavier Caricchio Hernández, Leonidas Kosmidis
2024	—	`conf`	Design and Implementation of an Open Source OpenGL SC 2.0.1 Installable Client Driver and Offline Compiler. SAMOS Matina Maria Trompouki, Marc Solé Bonet, Josué Pedrajas Pérez, Leonidas Kosmidis
2024	—	`conf`	Exploring Total Ionizing Dose Radiation Effects Across Generations of NVIDIA Jetson Devices: A Comparative Analysis. DFT Ivan Rodriguez-Ferrandez, Maris Tali, Leonidas Kosmidis, Alessandra Costantino, David Steenari
2024	A	`conf`	Formal Methods for High Integrity GPU Software Development and Verification. DATE Dimitris Aspetakis, Leonidas Kosmidis, Matina Maria Trompouki, Jose Ruiz, Gábor Marosy
2024	Misc	`conf`	Increasing Testing Robustness of GPU Software in Embedded Critical Systems. SAC Javier Barrera, Leonidas Kosmidis, Enrico Mezzetti, Jaume Abella, Francisco J. Cazorla
2024	—	`conf`	Open Source Software Randomisation Framework for Probabilistic WCET Prediction on Multicore CPUs, GPUs and Accelerators. SAMOS Leonidas Kosmidis, Matina Maria Trompouki, Pau López Castillón, Eric Rufart Blasco, Javier Fernandez Salgado, Andreas Jung
2024	C	`conf`	Proton Evaluation of Single Event Effects in the NVIDIA GPU Orin SoM: Understanding Radiation Vulnerabilities Beyond the SoC. IOLTS Ivan Rodriguez-Ferrandez, Leonidas Kosmidis, Maris Tali, David Steenari, Alex Hands, Camille Bélanger-Champagne
2024	A	`conf`	The METASAT Model-Based Engineering Workflow and Digital Twin Concept. DATE 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
2024	C	`conf`	The METASAT Modelling and Code Generation Toolchain for XtratuM and Hardware Accelerators. DSD Alejandro J. Calderón, Aitor Amonarriz, Mar Hernández, Leonidas Kosmidis, Jannis Wolf, Marc Solé Bonet, Matina Maria Trompouki, Mikel Segura, Peio Onaindia
2024	J	`jnl`	XeroZerox: Analysis and Optimization of GPU Memory Management for High-Integrity Autonomous Systems. IEEE Access Alejandro J. Calderón, Leonidas Kosmidis, Carlos F. Nicolás, Francisco J. Cazorla
2023	—	`conf`	Acceleration of Synthetic Aperture Radar for On-board Space Systems. HPEC Marc Solé, Ivan Rodriguez-Ferrandez, David Steenari, Leonidas Kosmidis
2023	—	`conf`	Evaluation of SYCL's Suitability for High-Performance Critical Systems. IWOCL Cristina Quesada Peralta, Matina Maria Trompouki, Leonidas Kosmidis
2023	J	`jnl`	GPU Devices for Safety-Critical Systems: A Survey. ACM Comput. Surv. Jon Pérez-Cerrolaza, Jaume Abella, Leonidas Kosmidis, Alejandro J. Calderón, Francisco J. Cazorla, Jose Luis Flores
2023	—	`conf`	METASAT: Modular Model-Based Design and Testing for Applications in Satellites. SAMOS 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
2023	C	`conf`	Space Shuttle: A Test Vehicle for the Reliability of the SkyWater 130nm PDK for Future Space Processors. IOLTS Ivan Rodriguez-Ferrandez, Leonidas Kosmidis, Maris Tali, David Steenari
2023	C	`conf`	Unraveling the Mystery of NVIDIA's Unified Memory for Safety-Critical GPU Systems. DSD Xabier Arauzo, Irune Yarza, Leonidas Kosmidis, Alejandro J. Calderón, Marcos Rodriguez
2023	J	`jnl`	Vector Extensions in COTS Processors to Increase Guaranteed Performance in Real-Time Systems. ACM Trans. Embed. Comput. Syst. Roger Pujol, Josep Jorba, Hamid Tabani, Leonidas Kosmidis, Enrico Mezzetti, Jaume Abella, Francisco J. Cazorla
2022	J	`jnl`	Achieving Diverse Redundancy for GPU Kernels. IEEE Trans. Emerg. Top. Comput. Sergi Alcaide, Leonidas Kosmidis, Carles Hernández, Jaume Abella
2022	C	`conf`	Contention Tracking in GPU Last-Level Cache. ICCD Javier Barrera, Leonidas Kosmidis, Hamid Tabani, Jaume Abella, Francisco J. Cazorla
2022	C	`conf`	Functional and Timing Implications of Transient Faults in Critical Systems. IOLTS Angeliki Kritikakou, Panagiota Nikolaou, Ivan Rodriguez-Ferrandez, Joseph Paturel, Leonidas Kosmidis, Maria K. Michael, Olivier Sentieys, David Steenari
2022	A	`conf`	SPARROW: A Low-Cost Hardware/Software Co-designed SIMD Microarchitecture for AI Operations in Space Processors. DATE Marc Solé Bonet, Leonidas Kosmidis
2022	C	`conf`	Sources of Single Event Effects in the NVIDIA Xavier SoC Family under Proton Irradiation. IOLTS Ivan Rodriguez-Ferrandez, Maris Tali, Leonidas Kosmidis, Marta Rovituso, David Steenari
2021	—	`conf`	Assessing and Improving the Suitability of Model-Based Design for GPU-Accelerated Railway Control Systems. ARCS Alejandro J. Calderón, Leonidas Kosmidis, Carlos F. Nicolás, Javier de Lasala, Ion Larrañaga
2021	A	`conf`	Comparison of GPU Computing Methodologies for Safety-Critical Systems: An Avionics Case Study. DATE Marc Benito, Matina Maria Trompouki, Leonidas Kosmidis, Juan David Garcia, Sergio Carretero, Ken Wenger
2021	J	`jnl`	GPU4S: Embedded GPUs in Space - Latest Project Updates. CoRR Leonidas Kosmidis, Iván Rodriguez, Álvaro Jover, Sergi Alcaide, Jérôme Lachaize, Jaume Abella, Olivier Notebaert, Francisco J. Cazorla, David Steenari
2021	A	`conf`	GPU4S: Major Project Outcomes, Lessons Learnt and Way Forward. DATE Leonidas Kosmidis, Iván Rodriguez, Alvaro Jover-Alvarez, Sergi Alcaide, Jérôme Lachaize, Olivier Notebaert, Antoine Certain, David Steenari
2021	J	`jnl`	Safe and secure software updates on high-performance mixed-criticality systems: The UP2DATE approach. Microprocess. Microsystems 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
2021	B	`conf`	Security, Reliability and Test Aspects of the RISC-V Ecosystem. ETS Jaume Abella, Sergi Alcaide, Jens Anders, Francisco Bas, Steffen Becker, Elke De Mulder, Nourhan Elhamawy, Frank K. Gürkaynak, Helena Handschuh, Carles Hernández, Michael Hutter, Leonidas Kosmidis, Ilia Polian, Matthias Sauer, Stefan Wagner, Francesco Regazzoni
2021	A	`conf`	The UP2DATE Baseline Research Platforms. DATE Alvaro Jover-Alvarez, Alejandro J. Calderón, Iván Rodriguez, Leonidas Kosmidis, Kazi Asifuzzaman, Patrick Uven, Kim Grüttner, Tomaso Poggi, Irune Agirre
2020	—	`conf`	An Academic RISC-V Silicon Implementation Based on Open-Source Components. DCIS 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
2020	A	`conf`	An On-board Algorithm Implementation on an Embedded GPU: A Space Case Study. DATE Iván Rodriguez, Leonidas Kosmidis, Olivier Notebaert, Francisco J. Cazorla, David Steenari
2020	Misc	`conf`	En-Route: on enabling resource usage testing for autonomous driving frameworks. SAC Miguel Alcon, Hamid Tabani, Jaume Abella, Leonidas Kosmidis, Francisco J. Cazorla
2020	J	`jnl`	GMAI: Understanding and Exploiting the Internals of GPU Resource Allocation in Critical Systems. ACM Trans. Embed. Comput. Syst. Alejandro J. Calderón, Leonidas Kosmidis, Carlos F. Nicolás, Francisco J. Cazorla, Peio Onaindia
2020	J	`jnl`	GPU4S: Embedded GPUs in space - Latest project updates. Microprocess. Microsystems Leonidas Kosmidis, Iván Rodriguez, Álvaro Jover, Sergi Alcaide, Jérôme Lachaize, Jaume Abella, Olivier Notebaert, Francisco J. Cazorla, David Steenari
2020	Misc	`conf`	IntPred: flexible, fast, and accurate object detection for autonomous driving systems. SAC Hamid Tabani, Matteo Fusi, Leonidas Kosmidis, Jaume Abella, Francisco J. Cazorla
2020	Misc	`conf`	On the reliability of hardware event monitors in MPSoCs for critical domains. SAC Javier Barrera, Leonidas Kosmidis, Hamid Tabani, Enrico Mezzetti, Jaume Abella, Mikel Fernández, Guillem Bernat, Francisco J. Cazorla
2020	—	`conf`	Software-Only Triple Diverse Redundancy on GPUs for Autonomous Driving Platforms. DSN (Supplements) Sergi Alcaide Portet, Leonidas Kosmidis, Carles Hernández, Jaume Abella
2020	—	`conf`	Software-only based Diverse Redundancy for ASIL-D Automotive Applications on Embedded HPC Platforms. DFT Sergi Alcaide, Leonidas Kosmidis, Carles Hernández, Jaume Abella
2020	A	`conf`	Timing of Autonomous Driving Software: Problem Analysis and Prospects for Future Solutions. RTAS Miguel Alcon, Hamid Tabani, Leonidas Kosmidis, Enrico Mezzetti, Jaume Abella, Francisco J. Cazorla
2020	C	`conf`	UP2DATE: Safe and secure over-the-air software updates on high-performance mixed-criticality systems. DSD 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
2019	A*	`conf`	Assessing the Adherence of an Industrial Autonomous Driving Framework to ISO 26262 Software Guidelines. DAC Hamid Tabani, Leonidas Kosmidis, Jaume Abella, Francisco J. Cazorla, Guillem Bernat
2019	C	`conf`	BRASIL: A High-Integrity GPGPU Toolchain for Automotive Systems. ICCD Matina Maria Trompouki, Leonidas Kosmidis
2019	C	`conf`	GPU4S: Embedded GPUs in Space. DSD Leonidas Kosmidis, Jérôme Lachaize, Jaume Abella, Olivier Notebaert, Francisco J. Cazorla, David Steenari
2019	B	`conf`	Generating and Exploiting Deep Learning Variants to Increase Heterogeneous Resource Utilization in the NVIDIA Xavier. ECRTS Roger Pujol, Hamid Tabani, Leonidas Kosmidis, Enrico Mezzetti, Jaume Abella, Francisco J. Cazorla
2019	A	`conf`	High-Integrity GPU Designs for Critical Real-Time Automotive Systems. DATE Sergi Alcaide, Leonidas Kosmidis, Carles Hernández, Jaume Abella
2019	C	`conf`	Performance Analysis and Optimization of Automotive GPUs. SBAC-PAD Fabio Mazzocchetti, Pedro Benedicte, Hamid Tabani, Leonidas Kosmidis, Jaume Abella, Francisco J. Cazorla
2019	J	`jnl`	Probabilistic Worst-Case Timing Analysis: Taxonomy and Comprehensive Survey. ACM Comput. Surv. Francisco J. Cazorla, Leonidas Kosmidis, Enrico Mezzetti, Carles Hernández, Jaume Abella, Tullio Vardanega
2019	C	`conf`	Software-only Diverse Redundancy on GPUs for Autonomous Driving Platforms. IOLTS Sergi Alcaide, Leonidas Kosmidis, Carles Hernández, Jaume Abella
2019	A	`conf`	Understanding and Exploiting the Internals of GPU Resource Allocation for Critical Systems. ICCAD Alejandro J. Calderón, Leonidas Kosmidis, Carlos F. Nicolás, Francisco J. Cazorla, Peio Onaindia
2018	—	`conf`	Brook GLES Pi: democratising accelerator programming. High Performance Graphics Matina Maria Trompouki, Leonidas Kosmidis
2018	A*	`conf`	Brook auto: high-level certification-friendly programming for GPU-powered automotive systems. DAC Matina Maria Trompouki, Leonidas Kosmidis
2018	J	`jnl`	High-Integrity Performance Monitoring Units in Automotive Chips for Reliable Timing V&V. IEEE Micro Enrico Mezzetti, Leonidas Kosmidis, Jaume Abella, Francisco J. Cazorla
2018	A	`conf`	Industrial experiences with resource management under software randomization in ARINC653 avionics environments. ICCAD Leonidas Kosmidis, Cristian Maxim, Victor Jégu, Francis Vatrinet, Francisco J. Cazorla
2018	A*	`conf`	Modelling multicore contention on the AURIX DAC Enrique Díaz, Enrico Mezzetti, Leonidas Kosmidis, Jaume Abella, Francisco J. Cazorla
2018	J	`jnl`	Safety-Related Challenges and Opportunities for GPUs in the Automotive Domain. IEEE Micro Sergi Alcaide, Leonidas Kosmidis, Hamid Tabani, Carles Hernández, Jaume Abella, Francisco J. Cazorla
2017	A	`conf`	An open benchmark implementation for multi-CPU multi-GPU pedestrian detection in automotive systems. ICCAD Matina Maria Trompouki, Leonidas Kosmidis, Nacho Navarro
2017	A	`conf`	Dynamic software randomisation: Lessons learnec from an aerospace case study. DATE Fabrice Cros, Leonidas Kosmidis, Franck Wartel, David Morales, Jaume Abella, Ian Broster, Francisco J. Cazorla
2017	—	`—`	Enabling caches in probabilistic timing analysis. Leonidas Kosmidis
2017	Misc	`conf`	MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding. Ada-Europe Enrique Díaz, Mikel Fernández, Leonidas Kosmidis, Enrico Mezzetti, Carles Hernández, Jaume Abella, Francisco J. Cazorla
2017	A	`conf`	Optimisation opportunities and evaluation for GPGPU applications on low-end mobile GPUs. DATE Matina Maria Trompouki, Leonidas Kosmidis
2017	A	`conf`	Probabilistic timing analysis on time-randomized platforms for the space domain. DATE 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
2016	C	`conf`	A confidence assessment of WCET estimates for software time randomized caches. INDIN Pedro Benedicte, Leonidas Kosmidis, Eduardo Quiñones, Jaume Abella, Francisco J. Cazorla
2016	J	`jnl`	Fitting processor architectures for measurement-based probabilistic timing analysis. Microprocess. Microsystems Leonidas Kosmidis, Eduardo Quiñones, Jaume Abella, Tullio Vardanega, Carles Hernández, Andrea Gianarro, Ian Broster, Francisco J. Cazorla
2016	—	`conf`	Measurement-Based Timing Analysis of the AURIX Caches. WCET Leonidas Kosmidis, Davide Compagnin, David Morales, Enrico Mezzetti, Eduardo Quiñones, Jaume Abella, Tullio Vardanega, Francisco J. Cazorla
2016	—	`conf`	Modelling the confidence of timing analysis for time randomised caches. SIES Pedro Benedicte, Leonidas Kosmidis, Eduardo Quiñones, Jaume Abella, Francisco J. Cazorla
2016	C	`conf`	PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis. DSD 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
2016	A	`conf`	TASA: toolchain-agnostic static software randomisation for critical real-time systems. ICCAD Leonidas Kosmidis, Roberto Vargas, David Morales, Eduardo Quiñones, Jaume Abella, Francisco J. Cazorla
2016	A	`conf`	Towards general purpose computations on low-end mobile GPUs. DATE Matina Maria Trompouki, Leonidas Kosmidis
2015	A	`conf`	Timing analysis of an avionics case study on complex hardware/software platforms. DATE 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
2014	A	`conf`	Bus designs for time-probabilistic multicore processors. DATE Javier Jalle, Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla
2014	A*	`conf`	Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware. DAC Leonidas Kosmidis, Eduardo Quiñones, Jaume Abella, Glenn Farrall, Franck Wartel, Francisco J. Cazorla
2014	J	`jnl`	Efficient Cache Designs for Probabilistically Analysable Real-Time Systems. IEEE Trans. Computers Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla
2014	C	`conf`	Measurement-Based Probabilistic Timing Analysis and Its Impact on Processor Architecture. DSD Leonidas Kosmidis, Eduardo Quiñones, Jaume Abella, Tullio Vardanega, Ian Broster, Francisco J. Cazorla
2014	B	`conf`	PUB: Path Upper-Bounding for Measurement-Based Probabilistic Timing Analysis. ECRTS Leonidas Kosmidis, Jaume Abella, Franck Wartel, Eduardo Quiñones, Antoine Colin, Francisco J. Cazorla
2014	A*	`conf`	Time-Analysable Non-Partitioned Shared Caches for Real-Time Multicore Systems. DAC Mladen Slijepcevic, Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla
2014	J	`jnl`	Timing Verification of Fault-Tolerant Chips for Safety-Critical Applications in Harsh Environments. IEEE Micro Mladen Slijepcevic, Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla
2013	A	`conf`	A cache design for probabilistically analysable real-time systems. DATE Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla
2013	C	`conf`	Achieving timing composability with measurement-based probabilistic timing analysis. ISORC Leonidas Kosmidis, Eduardo Quiñones, Jaume Abella, Tullio Vardanega, Francisco J. Cazorla
2013	—	`conf`	Applying Measurement-Based Probabilistic Timing Analysis to Buffer Resources. WCET Leonidas Kosmidis, Tullio Vardanega, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla
2013	B	`conf`	DTM: Degraded Test Mode for Fault-Aware Probabilistic Timing Analysis. ECRTS Mladen Slijepcevic, Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla
2013	—	`conf`	Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study. SIES 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
2013	A	`conf`	Multi-level Unified Caches for Probabilistically Time Analysable Real-Time Systems. RTSS Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla
2013	J	`jnl`	PROARTIS: Probabilistically Analyzable Real-Time Systems. ACM Trans. Embed. Comput. Syst. 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
2013	A	`conf`	Probabilistic timing analysis on conventional cache designs. DATE Leonidas Kosmidis, Charlie Curtsinger, Eduardo Quiñones, Jaume Abella, Emery D. Berger, Francisco J. Cazorla
2012	B	`conf`	Measurement-Based Probabilistic Timing Analysis for Multi-path Programs. ECRTS Liliana Cucu-Grosjean, Luca Santinelli, Michael Houston, Code Lo, Tullio Vardanega, Leonidas Kosmidis, Jaume Abella, Enrico Mezzetti, Eduardo Quiñones, Francisco J. Cazorla