The best papers awarded at FMICS-AVoCS 2017 are as follows:
- Étienne André: A unified formalism for monoprocessor schedulability analysis under uncertainty
- Rutger van Beusekom, Jan Friso Groote, Paul Hoogendijk, Rob Howe, Wieger Wesselink, Rob Wieringa and Tim Willemse: Formalising the Dezyne Modelling Language in mCRL2