Informatique des systèmes complexes

Domaines d'expertise

Intelligence artificielle, Algorithmique numérique distribuée, réseaux mobiles, systèmes distribués, vérification et validation de logiciels et de dispositifs embarqués, optimisation, ordonnancement., matière programmable, Internet des Objets.

Axes de recherche

Quatre équipes de recherche chacune spécialisée dans :

• L’Algorithmique Numérique Distribuée
  • Intelligence artificielle et réseaux de neurones profonds
  • Traitement d’images sur architectures spécifiques
  • Sécurité et chiffrement
  • Algorithmes distribués pour l’IoT
• Le Design and Evaluation Of DIstributed Systems
  • Réseaux de capteurs sans fil et systèmes limités en ressources
  • Algorithmique pour la collaboration distribuée et l’ordonnancement
• L’Optimisation, Mobility, NetworkIng
  • DiMems (Distributed Intelligent Micro Systems)
  • Réseaux sans fil et mobilité
  • Planification et Ordonnancement
• La Vérification et validation de logiciels et de systèmes embarqués
  • Test à partir de modèles ; applications à la sécurité et aux systèmes embarqués
  • Algorithmique des modèles finis ; applications à la vérification

Exemples de Réalisations

Algorithmique Numérique Distribuée

• Ke Du, Stéphane Domas, Michel Lenczner, Actors with stretchable access patterns, Integration the VLSI journal
• Ahmad Farhat, Christophe Guyeux, Mohammed Haddad, Mourad Hakem, Energy-Efficiency and Coverage Quality Management for Reliable Diagnostics in Wireless Sensor Networks, International Journal of Sensor Networks
• Selene Cerna, Christophe Guyeux, Guillaume Royer, Céline Chevallier, Guillaume Plumerel, Predicting Fire Brigades Operational Breakdowns: A Real Case Study, Mathematics
• Gilles Perrot, Stéphane Domas, Raphael Couturier, An optimized GPU-based 2D convolution implementation, Concurrency and Computation: Practice and Experience

Design and Evaluation Of DIstributed Systems

• Lisa Corbat, Julien Henriet, Yann Chaussy, Jean-Christophe Lapayre, Fusion of multiple segmentations of medical images using OV2ASSION and Deep Learning methods: Application to CT-Scans for tumoral kidney, Computers in Biology and Medecine
• Florent Marie, Lisa Corbat, Yann Chaussy, Julien Henriet, Jean-Christophe Lapayre, Segmentation of deformed kidneys and nephroblastoma using Case-Based Reasoning and Convolutional Neural Network, Expert Systems with Applications
• Lisa Corbat, Julien Henriet, Jean-Christophe Lapayre, Conflict management in the fusion of complementary segmentations of deformed kidneys and nephroblastoma, Medical Image Analysis
• Anne Benoit, Mathias Coqblin, Jean-Marc, Nicod, Veronika Sonigo, Optimizing memory allocation for multi stage scheduling including setup times, Journal of Scheduling

Optimisation, Mobility, NetworkIng

• Pierre Thalamy, Benoit Piranda, Frédéric Lassabe, Julien Bourgeois, Deterministic Scaffold Assembly By Self-Reconfiguring Micro-Robotic Swarms, Swarm and Evolutionary Computation
• Pierre Thalamy, Benoit Piranda, Julien Bourgeois, A survey of autonomous self-reconfiguration methods for robot-based programmable matter, Robotics and Autonomous Systems
• Lina Aliouat, Hakim Mabed, Julien Bourgeois, Efficient routing protocol for concave unstable terahertz nanonetworks, Computer Networks
• Haithem Skima, Christophe Varnier, Eugen Dedu, Kamal Medjaher, Julien Bourgeois, Post-Prognostics Decision Making in Distributed MEMS-Based Systems, Journal of Intelligent Manufacturing

Vérification et validation de logiciels et de systèmes embarqués

• Samir Chouali, Julien Dormoy, Ahmed Hammad, Jean-Michel Hufflen, Sebti Mouelhi, Olga Kouchnarenko, Olga, Hassan Mountassir, Burno Tatibouet, Assemblage des composants digne de confiance : de l'ingénierie des besoins aux spécifications formelles, Génie Logiciel
• Mohammed-Amine Merzoug, Azzedine Boukerche, Ahmed Mostefaoui, Samir Chouali, Spreading Aggregation: A distributed collision-free approach for data aggregation in large-scale wireless sensor networks, Journal of Parallel and Distributed Computing
• Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouet, A first attempt to combine SysML requirements diagrams and B, Innovations in Systems and Software Engineering
• Frédéric Dadeau, Jean Philippe Gros, Olga Kouchnarenko Testing adaptation policies for software components, Software Quality Journal