{"id":566,"date":"2015-09-07T13:28:00","date_gmt":"2015-09-07T11:28:00","guid":{"rendered":"https:\/\/samovar2022.int-evry.fr\/index.php\/2015\/09\/07\/seminaire-recherche-a-lensiie\/"},"modified":"2020-09-04T18:46:34","modified_gmt":"2020-09-04T16:46:34","slug":"seminaire-recherche-a-lensiie","status":"publish","type":"post","link":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/2015\/09\/07\/seminaire-recherche-a-lensiie\/","title":{"rendered":"S\u00e9minaire recherche \u00e0 l’ENSIIE"},"content":{"rendered":"

Olga Grinchtein<\/strong> (Ericsson \/ Universit\u00e9 d’Uppsala) rend visite \u00e0 l’\u00e9quipe CPR du 7 au 11 septembre 2015, \u00e0 l’ENSIIE.<\/p>\n

Elle donnera un s\u00e9minaire le 10 septembre 2015 \u00e0 14h30<\/strong> dans les locaux de l’ENSIIE en salle 123.<\/p>\n

Je vous invite \u00e0 participer \u00e0 ce s\u00e9minaire. Titre, r\u00e9sum\u00e9 et bio sont d\u00e9taill\u00e9s ci-dessous.<\/p>\n

N’h\u00e9sitez pas \u00e0 venir discuter avec elle durant la semaine si ce qu’elle fait vous int\u00e9resse.<\/p>\n

Title: A constraint optimisation model for analysis of telecommunication protocol logs<\/p>\n

Abstract: Testing a telecommunication protocol often requires protocol
\nlog analysis. A protocol log is a sequence of messages with timestamps.
\nProtocol log analysis involves checking that the content of messages and
\ntimestamps are correct with respect to the protocol specification. We
\nmodel a protocol specification using constraint programming (MiniZinc),
\nand we present an approach where a constraint solver is used to perform
\nprotocol log analysis. We apply the approach to the Public Warning System ser-
\nvice, which is a part of the Long Term Evolution (LTE) 4G standard.<\/p>\n

Joint work with Mats Carlsson and Justin Pearson<\/p>\n

Bio: Olga Grinchtein is a research engineer at Ericsson in Stockholm, she is interesting in constraint programming, testing and big data analytics.<\/p>\n

She is also a guest researcher at Uppsala University, in the department of Computer Systems.<\/p>\n

She has got a Phd from Uppsala University, under the supervision of Prof. Bengt Jonsson from Uppsala university in 2008. The topic was about machine learning and timed systems.<\/p>\n

website: https:\/\/sites.google.com\/site\/olgagrinchtein\/<\/p>\n","protected":false},"excerpt":{"rendered":"

Olga Grinchtein (Ericsson \/ Universit\u00e9 d’Uppsala) rend visite \u00e0 l’\u00e9quipe CPR du 7 au 11 septembre 2015, \u00e0 l’ENSIIE. Elle donnera un s\u00e9minaire le 10 septembre 2015 \u00e0 14h30 dans les locaux de l’ENSIIE en salle 123. Je vous invite \u00e0 participer \u00e0 ce s\u00e9minaire. Titre, r\u00e9sum\u00e9 et bio sont d\u00e9taill\u00e9s ci-dessous. N’h\u00e9sitez pas \u00e0 […]<\/p>\n","protected":false},"author":1,"featured_media":565,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"ocean_post_layout":"","ocean_both_sidebars_style":"","ocean_both_sidebars_content_width":0,"ocean_both_sidebars_sidebars_width":0,"ocean_sidebar":"","ocean_second_sidebar":"","ocean_disable_margins":"enable","ocean_add_body_class":"","ocean_shortcode_before_top_bar":"","ocean_shortcode_after_top_bar":"","ocean_shortcode_before_header":"","ocean_shortcode_after_header":"","ocean_has_shortcode":"","ocean_shortcode_after_title":"","ocean_shortcode_before_footer_widgets":"","ocean_shortcode_after_footer_widgets":"","ocean_shortcode_before_footer_bottom":"","ocean_shortcode_after_footer_bottom":"","ocean_display_top_bar":"default","ocean_display_header":"default","ocean_header_style":"","ocean_center_header_left_menu":"","ocean_custom_header_template":"","ocean_custom_logo":0,"ocean_custom_retina_logo":0,"ocean_custom_logo_max_width":0,"ocean_custom_logo_tablet_max_width":0,"ocean_custom_logo_mobile_max_width":0,"ocean_custom_logo_max_height":0,"ocean_custom_logo_tablet_max_height":0,"ocean_custom_logo_mobile_max_height":0,"ocean_header_custom_menu":"","ocean_menu_typo_font_family":"","ocean_menu_typo_font_subset":"","ocean_menu_typo_font_size":0,"ocean_menu_typo_font_size_tablet":0,"ocean_menu_typo_font_size_mobile":0,"ocean_menu_typo_font_size_unit":"px","ocean_menu_typo_font_weight":"","ocean_menu_typo_font_weight_tablet":"","ocean_menu_typo_font_weight_mobile":"","ocean_menu_typo_transform":"","ocean_menu_typo_transform_tablet":"","ocean_menu_typo_transform_mobile":"","ocean_menu_typo_line_height":0,"ocean_menu_typo_line_height_tablet":0,"ocean_menu_typo_line_height_mobile":0,"ocean_menu_typo_line_height_unit":"","ocean_menu_typo_spacing":0,"ocean_menu_typo_spacing_tablet":0,"ocean_menu_typo_spacing_mobile":0,"ocean_menu_typo_spacing_unit":"","ocean_menu_link_color":"","ocean_menu_link_color_hover":"","ocean_menu_link_color_active":"","ocean_menu_link_background":"","ocean_menu_link_hover_background":"","ocean_menu_link_active_background":"","ocean_menu_social_links_bg":"","ocean_menu_social_hover_links_bg":"","ocean_menu_social_links_color":"","ocean_menu_social_hover_links_color":"","ocean_disable_title":"default","ocean_disable_heading":"default","ocean_post_title":"","ocean_post_subheading":"","ocean_post_title_style":"","ocean_post_title_background_color":"","ocean_post_title_background":0,"ocean_post_title_bg_image_position":"","ocean_post_title_bg_image_attachment":"","ocean_post_title_bg_image_repeat":"","ocean_post_title_bg_image_size":"","ocean_post_title_height":0,"ocean_post_title_bg_overlay":0.5,"ocean_post_title_bg_overlay_color":"","ocean_disable_breadcrumbs":"default","ocean_breadcrumbs_color":"","ocean_breadcrumbs_separator_color":"","ocean_breadcrumbs_links_color":"","ocean_breadcrumbs_links_hover_color":"","ocean_display_footer_widgets":"default","ocean_display_footer_bottom":"default","ocean_custom_footer_template":"","ocean_post_oembed":"","ocean_post_self_hosted_media":"","ocean_post_video_embed":"","ocean_link_format":"","ocean_link_format_target":"self","ocean_quote_format":"","ocean_quote_format_link":"post","ocean_gallery_link_images":"on","ocean_gallery_id":[],"footnotes":""},"categories":[286],"tags":[],"class_list":["post-566","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-fractualites-ennews-fr","entry","has-media"],"_links":{"self":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/566","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/comments?post=566"}],"version-history":[{"count":1,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/566\/revisions"}],"predecessor-version":[{"id":1760,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/posts\/566\/revisions\/1760"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/media\/565"}],"wp:attachment":[{"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/media?parent=566"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/categories?post=566"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/samovar.telecom-sudparis.eu\/index.php\/wp-json\/wp\/v2\/tags?post=566"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}