Los-Cost Avionics System for Ultra-Light Aircrafts. - Ondrej Spinka; Jan Krakora; Michal Sojka; Zdenek Hanzálek (ETFA, 2006)

Modular architecture for real-time contract-based framework. - Michal Sojka; Zdenek Hanzálek (SIES, 2009)

A Comparison of Linux CAN Drivers and their Applications. - Michal Sojka; Pavel Písa; Martin Petera; Ondrej Spinka; Zdenek Hanzálek (SIES, 2010)

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 (IDAACS (2), 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)

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 001; Isaac Agudo (ISSE, 2012)

Formal Security Analysis of the MaCAN Protocol. - Alessandro Bruni; Michal Sojka; Flemming Nielson; Hanne Riis Nielson (IFM, 2014)

Case study on combined validation of safety & security requirements. - Michal Sojka; Michal Krec; Zdenek Hanzálek (SIES, 2014)

Performance evaluation of Linux CAN-related system calls. - Michal Sojka; Pavel Písa; Zdenek Hanzálek (WFCS, 2014)

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 (DSD, 2016)

Towards predictable execution model on ARM-based heterogeneous platforms. - Premysl Houdek; Michal Sojka; Zdenek Hanzálek (ISIE, 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)

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 (PMAM@PPoPP, 2018)

Accelerated RRT* and Its Evaluation on Autonomous Parking. - Jiri Vlasak; Michal Sojka; Zdenek Hanzálek (VEHITS, 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)

Testbed for thermal and performance analysis in MPSoC systems. - Michal Sojka; Ondrej Benedikt; Zdenek Hanzálek; Pavel Zaykov (FedCSIS, 2020)

Register file management for PRET machines: work-in-progress. - Martin Kostal; Michal Sojka (CODES+ISSS, 2021)

Determining MPSoC layout from thermal camera images: work-in-progress. - Michal Sojka; Ondrej Benedikt; Zdenek Hanzálek (EMSOFT, 2021)

PRET-ization of uRISC Core. - Martin Kostal; Michal Sojka (FedCSIS, 2021)

Car Racing Line Optimization with Genetic Algorithm using Approximate Homeomorphism. - Jaroslav Klapálek; Antonín Novák; Michal Sojka; Zdenek Hanzálek (IROS, 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 (RTCSA, 2021)

Parallel Parking: Optimal Entry and Minimum Slot Dimensions. - Jiri Vlasak; Michal Sojka; Zdenek Hanzálek (VEHITS, 2022)

Reducing Peak Temperature by Redistributing Idle-Time in Modern MPSoCs. - Ondrej Benedikt; Javier Pérez-Rodríguez; Patrick Meumeu Yomsi; Michal Sojka (ISORC, 2023)

Improving RRT for Automated Parking in Real-world Scenarios. - Jiri Vlasak; Michal Sojka; Zdenek Hanzálek (CoRR, 2023)

Study of Track Segmentation for Lap Time Optimization. - Jaroslav Klapálek; Ondrej Benedikt; Michal Sojka; Zdenek Hanzálek (VEHITS, 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)

Cone Slalom With Automated Sports Car-Trajectory Planning Algorithm. - Zdenek Hanzálek; Jirí Záhora; Michal Sojka (IEEE Trans. Veh. Technol., 2024)

A First Look at ROS 2 Applications Written in Asynchronous Rust. - Martin Skoudlil; Michal Sojka; Zdenek Hanzálek (ECRTS, 2025)

A First Look at ROS 2 Applications Written in Asynchronous Rust (Artifact). - Martin Skoudlil; Michal Sojka (Dagstuhl Artifacts Ser., 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)