07.06.2016 Paper-Präsentation von Fedor Smirnov auf der DAC in Austin/USA

Anläßlich der Design Automation Conference (DAC) in Austin, Texas, vom 05.-09. Juni 2016, präsentierte Fedor Smirnov das Paper „Formal Reliability Analysis of Switched Ethernet Automotive Networks under Transient Transmission Errors“ als Teil der „Environment-Aware, Reactive and Secure Automotive Systems“ -Session. Dieses Paper behandelt die zuverlässige Übertragung von sicherheitskritischen Daten in auf Ethernet basierten Automotive Netzwerken und war eines der 16 für den Best Paper Award nominierten Konferenz-Papers.