Research Reports
(48)
Pascal RICHARD, Joël Goossens, On the correctness of Gang EDF Scheduling of Parallel Task Systems, (2016-01)20810/CorrigendumKato2016.pdf
Chen, Jian-Jia, Nelissen, Geoffrey, Huang, Wen-Hung, Yang, Maolin, Brandenburg, Bjorn, Bletsas, Konstantinos, Liu, Cong, Pascal RICHARD, Frédéric RIDOUARD, Audsley, Neil, Rajkumar, Raj, Niz, Dionisio, Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems, (854)http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/2016-chen-techreport-854.pdfhttp://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/2016-chen-techreport-854.pdf
Djamal BELKASMI, Allel HADJALI, Hamid Azzoune, Relaxation des Requêtes Skyline: Une Approche Centrée Utilisateur, (103)20385/egc2016 version longue.pdf
Guillaume PHAVORIN, Pascal RICHARD, Cache-Related Preemption Delays and Real-Time Scheduling: A Survey for Uniprocessor Systems, (3)19296/survey.pdf
Guillaume PHAVORIN, Pascal RICHARD, Claire Maiza, Complexity of scheduling real-time tasks subjected to cache-related preemption delays, (02-2015)18099/rapport_recherche.pdf
Géraud FOKOU, Stéphane JEAN, Allel HADJALI, Mickael BARON, Cooperative Techniques for SPARQL Query Relaxation in RDF Databases, (2.0)16873/Report_MFS_XSS.pdf
Zahira CHOUIREF, Karim Benouaret, Allel HADJALI, Abdelkader Belkhir, Multi Matchmaking Approach for Semantic Web Services Selection based on Fuzzy Inference, (17032014)
Géraud FOKOU, Stéphane JEAN, Allel HADJALI, Endowing Semantic Query Languages with Advanced Relaxation Capabilities, (1.0)14619/Rapport.pdf
Emmanuel GROLLEAU, Joël Goossens, Liliana Cucu-Grosjean, On the periodic behavior of real-time schedulers on identical multiprocessor platforms, (arXiv 1305.3849)http://arxiv.org/abs/1305.3849http://arxiv.org/abs/1305.3849
Amira KERKAD, Ladjel BELLATRECHE, Dominique GENIET, Heuristics for Solving the Integrated Buffer Management and Query Scheduling Problem, (1), December, 20119618/2011-LISI-.pdf
Ladjel BELLATRECHE, Soumia BENKRID, Ahmad Ghazal, Alain Crolotte, Alfredo Cuzzocrea, Verification of Partitioning & Allocation Techniques on Teradata DBMS, LISI/ENSMA, LISI/ENSMA, 1 Avenue Clément Ader, 86960 Futuroscope, August, 20119563/2011-LISI-.pdf
Chedlia CHAKROUN, Ladjel BELLATRECHE, Yamine AIT-AMEUR, Ontological Concept Dependencies driven Approach to Design Ontology-Based Databases, LISI/ENSMA(3), February , 20119443/2011-LISI-3.pdf
Christian FOTSING, Annie CHOQUET-GENIET, Guy Vidal-Naquet, Définition Formelle et Construction des Arbres d'Ordonnancement, LISI, ENSMA, Janvier, 20119492/2011-LISI-.pdf
Rima BOUCHAKRI, Kamel BOUKHALFA, Ladjel BELLATRECHE, Requêtes Utilisées dans la Partie Expérimentale, LISI, 20119438/2011-LISI-.pdf
Henry Valéry TEGUIAK, Yamine AIT-AMEUR, Eric SARDET, Ladjel BELLATRECHE, MQL: an extension of SQL for mappings manipulation, LIAS/ISAE-ENSMA, 20119739/2011-LISI-.pdf
Rima BOUCHAKRI, Ladjel BELLATRECHE, ASADD: Attribute Similarity-Aware Database Designer for Partitioning and Indexes, LISI/ENSMA, September, 20109395/2010-LISI-3.pdf
Annie CHOQUET-GENIET, The scheduling algorithms PF and PD2 are monotonous, LISI(1), Juin, 20109166/2010-LISI-1.pdf
Christian FOTSING, Annie CHOQUET-GENIET, Guy Vidal-Naquet, Modélisation de la Prise en Compte de la Sémantique dans les Applications Temps-Réel: Concepts et Outils, LISI, ENSMA, Juin, 20109381/afadl.pdf
Sadouanouan MALO, Annie CHOQUET-GENIET, Moustapha BIKIENGA, PFairness for late released tasks with constrainde deadlines, LISI, 20109310/2010-LISI-2.pdf
Annie CHOQUET-GENIET, Christian FOTSING, Sadouanouan MALO, Scheduling of real-time applications with variable utilization factor using a PFair based aperiodic server, (1), Mars, 20098353/Geniet_Fotsing_Malo_Mars_09.pdf
Annie CHOQUET-GENIET, Sadouanouan MALO, Finding cyclic behaviour in multiprocessor scheduling, LISI, 20098360/2009-LISI-.pdf
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Chimène FANKAM, Stéphane JEAN, Guy PIERRA, Eric SARDET, Rapport Evaluation - Lot 1 (Tache 1.3) - Projet E-Wok-Hub, LISI / ENSMA, 2009
Kamel BOUKHALFA, Ladjel BELLATRECHE, Pascal RICHARD, Fragmentation Primaire et Dérivée: Étude de Complexité, Algorithmes de Sélection et Validation sous ORACLE10g, LISI(Rapport de Recherche, N° 01 -2008), Mars, 20088011/Boukhalfa-2008-LISI-.pdf
Ahmed RAHNI, Emmanuel GROLLEAU, Michael RICHARD, A Survey on Schedulability Analysis of Multiframe Tasks and Tasks with Offset, LISI/ENSMA , Université de Poitiers(2008-002), 2008
Guy PIERRA, Eric SARDET, Proposal for a XML representation of the PLIB ontology Model: OntoML, LISI/ENSMA(2007-01), Avril, 20077750/2007-LISI-2007-01.pdf
Ahmed RAHNI, Michael RICHARD, Emmanuel GROLLEAU, Nouvelle approche approximative d'analyse de temps de réponse, LISI/ENSMA , Université de Poitiers(2007-001), 2007
Yamine AIT-AMEUR, Chimène FANKAM, Stéphane JEAN, Guy PIERRA, Eric SARDET, Outils et Services de gestion des Ontologies - Lot 2 - Projet ANR E-Wok-Hub, LISI / ENSMA, 2007
Yamine AIT-AMEUR, Hondjack DEHAINSALA, Stéphane JEAN, Guy PIERRA, Eric SARDET, Persistance des données ontologiques avec OntoDB et langage d'exploitation OntoQL - Lot 3 - Projet E-Wok-Hub, LISI / ENSMA, 2007
Hondjack DEHAINSALA, Guy PIERRA, Ladjel BELLATRECHE, Managing Instance Data in Ontology-based Databases, LISI-ENSMA, LISI/ENSMA, Téléport 2, 1, ave. Clément Ader 86960 Futuroscope - France(003), august, 20067546/2006-LISI-003-DEHAINSALA.pdf
Chimène FANKAM, Vers une intégration des differentes approches de modélisation à base ontologique : application aux modèles PLIB et OWL, LISI, 20067656/2006-LISI-memoire.pdf
Karim TRAORE, Emmanuel GROLLEAU, Francis COTTET, Efficient Scheduling Analysis of Serial Transactions, LISI, LISI/ENSMA Laboratoire d’Informatique Scientifique et Industrielle École Nationale de Mécanique et d’Aérotechnique Téléport 2 – BP 40109 F-86961 Chasseneuil Futuroscope Cedex, France(06-001), Janvier, 20067393/2006-LISI-06-001.pdf
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Nadjet KAMEL, Jean-Marc MOTA, Démarche de Modélisation d'IHM avec B : LOT 2 (LISI/ENSMA), Projet RNRT VERBATIM, 20067864/2006-LISI-lot2.pdf
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Jean-Marc MOTA, Lionel Van-Aertryck, Validation d'IHM3 par animation de modèles B : LOT 4 (LISI/ENSMA)(SILICOMP/AQL), Projet RNRT VERBATIM, 20067877/2006-LISI-lot4.pdf
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Jean-Marc MOTA, Démarche de Modélisation d'IHM3 avec B et CTT : LOT 3 (LISI/ENSMA), Projet RNRT VERBATIM, 20067870/2006-LISI-lot3.pdf
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Modélisation et Validation formelles d'IHM : LOT 1 (LISI/ENSMA), LISI/ENSMA, 20057227/2005-LOT1-Verbatim.pdf
Guy PIERRA, Hondjack DEHAINSALA, Yamine AIT-AMEUR, Ladjel BELLATRECHE, Jérome CHOCHON, Mourad MIMOUNE, Base de Données à Base Ontologique : le modèle OntoDB, LISI-ENSMA(04-002), 20047026/2004-LISI-04-002.pdf
Guy PIERRA, Context-explication in conceptual ontologies: PLIB ontologies and their use for industrial data, LISI-ENSMA(04-001), 20047015/2004-LISI-04-001.pdf
Ladjel BELLATRECHE, Guy PIERRA, Dung NGUYEN XUAN, Hondjack DEHAINSALA, An a Priori Approach for Automatic Integration of Heterogeneous and Autonomous Data Sources, LISI-ENSMA(04-003), 20047032/2004-LISI-04-003.pdf
Michael RICHARD, Pascal RICHARD, Francis COTTET, Ordonnancement monoprocesseur à priorité fixe avec contraintes de précédence, LISI -- ENSMA(2001-003), novembre, 2001
Jérome CHOCHON, Eric SARDET, Confrontation et intégration des pouvoirs d'expression des approches modélisation conceptuelle et structuration documentaire, LISI-ENSMA(01 004), Octobre, 20016682/2001-LISI-01004.pdf
Michael RICHARD, Pascal RICHARD, Francis COTTET, Méthode Optimale d'Affectation des Priorités des Tâches et Messages dans les Systèmes Temps Réel Distribués, LISI -- ENSMA(2001-01), Avril, 20015898/2001-LISI-2001-01_richardm.pdf
Michael RICHARD, Pascal RICHARD, Francis COTTET, Analyse Holistique des Systèmes Temps Réels Distribués, LISI -- ENSMA, www.lisi.ensma.fr(2000-006), august, 20005893/2000-LISI-2000-006_Richardm.ps
Yamine AIT-AMEUR, Benoit Bréholée, Patrick GIRARD, Laurent GUITTET, Francis JAMBON, Formal verification and validation of interactive systems specifications, Laboratory of Applied Computer Science (LISI/ENSMA)(LISI 00-007), May, 2000
Laurent DAVID, Francis COTTET, Traitement de la gigue temporelle de tâches périodiques dans un contexte ordonnancement temps réel en ligne, LISI-ENSMA, Futuroscope, France(TR 00 009), 20005883/2000-LISI-TR00009.pdf
Laurent DAVID, Francis COTTET, Emmanuel GROLLEAU, Maîtrise de la gigue temporelle avec les algorithmes d'ordonnancement DM et ED, LISI-ENSMA, Futuroscope, France(TR 00 004), 20005879/2000-LISI-TR00004.pdf
Emmanuel GROLLEAU, Annie CHOQUET-GENIET, Francis COTTET, Cyclicité des séquences d'ordonnancement au plus tôt des systèmes de tâches temps réel à contraintes strictes, LISI-ENSMA(97007), 19975726/1997-LISI-97007.pdf
Emmanuel GROLLEAU, Bases de Tcl/Tk, LISI-ENSMA(97002), 19975671/1997-LISI-97002.pdf
L Bass, E. Hardy, K. Hoyt, R. Little, R. Seacord, The ARCH Model : SEEHEIM Revisited, The Serpent run time architecture and dialog model, Carnegie Melon University(CMU/SEI-88-TR-6), 1988