Michal Sojka

According to our database, Michal Sojka authored at least 30 papers between 2006 and 2025.

Collaborative distances:

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

2025

Thermal modeling and optimal allocation of avionics safety-critical tasks on heterogeneous MPSoCs.

Zdenek Hanzálek, Ondrej Benedikt, Premysl Sucha, Pavel Zaykov, Michal Sojka

J. Parallel Distributed Comput., 2025

A First Look at ROS 2 Applications Written in Asynchronous Rust (Artifact).

Martin Skoudlil, Michal Sojka

Dagstuhl Artifacts Ser., 2025

A First Look at ROS 2 Applications Written in Asynchronous Rust.

Martin Skoudlil, Michal Sojka, Zdenek Hanzálek

Proceedings of the 37th Euromicro Conference on Real-Time Systems, 2025

2024

Cone Slalom With Automated Sports Car-Trajectory Planning Algorithm.

Zdenek Hanzálek, Jirí Záhora, Michal Sojka

IEEE Trans. Veh. Technol., January, 2024

Low Fidelity Digital Twin for Automated Driving Systems: Use Cases and Automatic Generation.

Jiri Vlasak, Jaroslav Klapálek, Adam Kollarcík, Michal Sojka, Zdenek Hanzálek

CoRR, 2024

Study of Track Segmentation for Lap Time Optimization.

Jaroslav Klapálek, Ondrej Benedikt, Michal Sojka, Zdenek Hanzálek

Proceedings of the 10th International Conference on Vehicle Technology and Intelligent Transport Systems, 2024

2023

Improving RRT for Automated Parking in Real-world Scenarios.

Jiri Vlasak, Michal Sojka, Zdenek Hanzálek

CoRR, 2023

Reducing Peak Temperature by Redistributing Idle-Time in Modern MPSoCs.

Ondrej Benedikt, Javier Pérez-Rodríguez, Patrick Meumeu Yomsi, Michal Sojka

Proceedings of the 26th IEEE International Symposium on Real-Time Distributed Computing, 2023

2022

Parallel Parking: Optimal Entry and Minimum Slot Dimensions.

Jiri Vlasak, Michal Sojka, Zdenek Hanzálek

Proceedings of the 8th International Conference on Vehicle Technology and Intelligent Transport Systems, 2022

2021

Thermal-Aware Scheduling for MPSoC in the Avionics Domain: Tooling and Initial Results.

Ondrej Benedikt, Michal Sojka, Pavel Zaykov, David Hornof, Matej Kafka, Premysl Sucha, Zdenek Hanzálek

Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021

Car Racing Line Optimization with Genetic Algorithm using Approximate Homeomorphism.

Jaroslav Klapálek, Antonín Novák, Michal Sojka, Zdenek Hanzálek

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

PRET-ization of uRISC Core.

Martin Kostal, Michal Sojka

Proceedings of the 16th Conference on Computer Science and Intelligence Systems, 2021

Determining MPSoC layout from thermal camera images: work-in-progress.

Michal Sojka, Ondrej Benedikt, Zdenek Hanzálek

Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021

Register file management for PRET machines: work-in-progress.

Martin Kostal, Michal Sojka

Proceedings of the CODES/ISSS 2021, 2021

2020

Testbed for thermal and performance analysis in MPSoC systems.

Michal Sojka, Ondrej Benedikt, Zdenek Hanzálek, Pavel Zaykov

Proceedings of the 2020 Federated Conference on Computer Science and Information Systems, 2020

2019

Combining PREM compilation and static scheduling for high-performance and predictable MPSoC execution.

Joel Matejka, Björn Forsberg, Michal Sojka, Premysl Sucha, Luca Benini, Andrea Marongiu, Zdenek Hanzálek

Parallel Comput., 2019

Accelerated RRT* and Its Evaluation on Autonomous Parking.

Jiri Vlasak, Michal Sojka, Zdenek Hanzálek

Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems, 2019

2018

Combining PREM compilation and ILP scheduling for high-performance and predictable MPSoC execution.

Joel Matejka, Björn Forsberg, Michal Sojka, Zdenek Hanzálek, Luca Benini, Andrea Marongiu

Proceedings of the 9th International Workshop on Programming Models and Applications for Multicores and Manycores, 2018

2017

A software stack for next-generation automotive systems on many-core heterogeneous platforms.

Paolo Burgio, Marko Bertogna, Nicola Capodieci, Roberto Cavicchioli, Michal Sojka, Premysl Houdek, Andrea Marongiu, Paolo Gai, Claudio Scordino, Bruno Morelli

Microprocess. Microsystems, 2017

Towards predictable execution model on ARM-based heterogeneous platforms.

Premysl Houdek, Michal Sojka, Zdenek Hanzálek

Proceedings of the 26th IEEE International Symposium on Industrial Electronics, 2017

2016

A Software Stack for Next-Generation Automotive Systems on Many-Core Heterogeneous Platforms.

Paolo Burgio, Marko Bertogna, Ignacio Sanudo Olmedo, Paolo Gai, Andrea Marongiu, Michal Sojka

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

2014

Performance evaluation of Linux CAN-related system calls.

Michal Sojka, Pavel Písa, Zdenek Hanzálek

Proceedings of the 10th IEEE Workshop on Factory Communication Systems, 2014

Case study on combined validation of safety & security requirements.

Michal Sojka, Michal Krec, Zdenek Hanzálek

Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014

Formal Security Analysis of the MaCAN Protocol.

Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2012

Strong Authentication of Humans and Machines in Policy Controlled Cloud Computing Environment Using Automatic Cyber Identity.

Libor Neumann, Tomás Halman, Pavel Rotek, Alexander Boettcher, Julian Stecklina, Michal Sojka, David Nuñez, Isaac Agudo

Proceedings of the ISSE 2012, 2012

2011

Modular software architecture for flexible reservation mechanisms on heterogeneous resources.

Michal Sojka, Pavel Písa, Dario Faggioli, Tommaso Cucinotta, Fabio Checconi, Zdenek Hanzálek, Giuseppe Lipari

J. Syst. Archit., 2011

Measurement automation and result processing in timing analysis of a Linux-based CAN-to-CAN gateway.

Michal Sojka, Pavel Písa, Ondrej Spinka, Zdenek Hanzálek

Proceedings of the IEEE 6th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2011

2010

A Comparison of Linux CAN Drivers and their Applications.

Michal Sojka, Pavel Písa, Martin Petera, Ondrej Spinka, Zdenek Hanzálek

Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

2009

Modular architecture for real-time contract-based framework.

Michal Sojka, Zdenek Hanzálek

Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009

2006

Los-Cost Avionics System for Ultra-Light Aircrafts.

Ondrej Spinka, Jan Krakora, Michal Sojka, Zdenek Hanzálek

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006