Search - Archive ouverte HAL Access content directly

Filter your results

97 Results

Merging Time of Random Mobile Agents

Shehla Abbas , Mohamed Mosbah , Akka Zemmari
International Conference on Dynamics in Logistics 2007 (LDIC 2007), 2007, Bremen, Germany. pp.179-190
Conference papers hal-00306282v1

Sublinear Fully Distributed Partition with Applications

Bilel Derbel , Mohamed Mosbah , Akka Zemmari
Theory of Computing Systems, 2010, 47 (3), pp.368-404. ⟨10.1007/s00224-009-9190-x⟩
Journal articles istex hal-00351045v1

A Self-stabilizing Distributed Algorithm for Resolving Conflicts

Brahim Hamid , Mohamed Mosbah , Akka Zemmari
Workshop on Reliability in Decentralized Distributed Systems (RDDS), 2007, Portugal. pp.1042--1051
Conference papers hal-00306292v1

Android inter-app communication threats and detection techniques

Shweta Bhandari , Wafa Ben Jaballah , Vineeta Jain , Vijay Laxmi , Akka Zemmari et al.
Computers & Security, 2017, 70, pp.392 - 421. ⟨10.1016/j.cose.2017.07.002⟩
Journal articles hal-01675035v1

Graph Computation Models 2012.

Rachid Echahed , Habel Annegret , Mohamed Mosbah
EASST, pp.1, 2013, Electronic Communications of the EASST
Books hal-00879351v1

Uncertainty interval temporal sequences extraction

Asma Benzakour , Sofian Maabout , Mohamed Mosbah , Marc Sistiaga
6th Int. Conf. on Information Systems, Technology and Management (ICISTM), Mar 2012, Grenoble, France. pp.259-270
Conference papers hal-00654846v1

A Probabilistic Model for Distributed Merging of Mobile Agents

Shehla Abbas , Mohamed Mosbah , Akka Zemmari
Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008), 2008, Leeds, United Kingdom. pp.eWIC
Conference papers hal-00345590v1

Debugging the Execution of Distributed Algorithms over Anonymous Networks

Mohamed Mosbah , Thomas Morsellino , Cédric Aguerre
Information Visualization, Jul 2012, Montpellier, France. pp.464 - 470, ⟨10.1109/IV.2012.80⟩
Conference papers hal-00776660v1

Optimal area algorithm for planar polyline drawings.

Nicolas Bonichon , Bertrand Le Saëc , Mohamed Mosbah
WG 2002, 2002, Czech Republic. pp.35--46
Conference papers hal-00323077v1

A Domain Specific Language for Securing Distributed Systems

Hédi Hamdi , Mohamed Mosbah , Adel Bouhoula
Second International Conference on Systems and Networks Communications,, 2007, France. pp.76--83
Conference papers hal-00306235v1

A formal model for fault-tolerance in distributed systems

Brahim Hamid , Mohamed Mosbah
Proceedings SAFECOM05, 24th International Conference on Computer Safety, Reliability and Security, 2005, Norway. pp.108-121
Conference papers hal-00307211v1

An implementation of a failure detector for local computations in graphs

Brahim Hamid , Mohamed Mosbah
Proceedings of the 23rd IASTED International multi-conference on parallel and distributed computing and networks, 2005, Austria. pp.473-478
Conference papers hal-00307217v1

Visualization of self-stabilizing distributed algorithms

Brahim Hamid , Mohamed Mosbah
Proceedings IV05, 9th International conference on information visualization,, 2005, United Kingdom. pp.550-555
Conference papers hal-00307218v1

Distributed Graph Traversals by Relabeling Systems with Applications

B. Derbel , Mohamed Mosbah
Workshop on Graph Transformation for Verification and Concurrency, Aug 2005, United States. pp.79-94, ⟨10.1016/j.entcs.2005.03.034⟩
Conference papers hal-00307548v1

Using Absorption Areas to Improve {ATFM}

Vu Duong , Frederic Ferchaud , Cyril Gavoille , Mohamed Mosbah
$23^{rd}$ IEEE International Digital Avionics Systems Conference (DASC), 2004, United States. pp.2.A.3- 2.1-6
Conference papers hal-00307511v1

Proving Distributed Algorithms by Combining Refinement and Local Computations

Mohamed Tounsi , Mohamed Mosbah , Dominique Méry
Electronic Communications of the EASST, 2011, 35, pp.ISSN 1863-2122
Journal articles hal-00644187v1

Using Functional Dependencies for Reducing the Size of a Data Cube

Eve Garnaud , Sofian Maabout , Mohamed Mosbah
International Symposium on Foundations of Information and Knowledge Systems, Mar 2012, Kiel, Germany. pp.145-164
Conference papers hal-00644691v1

A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems

Mohamed Tounsi , Ahmed Hadj Kacem , Mohamed Mosbah , Dominique Méry
Integration of Model-based Formal Methods and Tools - IM_FMT'2009 - in IFM'2009, Feb 2009, Düsseldorf, Germany
Conference papers hal-00361933v1

Workshop on Graph Computation Models

Mohamed Mosbah , Annegret Habel
4th International Conference on Graph Transformations, Sep 2008, Leicester, United Kingdom. pp.460-462
Conference papers hal-00361937v1

Joint Diversity and Redundancy for Resilient Service Chain Provisioning

Abdelhamid Alleg , Toufik Ahmed , Mohamed Mosbah , Raouf Boutaba
IEEE Journal on Selected Areas in Communications, 2020, pp.1-29. ⟨10.1109/JSAC.2020.2986867⟩
Journal articles hal-02541257v1

Performance evaluation of key disclosure delay-based schemes in wireless sensor networks

Ben Jaballah Wafa , Mohamed Mosbah , Habib Youssef
IEEE International Conference on Pervasive Computing and Communications Workshops 2013, Mar 2013, San Diego, CA, United States. pp.566 - 571, ⟨10.1109/PerComW.2013.6529560⟩
Conference papers hal-00923468v1

Relaxing Time Granularity for Mining Frequent Sequences

Asma Ben Zakour , Sofian Maabout , Mohamed Mosbah , Marc Sistiaga
Fabrice Guillet; Bruno Pinaud ; Gilles Venturini ; Djamel Abdelkader Zighed. Advances in Knowledge Discovery and Management, Springer International Publishing, pp.53-76, 2014, Studies in Computational Intelligence, 978-3-319-02998-6. ⟨10.1007/978-3-319-02999-3_4⟩
Book sections hal-00923475v1

Collecte d'informations par des agents mobiles

Shehla Abbas , Mohamed Mosbah , Akka Zemmari
NOuvelles TEchnologies de la REpartition, NOTERE 2007, 2007, Marakech, Maroc. pp.139-148
Conference papers hal-00306283v1

A DSL Framework for Policy-Based Security of Distributed Systems

Hédi Hamdi , Mohamed Mosbah
Third IEEE International Conference on Secure Software Integration and Reliability Improvement, Jul 2009, Shanghai, China. pp.150 - 158, ⟨10.1109/SSIRI.2009.7⟩
Conference papers hal-00579194v1

Refinement-based Verification of Local Synchronization Algorithms

Dominique Méry , Mohamed Mosbah , Mohamed Tounsi
17TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, Jun 2011, Limerick, Ireland. à paraître
Conference papers hal-00579252v1

Fast Distributed Graph Partition and Application (Extended Abstract)

B. Derbel , Mohamed Mosbah , Akka Zemmari
$20^{th}$ IEEE International Parallel & Distributed Processing Symposium (IPDPS), 2006, Greece. pp.électronique
Conference papers hal-00307546v1

Reducing Disturbances by Using Absorption Areas

Vu Duong , Frederic Ferchaud , Cyril Gavoille , Mohamed Mosbah
$1^{st}$ International Conference on Research in Air Transportation (ICRAT), 2004, Slovakia. pp.111-115
Conference papers hal-00307510v1

Convex Drawings of 3-Connected Planar Graphs - (Extended Abstract)

Nicolas Bonichon , S. Felsner , Mohamed Mosbah
Graph Drawing: 12th International Symposium, GD 2004, 2004, United States. pp.60--70
Conference papers hal-00307595v1

A Formal Approach for Maintaining Forest Topologies in Dynamic Networks

Faten Fakhfakh , Mohamed Tounsi , Mohamed Mosbah , Ahmed Hadj Kacem , Dominique Méry et al.
ICIS 2017 - 16th IEEE/ACIS International Conference on Computer and Information Science, May 2017, Wuhan, China. pp.123-137, ⟨10.1007/978-3-319-60170-0_9⟩
Conference papers hal-01495807v1

Delay-aware VNF placement and chaining based on a flexible resource allocation approach

Abdelhamid Alleg , Toufik Ahmed , Mohamed Mosbah , Roberto Riggio , Raouf Boutaba et al.
2017 13th International Conference on Network and Service Management (CNSM), Nov 2017, Tokyo, France. ⟨10.23919/CNSM.2017.8255993⟩
Conference papers hal-01831893v1