====== FMICS 2011: Best Paper Award ======

The paper //Past Time LTL Runtime Verification for Microcontroller Binary Code//, which was authored by [[:lehrstuhl:mitarbeiter:brauer|Jörg Brauer]] and [[:lehrstuhl:mitarbeiter:kowalewski|Stefan Kowalewski]] together with [[http://ti.tuwien.ac.at/ecs/people/treinbacher|Thomas Reinbacher]], [[http://ti.tuwien.ac.at/ecs/people/steininger|Andreas Steininger]] (both from Vienna University of Technology) and [[http://embsys.technikum-wien.at/staff/horauer/index.php|Martin Horauer]] (University of Applied Sciences Vienna), received a best paper award at the [[http://events.fortiss.org/fmics2011/|16th International Workshop on Formal Methods for Industrial Critical Systems]] (FMICS 2011). This award is annually given to the best software science paper presented at FMICS by the European Association of Software Science and Technology (EASST).

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