selected publications
-
academic article
- A Toolchain for Synthesizing and Validating Safety Architectures. SN computer science. 4. 2023
- Security Requirements Engineering in Safety-Critical Railway Signalling Networks. Security and Communication Networks. 2019:1-14. 2019
-
chapter
- Formal Verification of Gate-Level Computer Systems. Springer eBooks. 322-333. 2009
-
conference paper
- A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. . 2022
- Two Architecture Approaches for MILS Systems in Mobility Domains (Automobile, Railway and Avionik). High Performance Embedded Architectures and Compilers. 2015
- A verified platform for a gate-level electronic control unit. . 2009