1.0https://www.esme.fr/rechercheAude Herryhttps://www.esme.fr/recherche/author/aude/rich600338<blockquote class="wp-embedded-content" data-secret="0mJv80xi9m"><a href="https://www.esme.fr/recherche/chercheur/raouda-kamoun/">Raouda Kamoun</a></blockquote><iframe sandbox="allow-scripts" security="restricted" src="https://www.esme.fr/recherche/chercheur/raouda-kamoun/embed/#?secret=0mJv80xi9m" width="600" height="338" title="« Raouda Kamoun » — " data-secret="0mJv80xi9m" frameborder="0" marginwidth="0" marginheight="0" scrolling="no" class="wp-embedded-content"></iframe><script> /*! This file is auto-generated */ !function(d,l){"use strict";l.querySelector&&d.addEventListener&&"undefined"!=typeof URL&&(d.wp=d.wp||{},d.wp.receiveEmbedMessage||(d.wp.receiveEmbedMessage=function(e){var t=e.data;if((t||t.secret||t.message||t.value)&&!/[^a-zA-Z0-9]/.test(t.secret)){for(var s,r,n,a=l.querySelectorAll('iframe[data-secret="'+t.secret+'"]'),o=l.querySelectorAll('blockquote[data-secret="'+t.secret+'"]'),c=new RegExp("^https?:$","i"),i=0;i<o.length;i++)o[i].style.display="none";for(i=0;i<a.length;i++)s=a[i],e.source===s.contentWindow&&(s.removeAttribute("style"),"height"===t.message?(1e3<(r=parseInt(t.value,10))?r=1e3:~~r<200&&(r=200),s.height=r):"link"===t.message&&(r=new URL(s.getAttribute("src")),n=new URL(t.value),c.test(n.protocol))&&n.host===r.host&&l.activeElement===s&&(d.top.location.href=t.value))}},d.addEventListener("message",d.wp.receiveEmbedMessage,!1),l.addEventListener("DOMContentLoaded",function(){for(var e,t,s=l.querySelectorAll("iframe.wp-embedded-content"),r=0;r<s.length;r++)(t=(e=s[r]).getAttribute("data-secret"))||(t=Math.random().toString(36).substring(2,12),e.src+="#?secret="+t,e.setAttribute("data-secret",t)),e.contentWindow.postMessage({message:"ready",secret:t},"*")},!1)))}(window,document); </script> 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 […]