{"id":60,"date":"2023-06-08T08:47:40","date_gmt":"2023-06-08T08:47:40","guid":{"rendered":"https:\/\/www.fm24.polimi.it\/?page_id=60"},"modified":"2024-07-02T08:53:09","modified_gmt":"2024-07-02T08:53:09","slug":"committees","status":"publish","type":"page","link":"https:\/\/www.fm24.polimi.it\/?page_id=60","title":{"rendered":"Committees"},"content":{"rendered":"\n
<\/div>\n\n\n\n

Organizing Committee<\/h2>\n\n\n\n
Role<\/strong><\/td>Member(s)<\/strong><\/td><\/tr>
General co-chairs<\/td>Matteo Pradella<\/a>
Matteo Rossi<\/a><\/td><\/tr>
PC Chairs<\/td>Andr\u00e9 Platzer<\/a>
Kristin-Yvonne Rozier<\/a><\/td><\/tr>
Embedded Systems Track Chairs<\/td>Alessandro Cimatti<\/a><\/td><\/tr>
Industry Day Chairs<\/td>Oksana Tkachuk<\/a>
Tim Willemse<\/a><\/td><\/tr>
Tutorial Papers Chairs<\/td>Luigia Petre<\/a>
Shriram Krishnamurthi<\/a><\/td><\/tr>
Artifact Evaluation Chairs<\/td>Carlos E. Budde<\/a>
Arnd Hartmanns<\/a><\/td><\/tr>
Journal First Track Chair<\/td>Michael Butler<\/a><\/td><\/tr>
Workshop Chairs<\/td>Stefania Gnesi<\/a>
Marieke Huisman<\/a><\/td><\/tr>
Doctoral Symposium Chairs<\/td>Carlo A. Furia<\/a>
Laura Kovacs<\/a><\/td><\/tr>
Sponsorship & Exhibition Chairs<\/td>Marcello Bersani<\/a>
Michele Chiari<\/a><\/td><\/tr>
Social Media Chair<\/td>Livia Lestingi<\/a><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

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

Program Committee<\/h2>\n\n\n\n
Member(s)<\/strong><\/td>Affiliation<\/strong><\/td><\/tr>
Erika Abraham<\/a><\/td>RWTH Aachen University, Germany<\/td><\/tr>
Wolfgang Ahrendt<\/a><\/td>Chalmers University of Technology, Sweden<\/td><\/tr>
Dalal Alrajeh<\/a><\/td>Imperial College London, UK<\/td><\/tr>
Luis Soares Barbosa<\/a><\/td>University of Minho, Portugal<\/td><\/tr>
Gilles Barthe<\/a><\/td>Max Planck Institute for Security and Privacy, Germany<\/td><\/tr>
Dirk Beyer<\/a><\/td>LMU Munich, Germany<\/td><\/tr>
Pablo Castro<\/a><\/td>Universidad Nacional de Rio Cuarto, Argentina<\/td><\/tr>
Ana Cavalcanti<\/a><\/td>University of York, UK<\/td><\/tr>
Milan \u010ceska<\/a><\/td>Brno University of Technology, Czech Republic<\/td><\/tr>
Marsha Chechik<\/a><\/td>University of Toronto, Canada<\/td><\/tr>
Alessandro Cimatti<\/a><\/td>Fondazione Bruno Kessler, Italy<\/td><\/tr>
Alexandre Duret-Lutz<\/a><\/td>EPITA’s Research Lab (LRDE), France<\/td><\/tr>
Marie Farrell<\/a><\/td>The University of Manchester, UK<\/td><\/tr>
Orna Grumberg<\/a><\/td>Technion – Israel Institute of Technology, Israel<\/td><\/tr>
Arie Gurfinkel<\/a><\/td>University of Waterloo, Canada<\/td><\/tr>
Anne E. Haxthausen<\/a><\/td>Technical University of Denmark, Denmark<\/td><\/tr>
Marieke Huisman<\/a><\/td>University of Twente, Netherlands<\/td><\/tr>
Reiner H\u00e4hnle<\/a><\/td>TU Darmstadt, Germany<\/td><\/tr>
Peter H\u00f6fner<\/a><\/td>Australian National University, Australia<\/td><\/tr>
Einar Broch Johnsen<\/a><\/td>University of Oslo, Norway<\/td><\/tr>
Joost-Pieter Katoen<\/a><\/td>RWTH Aachen University, Germany<\/td><\/tr>
Nikolai Kosmatov<\/a><\/td>Thales Research & Technology, France<\/td><\/tr>
Orna Kupferman<\/a><\/td>Hebrew University, Israel<\/td><\/tr>
Peter Lammich<\/a><\/td>University of Twente, Netherlands<\/td><\/tr>
Martin Leucker<\/a><\/td>University of Luebeck, Germany<\/td><\/tr>
Jianwen Li<\/a><\/td>East China Normal University, China<\/td><\/tr>
Ravi Mangal<\/a><\/td>Carnegie Mellon University, USA<\/td><\/tr>
Mieke Massink<\/a><\/td>CNR-ISTI, Italy<\/td><\/tr>
Anastasia Mavridou<\/a><\/td>SGT Inc. \/ NASA Ames Research Center, USA<\/td><\/tr>
Annabelle McIver<\/a><\/td>Macquarie University, Australia<\/td><\/tr>
Claudio Menghi<\/a><\/td>University of Bergamo, Italy<\/td><\/tr>
Stefan Mitsch<\/a><\/td>Carnegie Mellon University, USA<\/td><\/tr>
Cesar Munoz<\/a><\/td>NASA, USA<\/td><\/tr>
Aniello Murano<\/a><\/td>Universit\u00e0 degli Studi di Napoli Federico II, Italy<\/td><\/tr>
Violet Ka I Pun<\/a><\/td>Western Norway University of Applied Sciences, Norway<\/td><\/tr>
Zvonimir Rakamaric<\/a><\/td>Amazon Web Services (AWS), USA<\/td><\/tr>
Philipp R\u00fcmmer<\/a><\/td>University of Regensburg, Germany<\/td><\/tr>
Cristina Seceleanu<\/a><\/td>M\u00e4lardalen University, Sweden<\/td><\/tr>
Natasha Sharygina<\/a><\/td>University of Lugano, Switzerland<\/td><\/tr>
Jun Sun<\/a><\/td>Singapore Management University, Singapore<\/td><\/tr>
Lucas Martinelli Tabajara<\/a><\/td>Rice University, USA<\/td><\/tr>
Yong Kiam Tan<\/a><\/td>Infocomm Research, A*STAR, Singapore.<\/td><\/tr>
Stefano Tonetta<\/a><\/td>Fondazione Bruno Kessler, Italy<\/td><\/tr>
Georg Weissenbacher<\/a><\/td> TU Wien, Austria<\/td><\/tr>
Virginie Wiels<\/a><\/td>ONERA \/ DTIS, France<\/td><\/tr>
Huan Xu<\/a><\/td>University of Maryland, USA<\/td><\/tr>
Naijun Zhan<\/a><\/td>Chinese Academy of Sciences, China<\/td><\/tr>
Shufang Zhu<\/a><\/td>University of Oxford, UK<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

Embedded Systems Track Program Committee<\/h2>\n\n\n\n
Member(s)<\/strong><\/td>Affiliation<\/strong><\/td><\/tr>
Fr\u00e9d\u00e9ric Boulanger<\/a><\/td>CentraleSup\u00e9lec, France<\/td><\/tr>
Lei Bu<\/a><\/td>Nanjing University, China<\/td><\/tr>
Qinxiang Cao<\/a><\/td>Shanghai Jiao Tong University, China<\/td><\/tr>
Liqian Chen<\/a><\/td>National University of Defense Technology, China<\/td><\/tr>
Martin Fr\u00e4nzle<\/a><\/td>Carl von Ossietzky Universit\u00e4t Oldenburg, Germany<\/td><\/tr>
Paula Herber<\/a><\/td>University of M\u00fcnster, Germany<\/td><\/tr>
Inigo Incer<\/a><\/td>California Institute of Technology, USA<\/td><\/tr>
Ahmed Irfan<\/a><\/td>SRI International, USA<\/td><\/tr>
Eunsuk Kang<\/a><\/td>Carnegie Mellon University, USA<\/td><\/tr>
Sergio Mover<\/a><\/td>Ecole Polytechnique, France<\/td><\/tr>
Dejan Nickovic<\/a><\/td>Austrian Institute of Technology, Austria<\/td><\/tr>
Pierluigi Nuzzo<\/a><\/td>University of Southern California, USA<\/td><\/tr>
Roberto Passerone<\/a><\/td>University of Trento, Italy<\/td><\/tr>
Heyuan Shi<\/a><\/td>Central South University, China<\/td><\/tr>
Fu Song<\/a><\/td>Chinese Academy of Sciences, China<\/td><\/tr>
Cong Tian<\/a><\/td>Xidian University, China<\/td><\/tr>
Stavros Tripakis<\/a><\/td>Northeastern University, USA<\/td><\/tr><\/tbody><\/table><\/figure>\n","protected":false},"excerpt":{"rendered":"

Organizing Committee Role Member(s) General co-chairs Matteo PradellaMatteo Rossi PC Chairs Andr\u00e9 PlatzerKristin-Yvonne Rozier Embedded Systems Track Chairs Alessandro Cimatti Industry Day Chairs Oksana TkachukTim Willemse Tutorial Papers Chairs Luigia PetreShriram Krishnamurthi Artifact Evaluation Chairs Carlos E. BuddeArnd Hartmanns Journal First Track Chair Michael Butler Workshop Chairs Stefania GnesiMarieke Huisman Doctoral Symposium Chairs Carlo A. … <\/p>\n

Read more “Committees”<\/span><\/a><\/p>\n","protected":false},"author":12,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"inspiro_hide_title":false,"footnotes":""},"class_list":["post-60","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=\/wp\/v2\/pages\/60","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=\/wp\/v2\/users\/12"}],"replies":[{"embeddable":true,"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=60"}],"version-history":[{"count":32,"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=\/wp\/v2\/pages\/60\/revisions"}],"predecessor-version":[{"id":659,"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=\/wp\/v2\/pages\/60\/revisions\/659"}],"wp:attachment":[{"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=60"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}