Michail Mavropoulos

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 13

Top Topics

Embedded Software

Intermediate Representations

Safety Critical

Top Venues

Publications

Tobias Dörr, Florian Schade, Jürgen Becker, Georgios Keramidas, Nikos Petrellis, Vasilios I. Kelefouras, Michail Mavropoulos, Konstantinos Antonopoulos, Christos P. Antonopoulos, Nikolaos S. Voros, Alexander Ahlbrecht, Wanja Zaeske, Vincent Janson, Phillip Nöldeke, Umut Durak, Christos Panagiotou, Dimitris Karadimas, Nico Adler, Clemens Reichmann, Andreas Sailer, Raphael Weber, Thomas Wilhelm, Wolfgang Gabler, Katrin Weiden, Xavier Anzuela Recasens, Sakir Sezer, Fahad Siddiqui, Rafiullah Khan, Kieran McLaughlin, Sena Yengec Tasdemir, Balmukund Sonigara, Henry Hui, Esther Soriano Viguer, Aridane Álvarez Suárez, Vicente Nicolau Gallego, Manuel Muñoz Alcobendas, Miguel Masmano Tello
XANDAR: An X-by-Construction Framework for Safety, Security, and Real-Time Behavior of Embedded Software Systems. DATE (2024)
Michail Mavropoulos, Georgios Keramidas, Dimitris Nikolos
Improving the Performance Predictability of Faulty Data Caches. EDCC (2024)
Tobias Dörr, Florian Schade, Leonard Masing, Jürgen Becker, Georgios Keramidas, Christos P. Antonopoulos, Michail Mavropoulos, Vasilios I. Kelefouras, Nikolaos S. Voros
Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR. ISVLSI (2022)
Fahad Siddiqui, Rafiullah Khan, Sakir Sezer, Kieran McLaughlin, Leonard Masing, Tobias Dörr, Florian Schade, Jürgen Becker, Alexander Ahlbrecht, Wanja Zaeske, Umut Durak, Nico Adler, Andreas Sailer, Raphael Weber, Thomas Wilhelm, Geza Nemeth, Victor Morales, Paco Gomez, Georgios Keramidas, Christos P. Antonopoulos, Michail Mavropoulos, Vasilios I. Kelefouras, Konstantinos Antonopoulos, Nikolaos S. Voros, Christos Panagiotou, Dimitris Karadimas
XANDAR: A holistic Cybersecurity Engineering Process for Safety-critical and Cyber-physical Systems. VTC Spring (2022)
Michail Mavropoulos, Georgios Keramidas, Dimitris Nikolos
Enabling efficient sub-block disabled caches using coarse grain spatial predictions. Microprocess. Microsystems 90 (2022)
Leonard Masing, Tobias Dörr, Florian Schade, Jürgen Becker, Georgios Keramidas, Christos P. Antonopoulos, Michail Mavropoulos, Efstratios Tiganourias, Vasilios I. Kelefouras, Konstantinos Antonopoulos, Nikos S. Voros, Umut Durak, Alexander Ahlbrecht, Wanja Zaeske, Christos Panagiotou, Dimitris Karadimas, Nico Adler, Andreas Sailer, Raphael Weber, Thomas Wilhelm, Geza Nemeth, Fahad Siddiqui, Rafiullah Khan, Vahid Garousi, Sakir Sezer, Victor Morales
XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems. DATE (2022)
Efstratios Tiganourias, Michail Mavropoulos, Georgios Keramidas, Vasilios I. Kelefouras, Christos P. Antonopoulos, Nikolaos S. Voros
A Hierarchical Profiler of Intermediate Representation Code based on LLVM. MECO (2021)
Jürgen Becker, Leonard Masing, Tobias Dörr, Florian Schade, Georgios Keramidas, Christos P. Antonopoulos, Michail Mavropoulos, Efstratios Tiganourias, Vasilios I. Kelefouras, Konstantinos Antonopoulos, Nikolaos S. Voros, Umut Durak, Alexander Ahlbrecht, Wanja Zaeske, Christos Panagiotou, Dimitris Karadimas, Nico Adler, Andreas Sailer, Raphael Weber, Thomas Wilhelm, Florian Oszwald, Dominik Reinhardt, Mohamad Chamas, Adnan Bekan, Graham Smethurst, Fahad Siddiqui, Rafiullah Khan, Vahid Garousi, Sakir Sezer, Victor Morales
XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems. FPL (2021)
Michail Mavropoulos, Georgios Keramidas, Dimitris Nikolos
Run Time Management of Faulty Data Caches. ETS (2021)
Filippos Filippou, Georgios Keramidas, Michail Mavropoulos, Dimitris Nikolos
A novel fault tolerant cache architecture based on orthogonal latin squares theory. DATE (2018)
Filippos Filippou, Georgios Keramidas, Michail Mavropoulos, Dimitris Nikolos
Recovery of performance degradation in defective branch target buffers. IOLTS (2016)
Michail Mavropoulos, Georgios Keramidas, Dimitris Nikolos
A defect-aware reconfigurable cache architecture for low-vccmin DVFS-enabled systems. DATE (2015)
Michail Mavropoulos, Georgios Keramidas, Grigorios Adamopoulos, Dimitris Nikolos
Reconfigurable: Self Adaptive Fault Tolerant Cache Memory for DVS enabled Systems. ACM Great Lakes Symposium on VLSI (2015)
Georgios Keramidas, Michail Mavropoulos, Anna Karvouniari, Dimitris Nikolos
Spatial pattern prediction based management of faulty data caches. DATE (2014)