Wilfried Steiner
Wilfried Steiner
Corporate Scientist, TTTech Computertechnik AG
Email verificata su tttech.com
TitoloCitata daAnno
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
1732010
TTEthernet dataflow concept
W Steiner, G Bauer, B Hall, M Paulitsch, S Varadarajan
2009 Eighth IEEE International Symposium on Network Computing and …, 2009
962009
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
952016
Synthesis of static communication schedules for mixed-criticality systems
W Steiner
2011 14th IEEE International Symposium on Object/Component/Service-Oriented …, 2011
842011
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
822012
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
722004
TTEthernet specification
W Steiner
TTTech Computertechnik AG, Nov, 2008
69*2008
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
652015
Time-triggered ethernet
W Steiner, G Bauer, B Hall, M Paulitsch
Time-Triggered Communication, 209-248, 2018
64*2018
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
602003
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
55*2016
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
412016
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
382002
Safe start-up of a network
W Steiner, H Angelow, G Bauer, B Hall
US Patent 8,265,100, 2012
342012
Fog computing as enabler for the Industrial Internet of Things
W Steiner, S Poledna
e & i Elektrotechnik und Informationstechnik 133 (7), 310-314, 2016
332016
Automated Formal Verification of the TTEthernet Synchronization Quality
W Steiner, B Dutertre
NASA Formal Methods Symposium, 375-390, 2011
332011
SMT-Based Formal Verification of a TTEthernet Synchronization Function
W Steiner, B Dutertre
International Workshop on Formal Methods for Industrial Critical Systems …, 2010
332010
Timing analysis of rate constrained traffic for the TTEthernet communication protocol
D TamasSelicean, P Pop, W Steiner
2015 IEEE 18th International Symposium on Real-Time Distributed Computing …, 2015
292015
Routing optimization of AVB streams in TSN networks
SM Laursen, P Pop, W Steiner
ACM Sigbed Review 13 (4), 43-48, 2016
262016
The startup problem in fault-tolerant time-triggered communication
W Steiner, H Kopetz
International Conference on Dependable Systems and Networks (DSN'06), 35-44, 2006
262006
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20