reading-group

Download

reading-group@rtime.felk.cvut.cz

May 2020

1 participants
2 discussions

Next session
by Martin Košťál 27 May '20

27 May '20

Greetings readers! Let’s meet again this Friday at 13:00 (skype or seminar room) and discuss the following paper: Probabilistic Collision Threat Assessment for Autonomous Driving at Road Intersections Inclusive of Vehicles in Violation of Traffic Rules Samyeul Noh, 2018 presented by klapajar BR Martin

1 1

{Disarmed} RedLeaf: Towards An Operating System for Safe and Verified Firmware
by Martin Košťál 12 May '20

12 May '20

Paper for this week is “RedLeaf: Towards An Operating System for Safe and Verified Firmware“ see link below. Let’s meet again after the break on skype https://join.skype.com/pOlX58h9C5Fa fri 15th at 13:00 Title: RedLeaf: Towards An Operating System for Safe and Verified Firmware authors: "Narayanan, Vikram and Baranowski, Marek and Ryzhyk, Leonid and Rakamaric, Zvonimir and Burtsev, Anton" year: 2019 url: "https://www.ics.uci.edu/~aburtsev/doc/redleaf-hotos19.pdf" presented by: sojkam1

1 0