{"id":1343,"date":"2023-08-30T23:33:06","date_gmt":"2023-08-30T23:33:06","guid":{"rendered":"https:\/\/hscc.acm.org\/2025\/?page_id=1343"},"modified":"2025-09-11T00:41:18","modified_gmt":"2025-09-11T00:41:18","slug":"previous-hscc-editions","status":"publish","type":"page","link":"https:\/\/hscc.acm.org\/2026\/previous-hscc-editions\/","title":{"rendered":"Past HSCC\/ICCPS Conferences"},"content":{"rendered":"\n<div class=\"wp-block-themeisle-blocks-advanced-columns has-2-columns has-desktop-equal-layout has-tablet-equal-layout has-mobile-collapsedRows-layout has-default-gap has-vertical-unset\" id=\"wp-block-themeisle-blocks-advanced-columns-4838936f\"><div class=\"wp-block-themeisle-blocks-advanced-columns-overlay\"><\/div><div class=\"innerblocks-wrap\">\n<div class=\"wp-block-themeisle-blocks-advanced-column\" id=\"wp-block-themeisle-blocks-advanced-column-79f430c5\">\n<div class=\"wp-block-columns\">\n<div class=\"wp-block-column\" style=\"flex-basis:100%\">\n<figure class=\"wp-block-table\">\n<table>\n<tbody>\n<tr>\n<td><a rel=\"noreferrer noopener\" href=\"https:\/\/hscc.acm.org\/2024\/\" data-type=\"URL\" data-id=\"https:\/\/hscc.acm.org\/2024\/\" target=\"_blank\">HSCC 2024<\/a><\/td>\n<td>Hong Kong<\/td>\n\n<!-- ICCPS '24 -->\n<td><a rel=\"noreferrer noopener\" href=\"https:\/\/iccps.acm.org\/2024\/\" data-type=\"URL\" data-id=\"https:\/\/iccps.acm.org\/2024\/\" target=\"_blank\">ICCPS 2024<\/a><\/td>\n<td>Hong Kong<\/td>\n<\/tr>\n\n<tr>\n<td><a rel=\"noreferrer noopener\" href=\"https:\/\/hscc.acm.org\/2023\/\" data-type=\"URL\" data-id=\"https:\/\/hscc.acm.org\/2023\/\" target=\"_blank\">HSCC 2023<\/a><\/td>\n<td>San Antonio, TX<\/td>\n\n<!-- ICCPS '23 -->\n<td><a rel=\"noreferrer noopener\" href=\"https:\/\/iccps.acm.org\/2023\/\" data-type=\"URL\" data-id=\"https:\/\/iccps.acm.org\/2023\/\" target=\"_blank\">ICCPS 2023<\/a><\/td>\n<td>San Antonio, TX<\/td>\n<\/tr>\n\n<tr>\n<td><a href=\"https:\/\/hscc.acm.org\/2022\/\" data-type=\"URL\" data-id=\"https:\/\/hscc.acm.org\/2022\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2022<\/a><\/td>\n<td>Milano<\/td>\n\n<!-- ICCPS '22 -->\n<td><a rel=\"noreferrer noopener\" href=\"https:\/\/iccps.acm.org\/2022\/\" data-type=\"URL\" data-id=\"https:\/\/iccps.acm.org\/2022\/\" target=\"_blank\">ICCPS 2022<\/a><\/td>\n<td>Milano<\/td>\n<\/tr>\n\n<tr>\n<td><a href=\"https:\/\/hscc.acm.org\/2021\/\" data-type=\"URL\" data-id=\"https:\/\/hscc.acm.org\/2021\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2021<\/a><\/td>\n<td>Nashville<\/td>\n\n<!-- ICCPS '21 -->\n<td><a rel=\"noreferrer noopener\" href=\"https:\/\/iccps.acm.org\/2021\/\" data-type=\"URL\" data-id=\"https:\/\/iccps.acm.org\/2021\/\" target=\"_blank\">ICCPS 2021<\/a><\/td>\n<td>Nashville<\/td>\n<\/tr>\n\n<tr>\n<td><a href=\"https:\/\/berkeleylearnverify.github.io\/HSCC_2020\/index.html\" data-type=\"URL\" data-id=\"https:\/\/berkeleylearnverify.github.io\/HSCC_2020\/index.html\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2020<\/a><\/td>\n<td>Syndey<\/td>\n\n<!-- ICCPS '20 -->\n<td><a rel=\"noreferrer noopener\" href=\"https:\/\/iccps.acm.org\/2020\/\" data-type=\"URL\" data-id=\"https:\/\/iccps.acm.org\/2020\/\" target=\"_blank\">ICCPS 2020<\/a><\/td>\n<td>Sydney<\/td>\n<\/tr>\n\n<tr>\n<td><a href=\"http:\/\/hscc2019.eecs.umich.edu\/\" data-type=\"URL\" data-id=\"http:\/\/hscc2019.eecs.umich.edu\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2019<\/a><\/td>\n<td>Montreal<\/td>\n\n<!-- ICCPS '19 -->\n<td><a rel=\"noreferrer noopener\" href=\"https:\/\/iccps.acm.org\/2019\/\" data-type=\"URL\" data-id=\"https:\/\/iccps.acm.org\/2019\/\" target=\"_blank\">ICCPS 2019<\/a><\/td>\n<td>Montreal<\/td>\n<\/tr>\n\n<tr>\n<td><a href=\"https:\/\/www.hscc2018.deib.polimi.it\" data-type=\"URL\" data-id=\"https:\/\/www.hscc2018.deib.polimi.it\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2018<\/a><\/td>\n<td>Porto<\/td>\n\n<!-- ICCPS '18 -->\n<td><a rel=\"noreferrer noopener\" href=\"https:\/\/iccps.acm.org\/2018\/\" data-type=\"URL\" data-id=\"https:\/\/iccps.acm.org\/2018\/\" target=\"_blank\">ICCPS 2018<\/a><\/td>\n<td>Porto<\/td>\n<\/tr>\n\n<tr>\n<td><a href=\"http:\/\/hscc2017.ece.illinois.edu\" data-type=\"URL\" data-id=\"http:\/\/hscc2017.ece.illinois.edu\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2017<\/a><\/td>\n<td>Pittsburgh, PA<\/td>\n\n<!-- ICCPS '17 -->\n<td><a rel=\"noreferrer noopener\" href=\"https:\/\/iccps.acm.org\/2017\/install.php\" data-type=\"URL\" data-id=\"https:\/\/iccps.acm.org\/2017\/install.php\" target=\"_blank\">ICCPS 2017<\/a><\/td>\n<td>Pittsburgh, PA<\/td>\n<\/tr>\n\n<tr>\n<td><a href=\"http:\/\/2016.hscc-conference.org\/\" data-type=\"URL\" data-id=\"http:\/\/2016.hscc-conference.org\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2016<\/a><\/td>\n<td>Vienna<\/td>\n\n<!-- ICCPS '16 -->\n<td><a rel=\"noreferrer noopener\" href=\"https:\/\/iccps.acm.org\/2016\/\" data-type=\"URL\" data-id=\"https:\/\/iccps.acm.org\/2016\/\" target=\"_blank\">ICCPS 2016<\/a><\/td>\n<td>Vienna<\/td>\n<\/tr>\n\n<tr>\n<td><a href=\"http:\/\/2015.hscc-conference.org\/\" data-type=\"URL\" data-id=\"http:\/\/2015.hscc-conference.org\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2015<\/a><\/td>\n<td>Seattle, WA<\/td>\n\n<!-- ICCPS '15 -->\n<td><a rel=\"noreferrer noopener\" href=\"https:\/\/iccps.acm.org\/2015\/\" data-type=\"URL\" data-id=\"https:\/\/iccps.acm.org\/2015\/\" target=\"_blank\">ICCPS 2015<\/a><\/td>\n<td>Seattle, WA<\/td>\n<\/tr>\n\n<tr>\n<td><a href=\"http:\/\/2014.hscc-conference.org\/\" data-type=\"URL\" data-id=\"http:\/\/2014.hscc-conference.org\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2014<\/a><\/td>\n<td>Berlin<\/td>\n\n<!-- ICCPS '14 -->\n<td><a rel=\"noreferrer noopener\" href=\"https:\/\/iccps.acm.org\/2014\/\" data-type=\"URL\" data-id=\"https:\/\/iccps.acm.org\/2014\/\" target=\"_blank\">ICCPS 2014<\/a><\/td>\n<td>Berlin<\/td>\n<\/tr>\n\n<tr>\n<td><a href=\"http:\/\/2013.hscc-conference.org\/\" data-type=\"URL\" data-id=\"http:\/\/2013.hscc-conference.org\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2013<\/a><\/td>\n<td>Philadelphia, PA<\/td>\n\n<!-- ICCPS '13 -->\n<td><a rel=\"noreferrer noopener\" href=\"https:\/\/iccps.acm.org\/2013\/\" data-type=\"URL\" data-id=\"https:\/\/iccps.acm.org\/2013\/\" target=\"_blank\">ICCPS 2013<\/a><\/td>\n<td>Philadelphia, PA<\/td>\n<\/tr>\n\n<tr>\n<td><a href=\"http:\/\/2012.hscc-conference.org\/\" data-type=\"URL\" data-id=\"http:\/\/2012.hscc-conference.org\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2012<\/a><\/td>\n<td>Beijing<\/td>\n\n<!-- ICCPS '12 -->\n<td><a rel=\"noreferrer noopener\" href=\"https:\/\/iccps.acm.org\/2012\/\" data-type=\"URL\" data-id=\"https:\/\/iccps.acm.org\/2012\/\" target=\"_blank\">ICCPS 2012<\/a><\/td>\n<td>Beijing<\/td>\n<\/tr>\n\n<tr>\n<td><a href=\"http:\/\/hscc2011.cs.sunysb.edu\/\" data-type=\"URL\" data-id=\"http:\/\/hscc2011.cs.sunysb.edu\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2011<\/a><\/td>\n<td>Chicago, IL<\/td>\n\n<!-- ICCPS '11 -->\n<td><a rel=\"noreferrer noopener\" href=\"https:\/\/iccps.acm.org\/2011\/\" data-type=\"URL\" data-id=\"https:\/\/iccps.acm.org\/2011\/\" target=\"_blank\">ICCPS 2011<\/a><\/td>\n<td>Chicago, IL<\/td>\n<\/tr>\n\n<tr>\n<td><a href=\"http:\/\/hscc10.it.uu.se\/\" data-type=\"URL\" data-id=\"http:\/\/hscc10.it.uu.se\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2010<\/a><\/td>\n<td>Stockholm<\/td>\n\n<!-- ICCPS '10 -->\n<td><a rel=\"noreferrer noopener\" href=\"https:\/\/iccps.acm.org\/2010\/\" data-type=\"URL\" data-id=\"https:\/\/iccps.acm.org\/2010\/\" target=\"_blank\">ICCPS 2010<\/a><\/td>\n<td>Stockholm<\/td>\n<\/tr>\n\n<tr>\n<td><a href=\"http:\/\/www.informatik.uni-trier.de\/~ley\/db\/conf\/hybrid\/hscc2009.html\" data-type=\"URL\" data-id=\"http:\/\/www.informatik.uni-trier.de\/~ley\/db\/conf\/hybrid\/hscc2009.html\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2009<\/a><\/td>\n<td>San Francisco, CA<\/td>\n\n<!-- ICCPS '09 -->\n<td><a rel=\"noreferrer noopener\" href=\" \" data-type=\"URL\" data-id=\" \" target=\"_blank\"> <\/a><\/td>\n<td> <\/td>\n<\/tr>\n\n<tr>\n<td><a href=\"http:\/\/www.hscc08.gatech.edu\/\" data-type=\"URL\" data-id=\"http:\/\/www.hscc08.gatech.edu\/\" target=\"_blank\" rel=\"noreferrer noopener\">HSCC 2008<\/a><\/td>\n<td>St. Louis, MI<\/td>\n\n<!-- ICCPS '08 -->\n<td><a rel=\"noreferrer noopener\" href=\" \" data-type=\"URL\" data-id=\" \" target=\"_blank\"> <\/a><\/td>\n<td> <\/td>\n<\/tr>\n\n<\/tbody>\n<\/table>\n<\/figure>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"wp-block-themeisle-blocks-advanced-column\" id=\"wp-block-themeisle-blocks-advanced-column-17fd52c9\">\n<h5>Proceedings<\/h5>\n<p>Proceedings of past HSCC conferences are available through Springer-Verlag and the ACM Press.&nbsp;<a href=\"http:\/\/www.informatik.uni-trier.de\/%7Eley\/db\/conf\/hybrid\/\">Past proceedings<\/a>&nbsp;of HSCC are indexed on-line through the computer science publication database (DBLP).<\/p>\n<h5><br>Test-of-time Award Winners<\/h5>\n<ul><li><strong>2023:<\/strong> Goran Frehse.&nbsp;<a rel=\"noreferrer noopener\" href=\"https:\/\/dl.acm.org\/doi\/10.1007\/978-3-540-31954-2_17\" data-type=\"URL\" data-id=\"https:\/\/dl.acm.org\/doi\/10.1007\/978-3-540-31954-2_17\" target=\"_blank\">PHAVer: Algorithmic Verification of Hybrid Systems Past&nbsp;HyTech<\/a><\/li><li><strong>2022:<\/strong> Alberto&nbsp;Bemporad, Francesco Borrelli and Manfred&nbsp;Morari.&nbsp;<a rel=\"noreferrer noopener\" href=\"https:\/\/link.springer.com\/chapter\/10.1007\/3-540-45873-5_11\" target=\"_blank\">On the Optimal Control Law for Linear Discrete Time Hybrid Systems<\/a>. HSCC 2002.<\/li><li><strong>2021:<\/strong> Stephen Prajna&nbsp;and Ali Jadbabaie.&nbsp;<a rel=\"noreferrer noopener\" href=\"https:\/\/link.springer.com\/chapter\/10.1007\/978-3-540-24743-2_32\" target=\"_blank\">Safety verification of hybrid systems using barrier certificates<\/a>. HSCC 2004.<\/li><li><strong>2020:<\/strong> Ricardo Sanfelice, Rafal Goebel, and Andrew Teel.&nbsp;<a href=\"https:\/\/link.springer.com\/chapter\/10.1007\/11730637_39\">A feedback control motivation for generalized solutions to hybrid systems<\/a>. HSCC 2006.<\/li><li><strong>2019:<\/strong> Thao Dang and Oded Maler.&nbsp;<a href=\"https:\/\/link.springer.com\/chapter\/10.1007\/3-540-64358-3_34\">Reachability analysis via face lifting<\/a>. HSCC 1998.<\/li><li><strong>2018:<\/strong> Antoine Girard.&nbsp;<a href=\"https:\/\/dl.acm.org\/citation.cfm?id=2153763\">Reachability of uncertain linear systems using zonotopes<\/a>. HSCC 2005.<\/li><\/ul>\n<h5>&nbsp;Recent HSCC Best Paper (BP) and Best Student Paper (BSP) Award Winners<\/h5>\n<ul><li><strong>2023: (BP)<\/strong> Ib\u00f3n&nbsp;Gracia&nbsp;Merino, Dimitris Boskos, Luca&nbsp;Laurenti&nbsp;and Manuel Mazo Jr.&nbsp;<a rel=\"noreferrer noopener\" href=\"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3575870.3587127\" data-type=\"URL\" data-id=\"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3575870.3587127\" target=\"_blank\">Distributionally Robust Strategy Synthesis for&nbsp;Switched Stochastic Systems<\/a><\/li><li><strong>2022: (BP)&nbsp;<\/strong>Yong&nbsp;Kiam&nbsp;Tan, Stefan&nbsp;Mitsch&nbsp;and Andr\u00e9&nbsp;Platzer.&nbsp;<a rel=\"noreferrer noopener\" href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519541\" target=\"_blank\">Verifying Switched System Stability With Logic.<\/a><\/li><li><strong>2021: (BP) <\/strong>Nathan Hunt, Nathan Fulton, Sara Magliacane, Nghia Hoang, Subhro Das and Armando Solar-Lezama.&nbsp;<a rel=\"noreferrer noopener\" href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3447928.3456653\" target=\"_blank\">Verifiably Safe Exploration for End-to-End Reinforcement Learning.<\/a>&nbsp;<\/li><li><strong>2020: (BP) <\/strong>Guillaume&nbsp;Berger&nbsp;and Rapha\u00ebl Jungers.&nbsp;<a href=\"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3365365.3382195\">Worst-case topological entropy and minimal data rate for state observation of switched linear systems<\/a>.<\/li><li><strong>2019: (BP)&nbsp;<\/strong>Guosong Yang, Joao Hespanha and Daniel Liberzon.&nbsp;<a href=\"https:\/\/dl.acm.org\/citation.cfm?id=3311815\">On topological entropy and stability of switched linear systems<\/a>.&nbsp;<\/li><li><strong>2018: (BP)&nbsp;<\/strong>Daniel Gburek and Christel Baier.&nbsp;<a href=\"https:\/\/dl.acm.org\/citation.cfm?id=3178139\">Bisimulations, logics, and trace distributions for stochastic systems with rewards<\/a>.&nbsp;<\/li><li><strong>2017: (BSP) <\/strong>Abraham Vinod, Baisravan Homchaudhuri and Meeko Oishi.&nbsp;<a href=\"http:\/\/dl.acm.org\/authorize?N24806\">Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms<\/a>.<\/li><li><strong>2016: (BSP) <\/strong>Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh and Xiaoqing Jin.&nbsp;<a href=\"http:\/\/dx.doi.org\/10.1145\/2883817.2883819\">Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software<\/a>.<\/li><li><strong>2015: (BSP) <\/strong>Sam Coogan, Murat Arcak.&nbsp;<a href=\"http:\/\/dx.doi.org\/10.1145\/2728606.2728607\">Efficient finite abstraction of mixed monotone systems<\/a>.<\/li><li><strong>2014: (BSP) <\/strong>Ayonga Hereid, Shishir Kolathaya, Mikhail S. Jones, Johnathan Van Why, Jonathan W. Hurst, and Aaron D. Ames.&nbsp;<a href=\"http:\/\/dx.doi.org\/10.1145\/2562059.2562143\">Dynamic multi-domain bipedal walking with atrias through slip based human-inspired control<\/a>.<\/li><li><strong>2013: (BP) <\/strong>Michael Posa, Mark Tobenkin, and Russ Tedrake.&nbsp;<a href=\"http:\/\/dx.doi.org\/10.1145\/2461328.2461340\">Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares<\/a>.<\/li><li><strong>2013: (BSP) <\/strong>Hongfei Fu.&nbsp;<a href=\"http:\/\/dx.doi.org\/10.1145\/2461328.2461376\">Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata<\/a>.<\/li><li><strong>2012: (BP) <\/strong>Rajeev Alur, Ashutosh Trivedi,and Dominik Wojtczak.&nbsp;<a href=\"http:\/\/dx.doi.org\/10.1145\/2185632.2185647\">Optimal Scheduling for Constant-Rate Multi-Mode System<\/a>.<\/li><\/ul>\n<\/div>\n<\/div><\/div>\n","protected":false},"excerpt":{"rendered":"<p>HSCC 2024 Hong Kong ICCPS 2024 Hong Kong HSCC 2023 San Antonio, TX ICCPS 2023 San Antonio, TX HSCC 2022 Milano ICCPS 2022 Milano HSCC 2021 Nashville ICCPS 2021 Nashville HSCC 2020 Syndey ICCPS 2020 Sydney HSCC 2019 Montreal ICCPS 2019 Montreal HSCC 2018 Porto ICCPS 2018 Porto HSCC 2017 [&hellip;]<\/p>\n","protected":false},"author":7,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-templates\/template-fullwidth.php","meta":[],"_links":{"self":[{"href":"https:\/\/hscc.acm.org\/2026\/wp-json\/wp\/v2\/pages\/1343"}],"collection":[{"href":"https:\/\/hscc.acm.org\/2026\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/hscc.acm.org\/2026\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2026\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2026\/wp-json\/wp\/v2\/comments?post=1343"}],"version-history":[{"count":13,"href":"https:\/\/hscc.acm.org\/2026\/wp-json\/wp\/v2\/pages\/1343\/revisions"}],"predecessor-version":[{"id":1953,"href":"https:\/\/hscc.acm.org\/2026\/wp-json\/wp\/v2\/pages\/1343\/revisions\/1953"}],"wp:attachment":[{"href":"https:\/\/hscc.acm.org\/2026\/wp-json\/wp\/v2\/media?parent=1343"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}