Matina Maria Trompouki

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 11

Top Topics

General Purpose

Software Development

Top Venues

Publications

Dimitris Aspetakis, Leonidas Kosmidis, Matina Maria Trompouki, Jose Ruiz, Gábor Marosy
Formal Methods for High Integrity GPU Software Development and Verification. DATE (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)
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 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)
Matina Maria Trompouki, Leonidas Kosmidis
BRASIL: A High-Integrity GPGPU Toolchain for Automotive Systems. ICCD (2019)
Matina Maria Trompouki, Leonidas Kosmidis
Brook auto: high-level certification-friendly programming for GPU-powered automotive systems. DAC (2018)
Matina Maria Trompouki, Leonidas Kosmidis
Brook GLES Pi: democratising accelerator programming. High Performance Graphics (2018)
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)
Matina Maria Trompouki, Leonidas Kosmidis
Towards general purpose computations on low-end mobile GPUs. DATE (2016)