Wilfried Steiner is the Director of the TTTech Labs. He received a Doctor of Technical Sciences degree and the Venia Docendi in Computer Science from TU Wien, Austria (in 2005 and 2018, respectively). From 2009 to 2012, Wilfried was an International Fellow at SRI International in Menlo Park, CA, funded by a Marie Curie International Outgoing Fellowship. In his research, Wilfried focuses on dependable cyber-physical systems for which he designs algorithms and network protocols with real-time, dependability, and security requirements.
Selected Publications (more on Google Scholar Wilfried Steiner - Google Scholar):
Kopetz, H. & W. Steiner. (2022). Real-Time Systems: Design Principles for Distributed Embedded Applications. 3rd Edition. Springer.
Lo Bello, L. & W. Steiner. (2019). A Perspective on IEEE Time-Sensitive Networking for Industrial Communication and Automation Systems. Proceedings of the IEEE, 2019. 107(6): pp. 1094–1120.
Steiner, W. & Rushby, J. (2011). TTA and PALS: Formally Verified Design Patterns for Distributed Cyber-Physical Systems. 2011 IEEE/AIAA 30th Digital Avionics Systems Conference. IEEE. (pp. 7B5-1 - 7B5-15).
Steiner, W. (2010). An Evaluation of SMT-based Schedule Synthesis for Time-Triggered Multi-Hop Networks. 31st IEEE Real-Time Systems Symposium. IEEE, (pp. 375-384).
Steiner, W. et al. (2004). Model checking a fault-tolerant startup algorithm: From design exploration to exhaustive fault simulation. Proc. of the International Conference on Dependable Systems and Networks. IEEE. pp. 189-198.