FMICS 2011: Best Paper Award

The paper Past Time LTL Runtime Verification for Microcontroller Binary Code, which was authored by Jörg Brauer and Stefan Kowalewski together with Thomas Reinbacher, Andreas Steininger (both from Vienna University of Technology) and Martin Horauer (University of Applied Sciences Vienna), received a best paper award at the 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).