Sysgo (Czechia)

Recent papers from Sysgo (Czechia)

1. Porting OpenEMS and Apache StreamPipes energy management software to freshly developed RISC-V system software stacks2026
2. The ADMORPH Approach for Adaptively Morphing Embedded SystemsACM SIGAda Ada Letters · 2024
3. Security certification experience for industrial cyberphysical systems using Common Criteria and IEC 62443 certifications in certMILS2021
4. Mils Compliant Software Architecture For Satellites2016
5. Used Formal Methods2015
6. Euro-Mils: Building And Certifying Modular Secure Systems2015
7. Formal Specification Of A Generic Separation Kernel2014