Séminaires du laboratoire

Le séminaire du laboratoire LIAS est un rendez-vous mensuel où doctorants, permanents et chercheurs invités viennent exposer leurs travaux publiés ou en cours autour des thématiques du laboratoire.

A venir

TBA

Passés

2 février 2017 de 13h00 à 13h45, Chourouk Belheouane, salle de réunion du LIAS/ISAE-ENSMA, Réponses Coopératives dans le Contexte des Bases de Données Incertaines 

30 janvier 2017 de 10h00 à 13h00, Olga GOUBALI, salle Amphi BE du bâtiment enseignement SP2MI, Soutenance de thèse, Apport de la programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande

13 décembre 2016 de 10h00 à 13h00, Selma BOUARAR, salle A101 de l'ISAE-ENSMA, Soutenance de thèse, Vers une conception logique et physique des bases de données avancées dirigée par la variabilité

12 décembre 2016 de 10h00 à 13h00, GUETMI Nadir, salle A101 de l'ISAE-ENSMA, Soutenance de thèse, Modèles de conception pour des applications collaboratives mobiles dans le Cloud

12 décembre 2016 de 10h00 à 13h00, BOUKORCA Ahcene, salle A101 de l'ISAE-ENSMA, Soutenance de thèse, Hypergraphs in the service of very large scale query optimization - Application : data warehousing

21 novembre 2016 de 10h00 à 13h00, GERAUD Fokou, salle A101 de l'ISAE-ENSMA, Soutenance de thèse, Conception d'un Framework pour la relaxation des requêtes SPARQL

10 novembre 2016 de 15h45 à 16h30, Abdelkim Ali Zazou, salle de réunion du LIAS/ISAE-ENSMA, Reconfiguration du réseau électrique de distribution basé sur le problème du flot à coût minimum 

10 novembre 2016 de 15h à 15h30, Ibrahim Dellal, salle de réunion du LIAS/ISAE-ENSMA, Management and Exploitation of Large and Uncertain Knowledge Bases

With the development of numerous Semantic Web applications, several larges Knowledge Bases (KBs) have recently been created and are available on the Web. An important characteristic of these KBs is that they contain a large number of uncertain data (e.g., Knowledge Vault contains 1.6 billion instance associated with probabilities of fact correctness). The causes for this uncertainty are multiple and diverse. It may result from the integration of data sources that have different levels of confidence. It may also be related to confidentiality, lack of information, evolution of data or limits of measure equipment. The tackles the issue of intelligent exploitation of uncertain KBs. My contributions cover the representation of uncertain knowledge as well as proposing some techniques to facilitate the management and exploitation of uncertain KB.

19 octobre 2016 de 14h30 à 15h30, Yves Mouafo, salle de réunion du LIAS/ISAE-ENSMA, Tolérance aux pannes des systèmes temps-réel multicœurs ordonnancée par un algorithme équitable (fichier)

23 septembre 2016 de 10h00 à 13h00, Guillaume PHAVORIN, salle A101 de l'ISAE-ENSMA, Soutenance de thèse, Hard Real-Time Scheduling subjected to Cache-Related Preemption Delays

11 juillet 2016 de 14h à 14h45, Cyrille Ponchateau, salle de réunion du LIAS/ISAE-ENSMA, Time Series representations: a state-of-the-art (fichier)

Avec l’émergence et la multiplication des applications du Web sémantique, de nombreuses et récentes larges bases de connaissances (BC) sont disponibles sur le Web.  Une caractérisation essentielle de ces BC est qu’elles contiennent des millions à des billions de données incertaines. Les causes de cette incertitude sont diverses et multiples. Elle peut résulter de l’intégration de sources de données de différents niveaux de fiabilité ou elle peut être causée par des considérations de préservation de la confidentialité.  Aussi, elle peut être due à des facteurs liés au manque d’informations, à la limitation des équipements de mesures ou à l’évolution d’informations..

30 juin 2016 de 14h45 à 15h30, Mickael Baron, salle de réunion du LIAS/ISAE-ENSMA, l'intégration continue au LIAS (fichier)

30 juin 2016 de 14h à 14h45, Saida Elmi, salle de réunion du LIAS/ISAE-ENSMA, Skyline Analysis over Uncertain Data

29 juin 2016 de 14h à 14h30, Nassima Benammar, salle de réunion du LIAS/ISAE-ENSMA, Tighter buffer dimensioning in AFDX networks (fichier)

17 mai de 10h à 11h, Sabeur Aridhi, salle de réunion du LIAS/ISAE-ENSMA : Big Graph Analytics: Frameworks and Techniques

17 mai de 11h à 12h, Rouaa Wannous, salle de réunion du LIAS/ISAE-ENSMA : connaissances des données en utilisant des propriétés spatio-temporelles 

17 mai de 14h à 15h, Angelo Furno, salle de réunion du LIAS/ISAE-ENSMA : Mining Human Behaviors from Large-scale Datasets

17 mai de 15h à 16h, Amin Mesmoudi, salle de réunion du LIAS/ISAE-ENSMA : traitement parallèle et déclaratif de requêtes sur des masses de données issues d’observations astronomiques

3 mai 2016, Lucile Sautot, salle B310 ISAE-ENSMA : conception et implémentation semi-automatique des entrepôts de données : application aux données écologiques

3 mai 2016, Radu Ciucanu (Post-doctorant, University of Oxford), salle de réunion du LIAS/ISAE-ENSMA : intégration de données hétérogènes et compressées

3 mai 2016, Nicolas Dugué (Post-doctorant, Loria, Nancy), salle de réunion du LIAS/ISAE-ENSMA : outils d'apprentissage automatiques pour analyser une base de publications

2 mai 2016, Marouane Hachicha (Post-doctorant, LINA, Université de Nantes), salle de réunion du LIAS/ISAE-ENSMA : modélisation et analyse de données multidimensionnelles, analyse des graphes et crowdsourcing dans un objectif d'aide à la décision

2 mai 2016, Julien Aligon (Post-doctorant, LINA, Université de Nantes), salle de réunion du LIAS/ISAE-ENSMA : Analyse de traces et systèmes centrés utilisateur

30 mars 2016, Lahcène Brahimi (Doctorant, LIAS ISAE/ENSMA, Poitiers), salle de réunion du LIAS/ISAE-ENSMA : More Transparency in Testing Results: Towards an Open Collective Knowledge Base (fichier)

We are currently witnessing on explosion of advances in database technology, that cover all phases of database application design: non-functional requirements, conceptual modeling, logical modeling, deployment, physical design and exploitation. Researchers and engineers cooperate to integrate these advances in the database design. Their proposed solutions have to be confronted with similar studies whose results have been either published in scientific papers or on specific websites such as that of TPC (the Transaction Processing Council). Recently, several researchers have highlighted difficulties in reproducing the results of existing studies. As a consequence, certain research communities require that the environment and the results of the testing activities have to be published in order to facilitate their reproduction, to publish their simulator environments, in order to allow evaluators to perform by their own the experiments. For this purpose, we firstly advocate the transparency of testing in the database field. Secondly, we propose the use of a repository dedicated to store testing environment and results. The environment includes used data sets, deployment platform, non-functional requirements, used algorithms, hypotheses, etc. and the results completed with their measurement units measures. Finally, we show one of the benefits of having such a repository: A recommender system for the problem of selecting appropriate DBMS for office design companies.

10 décembre 2015, Badran Raddaoui (ATER, ENSIP, Poitiers), salle de réunion du LIAS/ISAE-ENSMA : Analyzing and Evaluating Conflicts in Knowledge Bases

8 octobre 2015, Pascal Richard (LIAS/ISAE-ENSMA), salle de réunion du LIAS/ISAE-ENSMA : Cache-related scheduling problems

10 juillet 2015, Michael Deffort (LAMIH, Valenciennes), salle de réunion du LIAS/ENSIP : Commande collaborative pour la robotique mobile

7 juillet 2015, séminaire équipe IDD, salle de réunion du LIAS/ISAE-ENSMA

  • Sarar Hammar, LIAS, Évaluation de benchmarks pour les données massivement volumineuses
  • Florent Albert, LIAS, Entrepôts de modèles, application aux données issues de l'automatique

16 juin 2015, Jose Ramos (Nova Southeastern University, Fort Lauderdale, Florida, USA): 2-D Modeling and Compression of Images Using Time Domain Equivalent Methods

9 juin 2015, Max Potters (Delft University of Technology), salle de réunion du LIAS/ENSIP : Experiment Design in Distributed Parameter Systems

Accurate estimation of key parameters in Distributed Parameter Systems (DPS) is of great importance in many fields in science. Examples abound in thermodynamics, hydrology, and reservoir engineering. In this presentation, we consider the problem of finding the experiment conditions that deliver parameter estimates that honor user-chosen variance constraints at minimal experiment cost. .We tackle this problem by invoking the classical least-costly experiment design framework. The classical framework – that has so far been used in finite-order systems – cannot be directly applied to DPS systems. In this presentation, we show how to adapt the framework to DPS systems, and also how degrees of freedom in the experiment set-up can be included. We illustrate our work on a Pressure Oscillation experiment set-up that is used in geosciences to estimate the permeability and porosity of rock in oil reservoirs. These parameters are used in oil flow simulations and for predicting the oil volume that can be extracted from the reservoir.

26 février 2015, Rim Moussa (Post-doctorante, Montpellier), salle de réunion LIAS/ISAE-ENSMA : Ecosystème Hadoop & Cas d'Utilisation (fichier)

Les technologies NoSQL se proposent de pallier aux problèmes de traitement de grands volumes de données et de montée en charge par le calcul massivement parallèle. L’écosystème Apache Hadoop implante le calcul massivement parallèle dans ses diffèrents sous-projets. Le séminaire porte sur l'écosystème Hadoop, dans sa nouvelle version YARN, et présente des cas d’utilisation.

30 janvier 2015, Laurentiu Hetel (LAGIS Lille), salle de réunion LIAS/ENSIP : Analysis and design of networked control systems with aperiodic sampling

Embedded and networked control systems are often required to share a limited amount of computational and transmission resources between different applications. This may lead to fluctuations  of the sampling interval, due to the interaction between real-time control algorithms and task / communication scheduling protocols From the control theory point of view, these variations in the sampling interval need to be treated in a robust manner since they may have a destabilizing effect if they are not properly taken into account. Furthermore, aperiodic controller implementations may actually have interesting properties in distributed control applications, when explicitly evaluating energy, computation and communication costs.  The new trend in control is to intentionally modify the sampling interval as an additional control parameter using event- and self-triggering control schemes. This presentation is focused on the stability of networked control systems  with time-varying sampling intervals. Basic concepts and recent research directions will be presented. An overview of time-delay, hybrid, discrete-time and input-output models for systems with aperiodic sampling  will be given and specific analysis tools will be introduced. At last, an emerging topic concerning the design of stabilizing state-dependent sampling laws will be discussed.

15 janvier 2015, Timothy E. Wang (Georgia Tech, USA), salle de réunion LIAS/ISAE-ENSMA : Credible Autocoding of Control systems with Time Delays

Formal methods is a discipline of using a collection of mathematical techniques and formal languages to model and analyze software systems. Motivated by the new formal-methods based certification recommendations for safety-critical embedded software and the massive increase in the cost of verification and validation (V&V),  our current research efforts has led to an automated, credible auto-coding prototype for control systems. The credible auto-coding prototype transforms the Simulink model of the controller into not only the C code, but also formal guarantees of high level functional properties, expressed using a formal specification language, and embedded into the code as annotations.  The formal guarantees are obtained by leveraging domain specific knowledge from control theory. The annotations serve as a proof that the auto-generated controller code conforms to the input model and provide the necessary information to enable an independent, automatic, formal verification of the code. As a demonstration of the utility of the annotations, we have also produced a prototype analyzer, based on classic techniques from formal methods, that is capable of automatically verifying the annotated code.

We have previously made an assumption of zero time delays in the formal verification of the generated controller code. However for real-time control systems, the complex timing issues that arise during the actual execution of the on-board software cannot be ignored. In the context of credible auto-coding, we want to further leverage the existing body of knowledge from control theory regarding the behaviors of control systems under timing uncertainties such as delays, jitters, etc.   We seek to be able to transform that knowledge in an automatic way, into a form that useful for the formal verification of real-time control software with time delays.

Short bio: I am currently a PhD student in the Department of Aerospace Engineering at Georgia Tech in Atlanta, Georgia.  My research interest is in the application of control theory in the formal verification of on-board control software. Previously, I received BS/MS degrees in Aerospace Engineering also from Georgia Tech. I hail originally from New Jersey, but since high school, I've been in either in the Atlanta area or Minnesota with the occasional extended stays in places like France, Washington D.C. and California.  

6 novembre 2014, Selma Bouarar (Doctorante, LIAS ISAE/ENSMA, Poitiers), salle de réunion LIAS/ISAE-ENSMA: Database as a Software Product Line, On the Way to a Variability-Aware Development Life Cycle (fichier)

Software product lines have proved to be very successful in achieving a strategic reuse, and become a successful development methodology in many domains in building families of similar systems: avionic systems, mobile phones, medical devices, etc. Simultaneously, data is omnipresent in all organizations and usually managed by databases management systems of different types. Given the evolving requirements of nowadays DB applications, the DB design life-cycle is in continuous evolution (new data models, optimization structures, deployment layouts, etc.); hence database users need even more assistance during the design process. Surprisingly, and to the best of our knowledge, no general method exists to date for dealing with the whole design of a database, while taking into account the variability management. However, some existing approaches present isolated solutions, indicating even more the need for a holistic variability-aware development of database systems. We propose an SPL-inspired methodological framework for a variability-aware design of database. The framework allows developers to derive ready-to-be-implemented database applications, by composing features related to database technology.

6 novembre 2014, Brice Chardin (Maître de Conférences, LIAS ISAE/ENSMA, Poitiers), salle de réunion LIAS/ISAE-ENSMA: Découverte de règles dans les bases de données avec RQL (fichier)

RQL (pour Rule Query Language) est un langage de requêtes à la SQL qui étend et généralise les dépendances fonctionnelles à de nouvelles catégories de règles. RQL apporte aux analystes de données un outil pratique pour découvrir les implications logiques entre attributs d'une base de données. Ces implications peuvent mettre en évidence des problèmes de qualité de données ou de nouvelles corrélations inattendues entre les attributs. Le traitement de ces requêtes RQL est basé sur une technique de réécriture qui délègue un maximum de calculs au SGBD sous-jacent. Cette contribution vise à renforcer le lien entre la fouille de données et les bases de données et de faciliter l'utilisation de techniques de fouille par des analystes ou des étudiants habitués au SQL.

16 juin 2014, José Ramos (Nova Southeastern University, Fort Lauderdale, Florida, USA), salle de réunion LIAS/ENSIP : 2-D Modeling and Compression of Images Using Time Domain Equivalent Methods

In this seminar I will present recent results in modeling and compression of images. Previous work in this area led to very accurate image models using subspace system identification algorithms. However, a drawback of this approach is that for compression purposes, the residuals of the model have to be compressed, along with the parameters of the model. The residual image has the same dimensions as the original image, but with much smaller amplitude. As a result, the residual image does not need the same number of bits/pixel as the original image. This still represents a reduction in the number of bits/pixels needed to encode the image. But what if we could de-noise the image up front and then build a deterministic model from it? Such approach would not require encoding the residuals. This could lead to much larger compression ratios than with our previous work. In this talk I will start with the hypothesis of whether or not a time  domain signal can be de-noised first and then modeled with a deterministic model. The feasibility of this hypothesis can lead to an extension to 2-D images. A relatively new concept known as singular spectrum analysis (SSA) seems to be an affirmative answer to the 1-D hypothesis. This is done via a series of examples and modeling exercises including both state space and AM-FM models. An extension to 2-D is known as 2-D singular spectrum (2DSSA). SSA in general is a nonparametric technique used for extracting trends, periodicities, and noise from a signal. Removing the noise from the image leads to the possibility of working in a deterministic setting. Thus our extension is a parametric one. Here also we use a deterministic autonomous state space model as well as an AM-FM model but in the spatial domain (2-D). We show the feasibility of this approach via a detailed example and compare the results with a frequency domain approach based on Gabor filters. Conclusions are drawn and further directions of research in this area are outlined.

10 avril 2014, Ramin Karimi (Doctorant, Université de Debrecen, Hongrie), salle de réunion du LIAS/ISAE-ENSMA : Bitmap indexes and NoSQL for identifying species with DNA signatures through metagenomics samples (fichier)

DNA signature is a short nucleotide sequence fragment which is used to distinguish species across all other species. It can be a basis for identify microorganisms both in environmental and clinical samples directly from the short reads (Output of Sequencer machines), without assembling and alignment processes. We are trying to use an optimization technique from database technology which is the bitmap index. They are used for speeding up the research and the matching of millions or billions of DNA signatures in the short reads of hundreds or thousands of different microorganisms all together using commodity High Performance Computing including Hadoop MapReduce, Hive and Hbase.

10 avril 2014, Géraud Fokou (Doctorant, LIAS ISAE/ENSMA, Poitiers), salle de réunion du LIAS/ISAE-ENSMA : Conception d'un framework pour le traitement coopératif des requêtes (fichier)

Les changements fréquents des bases de données sémantiques tant au niveau du contenu (échanges et partages) qu'au niveau de la structure (formalisation et flexibilité), rendent les requêtes obsolètes et incomplètes retournant donc des réponses vides aux utilisateurs. Nous nous intéressons aux moyens d'éviter le retour des résultats vides aux utilisateurs. Notre travail porte sur la relaxation des requêtes dans les bases de données sémantiques avec pour objectif la réalisation d'un framework pour le traitement coopératif des requêtes. Il s'agit de proposer un ensemble de méthodes de relaxation des requêtes et un ensemble d'outils et de primitives associées qui permettront la mise en oeuvre optimale et personnalisée de ces processus.

27 mars 2014, séminaires de l'équipe Temps Réel, salle de réunion du LIAS/ISAE-ENSMA

  • Guillaume Phavorin et Pascal Richard : Interactions between WCET analysis and scheduling
  • Emmanuel Grolleau : Simulation intervals for real-time scheduling

27 février 2014, Abdelkrim Ali Zazou (Doctorant, LIAS/ISAE-ENSMA, Poitiers), salle de réunion du LIAS/ISAE-ENSMA : Optimisation du réseau de distribution SRD 

30 janvier 2014, Amine Roukh (Doctorant, Université de Mostaganem, Algérie), salle de réunion du LIAS/ISAE-ENSMA : Energie dans les Bases de Données (fichier)

30 janvier 2014, Laurentiu HETEL (Ecole Centrale de Lille, 30 janvier 2014), salle de réunion LIAS/ENSIP : Analysis and design of networked control systems with aperiodic sampling

30 janvier 2014, Bery MBAIOSSOUM (Doctorant, LIAS ISAE/ENSMA, Poitiers), salle de réunion du LIAS/ISAE-ENSMA : Vues matérialisées dans les Bases de Données Sémantiques

23 janvier 2014, Olivier Prot (XLIM DMI, Limoges), salle de réuion LIAS/ENSIP : Outils pour le calcul de la norme H_\infty avec application en commande et en identification 

16 janvier 2014, Ahcène Boukorca (Doctorant, LIAS ISAE/ENSMA, Poitiers), salle de réunion du LIAS/ISAE-ENSMA : Circuits électroniques au service de l'optimisation multi-requêtes (fichier)

Dans la première génération des bases de données, les optimiseurs étaient conçus pour optimiser des requêtes individuelles. Après l'identification des interactions entre les requêtes, des travaux ont été proposés pour offrir une optimisation globale d'une charge de requêtes. La difficulté de cette optimisation est l'identification des expressions communes entre les requêtes. Pour résoudre ce problème, des solutions basées sur la fusion des plans individuels ont été proposées, mais celles-ci soufrent du problème de passage à l'échelle. Après avoir constaté l'analogie entre circuit électronique et plan global, nous proposons une approche de génération du plan global sans passer par les plans individuels en utilisant la théorie de graphes fortement utilisée dans le domaine des circuits intégrés.

16 janvier 2014, Kevin Royer (Doctorant, LIAS ISAE/ENSMA, Poitiers), salle de réunion du LIAS/ISAE-ENSMA: Une démarche modulaire de construction d'ontologie : le cas de la mobilité électrique (fichier)

Les ontologies sont devenues des outils performants pour la description et la gestion de données. Toutefois l’exploitation d’ontologies entre plusieurs industriels reste rare. Les méthodes de création d’ontologies se présentent comme une surcouche appliquée à un domaine connu. Or ces méthodes sont coûteuses en temps. C’est pourquoi nous proposons une nouvelle méthode de création d’ontologies. Le design de l'ontologie obtenu avec notre méthode permet de déployer et d'exploiter aisément un entrepôt de données. Afin d'améliorer la gestion des données et des connaissances nous proposons une grille d'analyse basée sur la théorie des jeux.

9 janvier 2014, Claire Maiza (VERIMAG/ENSIMAG), salle de réunion du LIAS/ISAE-ENSMA : Delays due to interferences in multi-task or multi-core real-time systems: the example of cache-related preemption cost

In multi-task systems with cache memory, the preempted task may suffer some cache reloads due to the fact that the preempting task accesses the cache memory during the preemption. These reloads are bounded to constitute the cache-related preemption delay (CRPD). In the presentation I will give an idea on how the CRPD is estimated and how to take it precisely into account in the schedulability analysis. Bounding interferences by delays is the usual way of analyzing multi-core systems. I will show the main issues of timing analysis for programs executed on multi-core platforms. Bio sketch: Claire Maïza est Maître de Conférences à l’ENSIMAG. Elle effectue ses recherches en analyse temporelle des programmes temps réel dans le laboratoire VERIMAG à Grenoble.

11 décembre 2013, Marco Di Natale (Scuola Superiore Sant’Anna, Pise), salle de réunion du LIAS/ISAE-ENSMA : Modeling and analysis of real-time systems

The presention will cover the following topics:  (i) Integration of heterogeneous models (Simulink + Ecore/SysML) in the model-based design of real-time systems; (ii) from Analysis to synthesis, the next step in the use of real-time schedulability theory in the design of embedded systems; (iii) Scheduling of Tasks obtained from Synchronous State Machines: similarities with the digraph task models. Bio sketch: Marco DiNatale is professor at Scuola Superiore Sant’Anna (Pisa, Italy) – (for more information, see http://retis.sssup.it/~marco/ ).

7 novembre 2013, Brice Chardin (Maître de Conférences, LIAS ISAE/ENSMA, Poitiers), salle de réunion du LIAS/ISAE-ENSMA : Impact des mémoires flash sur la gestion de données (fichier)

Les mémoires flash sont une solution alternative aux disques durs pour le stockage des données. Bien que la transition d'une technologie à une autre soit facilitée par des interfaces compatibles, les différences de fonctionnement interne ont un impact sur leurs performances respectives : un simple changement de matériel ne suffit généralement pas à exploiter au maximum le potentiel des mémoires flash. Les applications doivent alors s'adapter pour optimiser leurs accès.

7 novembre 2013, Thomas Lachaume (Doctorant, LIAS ISAE/ENSMA, Poitiers), salle de réunion du LIAS/ISAE-ENSMA : Un simulateur de modèle de tâches dans la conception centrée utilisateur : ProtoTask (fichier)

Aujourd’hui, les méthodes de conception centrées utilisateurs ont montré leur efficacité par rapport aux cycles centrés systèmes. L’implication et la prise en compte de l’utilisateur tout au long du développement d’une application interactive en sont les points clés. Dans ce cadre, l’utilisation de modèles de tâches est une solution aidant à mettre en place une analyse des besoins de l’interaction de l’utilisateur sur le système. ProtoTask a été créé pour aider à la validation de ces modèles et favoriser l’échange entre les différents intervenants d’un projet.

30 septembre 2013, exposés des doctorants, Amphi A101 LIAS/ISAE-ENSMA

  • Thomas Lachaume 
  • Georges Kemayo 
  • Ping Dai 
  • Baya Hadid 
  • Lamine Masmoudi 
  • Fayçal Bensmaine 
  • Daniel Vizer

16 septembre 2013, Pedro Furtado (Université de Coimbra, Portugal), salle de réunion du LIAS/ISAE-ENSMA : Big Data Warehousing

16 mai 2013, Séminaires de recherche, salle de réunion du LIAS/ISAE-ENSMA

  • Cyril Faucher (L3I, La Rochelle) : Modélisation d'événements composites répétitifs, propriétés et relations temporelles
  • Imen Mami (Université Montpellier 2) :  A Declarative Approach to Modeling and Solving the View Selection Problem
  • Brice Chardin (INSA Lyon) : SGBD open-source pour historisation de données et impact des mémoires flash
  • Ounas Asfari (Supelec) : Personalized Access to Contextual Information by using an Assistant for Query Reformulation

15 mai 2013, Sami Bhiri (Université Nancy 1), salle de réunion du LIAS/ISAE-ENSMA : Approche Transactionnelle pour Assurer des Compositions Fiables de Services Web 

14 mai 2013, Karim Benouaret (Université de Lyon 1), salle de réunion du LIAS/ISAE-ENSMA : Advanced Techniques for Web Service Query Optimization

15 avril 2013, Zoé Faget (LIAS), salle de réunion du LIAS/ISAE-ENSMA : Fragmentation

29 janvier 2013, Laure Berti-Equille (IRD), salle de réunion du LIAS/ISAE-ENSMA : Qualité des données

11 octobre 2012, Sébastien Bress (University of Magdeburg, Allemagne), salle de réunion du LIAS/ISAE-ENSMA : GPU

5 octobre 2012, Olivier Bachelier et Erik Etien (LIAS/ENSIP), salle de réunion du LIAS/ENSIP : machines synchrones à aimants

4 juillet 2012, José Ramos (Nova Southestern University, Fort Lauderdale, Florida, USA), salle de réunion du LIAS/ENSIP : Identification de systèmes n-D

15 mai 2012, Nabil Hameurlain (Université de Pau), salle de réunion du LIAS/ISAE-ENSMA : composants rôles pour la coordination de l'intéropérabilité des agents logiciels

10 mai 2012, Miklos Zoltan (Ecole Polytechnique Fédérale de Lausanne), salle de réunion du LIAS/ISAE-ENSMA : schéma réconciliation dans un réseau de bases de données

27 avril 2012, Dominique Bertrand (INRIA), salle de réunion du LIAS/ISAE-ENSMA : Robustesse des systèmes temps réel embarqués

27 avril 2012, Henri Bauer (ATER, IRIT, Toulouse), salle de réunion du LIAS/ISAE-ENSMA : Validation de réseaux AFDX

13 avril 2012, Allel Hadjali (Maître de Conférences HDR, Université de Rennes 1), salle de réunion du LIAS/ISAE-ENSMA : Logique floue

29 mars 2012, Séminaire ingénierie dirigée par les modèles et systèmes embarqués, salle de réunion du LIAS/ISAE-ENSMA

  • 11h15 - Sébastien Gérard, CEA LIST/LISE, Présentation du CEA/LIST
  • 11h45 - Sara Tucci, CEA LIST/LISE, “A model-based approach for timing requirement-driven development of embedded systems”
  • 13h30 - Yassine Ouhammou, LIAS, "Modélisation des systèmes embarqués temps réel en vue de leur validation"

15 mars 2012, Moustapha Bikienga (Doctorant, LIAS ISAE/ENSMA, Poitiers), salle de réunion du LIAS/ISAE-ENSMA : Systèmes d'exploitation temps réel

15 mars 2012, Georges Kemayo (Doctorant, LIAS ISAE/ENSMA, Poitiers), salle de réunion du LIAS/ISAE-ENSMA : La méthode des trajectoires

10 janvier 2012, Georges Kemayo (Doctorant, LIAS ISAE/ENSMA, Poitiers), salle de réunion du LIAS/ISAE-ENSMA : Réseaux embarqués dans l'avionique 

8 novembre 2011, Jalil Boukhobza (Université de Bretagne Occidentale), salle de réunion du LIAS/ISAE-ENSMA : C-lash flash system

Prices of NAND flash memories are falling drastically due to market growth and fabrication process mastering while research efforts from a technological point of view in terms of endurance and density are very active. NAND flash memories are becoming the most important storage media in mobile computing and tend to be less confined to this area. The major constraint of such a technology is the limited number of possible erase operations per block which tend to quickly provoke memory wear out. To cope with this issue, state-of-the-art solutions implement wear leveling policies to level the wear out of the memory and so increase its lifetime. These policies are integrated into the Flash Translation Layer (FTL) and greatly contribute in decreasing the write performance. In this presentation, we will briefly describe our contributions for flash memory based storage systems. We will introduce C-lash, a cache system we designed to replace wear leveling techniques for a given number of applications. Also will be presented a collaborative cache/FTL mechanism allowing to cope with the random I/O issues observed in many workloads. We will finish up the presentation by introducing some tools we developed around flash memory storage systems and some reflections on I/O workloads and how to interface our work with data base system designers.

20 juin 2011, Carlos Ordonnez (Université de Houston, USA), salle de réunion du LIAS/ISAE-ENSMA : Integrating Database Systems and Data Mining Algorithms

Data mining remains an important research area in database systems and a major challenge in computer science. We present a review of processing alternatives, storage mechanisms, algorithms, data structures and optimizations that enable data mining on large data sets. We focus on the computation of well-known multidimensional statistical and machine learning models. We pay particular attention to SQL (together with UDFs) and MapReduce as two competing technologies for large scale processing, especially with parallel computing. We conclude with a summary of solved major problems and open research issues.

8 avril 2011, Ahmed Mostefaoui (Maître de Conférences, Université de France-Comté, LIFC, EA 4269), salle de réunion du LIAS/ISAE-ENSMA  : Distributed Multimedia Systems and Networking, Wireless and Mobile Ad hoc and SEnsor Networks

20 au 26 mars 2011, Wojciech PASZKE (Université de Zielona Gora, Pologne): An nD approach to some applications of Iterative Learning Control (ILC)

15 février 2011, Houcem Kanoun (Doctorant, LIAS ENSIP, Poitiers), salle de réunion du LIAS/ENSIP : Modélisation fractionnaire d'un super condensateur