Petr Novobilsky

According to our database, Petr Novobilsky authored at least 3 papers between 2021 and 2024.

Collaborative distances:

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

2024

FAA+RTS: Designing Fault-Aware Adaptive Real-Time Systems - From Specification to Execution -.

Lukas Miedema, Dolly Sapra, Petr Novobilsky, Sebastian Altmeyer, Clemens Grelck, Andy D. Pimentel

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

2021

Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture.

Andreas Hohenegger, Gerald Krummeck, Janie Baños, Álvaro Ortega, Michal Hager, Jiri Sterba, Tomas Kertis, Petr Novobilsky, Jan Procházka, Benito Caracuel, Ana Lourdes Sanz, Francisco Ramos, Holger Blasum, Mario Brotz, Rudolf Fuchsen, Guillaume Fumaroli, Jan Neskudla, Jan Rollo, Lisa Burgstaller, Martina Truskaller, Klaus-Michael Koch, Reinhard Hametner, Sandro Rauscher, Peter Tummeltshammer, Frank Golatowski, Thorsten Schulz

Proceedings of the IECON 2021, 2021

Security certification experience for industrial cyberphysical systems using Common Criteria and IEC 62443 certifications in certMILS.

Andreas Hohenegger, Gerald Krummeck, Janie Baños, Álvaro Ortega, Michal Hager, Jiri Sterba, Tomas Kertis, Petr Novobilsky, Jan Procházka, Benito Caracuel, Ana Lourdes Sanz, Francisco Ramos, Holger Blasum, Mario Brotz, Caspar Gries, Torsten Vögler, Jan Neskudla, Jan Rollo, Lisa Burgstaller, Martina Truskaller, Klaus-Michael Koch, Technikon, Reinhard Hametner, Sandro Rauscher, Peter Tummeltshammer, Thales Austria, Frank Golatowski, Thorsten Schulz

Proceedings of the 4th IEEE International Conference on Industrial Cyber-Physical Systems, 2021