Skip to Main content Skip to Navigation
Help


...
tel-00146528v1  Theses
Thierry Villemur. Conception de services et de protocoles pour la gestion de groupes coopératifs
Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 1995. Français
...
tel-00120154v1  Habilitation à diriger des recherches
Thierry Villemur. Modèles et services logiciels pour le travail collaboratif
Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2006
hal-00447668v1  Conference papers
Pierre de Saqui-SannesThierry VillemurBenjamin FontanSara del Socorro Mota GonzalezMohamed Salah Bouassida et al.  UML Modeling and Formal Verification of Secure Group Communication Protocols
Second IEEE International workshop UML and Formal Methods - UML&FM'2009, 2009, Rio de Janeiro, Brazil
inria-00594387v1  Journal articles
Pierre Saqui-SannesThierry VillemurBenjamin FontanSara del Socorro Mota GonzalezMohamed Salah Bouassida et al.  Formal Verification of Secure Group Communication Protocols Modelled in UML
Innovations in Systems and Software Engineering, Springer Verlag, 2010, Special Issue ICFEM'09, 6 (1-2), pp.125-133. ⟨10.1007/s11334-010-0122-3⟩
...
hal-01477165v1  Conference papers
Hatem ArousThierry VillemurKhalil DriraErnesto Expósito. Conception d'un service de communication de groupe adaptatif
Congrès des Doctorants EDSYS, May 2011, Toulouse, France
...
hal-01477159v1  Conference papers
Hatem ArousJorge Ricardo Gomez MontalvoThierry VillemurErnesto Expósito. Approche de déploiement automatique basé sur les modèles sémantiques
6ème Conférence francophone sur les architectures logicielles (CAL 2012), May 2012, Montpellier France. 11p
hal-01611986v1  Conference papers
Ahmed ZouaghiVincent VelayAdriana SovejaFarhad Rezai-Aria. A numerical investigation on the heterogeneous and anisotropic mechanical behaviour of AISI H11 steel using various stress-strain formulations : a multi-scale approach
WCCM - 11th World Congress on Computational Mechanics / ECCM - 5th European Conference on Computational Mechanics / ECFD - 6th European Conference on Computational Fluid Dynamics, Jul 2014, Barcelone, Spain. p. 3415-3425
...
hal-01460084v2  Conference papers
Armel Francklin Simo TegueuPascal BerthouSlim AbdellatifThierry VillemurFaten Mkacher. DDS et SDN en symbioses pour les applications dynamiques
2015 International Conference on Protocol Engineering (ICPE) and International Conference on New Technologies of Distributed Systems (NTDS), IEEE, Jul 2015, PARIS, France. ⟨10.1109/NOTERE.2015.7293482⟩
...
hal-01464457v1  Conference papers
Jose AguilarMarxjhony JerezErnesto ExpósitoThierry Villemur. CARMiCLOC: Context Awareness Middleware in Cloud Computing
2015 Latin American Computing Conference (CLEI), Oct 2015, Arequipa, Peru. pp.1 - 10, ⟨10.1109/CLEI.2015.7360013⟩
hal-02049843v1  Conference papers
A. ZouaghiAdriana SovejaFarhad Rezai-AriaThomas PottierMohammed Cheikh et al.  Multi-scale surface modeling of the nonlinear mechanical behaviour of AISI H11 hot work tool steel
International Conference on Plasticity, Damage, and Fracture, 2016, Panama City, Panama
...
hal-01460289v2  Conference papers
Armel Francklin Simo TegueuSlim AbdellatifThierry VillemurPascal BerthouThierry Plesse. Towards Application Driven Networking
2016 IEEE International Symposium on Local and Metropolitan Area Networks (LANMAN), Jun 2016, ROME, Italy. ⟨10.1109/LANMAN.2016.7548865⟩
hal-02048662v1  Conference papers
A. ZouaghiVincent VelayAdriana SovejaFarhad Rezai-AriaThomas Pottier et al.  Multi-scale Modelling of the Surface Behaviour of AISI H11 Tool Steels
TOOL 2016 - 10th TOOL Conference, Oct 2016, Bratislava, Slovakia. 562 p
...
hal-01520045v2  Conference papers
Armel Francklin Simo TegueuSlim AbdellatifThierry VillemurPascal Berthou. A reactive resource defragmentation method for virtual links mapping in software-defined networks
23rd IEEE International Symposium on Local and Metropolitan Area Networks (LANMAN 2017), IEEE LANMAN, Jun 2017, Osaka, Japan. 6p., ⟨10.1109/LANMAN.2017.7972143⟩
...
hal-01570578v2  Conference papers
Armel Francklin Simo TegueuSlim AbdellatifThierry VillemurPascal Berthou. A dynamic resource defragmentation scheme for virtualized SDN-enabled substrate networks
2017 IEEE 6th International Conference on Cloud Networking (CloudNet), IEEE CLOUDNET, Sep 2017, Prague, Czech Republic. 6p
...
hal-01663766v2  Conference papers
Soufian ToufgaPhilippe OwezarskiSlim AbdellatifThierry Villemur. An SDN hybrid architecture for vehicular networks: Application to Intelligent Transport System
9th European Congress on Embedded Real Time Software And Systems (ERTS), Jan 2018, Toulouse, France. 8p