{"id":105,"date":"2023-03-06T20:13:40","date_gmt":"2023-03-06T19:13:40","guid":{"rendered":"https:\/\/project.inria.fr\/syncop23\/?page_id=105"},"modified":"2023-04-24T12:01:34","modified_gmt":"2023-04-24T10:01:34","slug":"program","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/syncop23\/program\/","title":{"rendered":"Program"},"content":{"rendered":"\n

April 22nd (Saturday)<\/h3>\n\n\n\n
8h-9h<\/td>IHP entrance<\/td><\/td>Registration<\/td><\/tr>
9h-10h<\/td>Room 201<\/td>Invited speaker: \u00c9tienne Andr\u00e9<\/td>Title: <\/strong>Monitoring cyber-physical systems under uncertainty<\/a>
Here are the slides<\/a><\/td><\/tr>
10h-10h30<\/td>IHP, building Perrin<\/td><\/td>Coffee break<\/td><\/tr>
10h30-11h<\/td>Room 201<\/td>Dylan Marinho<\/td>Title: Execution-time opacity problems in (parametric) timed automata<\/a><\/td><\/tr>
11h-11h30<\/td>Room 201<\/td>David Julien<\/td>Title: End-to-end Statistical Model Checking for Parameterization and Stability Analysis of ODE Models<\/a><\/td><\/tr>
11h30-12h<\/td>Room 201<\/td>Giovanni Bacci<\/td>Title: MM Algorithms to Estimate Parameters in Continuous-time Markov Chains<\/a><\/td><\/tr>
12h-12h30<\/td>Room 201<\/td>\u00c9tienne Andr\u00e9<\/td>Open problem session: Help needed! A seemingly very simple (yet open) problem for parametric timed automata<\/td><\/tr>
12h-14h<\/td>IHP, building Perrin<\/td><\/td>Lunch Break<\/td><\/tr>
14h-15h<\/td>Room 201<\/td>Invited speaker: Jo\u00ebl Ouaknine<\/td>Title: Holonomic Techniques<\/a> <\/td><\/tr>
15h-16h<\/td>Room 201<\/td>Invited speaker: Kim G. Larsen<\/td>Title: Parameterized Weighted Systems and Properties<\/a> <\/td><\/tr>
16h-16h30<\/td>IHP, building Perrin<\/td><\/td>Coffee break<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

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

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

April 23rd (Sunday)<\/h3>\n\n\n\n
\n
\n
\n
\n
\n
\n
8h-9h<\/td>IHP entrance<\/td><\/td>Registration<\/td><\/tr>
9h-10h<\/td>Room 201<\/td>Invited speaker: Nathalie Bertrand<\/td>Title: <\/strong>A CEGAR approach to parameterized verification of distributed algorithms<\/a>
Here are the slides<\/a><\/td><\/tr>
10h-10h30<\/td>IHP, building Perrin<\/td><\/td>Coffee break<\/td><\/tr>
10h30-11h<\/td>Room 201<\/td>Nicolas Waldburger<\/td>Title: Checking Presence Reachability Properties on Parameterized Shared-Memory Systems<\/a><\/td><\/tr>
11h-11h30<\/td>Room 201<\/td>Bahare Salmani<\/td>Title: Parameteric Bayesian Networks: Finding the Right Probabilities<\/a><\/td><\/tr>
11h30-12h<\/td>Room 201<\/td>Daniel Stan<\/td>Title: Regular Model Checking of Epistemic Properties<\/a><\/td><\/tr>
12h-12h30<\/td>Room 201<\/td>Uli Fahrenberg<\/td>Title: Energy B\u00fcchi Problems<\/a><\/td><\/tr>
12h-14h<\/td>IHP, building Perrin<\/td><\/td>Lunch Break<\/td><\/tr>
14h-15h<\/td>Room 201<\/td>Invited speaker: Tali Sznajder<\/td>Title: Verification of Networks of Processes communicating with Non-Blocking Rendez-Vous<\/a> <\/td><\/tr>
15h-16h<\/td>Room 201<\/td>Invited speaker: Igor Konnov<\/td>Title: Threshold-guarded distributed algorithms: Verification and practical challenges<\/a><\/td><\/tr>
16h-16h30<\/td>IHP, building Perrin<\/td><\/td>Coffee break<\/td><\/tr><\/tbody><\/table><\/figure>\n<\/div><\/div>\n<\/div>\n<\/div>\n<\/div><\/div>\n<\/div>\n<\/div>\n\n\n\n

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

April 22nd (Saturday) 8h-9h IHP entrance Registration 9h-10h Room 201 Invited speaker: \u00c9tienne Andr\u00e9 Title: Monitoring cyber-physical systems under uncertainty Here are the slides 10h-10h30 IHP, building Perrin Coffee break 10h30-11h Room 201 Dylan Marinho Title: Execution-time opacity problems in (parametric) timed automata 11h-11h30 Room 201 David Julien Title: End-to-end\u2026<\/p>\n

Continue reading<\/span><\/i><\/a> <\/p>\n","protected":false},"author":2218,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-105","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/syncop23\/wp-json\/wp\/v2\/pages\/105","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/syncop23\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/syncop23\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/syncop23\/wp-json\/wp\/v2\/users\/2218"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/syncop23\/wp-json\/wp\/v2\/comments?post=105"}],"version-history":[{"count":12,"href":"https:\/\/project.inria.fr\/syncop23\/wp-json\/wp\/v2\/pages\/105\/revisions"}],"predecessor-version":[{"id":140,"href":"https:\/\/project.inria.fr\/syncop23\/wp-json\/wp\/v2\/pages\/105\/revisions\/140"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/syncop23\/wp-json\/wp\/v2\/media?parent=105"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}