Matina Maria Trompouki

According to our database, Matina Maria Trompouki authored at least 12 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

The METASAT Modelling and Code Generation Toolchain for XtratuM and Hardware Accelerators.

Alejandro J. Calderón, Aitor Amonarriz, Mar Hernández, Leonidas Kosmidis, Jannis Wolf, Marc Solé Bonet, Matina Maria Trompouki, Mikel Segura, Peio Onaindia

Proceedings of the 27th Euromicro Conference on Digital System Design, 2024

The METASAT Model-Based Engineering Workflow and Digital Twin Concept.

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

Formal Methods for High Integrity GPU Software Development and Verification.

Dimitris Aspetakis, Leonidas Kosmidis, Matina Maria Trompouki, Jose Ruiz, Gábor Marosy

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

METASAT: Modular Model-Based Design and Testing for Applications in Satellites.

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

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2023

Evaluation of SYCL's Suitability for High-Performance Critical Systems.

Cristina Quesada Peralta, Matina Maria Trompouki, Leonidas Kosmidis

Proceedings of the 2023 International Workshop on OpenCL, 2023

2021

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2019

BRASIL: A High-Integrity GPGPU Toolchain for Automotive Systems.

Matina Maria Trompouki, Leonidas Kosmidis

Proceedings of the 37th IEEE International Conference on Computer Design, 2019

2018

Brook GLES Pi: democratising accelerator programming.

Matina Maria Trompouki, Leonidas Kosmidis

Proceedings of the Conference on High-Performance Graphics, 2018

Brook auto: high-level certification-friendly programming for GPU-powered automotive systems.

Matina Maria Trompouki, Leonidas Kosmidis

Proceedings of the 55th Annual Design Automation Conference, 2018

2017

An open benchmark implementation for multi-CPU multi-GPU pedestrian detection in automotive systems.

Matina Maria Trompouki, Leonidas Kosmidis, Nacho Navarro

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Optimisation opportunities and evaluation for GPGPU applications on low-end mobile GPUs.

Matina Maria Trompouki, Leonidas Kosmidis

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Towards general purpose computations on low-end mobile GPUs.

Matina Maria Trompouki, Leonidas Kosmidis

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016