Wilfried Steiner
Wilfried Steiner
Director TTTech Labs, TTTech Computertechnik AG
tttech.com의 이메일 확인됨
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
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
TTEthernet dataflow concept
W Steiner, G Bauer, B Hall, M Paulitsch, S Varadarajan
2009 Eighth IEEE International Symposium on Network Computing and …, 2009
Synthesis of static communication schedules for mixed-criticality systems
W Steiner
2011 14th IEEE International Symposium on Object/Component/Service-Oriented …, 2011
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
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
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
TTEthernet specification
W Steiner
TTTech Computertechnik AG, Nov, 2008
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
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
Ttethernet: Time-triggered ethernet
W Steiner, G Bauer, B Hall, M Paulitsch, R Obermaisser
Time-Triggered Communication, 2011
A perspective on IEEE time-sensitive networking for industrial communication and automation systems
LL Bello, W Steiner
Proceedings of the IEEE 107 (6), 1094-1120, 2019
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
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
Fog computing as enabler for the Industrial Internet of Things
W Steiner, S Poledna
e & i Elektrotechnik und Informationstechnik 133 (7), 310-314, 2016
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
Routing optimization of AVB streams in TSN networks
SM Laursen, P Pop, W Steiner
ACM Sigbed Review 13 (4), 43-48, 2016
Automated Formal Verification of the TTEthernet Synchronization Quality
W Steiner, B Dutertre
NASA Formal Methods Symposium, 375-390, 2011
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
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20