Stefan Kowalewski
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Reusability and modularity of safety specifications for supervisory control
Florian Göbe and others (2016) · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
Arcade.PLC: a verification platform for programmable logic controllers
Sebastian Biallas and others (2012) · ACM
[mc]square: A Model Checker for Microcontroller Code
Bastian Schlich and others (2006)