| The FORA Fog Computing Platform for Industrial IoT | 3 | 0.38 | 2021 |
| Evaluation of a Fail-Over Mechanism for 1oo2D Architectures in Highly-Automated Driving | 0 | 0.34 | 2021 |
| The Monitor as Key Architecture Element for Safe Self-Driving Cars | 0 | 0.34 | 2020 |
| Forecast Horizon For Automated Safety Actions In Automated Driving Systems | 0 | 0.34 | 2019 |
| System Architecture and Application-Specific Verification Method for Fault-Tolerant Automated Driving Systems | 0 | 0.34 | 2019 |
| The Need For Deterministic Virtualization In The Industrial Internet Of Things | 2 | 0.39 | 2019 |
| A Perspective on IEEE Time-Sensitive Networking for Industrial Communication and Automation Systems | 11 | 0.79 | 2019 |
| Demo Abstract: Slate XNS--An Online Management Tool for Deterministic TSN Networks | 3 | 0.48 | 2018 |
| Traffic Planning for Time-Sensitive Communication. | 6 | 0.62 | 2018 |
| IEEE 802.1Qbv Gate Control List Synthesis Using Array Theory Encoding | 5 | 0.43 | 2018 |
| Enabling Fog Computing for Industrial Automation Through Time-Sensitive Networking (TSN). | 7 | 0.62 | 2018 |
| Cognitive radio for improved reliability in a real-time wireless MAC protocol based on TDMA | 0 | 0.34 | 2017 |
| Runtime reconfiguration of time-sensitive networking (TSN) schedules for Fog Computing | 3 | 0.36 | 2017 |
| Self-configuration of IEEE 802.1 TSN networks | 3 | 0.85 | 2017 |
| Formal Scheduling Constraints for Time-Sensitive Networks. | 0 | 0.34 | 2017 |
| Deterministic Ethernet: Addressing the Challenges of Asynchronous Sensing in Sensor Fusion Systems | 0 | 0.34 | 2017 |
| Scheduling Real-Time Communication in IEEE 802.1Qbv Time Sensitive Networks. | 25 | 1.25 | 2016 |
| Verification of Fault-Tolerant Clock Synchronization Algorithms. | 0 | 0.34 | 2016 |
| Fog computing as enabler for the Industrial Internet of Things. | 14 | 0.69 | 2016 |
| Routing optimization of AVB streams in TSN networks. | 6 | 0.59 | 2016 |
| ARSENAL: Automatic Requirements Specification Extraction from Natural Language. | 9 | 0.81 | 2016 |
| Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered Networks | 1 | 0.35 | 2016 |
| Risk Evaluation Of An Arp Poisoning Attack On Clock Synchronization For Industrial Applications | 0 | 0.34 | 2016 |
| Design optimisation of cyber-physical distributed systems using IEEE time-sensitive networks. | 10 | 0.72 | 2016 |
| Improving Intelligent Vehicle Dependability by Means of Infrastructure-Induced Tests | 0 | 0.34 | 2015 |
| Learning the parameters of periodic traffic based on network measurements | 2 | 0.38 | 2015 |
| Reliable networks for distributed dependable systems | 0 | 0.34 | 2015 |
| Design optimization of TTEthernet-based distributed real-time systems | 7 | 0.67 | 2015 |
| Timing Analysis of Rate Constrained Traffic for the TTEthernet Communication Protocol | 5 | 0.56 | 2015 |
| SMT-based synthesis of TTEthernet schedules: A performance study | 5 | 0.48 | 2015 |
| Improving Dependability of Vision-Based Advanced Driver Assistance Systems Using Navigation Data and Checkpoint Recognition | 0 | 0.34 | 2015 |
| Towards a reliable and high-speed wireless complement to TTEthernet. | 1 | 0.37 | 2014 |
| Automatically Extracting Requirements Specifications from Natural Language. | 7 | 0.52 | 2014 |
| The TTEthernet synchronisation protocols and their formal verification | 2 | 0.42 | 2013 |
| Probabilistic Modeling of Failure Dependencies Using Markov Logic Networks | 0 | 0.34 | 2013 |
| Synthesis of communication schedules for TTEthernet-based mixed-criticality systems | 28 | 1.35 | 2012 |
| On the Development of a Real-Time Ethernet Switch for Ultra-highly Dependable Applications | 0 | 0.34 | 2012 |
| Automated formal verification of the TTEthernet synchronization quality | 7 | 0.68 | 2011 |
| Synthesis of Static Communication Schedules for Mixed-Criticality Systems. | 24 | 1.40 | 2011 |
| Layered Diagnosis and Clock-Rate Correction for the TTEthernet Clock Synchronization Protocol | 2 | 0.39 | 2011 |
| SMT-based formal verification of a TTEthernet synchronization function | 9 | 0.73 | 2010 |
| TTEthernet Dataflow Concept | 9 | 0.70 | 2009 |
| Modeling and Verification of Time-Triggered Communication Protocols | 1 | 0.36 | 2008 |
| Advancements in dependable time-triggered communication | 0 | 0.34 | 2007 |
| The TTA's Approach to Resilience after Transient Upsets | 4 | 0.43 | 2006 |
| The Startup Problem in Fault-Tolerant Time-Triggered Communication | 7 | 0.69 | 2006 |
| Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation | 34 | 1.57 | 2004 |
| Multiple Failure Correction in the Time-Triggered Architecture | 6 | 0.74 | 2003 |
| The Central Guardian Approach to Enforce Fault Isolation in the Time-Triggered Architecture | 23 | 2.17 | 2003 |
| Automatic Recovery of the TTP/A Sensor/Actuator Network | 2 | 0.38 | 2003 |
