Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Security Requirements Engineering in Safety-Critical Railway Signalling Networks., , , , , , , , , and 2 other author(s). Secur. Commun. Networks, (2019)Formal Verification of Gate-Level Computer Systems., and . CSR, volume 5675 of Lecture Notes in Computer Science, page 322-333. Springer, (2009)A verified platform for a gate-level electronic control unit.. FMCAD, page 164-171. IEEE, (2009)RDMA-Based Deterministic Communication Architecture for Autonomous Driving., , , , , , , and . RTCSA, page 137-146. IEEE, (2023)Towards Transparent Control-Flow Integrity in Safety-Critical Systems., , , , and . ISC, volume 12472 of Lecture Notes in Computer Science, page 290-311. Springer, (2020)A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis., , , , , , , , and . MODELSWARD, page 36-47. SCITEPRESS, (2022)EURO-MILS: Building and certifying modular secure systems.. MILS@HiPEAC, Zenodo, (2015)Security by Design: Introduction to MILS.. MILS, Zenodo, (2017)Monitoring Framework to Support Mixed-Criticality Applications on Multicore Platforms., , , , , , and . DSD, page 649-656. IEEE, (2022)A Toolchain for Synthesizing and Validating Safety Architectures., , , , , , , , and . SN Comput. Sci., 4 (4): 335 (July 2023)