Peter Lucas Award | FM 2019

Paul F. Syverson e Stuart G. Stubblebine

Group Principals and the Formalisation of Anonymity

FME Fellowship Award | FM 2019

José Meseguer

Designing Systems in Rewriting Logic: The Power of the Thought Experiment

Best Theory Paper Award | FM 2019

Hans-Peter Deifel, Stefan Milius,  Lutz Schröder and Thorsten Wißmann

Generic Partition Refinement and Weighted Tree Automata

Best Tool Paper Award | FM 2019

Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell and André Platzer

Pegasus: A Framework for Sound Continuous Invariant Generation

Radhia Cousot Young Researcher Award | SAS 2019

Anna Becchi

Revisiting Polyhedral Analysis for Hibrid Systems

Yuxiang Lei

Fast and Precise Handling of Positive Weight Cycles for Field-sensitive Pointer Analysis

Best Paper Award | RV 2019

Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis and Jyotirmoy Deshmukh

Shape Expressions for Specifying and Extracting Signal Features

Test of Time Award |  RV 2019

Moonzoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky and Mahesh Viswanathan

Java-MaC: A Run-time Assurance Tool for Java Programs

Best Presentation Award | Doctoral Symposium

Erzana Beran Abdelwahab and Pedro Jorge Ângelo

Delayed Hybrid Systems’ and ‘Discrete Polymorphism with Gradual Typing

Best Paper Award | LOPSTR 2019

Patrick Cousot

On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics