{"id":1553,"date":"2024-04-16T11:30:20","date_gmt":"2024-04-16T11:30:20","guid":{"rendered":"https:\/\/hscc.acm.org\/2024\/?page_id=1553"},"modified":"2024-05-19T15:19:29","modified_gmt":"2024-05-19T15:19:29","slug":"best-re-award","status":"publish","type":"page","link":"https:\/\/hscc.acm.org\/2024\/best-re-award\/","title":{"rendered":"Best RE Award"},"content":{"rendered":"\n
\n
\n
\n

Awardee<\/h3>\n

Alec Edwards, Andrea Peruffo, Alessandro Abate<\/p>\n

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models<\/em><\/a><\/p>\n

Eligibility<\/h3>\n

All papers that submitted a repeatability package are automatically eligible for this award.<\/p>\n

Procedure<\/h3>\n

A shortlist of papers is made by the RE PC Chair based on the reviews received by the papers. The RE PC then elects the best RE package.<\/p>\n

Selection Committee:<\/h3>\n
    \n
  • Yiqi Zhao\u00a0\u2013 University of Southern California, USA<\/li>\n
  • Bingzhuo Zhong \u2013 UC Berkley, USA<\/li>\n
  • Zikang Xiong \u2013 Purdue University, USA<\/li>\n
  • Nikolaos Kekatos \u2013 Univ. Grenoble Alpes, France<\/li>\n
  • Frederik Baymler Mathiesen \u2013 Delft University of Technology, The Netherlands<\/li>\n
  • Aloysio Galvao Lopes\u00a0\u2013 \u00c9cole Polytechnique, France<\/li>\n
  • Junxing Yang\u00a0\u2013 Stony Brook University, USA<\/li>\n
  • Mahmoud Elafr \u2013 University of California, Irvine, USA<\/li>\n
  • John Skovbekk\u00a0\u2013\u00a0CU Boulder, USA<\/li>\n
  • Hongkai Chen \u2013 The Chinese University of Hong Kong, Hong Kong SAR, China<\/li>\n
  • Samuel Pastva\u00a0\u2013\u00a0Masaryk University, Hungary<\/li>\n
  • Brian Hsuan-Cheng Liao \u2013 DENSO AUTOMOTIVE Deutschland GmbH, Germany<\/li>\n
  • Kunal Garg\u00a0\u2013 University of Michigan, USA<\/li>\n
  • Ratan Lal \u2013 Kansas State University, USA<\/li>\n
  • Qi Heng Ho \u2013 University of Colorado Boulder, USA<\/li>\n
  • Dylan Marinho \u2013 Universit\u00e9 de Lorraine, CNRS, Inria, France<\/li>\n
  • Steven Adams \u2013 Delft University of Technology, The Netherlands<\/li>\n
  • Tobias Meggendorfer \u2013 IST Austria, Austria\u00a0\u00a0<\/li>\n<\/ul>\n

    Award Details:<\/h3>\n

    The authors of the awarded paper will be notified during the conference. A monetary prize of US$ 500 for the award is kindly sponsored by Mathworks.<\/p>\n

    <\/p>\n<\/div>\n<\/div>\n<\/div>\n\n\n\n

    <\/p>\n","protected":false},"excerpt":{"rendered":"

    Awardee Alec Edwards, Andrea Peruffo, Alessandro Abate Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models Eligibility All papers that submitted a repeatability package are automatically eligible for this award. Procedure A shortlist of papers is made by the RE PC Chair based on the reviews […]<\/p>\n","protected":false},"author":7,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/hscc.acm.org\/2024\/wp-json\/wp\/v2\/pages\/1553"}],"collection":[{"href":"https:\/\/hscc.acm.org\/2024\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/hscc.acm.org\/2024\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2024\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2024\/wp-json\/wp\/v2\/comments?post=1553"}],"version-history":[{"count":4,"href":"https:\/\/hscc.acm.org\/2024\/wp-json\/wp\/v2\/pages\/1553\/revisions"}],"predecessor-version":[{"id":1574,"href":"https:\/\/hscc.acm.org\/2024\/wp-json\/wp\/v2\/pages\/1553\/revisions\/1574"}],"wp:attachment":[{"href":"https:\/\/hscc.acm.org\/2024\/wp-json\/wp\/v2\/media?parent=1553"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}