Wilfried Steiner

72 papers A 7B 7C 16Misc 3Journal 18Unranked 20

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Temporal Consistency of Data and Information in Cyber-Physical Systems. CoRR Hermann Kopetz, Wilfried Steiner
2023	—	`conf`	IEEE 802.1AS Multi-Domain Aggregation for Virtualized Distributed Real-Time Systems. DSN-S Jan Ruh, Wilfried Steiner, Gerhard Fohler
2023	B	`conf`	Time-Sensitive Networking's Scheduled Traffic Implementation on IEEE 802.11 COTS Devices. RTCSA Pablo Gutiérrez Peón, Paraskevas Karachatzis, Wilfried Steiner, Elisabeth Uhlemann
2022	—	`book`	Real-Time Systems - Design Principles for Distributed Embedded Applications, Third Edition Hermann Kopetz, Wilfried Steiner
2021	J	`jnl`	Clock Synchronization in Virtualized Distributed Real-Time Systems Using IEEE 802.1AS and ACRN. IEEE Access Jan Ruh, Wilfried Steiner, Gerhard Fohler
2021	J	`jnl`	Clock Synchronization in Virtualized Distributed Real-Time Systems using IEEE 802.1AS and ACRN. CoRR Jan Ruh, Wilfried Steiner, Gerhard Fohler
2021	—	`conf`	Evaluation of a Fail-Over Mechanism for 1oo2D Architectures in Highly-Automated Driving. DSN Workshops Rupert Schorn, Wilfried Steiner
2021	J	`jnl`	The FORA Fog Computing Platform for Industrial IoT. Inf. Syst. Paul Pop, Bahram Zarrin, Mohammadreza Barzegaran, Stefan Schulte, Sasikumar Punnekkat, Jan Ruh, Wilfried Steiner
2020	C	`conf`	Network Fault Tolerance by Means of Diverse Physical Layers. ETFA Pablo Gutiérrez Peón, Wilfried Steiner, Elisabeth Uhlemann
2020	J	`jnl`	The FORA Fog Computing Platform for Industrial IoT. CoRR Paul Pop, Bahram Zarrin, Mohammadreza Barzegaran, Stefan Schulte, Sasikumar Punnekkat, Jan Ruh, Wilfried Steiner
2020	—	`conf`	The Monitor as Key Architecture Element for Safe Self-Driving Cars. DSN (Supplements) Ayhan Mehmed, Moritz Antlanger, Wilfried Steiner
2019	J	`jnl`	A Perspective on IEEE Time-Sensitive Networking for Industrial Communication and Automation Systems. Proc. IEEE Lucia Lo Bello, Wilfried Steiner
2019	B	`conf`	Forecast Horizon for Automated Safety Actions in Automated Driving Systems. SAFECOMP Ayhan Mehmed, Moritz Antlanger, Wilfried Steiner, Sasikumar Punnekkat
2019	C	`conf`	System Architecture and Application-Specific Verification Method for Fault-Tolerant Automated Driving Systems. IV Ayhan Mehmed, Wilfried Steiner, Moritz Antlanger, Sasikumar Punnekkat
2019	—	`conf`	The need for deterministic virtualization in the industrial internet of things. IoT-Fog@IoTDI Jan Ruh, Wilfried Steiner
2018	A	`conf`	Demo Abstract: Slate XNS-An Online Management Tool for Deterministic TSN Networks. RTAS Silviu S. Craciunas, Ramon Serna Oliver, Wilfried Steiner
2018	J	`jnl`	Enabling Fog Computing for Industrial Automation Through Time-Sensitive Networking (TSN). IEEE Commun. Stand. Mag. Paul Pop, Michael Lander Raagaard, Marina Gutiérrez, Wilfried Steiner
2018	A	`conf`	IEEE 802.1Qbv Gate Control List Synthesis Using Array Theory Encoding. RTAS Ramon Serna Oliver, Silviu S. Craciunas, Wilfried Steiner
2018	J	`jnl`	Traffic Planning for Time-Sensitive Communication. IEEE Commun. Stand. Mag. Wilfried Steiner, Silviu S. Craciunas, Ramon Serna Oliver
2017	—	`conf`	Applying Time Diversity for Improved Reliability in a Real-Time Heterogeneous MAC Protocol. VTC Spring Pablo Gutiérrez Peon, Elisabeth Uhlemann, Wilfried Steiner, Mats Björkman
2017	C	`conf`	Cognitive radio for improved reliability in a real-time wireless MAC protocol based on TDMA. ETFA Pablo Gutiérrez Peon, Pedro Manuel Rodriguez, Zaloa Fernández, Francisco Pozo, Elisabeth Uhlemann, Inaki Val, Wilfried Steiner
2017	—	`conf`	Deterministic Ethernet: Addressing the Challenges of Asynchronous Sensing in Sensor Fusion Systems. DSN Workshops Ayhan Mehmed, Sasikumar Punnekkat, Wilfried Steiner
2017	J	`jnl`	Formal Scheduling Constraints for Time-Sensitive Networks. CoRR Silviu S. Craciunas, Ramon Serna Oliver, Wilfried Steiner
2017	B	`conf`	Formal methods in industrial dependable systems design - The TTTech example. FMCAD Wilfried Steiner
2017	—	`conf`	Runtime reconfiguration of time-sensitive networking (TSN) schedules for Fog Computing. FWC Michael Lander Raagaard, Paul Pop, Marina Gutiérrez, Wilfried Steiner
2017	C	`conf`	Self-configuration of IEEE 802.1 TSN networks. ETFA Marina Gutiérrez, Astrit Ademaj, Wilfried Steiner, Radu Dobrin, Sasikumar Punnekkat
2017	A	`conf`	Synchronization Quality of IEEE 802.1AS in Large-Scale Industrial Automation Networks. RTAS Marina Gutiérrez, Wilfried Steiner, Radu Dobrin, Sasikumar Punnekkat
2016	—	`conf`	ARSENAL: Automatic Requirements Specification Extraction from Natural Language. NFM Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner
2016	J	`jnl`	Design optimisation of cyber-physical distributed systems using IEEE time-sensitive networks. IET Cyper-Phys. Syst.: Theory & Appl. Paul Pop, Michael Lander Raagaard, Silviu S. Craciunas, Wilfried Steiner
2016	J	`jnl`	Fog computing as enabler for the Industrial Internet of Things. Elektrotech. Informationstechnik Wilfried Steiner, Stefan Poledna
2016	C	`conf`	Medium access control for wireless networks with diverse time and safety real-time requirements. IECON Pablo Gutiérrez Peon, Elisabeth Uhlemann, Wilfried Steiner, Mats Björkman
2016	C	`conf`	Next generation real-time networks based on IT technologies. ETFA Wilfried Steiner, Pablo Gutiérrez Peon, Marina Gutiérrez, Ayhan Mehmed, Guillermo Rodríguez-Navas, Elena Lisova, Francisco Pozo
2016	B	`conf`	Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered Networks. RTCSA Francisco Pozo, Guillermo Rodríguez-Navas, Wilfried Steiner, Hans A. Hansson
2016	J	`jnl`	Protecting Clock Synchronization: Adversary Detection through Network Monitoring. J. Electr. Comput. Eng. Elena Lisova, Marina Gutiérrez, Wilfried Steiner, Elisabeth Uhlemann, Johan Åkerberg, Radu Dobrin, Mats Björkman
2016	—	`conf`	Risk evaluation of an ARP poisoning attack on clock synchronization for industrial applications. ICIT Elena Lisova, Elisabeth Uhlemann, Wilfried Steiner, Johan Åkerberg, Mats Björkman
2016	J	`jnl`	Routing optimization of AVB streams in TSN networks. SIGBED Rev. Sune Mølgaard Laursen, Paul Pop, Wilfried Steiner
2016	Misc	`conf`	Scheduling Real-Time Communication in IEEE 802.1Qbv Time Sensitive Networks. RTNS Silviu S. Craciunas, Ramon Serna Oliver, Martin Chmelík, Wilfried Steiner
2016	—	`conf`	Verification of Fault-Tolerant Clock Synchronization Algorithms. ARCH@CPSWeek Sergiy Bogomolov, Christian Herrera, Wilfried Steiner
2015	C	`conf`	A configuration agent based on the time-triggered paradigm for real-time networks. WFCS Marina Gutiérrez, Wilfried Steiner, Radu Dobrin, Sasikumar Punnekkat
2015	C	`conf`	A decomposition approach for SMT-based schedule synthesis for time-triggered networks. ETFA Francisco Pozo, Wilfried Steiner, Guillermo Rodríguez-Navas, Hans Hansson
2015	C	`conf`	A wireless MAC method with support for heterogeneous data traffic. IECON Pablo Gutiérrez Peon, Elisabeth Uhlemann, Wilfried Steiner, Mats Björkman
2015	J	`jnl`	Design optimization of TTEthernet-based distributed real-time systems. Real Time Syst. Domitian Tamas-Selicean, Paul Pop, Wilfried Steiner
2015	B	`conf`	Improving Dependability of Vision-Based Advanced Driver Assistance Systems Using Navigation Data and Checkpoint Recognition. SAFECOMP Ayhan Mehmed, Sasikumar Punnekkat, Wilfried Steiner, Giacomo Spampinato, Martin Lettner
2015	—	`conf`	Improving Intelligent Vehicle Dependability by Means of Infrastructure-Induced Tests. DSN Workshops Wilfried Steiner, Ayhan Mehmed, Sasikumar Punnekkat
2015	—	`conf`	Learning the parameters of periodic traffic based on network measurements. M&N Marina Gutiérrez, Wilfried Steiner, Radu Dobrin, Sasikumar Punnekkat
2015	J	`jnl`	Reliable networks for distributed dependable systems. Elektrotech. Informationstechnik Harald Angelow, Günther Bauer, Petr Grillinger, Günter Motzet, Wilfried Steiner
2015	—	`conf`	SMT-based synthesis of TTEthernet schedules: A performance study. SIES Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson, Wilfried Steiner
2015	—	`conf`	TTEthernet SW-based end system for AUTOSAR. SIES Thomas Frühwirth, Wilfried Steiner, Bernhard Stangl
2015	C	`conf`	Timing Analysis of Rate Constrained Traffic for the TTEthernet Communication Protocol. ISORC Domitian Tamas-Selicean, Paul Pop, Wilfried Steiner
2014	J	`jnl`	Automatically Extracting Requirements Specifications from Natural Language. CoRR Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner
2014	C	`conf`	Towards a reliable and high-speed wireless complement to TTEthernet. ETFA Pablo Gutiérrez Peon, Hermann Kopetz, Wilfried Steiner
2014	—	`conf`	Towards synchronous deterministic channels for the Internet of Things. WF-IoT Wilfried Steiner, Flavio Bonomi, Hermann Kopetz
2013	C	`conf`	Probabilistic Modeling of Failure Dependencies Using Markov Logic Networks. PRDC Shalini Ghosh, Wilfried Steiner, Grit Denker, Patrick Lincoln
2013	J	`jnl`	The TTEthernet synchronisation protocols and their formal verification. Int. J. Crit. Comput. Based Syst. Wilfried Steiner, Bruno Dutertre
2012	Misc	`conf`	On the Development of a Real-Time Ethernet Switch for Ultra-highly Dependable Applications. EDCC Dumitru-Mircea Chimerel, Costel Patrascu, Sabina Anghel, Yuval Katz, Wilfried Steiner
2012	Misc	`conf`	Synthesis of communication schedules for TTEthernet-based mixed-criticality systems. CODES+ISSS Domitian Tamas-Selicean, Paul Pop, Wilfried Steiner
2011	—	`conf`	Automated Formal Verification of the NASA Formal Methods Wilfried Steiner, Bruno Dutertre
2011	C	`conf`	Layered Diagnosis and Clock-Rate Correction for the TTEthernet Clock Synchronization Protocol. PRDC Wilfried Steiner, Bruno Dutertre
2011	—	`conf`	Synthesis of Static Communication Schedules for Mixed-Criticality Systems. ISORC Workshops Wilfried Steiner
2010	A	`conf`	An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks. RTSS Wilfried Steiner
2010	C	`conf`	SMT-Based Formal Verification of a FMICS Wilfried Steiner, Bruno Dutertre
2009	B	`conf`	TTEthernet Dataflow Concept. NCA Wilfried Steiner, Günther Bauer, Brendan Hall, Michael Paulitsch, Srivatsan Varadarajan
2008	C	`conf`	Modeling and Verification of Time-Triggered Communication Protocols. ISORC Maria Sorea, Bruno Dutertre, Wilfried Steiner
2007	—	`conf`	Advancements in Dependable Time-Triggered Communication. SEUS Wilfried Steiner
2006	A	`conf`	The Startup Problem in Fault-Tolerant Time-Triggered Communication. DSN Wilfried Steiner, Hermann Kopetz
2006	J	`jnl`	The TTA's Approach to Resilience after Transient Upsets. Real Time Syst. Wilfried Steiner, Michael Paulitsch, Hermann Kopetz
2004	A	`conf`	Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation. DSN Wilfried Steiner, John M. Rushby, Maria Sorea, Holger Pfeifer
2003	—	`conf`	Automatic Recovery of the TTP/A Sensor/Actuator Network. WISES Wilfried Steiner, Wilfried Elmenreich
2003	B	`conf`	Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems. ECRTS Michael Paulitsch, Wilfried Steiner
2003	—	`conf`	Multiple Failure Correction in the Time-Triggered Architecture. WORDS Fall Wilfried Steiner, Michael Paulitsch, Hermann Kopetz
2003	C	`conf`	The Central Guardian Approach to Enforce Fault Isolation in the Time-Triggered Architecture. ISADS Günther Bauer, Hermann Kopetz, Wilfried Steiner
2002	A	`conf`	The Transition from Asynchronous to Synchronous System Operation: An Approach for Distributed Fault-Tolerant Systems. ICDCS Wilfried Steiner, Michael Paulitsch