Michal Sojka

34 papers A 1B 3C 9Misc 2Journal 12Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
A First Look at ROS 2 Applications Written in Asynchronous Rust (Artifact).
Dagstuhl Artifacts Ser.
Martin Skoudlil, Michal Sojka
2025 B conf
A First Look at ROS 2 Applications Written in Asynchronous Rust.
ECRTS
Martin Skoudlil, Michal Sojka, Zdenek Hanzálek
2025 J jnl
A first look at ROS 2 applications written in asynchronous Rust.
CoRR
Martin Skoudlil, Michal Sojka, Zdenek Hanzálek
2025 J jnl
Thermal Modeling and Optimal Allocation of Avionics Safety-critical Tasks on Heterogeneous MPSoCs.
CoRR
Ondrej Benedikt, Michal Sojka, Premysl Sucha, Pavel Zaykov, Zdenek Hanzálek
2025 J jnl
Thermal modeling and optimal allocation of avionics safety-critical tasks on heterogeneous MPSoCs.
J. Parallel Distributed Comput.
Zdenek Hanzálek, Ondrej Benedikt, Premysl Sucha, Pavel Zaykov, Michal Sojka
2024 J jnl
Cone Slalom With Automated Sports Car-Trajectory Planning Algorithm.
IEEE Trans. Veh. Technol.
Zdenek Hanzálek, Jirí Záhora, Michal Sojka
2024 J jnl
Low Fidelity Digital Twin for Automated Driving Systems: Use Cases and Automatic Generation.
CoRR
Jiri Vlasak, Jaroslav Klapálek, Adam Kollarcík, Michal Sojka, Zdenek Hanzálek
2024 C conf
Study of Track Segmentation for Lap Time Optimization.
VEHITS
Jaroslav Klapálek, Ondrej Benedikt, Michal Sojka, Zdenek Hanzálek
2023 J jnl
Improving RRT for Automated Parking in Real-world Scenarios.
CoRR
Jiri Vlasak, Michal Sojka, Zdenek Hanzálek
2023 C conf
Reducing Peak Temperature by Redistributing Idle-Time in Modern MPSoCs.
ISORC
Ondrej Benedikt, Javier Pérez-Rodríguez, Patrick Meumeu Yomsi, Michal Sojka
2022 C conf
Parallel Parking: Optimal Entry and Minimum Slot Dimensions.
VEHITS
Jiri Vlasak, Michal Sojka, Zdenek Hanzálek
2022 J jnl
Parallel Parking: Optimal Entry and Minimum Slot Dimensions.
CoRR
Jiri Vlasak, Michal Sojka, Zdenek Hanzálek
2021 A conf
Car Racing Line Optimization with Genetic Algorithm using Approximate Homeomorphism.
IROS
Jaroslav Klapálek, Antonín Novák, Michal Sojka, Zdenek Hanzálek
2021 Misc conf
Determining MPSoC layout from thermal camera images: work-in-progress.
EMSOFT
Michal Sojka, Ondrej Benedikt, Zdenek Hanzálek
2021 C conf
PRET-ization of uRISC Core.
FedCSIS
Martin Kostal, Michal Sojka
2021 Misc conf
Register file management for PRET machines: work-in-progress.
CODES+ISSS
Martin Kostal, Michal Sojka
2021 B conf
Thermal-Aware Scheduling for MPSoC in the Avionics Domain: Tooling and Initial Results.
RTCSA
Ondrej Benedikt, Michal Sojka, Pavel Zaykov, David Hornof, Matej Kafka, Premysl Sucha, Zdenek Hanzálek
2020 J jnl
Accelerated RRT* and its evaluation on Autonomous Parking.
CoRR
Jiri Vlasak, Michal Sojka, Zdenek Hanzálek
2020 C conf
Testbed for thermal and performance analysis in MPSoC systems.
FedCSIS
Michal Sojka, Ondrej Benedikt, Zdenek Hanzálek, Pavel Zaykov
2019 C conf
Accelerated RRT* and Its Evaluation on Autonomous Parking.
VEHITS
Jiri Vlasak, Michal Sojka, Zdenek Hanzálek
2019 J jnl
Combining PREM compilation and static scheduling for high-performance and predictable MPSoC execution.
Parallel Comput.
Joel Matejka, Björn Forsberg, Michal Sojka, Premysl Sucha, Luca Benini, Andrea Marongiu, Zdenek Hanzálek
2018 — conf
Combining PREM compilation and ILP scheduling for high-performance and predictable MPSoC execution.
PMAM@PPoPP
Joel Matejka, Björn Forsberg, Michal Sojka, Zdenek Hanzálek, Luca Benini, Andrea Marongiu
2017 J jnl
A software stack for next-generation automotive systems on many-core heterogeneous platforms.
Microprocess. Microsystems
Paolo Burgio, Marko Bertogna, Nicola Capodieci, Roberto Cavicchioli, Michal Sojka, Premysl Houdek, Andrea Marongiu, Paolo Gai, Claudio Scordino, Bruno Morelli
2017 — conf
Towards predictable execution model on ARM-based heterogeneous platforms.
ISIE
Premysl Houdek, Michal Sojka, Zdenek Hanzálek
2016 C conf
A Software Stack for Next-Generation Automotive Systems on Many-Core Heterogeneous Platforms.
DSD
Paolo Burgio, Marko Bertogna, Ignacio Sanudo Olmedo, Paolo Gai, Andrea Marongiu, Michal Sojka
2014 — conf
Case study on combined validation of safety & security requirements.
SIES
Michal Sojka, Michal Krec, Zdenek Hanzálek
2014 B conf
Formal Security Analysis of the MaCAN Protocol.
IFM
Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson
2014 C conf
Performance evaluation of Linux CAN-related system calls.
WFCS
Michal Sojka, Pavel Písa, Zdenek Hanzálek
2012 — conf
Strong Authentication of Humans and Machines in Policy Controlled Cloud Computing Environment Using Automatic Cyber Identity.
ISSE
Libor Neumann, Tomás Halman, Pavel Rotek, Alexander Boettcher, Julian Stecklina, Michal Sojka, David Nuñez, Isaac Agudo
2011 — conf
Measurement automation and result processing in timing analysis of a Linux-based CAN-to-CAN gateway.
IDAACS (2)
Michal Sojka, Pavel Písa, Ondrej Spinka, Zdenek Hanzálek
2011 J jnl
Modular software architecture for flexible reservation mechanisms on heterogeneous resources.
J. Syst. Archit.
Michal Sojka, Pavel Písa, Dario Faggioli, Tommaso Cucinotta, Fabio Checconi, Zdenek Hanzálek, Giuseppe Lipari
2010 — conf
A Comparison of Linux CAN Drivers and their Applications.
SIES
Michal Sojka, Pavel Písa, Martin Petera, Ondrej Spinka, Zdenek Hanzálek
2009 — conf
Modular architecture for real-time contract-based framework.
SIES
Michal Sojka, Zdenek Hanzálek
2006 C conf
Los-Cost Avionics System for Ultra-Light Aircrafts.
ETFA
Ondrej Spinka, Jan Krakora, Michal Sojka, Zdenek Hanzálek