Wilfried Steiner
Wilfried Steiner
Director TTTech Labs, TTTech Computertechnik AG
E-mail megerősítve itt: tttech.com
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
1992010
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
1322016
TTEthernet dataflow concept
W Steiner, G Bauer, B Hall, M Paulitsch, S Varadarajan
2009 Eighth IEEE International Symposium on Network Computing and …, 2009
1072009
Synthesis of static communication schedules for mixed-criticality systems
W Steiner
2011 14th IEEE International Symposium on Object/Component/Service-Oriented …, 2011
962011
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
922012
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
802004
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
772015
TTEthernet specification
W Steiner
TTTech Computertechnik AG, Nov, 2008
77*2008
Time-triggered ethernet
W Steiner, G Bauer, B Hall, M Paulitsch
Time-Triggered Communication, 209-248, 2018
74*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
65*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
632003
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
582016
Fog computing as enabler for the Industrial Internet of Things
W Steiner, S Poledna
e & i Elektrotechnik und Informationstechnik 133 (7), 310-314, 2016
402016
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
402002
Automated Formal Verification of the TTEthernet Synchronization Quality
W Steiner, B Dutertre
NASA Formal Methods Symposium, 375-390, 2011
382011
Safe start-up of a network
W Steiner, H Angelow, G Bauer, B Hall
US Patent 8,265,100, 2012
372012
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
362018
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
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
342015
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20