{"id":16452,"date":"2026-02-02T13:53:09","date_gmt":"2026-02-02T12:53:09","guid":{"rendered":"https:\/\/www.uni.lu\/research-en\/?post_type=events&#038;p=16452"},"modified":"2026-05-11T16:53:56","modified_gmt":"2026-05-11T14:53:56","slug":"doctoral-defence-cristina-stratan","status":"publish","type":"events","link":"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/","title":{"rendered":"Doctoral Defence: Cristina STRATAN"},"content":{"rendered":"\n<section class=\"py-0 wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\"><div class=\"wp-block-unilux-blocks-spacer is-spacer-size-md\"><\/div>\n\n\n<p>The <a href=\"https:\/\/www.uni.lu\/research-en\/doctoral-education\/dsse\/\">Doctoral School in Science and Engineering<\/a> is happy to invite you to Cristina STRATAN\u2019s defence entitled<\/p>\n\n\n\n<h2 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"diagnostics-of-icftl-source-code-specification-violations\"\n    >\nDiagnostics of iCFTL source code specification violations<\/h2>\n\n\n\n<p><strong>Supervisor<\/strong>: <a href=\"https:\/\/www.uni.lu\/snt-en\/people\/domenico-bianculli\/\">Assoc. Prof Domenico BIANCULLI<\/a><\/p>\n\n\n\n<p>As modern software systems grow in complexity and operate in dynamic environments, the need for runtime analysis techniques becomes a more critical part of the verification and validation process. Runtime Verification (RV) is a lightweight formal method that monitors whether an execution trace\u2014a sequence of recorded events\u2014satisfies a given specification. Traditionally, RV produces Boolean or quantitative verdicts to express whether an execution satisfies or violates a specification.<\/p>\n\n\n\n<p>When a specification is violated, such a verdict is often insufficient to understand why the violation happened. To address this limitation, diagnostics approaches enrich the verdict by identifying and presenting the minimal or most relevant segments of the execution trace, together with the corresponding elements of the specification, that explain why a verdict was produced.<\/p>\n\n\n\n<p>This thesis proposes a diagnostics approach for Inter-procedural Control-Flow Temporal Logic (ICFTL), a specification language designed to capture properties related to the inter-procedural, source-code-level behavior of programs.<\/p>\n\n\n\n<p>The contributions of this thesis are:<\/p>\n\n\n\n<ol type=\"1\" start=\"1\" class=\"ulux-list\">\n<li class=\"ulux-list-item\">A diagnostics approach for time-based ICFTL specifications. This approach computes a segment of an execution trace up to the event after which the specification becomes impossible to satisfy, thereby helping engineers identify and diagnose performance-related issues in the code.<\/li>\n\n\n\n<li class=\"ulux-list-item\">A diagnostics approach for state-based ICFTL specifications. This approach uses backward data-flow analysis to trace how variable values are computed across procedures and statements, helping engineers understand how the data-flow contributed to the state-based specification violation.<\/li>\n\n\n\n<li class=\"ulux-list-item\">An approach for computing a core diagnosis: a set of program points consolidated from the diagnosis of a violated specification, obtained by removing redundant information and highlighting only the most relevant program points. This provides engineers with a clear overview of the diagnosis.<\/li>\n<\/ol>\n\n\n\n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/research-en\/calendar?post_type=events&#038;p=16452&#038;calendar\"\n                target=\"_self\"\n        class=\"btn btn--secondary\"\n            >Add to calendar<\/a>\n<\/li>\n<\/ul>\n<\/div><\/section>\n","protected":false},"excerpt":{"rendered":"<p>Doctoral defence <\/p>\n","protected":false},"author":213,"featured_media":16453,"parent":0,"menu_order":0,"comment_status":"open","ping_status":"closed","template":"","format":"standard","meta":{"featured_image_focal_point":{"x":0.55,"y":0.47},"show_featured_caption":false,"ulux_newsletter_groups":"","uluxPostTitle":"","uluxPrePostTitle":"","_trash_the_other_posts":false,"_price":"","_stock":"","_tribe_ticket_header":"","_tribe_default_ticket_provider":"","_tribe_ticket_capacity":"0","_ticket_start_date":"","_ticket_end_date":"","_tribe_ticket_show_description":"","_tribe_ticket_show_not_going":false,"_tribe_ticket_use_global_stock":"","_tribe_ticket_global_stock_level":"","_global_stock_mode":"","_global_stock_cap":"","_tribe_rsvp_for_event":"","_tribe_ticket_going_count":"","_tribe_ticket_not_going_count":"","_tribe_tickets_list":"[]","_tribe_ticket_has_attendee_info_fields":false,"event_start_date":"2026-05-22 14:00:00","event_end_date":"2026-05-22 17:00:00","event_speaker_name":"Cristina STRATAN","event_speaker_link":"https:\/\/www.uni.lu\/snt-en\/people\/cristina-stratan\/","event_is_online":false,"event_location":"University of Luxembourg - B\u00e2timent Central (Kirchberg Campus) - Room Salles des conseils D17","event_street":"6, rue Richard Coudenhove-Kalergi","event_location_link":"https:\/\/www.uni.lu\/en\/about\/campuses\/","event_zip_code":"1359","event_city":"Luxembourg","event_country":"Luxembourg"},"events-topic":[286],"events-type":[281,283],"organisation":[61,60,218,232],"authorship":[213],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v22.3 (Yoast SEO v22.3) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Doctoral Defence: Cristina STRATAN I University of Luxembourg<\/title>\n<meta name=\"description\" content=\"Doctoral defence\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Doctoral Defence: Cristina STRATAN\" \/>\n<meta property=\"og:description\" content=\"Doctoral defence\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/\" \/>\n<meta property=\"og:site_name\" content=\"Research EN\" \/>\n<meta property=\"article:modified_time\" content=\"2026-05-11T14:53:56+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/8\/2026\/02\/02135246\/Cristina-STRATAN-SnT-University-of-Luxembourg.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2048\" \/>\n\t<meta property=\"og:image:height\" content=\"1365\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/\",\"url\":\"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/\",\"name\":\"Doctoral Defence: Cristina STRATAN I University of Luxembourg\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/research-en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/8\/2026\/02\/02135246\/Cristina-STRATAN-SnT-University-of-Luxembourg.jpg\",\"datePublished\":\"2026-02-02T12:53:09+00:00\",\"dateModified\":\"2026-05-11T14:53:56+00:00\",\"description\":\"Doctoral defence\",\"breadcrumb\":{\"@id\":\"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/#primaryimage\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/8\/2026\/02\/02135246\/Cristina-STRATAN-SnT-University-of-Luxembourg.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/8\/2026\/02\/02135246\/Cristina-STRATAN-SnT-University-of-Luxembourg.jpg\",\"width\":2048,\"height\":1365},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uni.lu\/en\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Research\",\"item\":\"https:\/\/www.uni.lu\/research-en\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Events\",\"item\":\"https:\/\/www.uni.lu\/research-en\/events\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Doctoral Defence: Cristina STRATAN\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.uni.lu\/research-en\/#website\",\"url\":\"https:\/\/www.uni.lu\/research-en\/\",\"name\":\"Uni.lu\",\"description\":\"Research at the University of Luxembourg\",\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/research-en\/#organization\"},\"alternateName\":\"University of Luxembourg\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.uni.lu\/research-en\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-GB\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.uni.lu\/research-en\/#organization\",\"name\":\"University of Luxembourg\",\"alternateName\":\"Uni.lu\",\"url\":\"https:\/\/www.uni.lu\/research-en\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/www.uni.lu\/research-en\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/8\/2026\/03\/03115550\/UNIV_SM-Profile_1600x1600px-scaled.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/8\/2026\/03\/03115550\/UNIV_SM-Profile_1600x1600px-scaled.jpg\",\"width\":2560,\"height\":2560,\"caption\":\"University of Luxembourg\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/research-en\/#\/schema\/logo\/image\/\"},\"description\":\"Research at the University of Luxembourg\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Doctoral Defence: Cristina STRATAN I University of Luxembourg","description":"Doctoral defence","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/","og_locale":"en_GB","og_type":"article","og_title":"Doctoral Defence: Cristina STRATAN","og_description":"Doctoral defence","og_url":"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/","og_site_name":"Research EN","article_modified_time":"2026-05-11T14:53:56+00:00","og_image":[{"width":2048,"height":1365,"url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/8\/2026\/02\/02135246\/Cristina-STRATAN-SnT-University-of-Luxembourg.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Estimated reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/","url":"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/","name":"Doctoral Defence: Cristina STRATAN I University of Luxembourg","isPartOf":{"@id":"https:\/\/www.uni.lu\/research-en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/#primaryimage"},"image":{"@id":"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/8\/2026\/02\/02135246\/Cristina-STRATAN-SnT-University-of-Luxembourg.jpg","datePublished":"2026-02-02T12:53:09+00:00","dateModified":"2026-05-11T14:53:56+00:00","description":"Doctoral defence","breadcrumb":{"@id":"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/"]}]},{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/#primaryimage","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/8\/2026\/02\/02135246\/Cristina-STRATAN-SnT-University-of-Luxembourg.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/8\/2026\/02\/02135246\/Cristina-STRATAN-SnT-University-of-Luxembourg.jpg","width":2048,"height":1365},{"@type":"BreadcrumbList","@id":"https:\/\/www.uni.lu\/research-en\/events\/doctoral-defence-cristina-stratan\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uni.lu\/en"},{"@type":"ListItem","position":2,"name":"Research","item":"https:\/\/www.uni.lu\/research-en\/"},{"@type":"ListItem","position":3,"name":"Events","item":"https:\/\/www.uni.lu\/research-en\/events\/"},{"@type":"ListItem","position":4,"name":"Doctoral Defence: Cristina STRATAN"}]},{"@type":"WebSite","@id":"https:\/\/www.uni.lu\/research-en\/#website","url":"https:\/\/www.uni.lu\/research-en\/","name":"Uni.lu","description":"Research at the University of Luxembourg","publisher":{"@id":"https:\/\/www.uni.lu\/research-en\/#organization"},"alternateName":"University of Luxembourg","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uni.lu\/research-en\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-GB"},{"@type":"Organization","@id":"https:\/\/www.uni.lu\/research-en\/#organization","name":"University of Luxembourg","alternateName":"Uni.lu","url":"https:\/\/www.uni.lu\/research-en\/","logo":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/www.uni.lu\/research-en\/#\/schema\/logo\/image\/","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/8\/2026\/03\/03115550\/UNIV_SM-Profile_1600x1600px-scaled.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/8\/2026\/03\/03115550\/UNIV_SM-Profile_1600x1600px-scaled.jpg","width":2560,"height":2560,"caption":"University of Luxembourg"},"image":{"@id":"https:\/\/www.uni.lu\/research-en\/#\/schema\/logo\/image\/"},"description":"Research at the University of Luxembourg"}]}},"_links":{"self":[{"href":"https:\/\/www.uni.lu\/research-en\/wp-json\/wp\/v2\/events\/16452"}],"collection":[{"href":"https:\/\/www.uni.lu\/research-en\/wp-json\/wp\/v2\/events"}],"about":[{"href":"https:\/\/www.uni.lu\/research-en\/wp-json\/wp\/v2\/types\/events"}],"author":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/research-en\/wp-json\/wp\/v2\/users\/213"}],"replies":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/research-en\/wp-json\/wp\/v2\/comments?post=16452"}],"version-history":[{"count":2,"href":"https:\/\/www.uni.lu\/research-en\/wp-json\/wp\/v2\/events\/16452\/revisions"}],"predecessor-version":[{"id":17974,"href":"https:\/\/www.uni.lu\/research-en\/wp-json\/wp\/v2\/events\/16452\/revisions\/17974"}],"wp:authorship":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/research-en\/wp-json\/wp\/v2\/users\/213"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/research-en\/wp-json\/wp\/v2\/media\/16453"}],"wp:attachment":[{"href":"https:\/\/www.uni.lu\/research-en\/wp-json\/wp\/v2\/media?parent=16452"}],"wp:term":[{"taxonomy":"events-topic","embeddable":true,"href":"https:\/\/www.uni.lu\/research-en\/wp-json\/wp\/v2\/events-topic?post=16452"},{"taxonomy":"events-type","embeddable":true,"href":"https:\/\/www.uni.lu\/research-en\/wp-json\/wp\/v2\/events-type?post=16452"},{"taxonomy":"organisation","embeddable":true,"href":"https:\/\/www.uni.lu\/research-en\/wp-json\/wp\/v2\/organisation?post=16452"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}