07.06.2016 Paper presentation of Fedor Smirnov at DAC Conference, Austin/USA.

During the upcoming Design Automation Conference (DAC) in Austin, Texas, 5-9 June 2016, Fedor Smirnov presented the paper “Formal Reliability Analysis of Switched Ethernet Automotive Networks under Transient Transmission Errors” during the “Environment-Aware, Reactive and Secure Automotive Systems” – session. This paper focuses on the reliable transmission of safety-critical information in Ethernet automotive networks and was one of the 16 conference papers nominated for the Best Paper Award.