{"id":2912,"date":"2022-12-06T00:02:42","date_gmt":"2022-12-05T23:02:42","guid":{"rendered":"https:\/\/wordpress-test.app.u-pariscite.fr\/eidd\/?p=2912"},"modified":"2022-12-06T00:02:42","modified_gmt":"2022-12-05T23:02:42","slug":"eugene-asarin-parametric-identification-of-temporal-properties-2","status":"publish","type":"post","link":"https:\/\/wordpress-test.app.u-pariscite.fr\/eidd\/en\/eugene-asarin-parametric-identification-of-temporal-properties-2\/","title":{"rendered":"Eugene Asarin: Parametric Identification of Temporal Properties"},"content":{"rendered":"<p>[et_pb_section bb_built=\u00a0\u00bb1&Prime; next_background_color=\u00a0\u00bb#000000&Prime; inner_width=\u00a0\u00bbauto\u00a0\u00bb inner_max_width=\u00a0\u00bbnone\u00a0\u00bb][et_pb_row][et_pb_column type=\u00a0\u00bb4_4&Prime;][et_pb_video_slider _builder_version=\u00a0\u00bb3.22.1&Prime; controls_color=\u00a0\u00bblight\u00a0\u00bb z_index_tablet=\u00a0\u00bb500&Prime;][et_pb_video_slider_item _builder_version=\u00a0\u00bb3.22.1&Prime; src=\u00a0\u00bbhttps:\/\/www.youtube.com\/watch?v=kPU3ip6Ylk4&Prime; background_layout=\u00a0\u00bbdark\u00a0\u00bb hover_transition_duration=\u00a0\u00bb300ms\u00a0\u00bb hover_transition_delay=\u00a0\u00bb0ms\u00a0\u00bb hover_transition_speed_curve=\u00a0\u00bbease\u00a0\u00bb \/][\/et_pb_video_slider][\/et_pb_column][\/et_pb_row][et_pb_row][et_pb_column type=\u00a0\u00bb4_4&Prime;][et_pb_text admin_label=\u00a0\u00bbl\u00e9gende\u00a0\u00bb _builder_version=\u00a0\u00bb3.22.1&Prime; module_id=\u00a0\u00bblegende\u00a0\u00bb text_text_shadow_horizontal_length=\u00a0\u00bbtext_text_shadow_style,%91object Object%93&Prime; text_text_shadow_vertical_length=\u00a0\u00bbtext_text_shadow_style,%91object Object%93&Prime; text_text_shadow_blur_strength=\u00a0\u00bbtext_text_shadow_style,%91object Object%93&Prime; link_text_shadow_horizontal_length=\u00a0\u00bblink_text_shadow_style,%91object Object%93&Prime; link_text_shadow_vertical_length=\u00a0\u00bblink_text_shadow_style,%91object Object%93&Prime; link_text_shadow_blur_strength=\u00a0\u00bblink_text_shadow_style,%91object Object%93&Prime; ul_text_shadow_horizontal_length=\u00a0\u00bbul_text_shadow_style,%91object Object%93&Prime; ul_text_shadow_vertical_length=\u00a0\u00bbul_text_shadow_style,%91object Object%93&Prime; ul_text_shadow_blur_strength=\u00a0\u00bbul_text_shadow_style,%91object Object%93&Prime; ol_text_shadow_horizontal_length=\u00a0\u00bbol_text_shadow_style,%91object Object%93&Prime; ol_text_shadow_vertical_length=\u00a0\u00bbol_text_shadow_style,%91object Object%93&Prime; ol_text_shadow_blur_strength=\u00a0\u00bbol_text_shadow_style,%91object Object%93&Prime; quote_text_shadow_horizontal_length=\u00a0\u00bbquote_text_shadow_style,%91object Object%93&Prime; quote_text_shadow_vertical_length=\u00a0\u00bbquote_text_shadow_style,%91object Object%93&Prime; quote_text_shadow_blur_strength=\u00a0\u00bbquote_text_shadow_style,%91object Object%93&Prime; header_text_shadow_horizontal_length=\u00a0\u00bbheader_text_shadow_style,%91object Object%93&Prime; header_text_shadow_vertical_length=\u00a0\u00bbheader_text_shadow_style,%91object Object%93&Prime; header_text_shadow_blur_strength=\u00a0\u00bbheader_text_shadow_style,%91object Object%93&Prime; header_2_text_shadow_horizontal_length=\u00a0\u00bbheader_2_text_shadow_style,%91object Object%93&Prime; header_2_text_shadow_vertical_length=\u00a0\u00bbheader_2_text_shadow_style,%91object Object%93&Prime; header_2_text_shadow_blur_strength=\u00a0\u00bbheader_2_text_shadow_style,%91object Object%93&Prime; header_3_text_shadow_horizontal_length=\u00a0\u00bbheader_3_text_shadow_style,%91object Object%93&Prime; header_3_text_shadow_vertical_length=\u00a0\u00bbheader_3_text_shadow_style,%91object Object%93&Prime; header_3_text_shadow_blur_strength=\u00a0\u00bbheader_3_text_shadow_style,%91object Object%93&Prime; header_4_text_shadow_horizontal_length=\u00a0\u00bbheader_4_text_shadow_style,%91object Object%93&Prime; header_4_text_shadow_vertical_length=\u00a0\u00bbheader_4_text_shadow_style,%91object Object%93&Prime; header_4_text_shadow_blur_strength=\u00a0\u00bbheader_4_text_shadow_style,%91object Object%93&Prime; header_5_text_shadow_horizontal_length=\u00a0\u00bbheader_5_text_shadow_style,%91object Object%93&Prime; header_5_text_shadow_vertical_length=\u00a0\u00bbheader_5_text_shadow_style,%91object Object%93&Prime; header_5_text_shadow_blur_strength=\u00a0\u00bbheader_5_text_shadow_style,%91object Object%93&Prime; header_6_text_shadow_horizontal_length=\u00a0\u00bbheader_6_text_shadow_style,%91object Object%93&Prime; header_6_text_shadow_vertical_length=\u00a0\u00bbheader_6_text_shadow_style,%91object Object%93&Prime; header_6_text_shadow_blur_strength=\u00a0\u00bbheader_6_text_shadow_style,%91object Object%93&Prime; z_index_tablet=\u00a0\u00bb500&Prime;]<\/p>\n<div class=\"page\" title=\"Page 1\">\n<div class=\"layoutArea\">\n<div class=\"column\">\n<p>Eugene Asarin, former head of the Embedded Computing Systems specialization and actor of the EIDD.<\/p>\n<\/div>\n<\/div>\n<\/div>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row][et_pb_column type=\u00a0\u00bb3_4&Prime;][et_pb_text _builder_version=\u00a0\u00bb3.22.1&Prime; module_id=\u00a0\u00bbcontenu\u00a0\u00bb text_text_shadow_horizontal_length=\u00a0\u00bbtext_text_shadow_style,%91object Object%93&Prime; text_text_shadow_vertical_length=\u00a0\u00bbtext_text_shadow_style,%91object Object%93&Prime; text_text_shadow_blur_strength=\u00a0\u00bbtext_text_shadow_style,%91object Object%93&Prime; link_text_shadow_horizontal_length=\u00a0\u00bblink_text_shadow_style,%91object Object%93&Prime; link_text_shadow_vertical_length=\u00a0\u00bblink_text_shadow_style,%91object Object%93&Prime; link_text_shadow_blur_strength=\u00a0\u00bblink_text_shadow_style,%91object Object%93&Prime; ul_text_shadow_horizontal_length=\u00a0\u00bbul_text_shadow_style,%91object Object%93&Prime; ul_text_shadow_vertical_length=\u00a0\u00bbul_text_shadow_style,%91object Object%93&Prime; ul_text_shadow_blur_strength=\u00a0\u00bbul_text_shadow_style,%91object Object%93&Prime; ol_text_shadow_horizontal_length=\u00a0\u00bbol_text_shadow_style,%91object Object%93&Prime; ol_text_shadow_vertical_length=\u00a0\u00bbol_text_shadow_style,%91object Object%93&Prime; ol_text_shadow_blur_strength=\u00a0\u00bbol_text_shadow_style,%91object Object%93&Prime; quote_text_shadow_horizontal_length=\u00a0\u00bbquote_text_shadow_style,%91object Object%93&Prime; quote_text_shadow_vertical_length=\u00a0\u00bbquote_text_shadow_style,%91object Object%93&Prime; quote_text_shadow_blur_strength=\u00a0\u00bbquote_text_shadow_style,%91object Object%93&Prime; header_text_shadow_horizontal_length=\u00a0\u00bbheader_text_shadow_style,%91object Object%93&Prime; header_text_shadow_vertical_length=\u00a0\u00bbheader_text_shadow_style,%91object Object%93&Prime; header_text_shadow_blur_strength=\u00a0\u00bbheader_text_shadow_style,%91object Object%93&Prime; header_2_text_shadow_horizontal_length=\u00a0\u00bbheader_2_text_shadow_style,%91object Object%93&Prime; header_2_text_shadow_vertical_length=\u00a0\u00bbheader_2_text_shadow_style,%91object Object%93&Prime; header_2_text_shadow_blur_strength=\u00a0\u00bbheader_2_text_shadow_style,%91object Object%93&Prime; header_3_text_shadow_horizontal_length=\u00a0\u00bbheader_3_text_shadow_style,%91object Object%93&Prime; header_3_text_shadow_vertical_length=\u00a0\u00bbheader_3_text_shadow_style,%91object Object%93&Prime; header_3_text_shadow_blur_strength=\u00a0\u00bbheader_3_text_shadow_style,%91object Object%93&Prime; header_4_text_shadow_horizontal_length=\u00a0\u00bbheader_4_text_shadow_style,%91object Object%93&Prime; header_4_text_shadow_vertical_length=\u00a0\u00bbheader_4_text_shadow_style,%91object Object%93&Prime; header_4_text_shadow_blur_strength=\u00a0\u00bbheader_4_text_shadow_style,%91object Object%93&Prime; header_5_text_shadow_horizontal_length=\u00a0\u00bbheader_5_text_shadow_style,%91object Object%93&Prime; header_5_text_shadow_vertical_length=\u00a0\u00bbheader_5_text_shadow_style,%91object Object%93&Prime; header_5_text_shadow_blur_strength=\u00a0\u00bbheader_5_text_shadow_style,%91object Object%93&Prime; header_6_text_shadow_horizontal_length=\u00a0\u00bbheader_6_text_shadow_style,%91object Object%93&Prime; header_6_text_shadow_vertical_length=\u00a0\u00bbheader_6_text_shadow_style,%91object Object%93&Prime; header_6_text_shadow_blur_strength=\u00a0\u00bbheader_6_text_shadow_style,%91object Object%93&Prime; z_index_tablet=\u00a0\u00bb500&Prime;]<\/p>\n<p><a href=\"https:\/\/uva-mcps-lab.github.io\/RV21\/testoftimepaper.html\">Runtime Verification 2021 website<\/a><\/p>\n<p>[\/et_pb_text][\/et_pb_column][et_pb_column type=\u00a0\u00bb1_4&Prime;][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section bb_built=\u00a0\u00bb1&Prime; specialty=\u00a0\u00bboff\u00a0\u00bb _builder_version=\u00a0\u00bb3.21&Prime; custom_padding=\u00a0\u00bb0px||0px|\u00a0\u00bb prev_background_color=\u00a0\u00bb#000000&Prime; inner_width=\u00a0\u00bbauto\u00a0\u00bb inner_max_width=\u00a0\u00bbnone\u00a0\u00bb][et_pb_row _builder_version=\u00a0\u00bb3.19.11&Prime; width=\u00a0\u00bb80%\u00a0\u00bb max_width=\u00a0\u00bb1080px\u00a0\u00bb][et_pb_column type=\u00a0\u00bb4_4&Prime;][et_pb_text admin_label=\u00a0\u00bb\u00c0 lire aussi\u00a0\u00bb _builder_version=\u00a0\u00bb3.22.1&Prime; text_text_shadow_horizontal_length=\u00a0\u00bbtext_text_shadow_style,%91object Object%93&Prime; text_text_shadow_vertical_length=\u00a0\u00bbtext_text_shadow_style,%91object Object%93&Prime; text_text_shadow_blur_strength=\u00a0\u00bbtext_text_shadow_style,%91object Object%93&Prime; link_text_shadow_horizontal_length=\u00a0\u00bblink_text_shadow_style,%91object Object%93&Prime; link_text_shadow_vertical_length=\u00a0\u00bblink_text_shadow_style,%91object Object%93&Prime; link_text_shadow_blur_strength=\u00a0\u00bblink_text_shadow_style,%91object Object%93&Prime; ul_text_shadow_horizontal_length=\u00a0\u00bbul_text_shadow_style,%91object Object%93&Prime; ul_text_shadow_vertical_length=\u00a0\u00bbul_text_shadow_style,%91object Object%93&Prime; ul_text_shadow_blur_strength=\u00a0\u00bbul_text_shadow_style,%91object Object%93&Prime; ol_text_shadow_horizontal_length=\u00a0\u00bbol_text_shadow_style,%91object Object%93&Prime; ol_text_shadow_vertical_length=\u00a0\u00bbol_text_shadow_style,%91object Object%93&Prime; ol_text_shadow_blur_strength=\u00a0\u00bbol_text_shadow_style,%91object Object%93&Prime; quote_text_shadow_horizontal_length=\u00a0\u00bbquote_text_shadow_style,%91object Object%93&Prime; quote_text_shadow_vertical_length=\u00a0\u00bbquote_text_shadow_style,%91object Object%93&Prime; quote_text_shadow_blur_strength=\u00a0\u00bbquote_text_shadow_style,%91object Object%93&Prime; header_text_shadow_horizontal_length=\u00a0\u00bbheader_text_shadow_style,%91object Object%93&Prime; header_text_shadow_vertical_length=\u00a0\u00bbheader_text_shadow_style,%91object Object%93&Prime; header_text_shadow_blur_strength=\u00a0\u00bbheader_text_shadow_style,%91object Object%93&Prime; header_2_text_shadow_horizontal_length=\u00a0\u00bbheader_2_text_shadow_style,%91object Object%93&Prime; header_2_text_shadow_vertical_length=\u00a0\u00bbheader_2_text_shadow_style,%91object Object%93&Prime; header_2_text_shadow_blur_strength=\u00a0\u00bbheader_2_text_shadow_style,%91object Object%93&Prime; header_3_text_shadow_horizontal_length=\u00a0\u00bbheader_3_text_shadow_style,%91object Object%93&Prime; header_3_text_shadow_vertical_length=\u00a0\u00bbheader_3_text_shadow_style,%91object Object%93&Prime; header_3_text_shadow_blur_strength=\u00a0\u00bbheader_3_text_shadow_style,%91object Object%93&Prime; header_4_text_shadow_horizontal_length=\u00a0\u00bbheader_4_text_shadow_style,%91object Object%93&Prime; header_4_text_shadow_vertical_length=\u00a0\u00bbheader_4_text_shadow_style,%91object Object%93&Prime; header_4_text_shadow_blur_strength=\u00a0\u00bbheader_4_text_shadow_style,%91object Object%93&Prime; header_5_text_shadow_horizontal_length=\u00a0\u00bbheader_5_text_shadow_style,%91object Object%93&Prime; header_5_text_shadow_vertical_length=\u00a0\u00bbheader_5_text_shadow_style,%91object Object%93&Prime; header_5_text_shadow_blur_strength=\u00a0\u00bbheader_5_text_shadow_style,%91object Object%93&Prime; header_6_text_shadow_horizontal_length=\u00a0\u00bbheader_6_text_shadow_style,%91object Object%93&Prime; header_6_text_shadow_vertical_length=\u00a0\u00bbheader_6_text_shadow_style,%91object Object%93&Prime; header_6_text_shadow_blur_strength=\u00a0\u00bbheader_6_text_shadow_style,%91object Object%93&Prime; z_index_tablet=\u00a0\u00bb500&Prime;]<\/p>\n<h2>Read more<\/h2>\n<p>[\/et_pb_text][et_pb_blog _builder_version=\u00a0\u00bb3.22.1&Prime; posts_number=\u00a0\u00bb4&Prime; include_categories=\u00a0\u00bb119,108&Prime; show_author=\u00a0\u00bboff\u00a0\u00bb show_date=\u00a0\u00bboff\u00a0\u00bb show_pagination=\u00a0\u00bboff\u00a0\u00bb border_width_bottom_fullwidth=\u00a0\u00bb1px\u00a0\u00bb border_color_bottom_fullwidth=\u00a0\u00bbrgba(51,51,51,0.18)\u00a0\u00bb custom_padding=\u00a0\u00bb||50px|\u00a0\u00bb module_id=\u00a0\u00bbpage_type_blog\u00a0\u00bb header_level=\u00a0\u00bbh4&Prime; text_shadow_horizontal_length=\u00a0\u00bbtext_shadow_style,%91object Object%93&Prime; text_shadow_vertical_length=\u00a0\u00bbtext_shadow_style,%91object Object%93&Prime; text_shadow_blur_strength=\u00a0\u00bbtext_shadow_style,%91object Object%93&Prime; header_text_shadow_horizontal_length=\u00a0\u00bbheader_text_shadow_style,%91object Object%93&Prime; header_text_shadow_vertical_length=\u00a0\u00bbheader_text_shadow_style,%91object Object%93&Prime; header_text_shadow_blur_strength=\u00a0\u00bbheader_text_shadow_style,%91object Object%93&Prime; body_text_shadow_horizontal_length=\u00a0\u00bbbody_text_shadow_style,%91object Object%93&Prime; body_text_shadow_vertical_length=\u00a0\u00bbbody_text_shadow_style,%91object Object%93&Prime; body_text_shadow_blur_strength=\u00a0\u00bbbody_text_shadow_style,%91object Object%93&Prime; meta_text_shadow_horizontal_length=\u00a0\u00bbmeta_text_shadow_style,%91object Object%93&Prime; meta_text_shadow_vertical_length=\u00a0\u00bbmeta_text_shadow_style,%91object Object%93&Prime; meta_text_shadow_blur_strength=\u00a0\u00bbmeta_text_shadow_style,%91object Object%93&Prime; pagination_text_shadow_horizontal_length=\u00a0\u00bbpagination_text_shadow_style,%91object Object%93&Prime; pagination_text_shadow_vertical_length=\u00a0\u00bbpagination_text_shadow_style,%91object Object%93&Prime; pagination_text_shadow_blur_strength=\u00a0\u00bbpagination_text_shadow_style,%91object Object%93&Prime; z_index_tablet=\u00a0\u00bb500&Prime; \/][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"<div class=\"et_pb_row et_pb_row_0 et_pb_row_empty\"><\/div>\n<div class=\"et_pb_row et_pb_row_1 et_pb_row_empty\"><\/div>\n<p> Eugene Asarin, former head of the Embedded Computing Systems specialization and actor of the EIDD. <\/p>\n<div class=\"et_pb_row et_pb_row_2 et_pb_row_empty\"><\/div>\n<p> Runtime Verification 2021 website Read more<\/p>\n","protected":false},"author":382,"featured_media":2278,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":"","footnotes":""},"categories":[119],"tags":[],"class_list":["post-2912","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-eidd_in_the_press"],"_links":{"self":[{"href":"https:\/\/wordpress-test.app.u-pariscite.fr\/eidd\/wp-json\/wp\/v2\/posts\/2912","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wordpress-test.app.u-pariscite.fr\/eidd\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/wordpress-test.app.u-pariscite.fr\/eidd\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/wordpress-test.app.u-pariscite.fr\/eidd\/wp-json\/wp\/v2\/users\/382"}],"replies":[{"embeddable":true,"href":"https:\/\/wordpress-test.app.u-pariscite.fr\/eidd\/wp-json\/wp\/v2\/comments?post=2912"}],"version-history":[{"count":1,"href":"https:\/\/wordpress-test.app.u-pariscite.fr\/eidd\/wp-json\/wp\/v2\/posts\/2912\/revisions"}],"predecessor-version":[{"id":2913,"href":"https:\/\/wordpress-test.app.u-pariscite.fr\/eidd\/wp-json\/wp\/v2\/posts\/2912\/revisions\/2913"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/wordpress-test.app.u-pariscite.fr\/eidd\/wp-json\/wp\/v2\/media\/2278"}],"wp:attachment":[{"href":"https:\/\/wordpress-test.app.u-pariscite.fr\/eidd\/wp-json\/wp\/v2\/media?parent=2912"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wordpress-test.app.u-pariscite.fr\/eidd\/wp-json\/wp\/v2\/categories?post=2912"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wordpress-test.app.u-pariscite.fr\/eidd\/wp-json\/wp\/v2\/tags?post=2912"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}