Wilfried Steiner
Wilfried Steiner
Director TTTech Labs, TTTech Computertechnik AG
Dirección de correo verificada de tttech.com
Título
Citado por
Citado por
Año
An evaluation of SMT-based schedule synthesis for time-triggered multi-hop networks
W Steiner
2010 31st IEEE Real-Time Systems Symposium, 375-384, 2010
2082010
Scheduling real-time communication in IEEE 802.1 Qbv time sensitive networks
SS Craciunas, RS Oliver, M Chmelík, W Steiner
Proceedings of the 24th International Conference on Real-Time Networks and …, 2016
1402016
TTEthernet dataflow concept
W Steiner, G Bauer, B Hall, M Paulitsch, S Varadarajan
2009 Eighth IEEE International Symposium on Network Computing and …, 2009
1112009
Synthesis of static communication schedules for mixed-criticality systems
W Steiner
2011 14th IEEE International Symposium on Object/Component/Service-Oriented …, 2011
982011
Synthesis of communication schedules for TTEthernet-based mixed-criticality systems
D Tamas-Selicean, P Pop, W Steiner
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware …, 2012
952012
Design optimization of TTEthernet-based distributed real-time systems
D Tămaş–Selicean, P Pop, W Steiner
Real-Time Systems 51 (1), 1-35, 2015
812015
Model checking a fault-tolerant startup algorithm: From design exploration to exhaustive fault simulation
W Steiner, J Rushby, M Sorea, H Pfeifer
International Conference on Dependable Systems and Networks, 2004, 189-198, 2004
812004
TTEthernet specification
W Steiner
TTTech Computertechnik AG, Nov, 2008
79*2008
Time-triggered ethernet
W Steiner, G Bauer, B Hall, M Paulitsch
Time-Triggered Communication, 209-248, 2018
75*2018
ARSENAL: automatic requirements specification extraction from natural language
S Ghosh, D Elenius, W Li, P Lincoln, N Shankar, W Steiner
NASA Formal Methods Symposium, 41-46, 2016
68*2016
The central guardian approach to enforce fault isolation in the time-triggered architecture
G Bauer, H Kopetz, W Steiner
The Sixth International Symposium on Autonomous Decentralized Systems, 2003 …, 2003
652003
Design optimisation of cyber-physical distributed systems using IEEE time-sensitive networks
P Pop, ML Raagaard, SS Craciunas, W Steiner
IET Cyber-Physical Systems: Theory & Applications 1 (1), 86-94, 2016
622016
Fog computing as enabler for the Industrial Internet of Things
W Steiner, S Poledna
e & i Elektrotechnik und Informationstechnik 133 (7), 310-314, 2016
432016
The transition from asynchronous to synchronous system operation: An approach for distributed fault-tolerant systems
W Steiner, M Paulitsch
Proceedings 22nd International Conference on Distributed Computing Systems …, 2002
412002
Automated Formal Verification of the TTEthernet Synchronization Quality
W Steiner, B Dutertre
NASA Formal Methods Symposium, 375-390, 2011
402011
Enabling fog computing for industrial automation through time-sensitive networking (TSN)
P Pop, ML Raagaard, M Gutierrez, W Steiner
IEEE Communications Standards Magazine 2 (2), 55-61, 2018
372018
IEEE 802.1 Qbv gate control list synthesis using array theory encoding
RS Oliver, SS Craciunas, W Steiner
2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2018
372018
Safe start-up of a network
W Steiner, H Angelow, G Bauer, B Hall
US Patent 8,265,100, 2012
362012
SMT-Based Formal Verification of a TTEthernet Synchronization Function
W Steiner, B Dutertre
International Workshop on Formal Methods for Industrial Critical Systems …, 2010
352010
Self-configuration of IEEE 802.1 TSN networks
M Gutiérrez, A Ademaj, W Steiner, R Dobrin, S Punnekkat
2017 22nd IEEE International Conference on Emerging Technologies and Factory …, 2017
342017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20