Citation Impact
Citing Papers
AHP integrated TOPSIS and VIKOR methods with Pythagorean fuzzy sets to prioritize risks in self-driving vehicles
2020 Standout
seL4
2009 Standout
Operating system verification—An overview
2009
Works of Marcus Völp being referenced
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
2008
Towards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems
2016