The Transition from Asynchronous to Synchronous System Operation: An Approach for Distributed Fault-Tolerant Systems. - Wilfried Steiner; Michael Paulitsch (ICDCS, 2002)

Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems. - Michael Paulitsch; Wilfried Steiner (ECRTS, 2003)

The Central Guardian Approach to Enforce Fault Isolation in the Time-Triggered Architecture. - Günther Bauer 001; Hermann Kopetz; Wilfried Steiner (ISADS, 2003)

Automatic Recovery of the TTP/A Sensor/Actuator Network. - Wilfried Steiner; Wilfried Elmenreich (WISES, 2003)

Multiple Failure Correction in the Time-Triggered Architecture. - Wilfried Steiner; Michael Paulitsch; Hermann Kopetz (WORDS Fall, 2003)

Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation. - Wilfried Steiner; John M. Rushby; Maria Sorea; Holger Pfeifer (DSN, 2004)

The Startup Problem in Fault-Tolerant Time-Triggered Communication. - Wilfried Steiner; Hermann Kopetz (DSN, 2006)

The TTA's Approach to Resilience after Transient Upsets. - Wilfried Steiner; Michael Paulitsch; Hermann Kopetz (Real Time Syst., 2006)

Advancements in Dependable Time-Triggered Communication. - Wilfried Steiner (SEUS, 2007)

Modeling and Verification of Time-Triggered Communication Protocols. - Maria Sorea; Bruno Dutertre; Wilfried Steiner (ISORC, 2008)

TTEthernet Dataflow Concept. - Wilfried Steiner; Günther Bauer 001; Brendan Hall; Michael Paulitsch; Srivatsan Varadarajan (NCA, 2009)

SMT-Based Formal Verification of a TTEthernet Synchronization Function. - Wilfried Steiner; Bruno Dutertre (FMICS, 2010)

An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks. - Wilfried Steiner (RTSS, 2010)

Synthesis of Static Communication Schedules for Mixed-Criticality Systems. - Wilfried Steiner (ISORC Workshops, 2011)

Automated Formal Verification of the TTEthernet Synchronization Quality. - Wilfried Steiner; Bruno Dutertre (NASA Formal Methods, 2011)

Layered Diagnosis and Clock-Rate Correction for the TTEthernet Clock Synchronization Protocol. - Wilfried Steiner; Bruno Dutertre (PRDC, 2011)

Synthesis of communication schedules for TTEthernet-based mixed-criticality systems. - Domitian Tamas-Selicean; Paul Pop; Wilfried Steiner (CODES+ISSS, 2012)

On the Development of a Real-Time Ethernet Switch for Ultra-highly Dependable Applications. - Dumitru-Mircea Chimerel; Costel Patrascu; Sabina Anghel; Yuval Katz; Wilfried Steiner (EDCC, 2012)

Probabilistic Modeling of Failure Dependencies Using Markov Logic Networks. - Shalini Ghosh; Wilfried Steiner; Grit Denker; Patrick Lincoln (PRDC, 2013)

The TTEthernet synchronisation protocols and their formal verification. - Wilfried Steiner; Bruno Dutertre (Int. J. Crit. Comput. Based Syst., 2013)

Towards a reliable and high-speed wireless complement to TTEthernet. - Pablo Gutiérrez Peon; Hermann Kopetz; Wilfried Steiner (ETFA, 2014)

Towards synchronous deterministic channels for the Internet of Things. - Wilfried Steiner; Flavio Bonomi; Hermann Kopetz (WF-IoT, 2014)

Automatically Extracting Requirements Specifications from Natural Language. - Shalini Ghosh; Daniel Elenius; Wenchao Li 001; Patrick Lincoln; Natarajan Shankar; Wilfried Steiner (CoRR, 2014)

Improving Intelligent Vehicle Dependability by Means of Infrastructure-Induced Tests. - Wilfried Steiner; Ayhan Mehmed; Sasikumar Punnekkat (DSN Workshops, 2015)

A decomposition approach for SMT-based schedule synthesis for time-triggered networks. - Francisco Pozo; Wilfried Steiner; Guillermo Rodríguez-Navas; Hans Hansson (ETFA, 2015)

A wireless MAC method with support for heterogeneous data traffic. - Pablo Gutiérrez Peon; Elisabeth Uhlemann; Wilfried Steiner; Mats Björkman (IECON, 2015)

Timing Analysis of Rate Constrained Traffic for the TTEthernet Communication Protocol. - Domitian Tamas-Selicean; Paul Pop; Wilfried Steiner (ISORC, 2015)

Learning the parameters of periodic traffic based on network measurements. - Marina Gutiérrez; Wilfried Steiner; Radu Dobrin; Sasikumar Punnekkat (M&N, 2015)

Improving Dependability of Vision-Based Advanced Driver Assistance Systems Using Navigation Data and Checkpoint Recognition. - Ayhan Mehmed; Sasikumar Punnekkat; Wilfried Steiner; Giacomo Spampinato; Martin Lettner (SAFECOMP, 2015)

TTEthernet SW-based end system for AUTOSAR. - Thomas Frühwirth; Wilfried Steiner; Bernhard Stangl (SIES, 2015)

SMT-based synthesis of TTEthernet schedules: A performance study. - Francisco Pozo; Guillermo Rodríguez-Navas; Hans Hansson; Wilfried Steiner (SIES, 2015)

A configuration agent based on the time-triggered paradigm for real-time networks. - Marina Gutiérrez; Wilfried Steiner; Radu Dobrin; Sasikumar Punnekkat (WFCS, 2015)

Reliable networks for distributed dependable systems. - Harald Angelow; Günther Bauer 001; Petr Grillinger; Günter Motzet; Wilfried Steiner (Elektrotech. Informationstechnik, 2015)

Design optimization of TTEthernet-based distributed real-time systems. - Domitian Tamas-Selicean; Paul Pop; Wilfried Steiner (Real Time Syst., 2015)

Verification of Fault-Tolerant Clock Synchronization Algorithms. - Sergiy Bogomolov; Christian Herrera; Wilfried Steiner (ARCH@CPSWeek, 2016)

Next generation real-time networks based on IT technologies. - Wilfried Steiner; Pablo Gutiérrez Peon; Marina Gutiérrez; Ayhan Mehmed; Guillermo Rodríguez-Navas; Elena Lisova; Francisco Pozo (ETFA, 2016)

Risk evaluation of an ARP poisoning attack on clock synchronization for industrial applications. - Elena Lisova; Elisabeth Uhlemann; Wilfried Steiner; Johan Åkerberg; Mats Björkman (ICIT, 2016)

Medium access control for wireless networks with diverse time and safety real-time requirements. - Pablo Gutiérrez Peon; Elisabeth Uhlemann; Wilfried Steiner; Mats Björkman (IECON, 2016)

ARSENAL: Automatic Requirements Specification Extraction from Natural Language. - Shalini Ghosh; Daniel Elenius; Wenchao Li 001; Patrick Lincoln; Natarajan Shankar; Wilfried Steiner (NFM, 2016)

Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered Networks. - Francisco Pozo; Guillermo Rodríguez-Navas; Wilfried Steiner; Hans A. Hansson (RTCSA, 2016)

Scheduling Real-Time Communication in IEEE 802.1Qbv Time Sensitive Networks. - Silviu S. Craciunas; Ramon Serna Oliver; Martin Chmelík; Wilfried Steiner (RTNS, 2016)

Fog computing as enabler for the Industrial Internet of Things. - Wilfried Steiner; Stefan Poledna (Elektrotech. Informationstechnik, 2016)

Design optimisation of cyber-physical distributed systems using IEEE time-sensitive networks. - Paul Pop; Michael Lander Raagaard; Silviu S. Craciunas; Wilfried Steiner (IET Cyper-Phys. Syst.: Theory & Appl., 2016)

Protecting Clock Synchronization: Adversary Detection through Network Monitoring. - Elena Lisova; Marina Gutiérrez; Wilfried Steiner; Elisabeth Uhlemann; Johan Åkerberg; Radu Dobrin; Mats Björkman (J. Electr. Comput. Eng., 2016)

Routing optimization of AVB streams in TSN networks. - Sune Mølgaard Laursen; Paul Pop; Wilfried Steiner (SIGBED Rev., 2016)

Deterministic Ethernet: Addressing the Challenges of Asynchronous Sensing in Sensor Fusion Systems. - Ayhan Mehmed; Sasikumar Punnekkat; Wilfried Steiner (DSN Workshops, 2017)

Self-configuration of IEEE 802.1 TSN networks. - Marina Gutiérrez; Astrit Ademaj; Wilfried Steiner; Radu Dobrin; Sasikumar Punnekkat (ETFA, 2017)

Cognitive radio for improved reliability in a real-time wireless MAC protocol based on TDMA. - Pablo Gutiérrez Peon; Pedro Manuel Rodriguez; Zaloa Fernández; Francisco Pozo; Elisabeth Uhlemann; Inaki Val; Wilfried Steiner (ETFA, 2017)

Formal methods in industrial dependable systems design - The TTTech example. - Wilfried Steiner (FMCAD, 2017)

Runtime reconfiguration of time-sensitive networking (TSN) schedules for Fog Computing. - Michael Lander Raagaard; Paul Pop; Marina Gutiérrez; Wilfried Steiner (FWC, 2017)

Synchronization Quality of IEEE 802.1AS in Large-Scale Industrial Automation Networks. - Marina Gutiérrez; Wilfried Steiner; Radu Dobrin; Sasikumar Punnekkat (RTAS, 2017)

Applying Time Diversity for Improved Reliability in a Real-Time Heterogeneous MAC Protocol. - Pablo Gutiérrez Peon; Elisabeth Uhlemann; Wilfried Steiner; Mats Björkman (VTC Spring, 2017)

Formal Scheduling Constraints for Time-Sensitive Networks. - Silviu S. Craciunas; Ramon Serna Oliver; Wilfried Steiner (CoRR, 2017)

Demo Abstract: Slate XNS-An Online Management Tool for Deterministic TSN Networks. - Silviu S. Craciunas; Ramon Serna Oliver; Wilfried Steiner (RTAS, 2018)

IEEE 802.1Qbv Gate Control List Synthesis Using Array Theory Encoding. - Ramon Serna Oliver; Silviu S. Craciunas; Wilfried Steiner (RTAS, 2018)

Enabling Fog Computing for Industrial Automation Through Time-Sensitive Networking (TSN). - Paul Pop; Michael Lander Raagaard; Marina Gutiérrez; Wilfried Steiner (IEEE Commun. Stand. Mag., 2018)

Traffic Planning for Time-Sensitive Communication. - Wilfried Steiner; Silviu S. Craciunas; Ramon Serna Oliver (IEEE Commun. Stand. Mag., 2018)

The need for deterministic virtualization in the industrial internet of things. - Jan Ruh; Wilfried Steiner (IoT-Fog@IoTDI, 2019)

System Architecture and Application-Specific Verification Method for Fault-Tolerant Automated Driving Systems. - Ayhan Mehmed; Wilfried Steiner; Moritz Antlanger; Sasikumar Punnekkat (IV, 2019)

Forecast Horizon for Automated Safety Actions in Automated Driving Systems. - Ayhan Mehmed; Moritz Antlanger; Wilfried Steiner; Sasikumar Punnekkat (SAFECOMP, 2019)

A Perspective on IEEE Time-Sensitive Networking for Industrial Communication and Automation Systems. - Lucia Lo Bello; Wilfried Steiner (Proc. IEEE, 2019)

The Monitor as Key Architecture Element for Safe Self-Driving Cars. - Ayhan Mehmed; Moritz Antlanger; Wilfried Steiner (DSN (Supplements), 2020)

Network Fault Tolerance by Means of Diverse Physical Layers. - Pablo Gutiérrez Peón; Wilfried Steiner; Elisabeth Uhlemann (ETFA, 2020)

Evaluation of a Fail-Over Mechanism for 1oo2D Architectures in Highly-Automated Driving. - Rupert Schorn; Wilfried Steiner (DSN Workshops, 2021)

Clock Synchronization in Virtualized Distributed Real-Time Systems Using IEEE 802.1AS and ACRN. - Jan Ruh; Wilfried Steiner; Gerhard Fohler (IEEE Access, 2021)

The FORA Fog Computing Platform for Industrial IoT. - Paul Pop; Bahram Zarrin; Mohammadreza Barzegaran; Stefan Schulte 002; Sasikumar Punnekkat; Jan Ruh; Wilfried Steiner (Inf. Syst., 2021)

Real-Time Systems - Design Principles for Distributed Embedded Applications, Third Edition - Hermann Kopetz; Wilfried Steiner (Springer, 2022)

IEEE 802.1AS Multi-Domain Aggregation for Virtualized Distributed Real-Time Systems. - Jan Ruh; Wilfried Steiner; Gerhard Fohler (DSN-S, 2023)

Time-Sensitive Networking's Scheduled Traffic Implementation on IEEE 802.11 COTS Devices. - Pablo Gutiérrez Peón; Paraskevas Karachatzis; Wilfried Steiner; Elisabeth Uhlemann (RTCSA, 2023)

Temporal Consistency of Data and Information in Cyber-Physical Systems. - Hermann Kopetz; Wilfried Steiner (CoRR, 2024)