Skip to Main content Skip to Navigation

Search by documents

hal-00759840v1  Conference papers
Imen TounsiMohamed Hadj KacemAhmed Hadj KacemKhalil Drira. Towards an Approach for Modeling and Formalizing SOA Design Patterns with Event-B
The 28 th Annual ACM Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. 3p
hal-01827361v1  Conference papers
Diego Armando Diaz VargasRui XueClaude BaronPhilippe EstebanRob Vingerhoeds et al.  Implementing SCRUM to develop a connected robot
12th International Conference on Modeling, Optimization and SIMulation (MOSIM 2018), Jun 2018, Toulouse, France. 8p
hal-00937102v1  Conference papers
Luigi Alfredo GriecoMahdi Ben AlayaThierry MonteilKhalil Drira. Architecting Information Centric ETSI-M2M systems
IEEE International Conference on Pervasive Computing and Communications (PerCom), Mar 2014, Budapest, Hungary. 10p
hal-00466542v1  Conference papers
Mohamed Nadhmi MiladiFatma KrichenMohamed JmaielKhalil Drira. A UML based deployment and management modeling for cooperative and distributed applications
ACIS International Conference on Software Engineering, Management and Applications (SERA 2010), May 2010, Montreal, Canada. 16p
halshs-00367395v1  Journal articles
Riadh Ben HalimaMohammed Karim GuennounKhalil DriraMohamed Jmaiel. Providing Predictive Self-Healing for Web Services: A QoS Monitoring and Analysis-based Approach
Journal of Information Assurance and Security, Dynamic Publishers Inc., USA, 2008, 3 (3), pp.175-184
hal-01726195v1  Conference papers
Clément FoucherVincent Albert. Simulation distribuée hétérogène de réseaux de Petri DEVS
Journées DEVS Francophones, Apr 2018, Cargèse, France
hal-01419962v1  Conference papers
Benoît MorganEric AlataVincent NicometteMohamed Kaâniche. Bypassing IOMMU Protection against I/O Attacks
7th Latin-American Symposium on Dependable Computing (LADC’16), Oct 2016, Cali, Colombia. pp.145-150, ⟨10.1109/LADC.2016.31⟩
hal-00189464v1  Conference papers
THERMINIC 2005, Sep 2005, Belgirate, Lago Maggiore, Italy. pp.129-134
hal-00675654v1  Conference papers
Ilhem KhlifMohamed Hadj KacemKhalil Drira. Une approche de description multi-échelles et multi points de vue pour les architectures logicielles dynamiques
Conférence francophone sur les Architectures Logicielles (CAL 2012), May 2012, Montpellier, France. 9p
hal-00257696v1  Conference papers
Henri CamonChristian GanibalN. RapahozM. TrzmielC. Pisella et al.  Solving functional reliability issue for an optical electrostatic switch
DTIP 2007, Apr 2007, Stresa, lago Maggiore, Italy. pp.246-250
hal-00801025v1  Conference papers
Imen TounsiHrichi ZiedMohamed Hadj KacemAhmed Hadj KacemKhalil Drira. Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns
International Conference on Enterprise Information Systems (ICEIS), Jul 2013, Angers, France. 11p
hal-00801395v1  Conference papers
Imen TounsiMohamed Hadj KacemAhmed Hadj KacemKhalil Drira. An Approach for Modeling and Formalizing SOA Design Patterns
IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises ( WETICE ), Jun 2013, Hammamet, Tunisia. 11p
hal-01241877v1  Conference papers
Aymen GammoudiAdel BenzinaMohamed KhalguiDaniel Chillet. New Pack Oriented Solutions for Energy-Aware Feasible Adaptive Real-Time Systems
International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 15, University of Naples "Federico II", ITALY, Sep 2015, Naples, Italy. ⟨10.1007/978-3-319-22689-7_6⟩
hal-00790233v1  Book sections
Sébastien BoisgéraultJean-Yves Le GallPierre BonnierMatthieu MarcatelBrigitte Borja de Mozota et al.  Le Design des Interfaces Numériques en 170 mots-clés. Des interactions homme-machine au design interactif.
Dunod. Le Design des Interfaces Numériques en 170 mots-clés. Des interactions hommes-machines au design interactif., Dunod, 2013, 978-2-10-058527-4
hal-00880649v1  Conference papers
Tibor KocsisStéphane NégnyPascal FloquetXuan Mi MeyerEndre Rev. An application of a cocitation-analysis method to find further research possibilities on the area of scheduling problems
European Symposium on Computer Aided Process Engineering - ESCAPE 20, Jun 2010, Ischia, Italy. pp. 1165-1170
hal-01493450v1  Conference papers
Benoît MorganEric AlataVincent Nicomette. Tests d’intégrité d’hyperviseurs de machines virtuelles à distance et assisté par le matériel
Symposium sur la sécurité des technologies de l'information et des communications, Jun 2014, Rennes, France
hal-01493597v1  Conference papers
Guillaume AverlantBenoît MorganEric AlataVincent NicometteMohamed Kaâniche. An abstraction model and a comparative analysis of Intel and ARM hardware isolation mechanisms
The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), Jan 2017, Christchurch, New Zealand
hal-02021357v1  Conference papers
Bertrand Vandeportaele. A Finite State Machine Modeling Language and the Associated Tools allowing Fast Prototyping for FPGA Devices
IEEE International Workshop of Electronics, Control, Measurement, Signals and their Application to Mechatronics (ECMSM 2017), May 2017, Donostia, Spain. pp.253-258, ⟨10.1109/ECMSM.2017.7945900⟩
tel-00719563v1  Theses
Akram Hakiri. Architecture de communication à QoS garantie pour la simulation distribuée
Architectures Matérielles [cs.AR]. Université Paul Sabatier - Toulouse III, 2012. Français