Wilfried Steiner

Orcid: 0000-0003-0652-5943

According to our database1, Wilfried Steiner authored at least 69 papers between 2002 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Time-Sensitive Networking's Scheduled Traffic Implementation on IEEE 802.11 COTS Devices.
Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023

IEEE 802.1AS Multi-Domain Aggregation for Virtualized Distributed Real-Time Systems.
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022
Real-Time Systems - Design Principles for Distributed Embedded Applications, Third Edition
Springer, ISBN: 978-3-031-11991-0, 2022

2021
The FORA Fog Computing Platform for Industrial IoT.
Inf. Syst., 2021

Clock Synchronization in Virtualized Distributed Real-Time Systems Using IEEE 802.1AS and ACRN.
IEEE Access, 2021

Evaluation of a Fail-Over Mechanism for 1oo2D Architectures in Highly-Automated Driving.
Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

2020
Network Fault Tolerance by Means of Diverse Physical Layers.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

The Monitor as Key Architecture Element for Safe Self-Driving Cars.
Proceedings of the 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, 2020

2019
A Perspective on IEEE Time-Sensitive Networking for Industrial Communication and Automation Systems.
Proc. IEEE, 2019

Forecast Horizon for Automated Safety Actions in Automated Driving Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2019

System Architecture and Application-Specific Verification Method for Fault-Tolerant Automated Driving Systems.
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

The need for deterministic virtualization in the industrial internet of things.
Proceedings of the Workshop on Fog Computing and the IoT, 2019

2018
Traffic Planning for Time-Sensitive Communication.
IEEE Commun. Stand. Mag., 2018

Enabling Fog Computing for Industrial Automation Through Time-Sensitive Networking (TSN).
IEEE Commun. Stand. Mag., 2018

IEEE 802.1Qbv Gate Control List Synthesis Using Array Theory Encoding.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

Demo Abstract: Slate XNS-An Online Management Tool for Deterministic TSN Networks.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

2017
Formal Scheduling Constraints for Time-Sensitive Networks.
CoRR, 2017

Applying Time Diversity for Improved Reliability in a Real-Time Heterogeneous MAC Protocol.
Proceedings of the 85th IEEE Vehicular Technology Conference, 2017

Synchronization Quality of IEEE 802.1AS in Large-Scale Industrial Automation Networks.
Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

Runtime reconfiguration of time-sensitive networking (TSN) schedules for Fog Computing.
Proceedings of the IEEE Fog World Congress, 2017

Formal methods in industrial dependable systems design - The TTTech example.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Cognitive radio for improved reliability in a real-time wireless MAC protocol based on TDMA.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Self-configuration of IEEE 802.1 TSN networks.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Deterministic Ethernet: Addressing the Challenges of Asynchronous Sensing in Sensor Fusion Systems.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2017

2016
Routing optimization of AVB streams in TSN networks.
SIGBED Rev., 2016

Protecting Clock Synchronization: Adversary Detection through Network Monitoring.
J. Electr. Comput. Eng., 2016

Design optimisation of cyber-physical distributed systems using IEEE time-sensitive networks.
IET Cyper-Phys. Syst.: Theory & Appl., 2016

Fog computing as enabler for the Industrial Internet of Things.
Elektrotech. Informationstechnik, 2016

Scheduling Real-Time Communication in IEEE 802.1Qbv Time Sensitive Networks.
Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered Networks.
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

ARSENAL: Automatic Requirements Specification Extraction from Natural Language.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Medium access control for wireless networks with diverse time and safety real-time requirements.
Proceedings of the IECON 2016, 2016

Risk evaluation of an ARP poisoning attack on clock synchronization for industrial applications.
Proceedings of the IEEE International Conference on Industrial Technology, 2016

Next generation real-time networks based on IT technologies.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Verification of Fault-Tolerant Clock Synchronization Algorithms.
Proceedings of the ARCH@CPSWeek 2016, 2016

2015
Design optimization of TTEthernet-based distributed real-time systems.
Real Time Syst., 2015

Reliable networks for distributed dependable systems.
Elektrotech. Informationstechnik, 2015

A configuration agent based on the time-triggered paradigm for real-time networks.
Proceedings of the IEEE World Conference on Factory Communication Systems, 2015

SMT-based synthesis of TTEthernet schedules: A performance study.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

TTEthernet SW-based end system for AUTOSAR.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Improving Dependability of Vision-Based Advanced Driver Assistance Systems Using Navigation Data and Checkpoint Recognition.
Proceedings of the Computer Safety, Reliability, and Security, 2015

Learning the parameters of periodic traffic based on network measurements.
Proceedings of the IEEE International Workshop on Measurements & Networking, 2015

Timing Analysis of Rate Constrained Traffic for the TTEthernet Communication Protocol.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

A wireless MAC method with support for heterogeneous data traffic.
Proceedings of the IECON 2015, 2015

A decomposition approach for SMT-based schedule synthesis for time-triggered networks.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Improving Intelligent Vehicle Dependability by Means of Infrastructure-Induced Tests.
Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015

2014
Automatically Extracting Requirements Specifications from Natural Language.
CoRR, 2014

Towards synchronous deterministic channels for the Internet of Things.
Proceedings of the IEEE World Forum on Internet of Things, 2014

Towards a reliable and high-speed wireless complement to TTEthernet.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013
The TTEthernet synchronisation protocols and their formal verification.
Int. J. Crit. Comput. Based Syst., 2013

Probabilistic Modeling of Failure Dependencies Using Markov Logic Networks.
Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

2012
On the Development of a Real-Time Ethernet Switch for Ultra-highly Dependable Applications.
Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

Synthesis of communication schedules for TTEthernet-based mixed-criticality systems.
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

2011
Layered Diagnosis and Clock-Rate Correction for the TTEthernet Clock Synchronization Protocol.
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

Automated Formal Verification of the <i>TTEthernet</i> Synchronization Quality.
Proceedings of the NASA Formal Methods, 2011

Synthesis of Static Communication Schedules for Mixed-Criticality Systems.
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

2010
An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks.
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

SMT-Based Formal Verification of a <i>TTEthernet</i> Synchronization Function.
Proceedings of the Formal Methods for Industrial Critical Systems, 2010

2009
TTEthernet Dataflow Concept.
Proceedings of The Eighth IEEE International Symposium on Networking Computing and Applications, 2009

2008
Modeling and Verification of Time-Triggered Communication Protocols.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

2007
Advancements in Dependable Time-Triggered Communication.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2007

2006
The TTA's Approach to Resilience after Transient Upsets.
Real Time Syst., 2006

The Startup Problem in Fault-Tolerant Time-Triggered Communication.
Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

2004
Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003
Multiple Failure Correction in the Time-Triggered Architecture.
Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

Automatic Recovery of the TTP/A Sensor/Actuator Network.
Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems, 2003

The Central Guardian Approach to Enforce Fault Isolation in the Time-Triggered Architecture.
Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 2003

Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems.
Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

2002
The Transition from Asynchronous to Synchronous System Operation: An Approach for Distributed Fault-Tolerant Systems.
Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002


  Loading...