====== FMICS 2011: Best Paper Award für den I11 ======

Das Veröffentlichung //Past Time LTL Runtime Verification for Microcontroller Binary Code//, welche von [[:lehrstuhl:mitarbeiter:brauer|Jörg Brauer]] und [[:lehrstuhl:mitarbeiter:kowalewski|Stefan Kowalewski]] in Kooperation mit [[http://ti.tuwien.ac.at/ecs/people/treinbacher|Thomas Reinbacher]], [[http://ti.tuwien.ac.at/ecs/people/steininger|Andreas Steininger]] (beide TU Wien) und [[http://embsys.technikum-wien.at/staff/horauer/index.php|Martin Horauer]] (Technikum Wien) geschrieben wurde, ist auf dem [[http://events.fortiss.org/fmics2011/|16th International Workshop on Formal Methods for Industrial Critical Systems]] (FMICS 2011) mit einem Best Paper Award ausgezeichnet worden. Der Award wird jährlich verliehen von der European Association of Software Science and Technology (EASST).

{{  :lehrstuhl:neuigkeiten:fmics_2011.jpg?500  |}}