{"id":1537,"date":"2024-04-12T06:57:26","date_gmt":"2024-04-12T06:57:26","guid":{"rendered":"https:\/\/hscc.acm.org\/2025\/?page_id=1537"},"modified":"2025-05-09T21:23:35","modified_gmt":"2025-05-09T21:23:35","slug":"hscc-best-paper-award","status":"publish","type":"page","link":"https:\/\/hscc.acm.org\/2025\/hscc-best-paper-award\/","title":{"rendered":"ACM SIGBED HSCC Best Paper Award"},"content":{"rendered":"<div class=\"wp-block-themeisle-blocks-advanced-columns has-1-columns has-desktop-equal-layout has-tablet-equal-layout has-mobile-equal-layout has-default-gap has-vertical-unset\" id=\"wp-block-themeisle-blocks-advanced-columns-22b250e9\">\n<div class=\"innerblocks-wrap\">\n<div class=\"wp-block-themeisle-blocks-advanced-column\" id=\"wp-block-themeisle-blocks-advanced-column-949c1c2e\">\n<h3>Awardee<\/h3>\n<ul>\n<li><em>Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata<\/em><br \/>Anand Balakrishnan, Sheryl Paul, Simone Silvetti, Laura Nenzi and Jyotirmoy Deshmukh<\/li>\n<\/ul>\n<h3>HSCC 2025 Best Paper Award Finalists<\/h3>\n<p>The following two papers are nominated by the PC members for the Best Paper Award:<\/p>\n<ul>\n<li><em>Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata<\/em><br \/>Anand Balakrishnan, Sheryl Paul, Simone Silvetti, Laura Nenzi and Jyotirmoy Deshmukh<\/li>\n<li><em>Runtime Enforcement of CPS against Signal Temporal Logic<\/em><br \/>Han Su, Saumya Shankar, Partha S. Roop, Srinivas Pinisetty, and Naijun Zhan<\/li>\n<\/ul>\n<h3>Eligibility<\/h3>\n<p>All regular papers, including special track papers, are automatically eligible for this award.<\/p>\n<h3>Procedure<\/h3>\n<p>A shortlist of papers is made by the PC Chairs based on the reviews received by the papers. The whole PC is invited to provide votes from this shortlist. A Selection committee examines in detail the shortlisted papers and taking into account the votes from the PC members that provided a preference, makes the final selection of the awardee.<\/p>\n<h3>Selection Committee:<\/h3>\n<ul>\n<li>Rupak Majumdar \u2013 Max Planck Institute for Software Systems, Germany<\/li>\n<li>Morteza Lahijanian &#8211; University of Colorado Boulder, USA<\/li>\n<li>Maryam Kamgarpour &#8211; <span>Swiss Federal Institute of Technology Lausanne, Switzerland<\/span><\/li>\n<\/ul>\n<h3>Award Details:<\/h3>\n<p>The authors of the awarded paper will be notified by the middle of April. There is a cash prize of US$ 500 associated with the award kindly sponsored by MathWorks.<\/p>\n<p><\/p>\n<\/div>\n<\/div>\n<\/div>\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Awardee Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite AutomataAnand Balakrishnan, Sheryl Paul, Simone Silvetti, Laura Nenzi and Jyotirmoy Deshmukh HSCC 2025 Best Paper Award Finalists The following two papers are nominated by the PC members for the Best Paper Award: Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite AutomataAnand [&hellip;]<\/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\/2025\/wp-json\/wp\/v2\/pages\/1537"}],"collection":[{"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/comments?post=1537"}],"version-history":[{"count":11,"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/pages\/1537\/revisions"}],"predecessor-version":[{"id":1850,"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/pages\/1537\/revisions\/1850"}],"wp:attachment":[{"href":"https:\/\/hscc.acm.org\/2025\/wp-json\/wp\/v2\/media?parent=1537"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}