Awardee
- Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
Anand 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 Automata
Anand Balakrishnan, Sheryl Paul, Simone Silvetti, Laura Nenzi and Jyotirmoy Deshmukh - Runtime Enforcement of CPS against Signal Temporal Logic
Han Su, Saumya Shankar, Partha S. Roop, Srinivas Pinisetty, and Naijun Zhan
Eligibility
All regular papers, including special track papers, are automatically eligible for this award.
Procedure
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.
Selection Committee:
- Rupak Majumdar – Max Planck Institute for Software Systems, Germany
- Morteza Lahijanian – University of Colorado Boulder, USA
- Maryam Kamgarpour – Swiss Federal Institute of Technology Lausanne, Switzerland
Award Details:
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.