{"id":4934,"date":"2021-11-05T14:02:09","date_gmt":"2021-11-05T13:02:09","guid":{"rendered":"https:\/\/misty-lizards.flywheelsites.com\/?post_type=team&#038;p=4934"},"modified":"2025-06-30T11:59:10","modified_gmt":"2025-06-30T09:59:10","slug":"raouda-kamoun","status":"publish","type":"team","link":"https:\/\/www.esme.fr\/recherche\/chercheur\/raouda-kamoun\/","title":{"rendered":"Raouda Kamoun"},"content":{"rendered":"\n<p><strong>Overview of research area<\/strong><\/p>\n\n\n\n<p>My research interests lie in :<\/p>\n\n\n\n<p>1. the formal verification of software architectures based on components, services and component services,<\/p>\n\n\n\n<p>2. the formalization of the UML2.0 component model using the Model Driven Engineering approach,<\/p>\n\n\n\n<p>3. modeling and verification services composed with formal ADLs,<\/p>\n\n\n\n<p>4. formalization and verification of the specification of resources in Cloud environments, and formalization and verification for Big Software.<\/p>\n\n\n\n<p><strong>Short biography<\/strong><\/p>\n\n\n\n<p>Raouda KAMOUN is an associate professor at the ESME Engineering School since 2019. Doctor in Computer Science since May 2017 from the Faculty of Economics and Management of Sfax (Tunisia). Her main research expertise and interests concern the formal verification of software architectures based on components, services and component services, the formalization of the UML2.0 component model using the Model Driven Engineering approach, modeling and verification services composed with formal ADLs, formalization and verification of the specification of resources in Cloud environments, and formalization and verification for Big Software.<\/p>\n","protected":false},"featured_media":0,"template":"","team_cat":[],"class_list":["post-4934","team","type-team","status-publish","hentry"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v22.8 (Yoast SEO v27.3) - https:\/\/yoast.com\/product\/yoast-seo-premium-wordpress\/ -->\n<title>Raouda Kamoun -<\/title>\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.esme.fr\/recherche\/chercheur\/raouda-kamoun\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Raouda Kamoun\" \/>\n<meta property=\"og:description\" content=\"Overview of research area My research interests lie in : 1. the formal verification of software architectures based on components, services and component services, 2. the formalization of the UML2.0 component model using the Model Driven Engineering approach, 3. modeling and verification services composed with formal ADLs, 4. formalization and verification of the specification of [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.esme.fr\/recherche\/chercheur\/raouda-kamoun\/\" \/>\n<meta property=\"article:modified_time\" content=\"2025-06-30T09:59:10+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.esme.fr\\\/recherche\\\/chercheur\\\/raouda-kamoun\\\/\",\"url\":\"https:\\\/\\\/www.esme.fr\\\/recherche\\\/chercheur\\\/raouda-kamoun\\\/\",\"name\":\"Raouda Kamoun -\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.esme.fr\\\/recherche\\\/#website\"},\"datePublished\":\"2021-11-05T13:02:09+00:00\",\"dateModified\":\"2025-06-30T09:59:10+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.esme.fr\\\/recherche\\\/chercheur\\\/raouda-kamoun\\\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.esme.fr\\\/recherche\\\/chercheur\\\/raouda-kamoun\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.esme.fr\\\/recherche\\\/chercheur\\\/raouda-kamoun\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Accueil\",\"item\":\"https:\\\/\\\/www.esme.fr\\\/recherche\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Raouda Kamoun\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.esme.fr\\\/recherche\\\/#website\",\"url\":\"https:\\\/\\\/www.esme.fr\\\/recherche\\\/\",\"name\":\"\",\"description\":\"Innovative Engineering\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.esme.fr\\\/recherche\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"fr-FR\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Raouda Kamoun -","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.esme.fr\/recherche\/chercheur\/raouda-kamoun\/","og_locale":"fr_FR","og_type":"article","og_title":"Raouda Kamoun","og_description":"Overview of research area My research interests lie in : 1. the formal verification of software architectures based on components, services and component services, 2. the formalization of the UML2.0 component model using the Model Driven Engineering approach, 3. modeling and verification services composed with formal ADLs, 4. formalization and verification of the specification of [&hellip;]","og_url":"https:\/\/www.esme.fr\/recherche\/chercheur\/raouda-kamoun\/","article_modified_time":"2025-06-30T09:59:10+00:00","twitter_card":"summary_large_image","twitter_misc":{"Dur\u00e9e de lecture estim\u00e9e":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.esme.fr\/recherche\/chercheur\/raouda-kamoun\/","url":"https:\/\/www.esme.fr\/recherche\/chercheur\/raouda-kamoun\/","name":"Raouda Kamoun -","isPartOf":{"@id":"https:\/\/www.esme.fr\/recherche\/#website"},"datePublished":"2021-11-05T13:02:09+00:00","dateModified":"2025-06-30T09:59:10+00:00","breadcrumb":{"@id":"https:\/\/www.esme.fr\/recherche\/chercheur\/raouda-kamoun\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.esme.fr\/recherche\/chercheur\/raouda-kamoun\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.esme.fr\/recherche\/chercheur\/raouda-kamoun\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Accueil","item":"https:\/\/www.esme.fr\/recherche\/"},{"@type":"ListItem","position":2,"name":"Raouda Kamoun"}]},{"@type":"WebSite","@id":"https:\/\/www.esme.fr\/recherche\/#website","url":"https:\/\/www.esme.fr\/recherche\/","name":"","description":"Innovative Engineering","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.esme.fr\/recherche\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"fr-FR"}]}},"_links":{"self":[{"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/team\/4934","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/team"}],"about":[{"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/types\/team"}],"wp:attachment":[{"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/media?parent=4934"}],"wp:term":[{"taxonomy":"team_cat","embeddable":true,"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/team_cat?post=4934"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}