Le Site du Laboratoire d'Informatique et Insdustrielle (LISI)

Linda Mohand-Oussaïd, Nadjet Kamel, Idir Aït-Sadoune, Yamine Aït-Ameur and Mohamed Ahmed-Nacer, Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport, IHM et transports (à~paraitre), Kolski, C, Paris, Hermes, 2010

Yamine Ait-Ameur and Gerry Radack, ISO/TS 29002-31 — Industrial automation systems and integration — Exchange of characteristic data — Part 31: Query for characteristic data, ISO, 2009

Ladjel Bellatreche, Data Warehousing Design and Advanced Engineering Applications: Methods for Complex Construction, Advances in Data Warehousing and Mining (ADWM) Book Series, David Taniar, July, 2009

Ladjel Bellatreche, Gilles Kassel and Philippe Thiran, JFO 2009 - 3ème édition des Journées Francophones sur les Ontologies, ACM Press, Décembre, 2009

Francis Cottet and Michel Pinard, LabVIEW : Programmation et Applications, Dunod, 2009

Stéphane Jean, Yamine Aït-Ameur and Guy Pierra, Ontology Query Languages for Ontology-Based Databases: a Survey, Data Warehousing Design and Advanced Engineering Applications: Methods for Complex Construction, Advances in Data Warehousing and Mining Book Series (ADWN), L. Bellatreche, 2009

Guy Pierra and Eric Sardet, ISO/DIS 13584-32 – Industrial automation systems and integration – Parts library – Part 32: Implementation resources: OntoML: Product ontology markup language, ISO, 2009

Eric Sardet and Gerry Radack, ISO/TS 29002-5 -- Industrial automation systems and integration -- Exchange of characteristic data -- Part 5: Identification scheme, ISO, 2009, ISO, 2009

Eric Sardet and Gerry Radack, ISO/TS 29002-10 — Industrial automation systems and integration — Exchange of characteristic data — Part 10: Characteristic data exchange format, ISO, 2009

Dilek Tapucu, Gayo Diallo, Yamine Aït-Ameur and Murat Osman Ünalir, Ontology-Based Database Approach for Handling Preferences , Data Warehousing Design and Advanced Engineering Applications: Methods for Complex Construction, Edited by Ladjel Bellatreche, IGI Global, 2009

Yamine Ait-Ameur, 2e Conférence Francophone sur les Architectures Logicielles - CAL 2008, Cépaduès éditions, Mars, 2008

Ladjel Bellatreche, Bitmap join indexes vs. Data Partitioning, Encyclopedia of Data Warehousing and Mining - 2nd Edition , 2008

Ladjel Bellatreche, Optimization and Tuning in Data Warehouses, Encyclopedia of Database Systems, Edited by Ling Liu and Tamer Özsu, Spring, 2008

Ladjel Bellatreche, A Genetic Algorithm for Selecting Horizontal Fragments, Encyclopedia of Data Warehousing and Mining - 2nd Edition , John Wang, 2008

Ladjel Bellatreche, Horizontal Data Partitioning: Past, Present and Future, To appear in Encyclopedia of Database Technologies and Applications , 2008

Ladjel Bellatreche and Mukesh Mohania, Physical Data Warehousing Design, Data Warehousing and Mining: Concepts, Methodologies, Tools, and Applications, Information Science reference, 2008, pp. 18-25

Stéphane Jean, Guy Pierra and Yamine Ait-Ameur, Domain Ontologies: A Database-Oriented Analysis, Web Information Systems and Technologies, Volume 1, Lecture Notes in Business Information Processing, Springer Berlin Heidelberg, 2007, pp. 238-254

Yamine Ait-Ameur, Frederic Boniol and Virginie Wiels, ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Cépaduès éditions, 12-14 December, 2007

Ladjel Bellatreche, Patrick Marcel and Arnaud Giacometti, Entrepôts de Données et Analyse en ligne (EDA'07), , Editions Cépaduès , Juin, 2007

Stéphane Jean, Guy Pierra and Yamine Aït-Ameur, Domain Ontologies: a Database-Oriented Analysis, Web Information Systems and Technologies International Conferences, WEBIST 2005 and WEBIST 2006. Revised Selected Papers, chapt. 19, 1, Lecture Notes in Business Information Processing, J. Filipe, J. Cordeiro and V. Pedrosa, Springer-Verlag Berlin Heidelberg, August, 2007, pp. 238-254

Annie Choquet-Geniet, Les réseaux de Petri - Un outil de modélisation, Dunod, mars, 2006

Annie Choquet-Geniet and Pascal Richard, Petri nets, An introduction to sofware specification: a case study, 2sd edition, Hermès London, 2006

Pascal Richard and Frédéric Ridouard, Ordonnancement temps réel monoprocesseur, Systèmes Temps Réel : Ordonnancement, Réseaux, Qualité de Service, chapt. 1, Hermès, 2006

Francis Cottet and Emmanuel Grolleau, Systèmes temps réel de contrôle-commande - Conception et implémentation, EEA, Dunod, Avril, 2005

Yamine Ait-Ameur and Guy Pierra, Industrial Automation Systems and Integration, Parts Library, Logical model of supplier library with aggregate values and explicit content, ISO 13584-25, ISO, Genève, 2004

Ladjel Bellatreche and Mukesh Mohania, Introduction to Physical Data warehousing Design, Encyclopedia of Data Warehousing and Mining , 2004

Guy Pierra, Yamine Aït-Ameur and Eric Sardet, Industrial Automation Systems and Integration, Parts Library, Logical model of supplier library, ISO 13584-24, ISO, Genève, 2003

Pascal Richard, Michaël Richard and Francis Cottet, Analyse holistique des systèmes temps réel distribués : principes et algorithmes, Ordonnancement pour l'informatique parallèle, Hermès, 2003

Eric Sardet and Guy Pierra, Industrial Automation Systems and Integration, Parts Library, Geometrical view exchange protocol by parametric program, ISO 13584-101 , ISO, 2003

F. Cottet, Les bases du traitement des signaux et de l'acquisition de données, DUNOD, juillet, 2002

Francis Cottet, Joëlle Delacroix, Claude Kaiser and Zoubir Mammeri, Scheduling in Real-Time Systems: A course with exercices and solutions, John Wiley & Sons, 2002

Ladjel Bellatreche, Kamalakar Karlapalem and Mukesh Mohania, Some Issues in Design of Data Warehousing Systems, Developing Quality Complex Data Bases Systems: Practices, Techniques, and Technologies, Dr. Shirley A. Becker, Idea Group Publishing, 2001

Francis Cottet, LabVIEW : programmation et appications, DUNOD, 2001

Francis Cottet and Pierre Renard, La Programmation graphique des applications de contrôle-commande, Techniques de l'Ingénieur, traité Mesure et Contrôle, 03, 2001

Daniel Fekete and Patrick Girard, Environnements de développement des systèmes interactifs (chapitre 1), Environnements évolués et évaluation de l'I.H.M. / Interaction Homme-Machine pour les S.I. vol. 2, 2, Interaction homme-machine pour les S.I., Kolski, Christophe, Paris, France, Hermès Science, 2001, pp. 23-52

Patrick Girard, Bringing Programming by Demonstration to CAD Users (Chapter 7), Your wish is my command, Programming by example, Lieberman, Henry, Morgan Kaufmann, 2001, pp. 135-162

Francis Jambon, Philippe Brun and Yamine Aït-Ameur, Spécifications des systèmes interactifs, Analyse et conception de l'I.H.M. / Interaction Homme-Machine pour les S.I. vol.1, chapt. 6, Interaction homme-machine pour les S.I., Christophe Kolski, Hermès Science, 2001, pp. 175-206

Pascal Richard and Christophe Haro, Applications des réseaux de Petri, Techniques de l'ingénieur, Traité Informatique Industrielle(S 7-254), 2001

Yamine AIT-AMEUR, Cooperation of Formal Methods in an Engineering Based Software Development Process, Integrated Formal Methods, Springer Verlag, 2000, pp. 136-155

Annie Choquet-Geniet and Pascal Richard, Petri nets : a graphical tool for system modelling, An Introduction to Formal Specification, Springer Verlag, 2000, pp. 241-257

Francis Cottet, Traitement du Signal - Aide-Mémoire, DUNOD, 2000

Francis Cottet, Joëlle Delacroix, Claude Kaiser and Zoubir Mammeri, L'ordonnancement réparti en temps réel, Techniques de l'Ingénieur, Traité Informatique Industrielle, 03, 2000

Francis Cottet, Joëlle Delacroix, Claude Kaiser and Zoubir Mammeri, Ordonnancement temps réel, Hermes, 12, 2000

Francis Cottet, Joëlle Delacroix, Claude Kaiser and Zoubir Mammeri, L'ordonnancement centralisé en temps réel, Techniques de l'Ingénieur, Traité Informatique Industrielle, 12, 1999

Lutz Heine and Guy Pierra, Industrial Automation Systems and Integration, Parts Library, Geometric programming interface, ISO 13584-31, ISO, 1999

Y Ait-Ameur, F Besnard, P Girard, G Pierra and J.C. Potier, Specification and Metaprogramming in the EXPRESS Language, Rockville USA, 1995

Yamine Aït-Ameur, Idir Aït-Sadoune, Mickaël Baron and Jean-Marc Mota, Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux, Journal d'Interaction Personne-Système (JIPS) - (à~paraitre), 2010

Ladjel Bellatreche, Yamine Aït-Ameur and Chedlia Chakroun, A design methodology of ontology based database applications, Logic Journal of the IGPL - Oxford University Press, 2010

Sybille Caffiau, Dominique Scapin, Patrick Girard, Mickaël Baron and Francis Jambon, Increasing the expressive power of task analysis: systematic comparison and empirical assessment of tool-supported task models , Interacting with computers, 2010

Yamine Ait-Ameur, Mickael Baron, Nadjet Kamel and Jean-Marc Mota, Encoding a process algebra using the Event B method, International Journal on Software Tools for Technology Transfer (STTT), vol. Volume 11(Number 3), 2009, pp. 239-253

Mehdi Baba-ali, David Marcheix and Xavier Skapin, A Method To Improve Matching Process by Shape Characteristics in Parametric Systems, Computer-Aided Design and Applications, vol. 3(6), 2009, pp. 341-350

Ladjel Bellatreche, Physical data warehouse design , Distributed and Parallel Database Journal - Springer, vol. 25(1), February, 2009, pp. 1-3

Ladjel Bellatreche, Kamel Boukhalfa, Pascal Richard and Komla Yamavo Woameno, Referential Horizontal Partitioning Selection Problem in Data Warehouses: Hardness Study and Selection Algorithms , International Journal of Data Warehousing and Mining, vol. 5(4), 2009, pp. 1-23

E. Bini, T.H.C Nguyen, P. Richard and S.K. Baruah, A Response-Time Bound in Fixed-Priority Scheduling with Arbitrary Deadlines, IEEE Transactions on Computers, vol. 58(2), February, 2009, pp. 279-28

Kamel Boukhalfa, Ladjel Bellatreche and Sybille Caffiau, De l’optimisation de requêtes aux outils d’administration des entrepôts de données, RSTI - ISI (Ingénierie des Systèmes d'Information), vol. 13(6/2008 ), 2009, pp. 33-62

Annie Choquet-Geniet, Gaëlle Largeteau and Abdoulaye Ouattara, Mesures de l'équité d'une application temps-réel à l'aide d'une approche à  base de géométrie discrète, Journal Européen des Systèmes Automatisés (JESA), vol. 43, Novembre, 2009, pp. 1065-1080

Chimène Fankam, Ladjel Bellatreche, Hondjack Dehainsala, Yamine Ait-Ameur and Guy Pierra, SISRO : conception de bases de données à partir d’ontologies de domaine , Technique et science informatiques (TSI), vol. 28, 2009

Thi Huyen Chau NGuyen, Pascal Richard and Enrico Bini, Approximation techniques for response-time analysis of static-priority tasks, Real-Time Systems, vol. 43, 2009, pp. 147-176

Helen Oliver, Gayo Diallo, Ed de Quincey, Patty Kostkova, Gawesh Jawaheer, Dimitra Alexopoulou, Bianca Habermann, Robert Stevens, Simon Jupp, Khaled Khelif, Michael Schroeder and Gemma Madle, A User-Centered Evaluation Framework for the Sealife Semantic Web Browsers, BMC Bioinformatics Journal, Special issue on "Semantic Web for the Life Sciences", Supplement dedicated to the SWAT4LS Workshop'08, 2009

Ahmed Rahni, Emmanuel Grolleau and Michael Richard, An Efficient Response Time Analysis For Real-Time Transactions with Fixed Priority Assignment, Innovations in Systems and Software Engineering Journal (ISSE) , vol. 5(3), Septembre, 2009, pp. 197-209

Jean-Luc Scharbarg, Frédéric Ridouard and Christian Fraboul, A probabilistic analysis of end-to-end delays on an AFDX avionic network, IEEE Transactions on Industrial Informatics, vol. 5(1), Février, 2009, pp. 38-49

Yamine Aït-Ameur, Idir Aït-Sadoune, Mickaël Baron and Jean-Marc Mota, Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement, RSTI série ISI Ingérnierie des Systèmes d'Information, Modélisation multiple, Formalisme et Modèles, vol. 13 (2), 2008, pp. 127-154

Ladjel Bellatreche, Rokia Missaoui, Hamid Necir and Habiba Drias, A Data Mining Approach for Selecting Bitmap Join Indices, Journal of Computing Science and Engineering, vol. 2(1), January, 2008, pp. 206-223

Kamel Boukhalfa, Ladjel Bellatreche and Zaia Alimazighi, HP&BJI: A Combined Selection of Data Partitioning and Join Indexes for Improving OLAP Performance, Annals of Infomation Systems special issue on new trends in DW and OLAP, 2008, pp. 179-2001

Bernard Chauvière, Durée exacte de montée en charge des systèmes temps-réel périodiques ordonnancés en multiprocesseur par une politique à priorités fixes, Journal Européen des systèmes automatisés, 2008

Gaëlle Largeteau and Dominique Geniet, Quantification du taux d'invalidité d'applications temps réel à contraintes strictes, Technique et Science Informatiques, vol. 27(5), Mai, 2008, pp. 589-625

Guy Pierra, Context Representation in Domain Ontologies and its Use for Semantic Integration of Data, Journal Of Data Semantics (JODS), vol. X, LNCS 4900, 2008, pp. 173-210

P. Richard and J.F. Raffensperger, Constructive complexity: a metric for operations research spreadsheet model design, Int. J. Information and Operations Management Education, vol. In Press, 2008

Frédéric Ridouard, Pascal Richard and Patrick Martineau, On-line scheduling on a batch processing machine with unbounded batch size to minimize the makespan, European Journal of Operational Research, vol. 189(3), 2008, pp. 1227-1242

Dung Nguyen Xuan, Ladjel Bellatreche and Guy Pierra, OntoDaWa : un système d’intégration à base ontologique de sources de données autonomes et évolutives, to appear Ingénierie des Systèmes d'Information (ISI), 2008

Bernard Chauvière and Dominique Geniet, Une approche markovienne pour l'étude de systèmes temps-réel à contraintes strictes, Technique et Science Informatique, vol. 26(10), 2007, pp. 1269-1303

Dominique Geniet and Gaëlle Largeteau:, WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model, Theoretical Computer Science, vol. 388(1-3), 2007, pp. 26-52

Wolfgang Wilkes Hiroshi Murayama and and Guy Pierra, Practical business solutions for ontology data exchange, ISO Focus, vol. 4(12), December, 2007, pp. 10-13

Wolfgang Wilkes Hiroshi Murayama Guy Pierra, A foundation for e-engineering and e-commerce ― ISO 13584, Parts library, ISO Focus, vol. 4(7), July/August, 2007

Art Lew, John F. Raffensperger and P. Richard, Letter by Art Lew, response by Raffensperger et al., INFORMS Transactions on Education(3), 2007

Hamid Necir, Ladjel Bellatreche and Rokia Missaoui, DynaClose : Une approche de fouille de données pour la sélection des index de jointure binaires dans les entrepôts de données , RNTI, vol. B-3 , Juin, 2007, pp. 83-98

Yamine Aït-Ameur and Mickaël Baron, Formal and experimental validation approaches in HCI systems design based on a shared event B model, International Journal on Software Tools for Technology Transfer, vol. 8(6), November, 2006, pp. 547-563

Y. Aklouf, G. Pierra, Y. AIT-Ameur and H. Drias, Cross usage of web services and PLIB ontologies to define a B2B exchange process of product catalogues , International Journal of Product LifeCycle Management (IJPLM), vol. 1(4), 2006, pp. 415-435

Ladjel Bellatreche, Dung Nguyen Xuan, Guy Pierra and Hondjack Dehainsala, Contribution of Ontology-based Data Modeling to Automatic Integration of Electronic Catalogues within Engineering Databases, Computers in Industry Journal 57 (8-9), pp. 711-724, 2006

Kamel Boukhalfa and Ladjel Bellatreche, Sélection de schéma de fragmentation horizontale dans les entrepôts de données : formalisation et algorithmes, Revue d'Ingénierie des Systèmes d'Information (ISI) , vol. 11(6/2006), Novembre, 2006, pp. 55-82

Fabrice Depaulis, Francis Jambon, Patrick Girard and Laurent Guittet, Le modèle d’architecture logicielle H4 : Principes, usages, outils et retours d’expérience dans les applications de conception technique, Revue d'Interaction Homme-Machine, vol. 7(1), 2006, pp. 93-129

David Marcheix, A Persistent Naming of Shells, International Journal of CAD/CAM, vol. 6(1), 2006

Frédéric Ridouard, Pascal Richard, Francis Cottet and Karim Traore, Some results on scheduling tasks with self-suspensions, Journal of Embedded Computing, 2006

Dung Nguyen Xuan, Ladjel Bellatreche and Guy Pierra, Ontology Evolution and Source Autonomy in Ontology-based Data Warehouses, Revue des Nouvelles Technologies de l'Information (EDA'2006), pp. 55-76, Juin, 2006

Youcef Aklouf, Guy Pierra, Yamine Aït Ameur and Habiba Drias:, PLIB Ontology: A Mature Solution for Products Characterization in B2B Electronic Commerce, International Journal of IT Standards and Standardization Research, vol. 3(2), 2005, pp. 66-81

Ladjel Bellatreche and Kamel Boukhalfa, La fragmentation dans les entrepôts de données : une approche basée sur les algorithmes génétiques , Revue des Nouvelles Technologies de l'Information (EDA'2005), Juin, 2005, pp. 141-160

Ladjel Bellatreche, Arnaud Giacometti, Dominique Laurent and Hassina Mouloudi, A Framework for Combining Rule-Based and Cost-Based Approaches to Optimize OLAP Queries , Revue des Nouvelles Technologies de l'Information (EDA'2005), 2005, pp. 177-196

Joël Goossens and Pascal Richard, Optimisation de performance pour des systèmes temps réel stricts à priorité fixe, Technique et Science Informatiques, vol. 24, 2005, pp. 991-1011

Guy Pierra, Hondjack Dehainsala, Yamine Aït-Ameur and Ladjel Bellatreche, Base de données à base ontologique : principe et mise en œuvre, Ingénierie des systèmes d'information, 2005

John F. Raffensperger and Pascal Richard, Implementing Dynamic Programs in Spreadsheet, INFORMS Transactions on Education, vol. 5(2), January, 2005

Annie Choquet-Geniet and Emmanuel Grolleau, Minimal schedulability interval for real time systems of periodic tasks with offsets , Theoretical of Computer Sciences, vol. 310, 2004, pp. 117-134

Dominique Geniet and Jean-Philippe Dubernard, Scheduling hard sporadic tasks with regular languages and generating functions, Theoretical Computer Science, vol. 313(1), 2004, pp. 119-132

Guy Pierra, Jean-Claude Potier and Eric Sardet, From digital libraries to electronic catalogues for engineering and manufacturing, International Journal of Computer Applications in Technology (IJCAT), vol. 18, 2003, pp. 27-42

Michael Richard and Pascal Richard, Méthode de placement et d’affectation des priorités pour les systèmes temps réel distribués, TSI(Numéro Spécial), 2003

Ladjel Bellatreche, Kamalakar Karlapalem and Ana Simonet, Algorithms and Support for Horizontal Class Partitioning in Object-Oriented Databases, Distributed and Parallel Databases , vol. 8(2), Avril, 2002, pp. 155-179

Francis Cottet, Emmanuel Grolleau and Pascal Richard, Une approche graphique pour l'aide à la conception d'applications temps réel ordonnançables, Revue TSI (Technique et Science Informatiques), vol. 21(3), 2002, pp. 315-343

Emmanuel Grolleau and Annie Choquet-Geniet, Off-line Computation of Real-Time Schedules using Petri nets, Discrete Event Dynamic Systems, DEDS, vol. 12(3), jully, 2002, pp. 311-333

Pascal Richard, Francis Cottet and Claude Kaiser, Précédences généralisées et ordonnançabilité des tâches de suivi temps réel d'un laminoir, Journal Européen des Systèmes Automatisés, vol. 35(9), 2001, pp. 1055-1071

Dago Agbodan, David Marcheix and Guy Pierra, Nomination persistante d'entités topologiques dans un modèle géométrique paramétrique, Revue Internationale de CFAO et d’Infographie, vol. 15(1), 2000, pp. 103-120

Annie Choquet-Geniet, Emmanuel Grolleau and Francis Cottet, Étude hors ligne d'une application temps réel à contraintes strictes, Technique et Science informatique, vol. 19(10), Décembre, 2000, pp. 1373 - 1397

Guy Pierra, Représentation et échange de données techniques, Mec. Ind. , vol. 1(1), 2000, pp. 397-414

Pascal Richard, Modelling Integer Linear Programs with Petri nets , RAIRO/Operations Research, vol. 34(3), 2000, pp. 305-312

Dago Agbodan, David Marcheix and Guy Pierra, A Data Model Architecture for Parametrics, Journal for Geometry and Graphics, vol. 3, 1999, pp. 17-38

Yamine AIT-AMEUR, Refinement of rational end-points by means of floating-point numbers, Science of Computer Programming, vol. 33, 1999, pp. 132-163

Francis Cottet and Samia Saad-Bouzefrane, Méthodologie d'analyse temporelle des applciations temps réel réparties, JESA (Journal Européen des Systèmes Automatisés), vol. 33(3), 1999, pp. 251-284

Jean-Philippe Babau and Francis Cottet, Méthodologie d'anlayse temporelle des applications temsp réel à contraintes strictes, JESA (Journal Européen des Systèmes Automatisés), vol. 32(56), 1998, pp. 581-608

David Marcheix and Stefka Gueorguieva, Nibble Meshing : Incremental Triangulation of Non-Manifold Solid Boundary, Computer & Graphics, vol. 22(2-3), 1998, pp. 181-188

P. Girard, Guillaume Patry, Guy Pierra and Jean-Claude Potier, Deux exemples d'utilisation de la Programmation par Démonstration en Conception Assistée par Ordinateur, Revue Internationale de CFAO et d'informatique graphique, vol. 12(1-2), 1997, pp. 169-188

Francis Jambon, La responsabilité du concepteur d'une interface homme-machine face aux erreurs des utilisateurs : exemple de l'accident de l'Airbus A320 survenu au mont Sainte-Odile, L'interacteur - Bulletin d'information de l'Association Francophone d'Interaction Homme-Machine (AFIHM)(2), avril, 1997, pp. 6

Samia Saad-Bouzefrane and Francis Cottet, A Temporal Validation of Distributed Hard Real-Time Applications, Proceedings of the IFAC/IFIF Workshop On Real-Time Programming, 1997, pp. 79-84

David Marcheix and Stefka Gueorguieva, Modélisation des objets Non-Variétés, construction et représentation, Revue Internationale de CFAO et d’Infographie, vol. 11(4), 1996, pp. 405-421

Annie Choquet-Geniet, Dominique Geniet and René Schott, A Methodology for Transforming Sequential Flowcharts into Parallel Ones Using Fifo Nets, Journal of Computing and Information, vol. 1, Juillet, 1995, pp. 529-545

Patrick Girard, Guy Pierra and Laurent Guittet, Les interacteurs hiérarchisés : une architecture orientée tâches pour la conception des dialogues, Revue d'Automatique et de Productique Appliquée (RAPA), vol. 8(2-3), 1995, pp. 235-240

Jean-Claude Potier, Patrick Girard, Guy Pierra and Frédéric Besnard, Génération graphique interactive de programmes de géométrie paramétrée, Revue d'Automatique et de Productique Appliquée (RAPA), vol. 8(2-3), 1995, pp. 229-234

Guy Pierra adn Yamine Ait-Ameur, Spécification de modèles de données orientés objet dans le domaine technique : le langage EXPRESS, Revue d'Automatique et de Productique Appliquée (RAPA), vol. 2-3(8), 1995, pp. 241-246

Guy Pierra, Modelling classes of prexisting components in a CIM perspective: The ISO 13584/ENV 400014 approach, revue internationale de CFAO et d'Infographie, vol. 9, 1994, pp. 435-454

Idir Aït-Sadoune, BPEL2B : Un outil d’aide à la vérification de la composition de services Web basé sur la preuve et le raffinement, Actes des 10es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2010), Poitiers, France, Juin, 2010, pp. 65--74

Idir Aït-Sadoune and Yamine Aït-Ameur, A Proof Based Approach for Formal Verification of Transactional BPEL Web Services, Abstract State Machines, Alloy, B and Z (ABZ'2010), vol. 5977/2010, Lecture Notes in Computer Science, edited by Springer Berlin / Heidelberg, Orford, Quebec, Canada, February, 2010, pp. 405-406

Idir Aït-Sadoune and Yamine Aït-Ameur, Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach, Software Engineering Research, Management and Applications (SERA 2010), vol. 296/2010, Studies in Computational Intelligence, edited by Springer Berlin / Heidelberg, Montreal, Canada, May, 2010, pp. 51-68

Ladjel Bellatreche, Alfredo Cuzzocrea and Soumia Benkrid, F&A: A Methodology for Effectively and Efficiently Designing Parallel Relational Data Warehouses on Heterogenous Database Clusters, to appear in DAWAK'2010, 2010

Ladjel Bellatreche and Kamel Boukhalfa, Yet Another Algorithms for Selecting Bitmap Join Indexes, to appear in DAWAK'2010, edited by LNCS, 2010

Ladjel Bellatreche, Alfredo Cuzzocrea and Soumia Benkrid, Query Optimization over Parallel Relational Data Warehouses in Distributed Environments by Simultaneous Fragmentation and Allocation, The 10th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP), vol. 6081, edited by LNCS Springer, Busan Korea, May, 2010, pp. 124–135

Rym Bouchakri, Ladjel Bellatreche and Kamel Boukhalfa, Une Approche par K-means de Sélection Multiple de Structures d’Optimisation dans les Entrepôts de Données, 6èmes Journées Francophones sur les Entrepôts de Données et analyse en Ligne (EDA’10), edited by RNTI, Juin, 2010

Kamel Boukhalfa, Ladjel Bellatreche and Ziani Benameur, Index de Jointure Binaires: Stratégies de Sélection & Étude de Performances, 6èmes Journées Francophones sur les Entrepôts de Données et analyse en Ligne (EDA’10), edited by RNTI, Juin, 2010

Sybille Caffiau, Patrick Girard, Dominique Scapin and Laurent Guittet, Prise en compte de l'utilisateur dans le processus de conception d'une application d'édition de modèles de tâches, ERGO'IA (à paraître), 2010

Annie Choquet-Geniet, Gaëlle Largeteau-Skapin and Abdoulaye Ouattara, Integratign PFairness within a modelled based scheduling tool, Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), ewics series of the British Computer Society, 2010

François DORIN, Joël GOOSSENS, Pascal RICHARD and Michaël RICHARD, Schedulability analysis of multiple criticality real-time tasks, 12th International Workshop on Project Management and Scheduling, edited by EURO Working Group on Project Management and Scheduling, April, 2010, pp. 167--170

Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens and Claire Pagetti, Scheduling Dependent Periodic Tasks Without Synchronization Mechanisms, 16th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, Stockolm, Sweden, April 12-15th, 2010

Christian Fotsing, Annie Geniet and Guy Vidal-Naquet, Tree scheduling versus sequential scheduling, CARS@EDCC , ACM Digital Library with the ISBN 978-1-60558-915-2, April, 2010

Christian Fotsing, Annie Geniet and Guy Vidal-Naquet, Modélisation de la Prise en Compte de la Sémantique dans les Applications Temps-Réel: Concepts et Outils, AFADL 2010, Juin, 2010, pp. 113-116

Stéphane Jean, Yamine Aït-Ameur and Guy Pierra, A Language for Ontology-Based Metamodeling Systems, 14th East-European on Advances In Databases and Information Systems (ADBIS 2010), edited by Springer, September, 2010

Stéphane Jean, Francisca Losavio, Alfredo Matteo and Nicole Levy, An Extension of OWL-S with Quality Standards, Fourth IEEE International Conference on Research Challenges in Information Science (RCIS 2010),, IEEE, May, 2010, pp. 483-494

David Simon-Zayas, Yamine Ait-Ameur and Anne Monceaux, Knowledge Models to Reduce the Gap Between Heterogeneous Models, 15th IEEE International Conference on Engineering of Complex Computer Systems, edited by Radu Calinescu, Richard Paige, Marta Kwiatkowska, Oxford, United Kingdom, University of Oxford, The IEEE Computer Society, March, 2010, pp. 355-360

Yamine AIT-AMEUR, A Semantic Repository for Adaptive Services, 2009 IEEE Congress on Services, Part I, SERVICES I 2009, Los Angeles, CA, USA, July 6-10, 2009, 978-0-7695-3708-5, IEEE Computer Society , 2009, pp. 211-218

Idir Ait-Sadoune and Yamine Ait-Ameur, From BPEL to Event-B, International Workshop on Integration of Model-based Methods and Tools IM FMT'09 at IFM'09 Conference, Düsseldorf Germany, Fevruary , 2009

Idir Ait-Sadoune and Yamine Ait-Ameur, A Proof Based Approach for Modelling and Verifying Web Services Compositions, Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, edited by IEEE Computer Society, Potsdam Germany, June, 2009, pp. 1-10

Christian Fotsing ans Annie Choquet-Geniet and Guy Vidal-Naquet, A realistic modeling of real-time systems for efficient scheduling, 33rd Annual IEEE Software Engineering Workshop, 2009

Mehdi Baba-ali, David Marcheix and Xavier Skapin, An Edge Matching Technique for Non-Planar Face Intersections in Geometric Parametric Models, IEEE International Conference on Shape Modeling and Applications (SMI), Tsinghua University, China, edited by IEEE, 2009

Mehdi Baba-ali, David Marcheix and Xavier Skapin, A Method To Improve Matching Process by Shape Characteristics in Parametric Systems, the 2009 International CAD Conference and Exhibition. Reno, Nevada, USA, Juin, 2009, pp. 341-350

Nabil BELAID, Yamine AIT-AMEUR and Jean-François RAINAUD, A Semantic Repository for Geological Modeling Workflows, ICWS'09, IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009, IEEE, 2009, pp. 1030-1031

Nabil BELAID, Yamine AIT-AMEUR and Jean-François RAINAUD, A semantic handling of geological modeling workflows, MEDES '09: International ACM Conference on Management of Emergent Digital EcoSystems, Lyon, France, October 27-30, 2009, 978-1-60558-829-2, ACM, 2009, pp. 83-90

Nabil BELAID, Yamine AIT-AMEUR and Jean-François RAINAUD, SWAPT - Semantic Workflow Architecture for Petroleum Techniques, WEBIST 2009 - Proceedings of the Fifth International Conference on Web Information Systems and Technologies, Lisbon, Portugal, March 23-26, 2009, 978-989-8111-81-4, INSTICC Press, 2009, pp. 101-104

Ladjel Bellatreche, Kamel Boukhalfa and Zaia Alimazighi, SimulPh.D.: A Physical Design Simulator Tool, To appear in DEXA'09, edited by Springer, 2009

Ladjel Bellatreche and Benkrid Soumia, A Joint Design Approach for Partitioning and Allocation in Parallel Data Warehouses, To appear in DAWAK'09, edited by Springer, 2009

Ladjel Bellatreche and Komla Yamavo Woameno, Dimension Table driven Approach to Referential Partition Relational Data Warehouses, ACM Twelfth International Workshop on Data Warehousing and OLAP (DOLAP'09), edited by ACM, November, 2009

Soumia Benkrid and Ladjel Bellatreche, Une démarche conjointe de fragmentation et de placement dans le cadre des entrepôts de données parallèles, 5èmes Journées francophones sur les Entrepôts de Données et l’Analyse en ligne (EDA'09), edited by RNTI, 2009

Sybille Caffiau, Patrick Girard, Laurent Guittet and Dominique Scapin, Hierarchical Structure: A Step for Jointly Designing Interactive Software Dialog and Task Model, HCI International 2009, vol. LNCS 5611, edited by Springer Berlin/Heidelberg, 2009, pp. 667-673

François DORIN, Michael RICHARD, Emmanuel GROLLEAU and Pascal RICHARD, Minimisation du nombre de processeurs pour les systèmes temps réel distribués, dixième conférence de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'09), 2009

François DORIN, Pascal RICHARD, Michaël RICHARD and Joël GOOSSENS, Uniprocessor Schedulability and Sensitivity Analysis of Multiple Criticality Tasks with Fixed-Priorities, Real-Time and Network System, 2009

Chimène Fankam, Stéphane Jean, Guy Pierra, Ladjel Bellatreche and Yamine Ait-Ameur, Towards Connecting Database Applications to Ontologies, First International Conference on Advances in Databases, Knowledge, and Data Applications, edited by IEEE Computer Society, Conference Publishing Service, 2009, pp. 131-137

Christian Fotsing, Annie Geniet and Guy Vidal-Naquet, Using semantic properties for real time scheduling, MDD4DRES, Work In Progress Session, 2009

Christian Fotsing, Annie Geniet and Guy Vidal-Naquet, A realistic model of real-time systems for efficient scheduling, 33rd Annual IEEE Software Engineering Workshop, 2009

Stéphane Jean, Francisca Losavio, Alfredo Matteo and Nicole Levy, Extension de OWL-S avec les Standards de Qualité, Journées Francophones sur les Ontologies (JFO 2009), ACM, 2009, pp. 121-130

Selma Khouri, Ladjel Bellatreche and Chimène Fankam, SISROM2C : Un outil de modélisation conceptuelle à base ontologique d'un entrepôt de données, 5èmes Journées francophones sur les Entrepôts de Données et l’Analyse en ligne (EDA'09), edited by RTNI, Juin, 2009

Christophe Kolski, Bertrand David, Patrick Girard, Chi Dung Tran and Houcine Ezzedine, Agent-Based Architecture for Interactive System Design: Current Approaches, Perspectives and Evaluation, in Human-Computer Interaction, HCI International 2009, edited by Springer Berlin/Heidelberg, 2009, pp. 624-633

Sadouanouan Malo and Annie Choquet-Geniet, Analysis of critical scalable real-time systems by means of Petri nets, AVoCS'09 -- PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems, Technical Report of Computer Science CSR-2-2009, edited by Liam O'Reilly and Markus Roggenbach, Swansea University, Wales, UK, 2009, pp. 245-247

Sadouanouan Malo, Annie Choquet-Geniet and Mustapha Bikienga, Extension du contexte de mise en œuvre des ordonnancements PFAIR, ROADEF 09, 2009, pp. 148-149

Laura Silveira Mastella, Yamine Ait-Ameur, Stéphane Jean, Michel Perrin and Jean-François Rainaud, Semantic exploitation of persistent metadata in engineering models: application to geological models, IEEE International Conference on Research Challenges in Information Science (RCIS 2009), edited by André Flory, Martine Collard, April, 2009, pp. 147-156

Laura Silveira Mastella, Yamine Ait-Ameur, Stéphane Jean, Michel Perrin and Jean-François Rainaud, Semantic Exploitation of Engineering Models: an Application to Oilfield Models , - POSTER - Proceedings of the 6th British National Conference on Databases (BNCOD 2009), LNCS, July , 2009

Linda Mohand-Oussaïd, Yamine Aït-Ameur and Mohamed Ahmed-Nacer, A generic formal model for fission of modalities in output multi-modal interactive systems, 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), Rabat, Morroco, July, 2009

S. Szulman, J. Charlet, N. Aussenac-Gilles, A. Nazarenko, H. V. Teguiak and E. Sardet, DaFOE :an ontology building platform from texts or thesauri (poster), International Conference on Knowledge Engineering and Ontology Development, Madeira, Portugal , October, 2009

Dilek Tapucu, Gayo Diallo, Stéphane Jean, Yamine Aït-Ameur, Murat Osman Ünalir and Nacima Belaidi, Définition et Exploitation des Préférences au Niveau Sémantique, Journées Francophones sur les Ontologies (JFO 2009), ACM, 2009, pp. 29-36

Dilek Tapucu, Stephane Jean, Yamine Aït-Ameur and Murat Osman Ünalir, An Extension of Ontology Based Databases to Handle Preferences, 11th International Conference on Enterprise Information Systems (ICEIS 2009), May, 2009, pp. 208-214

Henry Valéry TEGUIAK, Construction d’ontologies à partir de textes : une approche basée sur l’Ingénierie Dirigée par les Modèles, XXVIIème Congrès INFORSID (INFORSID'09), Toulouse France, Mai, 2009

Idir Aït-Sadoune and Yamine Aït-Ameur, Animating Event B Models by Formal Data Models , Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2008), vol. 17, Communications in Computer and Information Science, edited by Springer Berlin Heidelberg , Kassandra Greece, October, 2008, pp. 37-55

Idir Ait-Sadoune and Yamine Ait-Ameur, Verification and Validation of Web Service Composition Using Event B Method , Abstract State Machines, B and Z (ABZ 2008), vol. 5238, Lecture Notes in Computer Science, edited by Springer Berlin / Heidelberg, London UK, September, 2008, pp. 339-340

Yamine Aït Ameur, Nabil Belaid, Mohammed Bennis, Olivier Corby, Rose Dieng-Kuntz, Jérémie Doucy, Priscille Durville, Chimène Fankam, Fabien L. Gandon, Alain Giboin, Patrick Giroux, Sandrine Grataloup, Bruno Grilheres, Florian Husson, Stéphane Jean, Joel Langlois, Phuc-Hiep Luong, Laura Silveira Mastella, Olivier Morel, Michel Perrin, Guy Pierra, Jean-François Rainaud, Idir Aït-Sadoune, Eric Sardet, Francois Tertre and João Francisco Valiati, Semantic Hubs for Geological Projects, Workshop on Semantic Metadata Management and Applications (SeMMA 2008), June, 2008, pp. 3-17

M. Baba-Ali, G. Damiand, X. Skapin and D. Marcheix, Insertion and Expansion Operations for n -Dimensional Generalized Maps., 14th IAPR International Conference on Discrete Geometry for Computer Imagery, 2008, pp. 141-152

M. Baba-Ali, D. Marcheix and X. Skapin, An Edge-based Matching Technique for Geometric Parametric Models, Workshop on Computational Topology in Image Context, 2008

Nabil Belaid, Idir Aït-Sadoune, Yamine Aït-Ameur, Jean-François Rainaud and Stéphane Jean, Une architecture orientée services pour la gestion sémantique des données géologiques pour le stockage de CO2, Actes de l’atelier Systèmes d’Information et de Décision pour l’Environnement du Congrès INFORSID 2008, 2008, pp. 67-76

Ladjel Bellatreche, From Designing Data Warehouse Applications to Tuning, International Conference on. Web and Information Technologies (ICWIT'08) Conférence Invitée, Juin, 2008

Ladjel Bellatreche, Kamel Boukhalfa and Sybille Caffiau, ParAdmin: Un Outil d’Assistance à l’Administration et Tuning d’un Entrepôt de Données, Revue des Nouvelles Technologies de l'Information (EDA'2008), edited by Editionns Cépaduès, Juin, 2008

Ladjel Bellatreche, Kamel Boukhalfa and Pascal Richard, Horizontal Partitioning in Data Warehouse: Hardness Study, Selection Algorithms and Validation on ORACLE10G, in 10th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2008), edited by LNCS, September, 2008, pp. 87-96

Soumia Benkrid, Ladjel Bellatreche and Habiba Drias, A Combined Selection of Fragmentation and Allocation Schemes in Parallel Data Warehouses, 4th International Workshop on Data Management in Global Data Repositories (GREP'08), edited by IEEE Computer Society Press, Septembre, 2008, pp. 370-374

Kamel Boukhalfa, Ladjel Bellatreche and Pascal Richard, Fragmentation Primaire et Dérivée: Étude de Complexité, Algorithmes de Sélection et Validation sous ORACLE10g, Revue des Nouvelles Technologies de l'Information (EDA'2008), Juin, 2008

Sybille Caffiau, Patrick Girard, Dominique Scapin, Laurent Guittet and Loé Sanou, Assessment of Object Use for Task Modeling, Engineering Interactive Systems (HCSE and TAMODIA), vol. 5247, edited by Springer Berlin/Heidelberg, 2008, pp. 14-28

Sybille Caffiau, Laurent Guittet, Dominique Scapin and Loé Sanou, Utiliser les outils de simulation des modèles de tâches pour la validation des besoins utilisateur : une revue des problèmes (Poster), ERGO'IA, 2008, pp. 257-258

Sybille Caffiau, Dominique Scapin and Loé Sanou, Retour d'Expérience en Enseignement de la Modélisation de Tâches, ERGO'IA, 2008, pp. 135-143

J. Charlet, S. Szulman, G. Pierra, N. Nadah, H. V. Teguiak, N. Aussenac-Gilles and A. Nazarenko, DAFOE: A Multimodel and Multimethod Platform for Building Domain Ontologies , 2ieme Journées Francophones sur les Ontologies, edited by ACM, , Lyon, France, Décembre, 2008

François Dorin, Michaël Richard, Emmanuel Grolleau and Pascal Richard, Minimizing the number of processors for real-time distributed systems, Real-Time and Network Systems (RTNS'08), 2008

Chimène Fankam, Stéphane Jean, Ladjel Bellatreche and Yamine Aït Ameur, Extending the ANSI/SPARC Architecture Database with Explicit Data Semantics: An Ontology-Based Approach, Second European Conference on Software Architecture(ECSA), edited by LNCS Springer, September, 2008, pp. 318-321

Chimène Fankam, Stéphane Jean and Guy Pierra, Numeric reasoning in the Semantic Web, ESWC - SEMMA : First International Workshop on Semantic Metadata Management and Applications, SeMMA 2008, Located at the Fifth European Semantic Web Conference, vol. 346, CEUR Workshop Proceedings, edited by Khalid Belhajjame and Mathieu d'Aquin and Peter Haase and Paolo Missier, Tenerife, Spain, CEUR-WS.org, June, 2008, pp. 84 - 103

Chimène Fankam, Stéphane Jean and Guy Pierra, Raisonnement Numérique sur les Relations d’Ordre pour le Web Sémantique, Actes de la deuxième édition des Journées Francophones sur les Ontologies (JFO 2008), edited by ACM, Décembre, 2008, pp. 4-15

Chimène Fankam, Stéphane Jean, Guy Pierra and Ladjel Bellatreche, Enrichissement de l'architecture ANSI/SPARC pour expliciter la sémantique des données : une approche fondée sur les ontologies, Actes de la 2ème Conférence francophone sur les Architectures Logicielles (CAL'08), edited by Revue RNTI, mars, 2008, pp. 47-61

chimene FANKAM, Ladjel BELLATRECHE and Guy PIERRA, OntoDB2 : Support of Multiple Ontology Models within Ontology Based Database, 11th International Conference on Extending Database Technology (EDBT'08) Ph.D. Workshop, Mars, 2008, pp. Nantes France

Laura Mastella, Yamine Ait-Ameur, Michel Perrin and Jean-François Rainaud, Ontology-based model annotation of heterogeneous geological representations, WEBIST, edited by J.C Hammoudi, J. Filipe, Slimane, Funchal, Madeira, Portugal, INSTICC Press, August, 2008, pp. 290-283

Laura Mastella, Yamine Ait-Ameur, Michel Perrin and Jean-François Rainaud, Annotation à base ontologique de modèles : application aux modèles en géologie pour le stockage de CO2, 26ème Congrès INFORSID - Atelier Systèmes d'Information et de Décision pour l'Environnement, Fontainebleau, France, Mai, 2008, pp. 1-10

Laura Mastella, Michel Perrin, Yamine Ait-Ameur, Mara Abel and Jean-François Rainaud, Formalising geological knowledge through ontologies and semantic annotation, 70th EAGE Conference & Exhibition incorporating SPE Europec 2008, Rome, Italy, EarthDoc, 9-12 June, 2008

Thi Huyen Chau Nguyen, Pascal Richard and Enrico Bini, Improved approximate response time bounds for static priority tasks, Real-Time and Network Systems (RTNS'08), 2008

Ahmed Rahni, Emmanuel Grolleau and Michael Richard, Feasibility Analysis of Non-Concrete Real-Time Transactions With EDF, 16th International Conference on Real-Time and Network Systems RTNS2008 Rennes France, Octobre, 2008

Frédéric Ridouard, Jean-Luc Scharbarg and Christian Fraboul, Probabilistic upper bounds for heterogeneous flows using a static priority queueing on an AFDX network, 13th IEEE International Conference on Emerging Technologies and Factory Automation, vol. 1, Hambourg (Allemagne), Septembre, 2008

Loé Sanou, Sybille Caffiau, Patrick Girard and Laurent Guittet, Evaluation de l'usage de l'exemple pour l'apprentissage de la programmation dans l'environnement MELBA, Ergo'IA 08, edited by ESTIA Bidart-Biarritz, ESTIA, 14-17 Octobre, 2008, pp. 213-220

Loé Sanou, Sybille Caffiau, Patrick Girard and Laurent Guittet, Example usage evaluation for the programming learning in the MELBA environment, IADIS-MCCSIS 08, Amsterdam, The Netherlands, MCISIS, IADIS, 25-27 July, 2008, pp. 35-42

Loé Sanou, Patrick Girard, Laurent Guittet and Sybille Caffiau, Tester la conformité d'une interface homme machine à son modèle de tâches, IHM 08, edited by AFIHM, Metz, France, Université Paul Verlaine / AFIHM, ACM, 2008, pp. 159-162

Loé Sanou, Patrick Girard, Laurent Guittet and Sybille Caffiau, La programmation sur exemple pour l'automatisation des tests d'interfaces, Ergo'IA 08, edited by ESTIA Bidart-Biarritz, Biadart-Biarritz, France, ESTIA, ESTIA, 14-17 Octobre, 2008, pp. 255-256

Idir Ait-Sadoune and Yamine Ait-Ameur, B2EXPRESS : Un animateur de modèles B événementiel, Dans les actes des journées AFADL 2007 (Approches Formelles dans l'Assistance au Développement de Logiciel), Université de Namur, Belgique, Juin, 2007, pp. 295-296

Mehdi Baba-ali, David Marcheix, Xavier Skapin and Yves Bertrand, Generic Computation of bulletin boards into Geometric, Afrigraph 2007, edited by ACM, Novembre 2007, 2007

Sanjoy Baruah, Enrico Bini, Chau Huyen Nguyen and Pascal Richard, Continuity and Approximability of Response Time Bounds, Euromicro Conf. on Real-Time Systems (ECRTS'07), Work-in Progress, Pisa, 2007

Nabil Belaid, Ladjel Bellatreche, Yamine Ait-Ameur and Guy Pierra, Intégration de sources à base ontologique : architecture en réseau VS architure en étoile, Plate-Forme AFIA: Atelier Thématique GDR I3 sur Ontologies et Gestion de l'hétérogénéité sémantique (OGHS), Juillet, 2007, pp. 9-20

Ladjel Bellatreche, Selection of Redundant and non Redundant Optimization Structures in VLDBs, 3rd International Workshop on Data Management in Global Data Repositories (GRep' 2007), edited by IEEE Computer Society Press, September, 2007

Ladjel Bellatreche, Kamel Boukhalfa and Mukesh Mohania, Pruning Search Space of Physical Database Design, 18th International Conference on Database and Expert Systems Applications (DEXA'07) , edited by LNCS, September, 2007, pp. 479-488

Ladjel Bellatreche, Rokia Missaoui, Hamid Necir and Habiba Drias, Selection and Pruning Algorithms for Bitmap Index Selection Problem using Data Mining , 9th International Conference on Data Warehousing and Knowledge Discovery (DaWaK '07 ), edited by LNCS, September, 2007, pp. 221-230

Ladjel Bellatreche and Guy Pierra, OntoAPI: An Ontology-based Data Integration Approach by an a Priori Articulation of Ontologies, 4th International Workshop on P2P Data Management, Security and Trust (PDMST'07) , vol. Proc. of 18th International Conference on Database and Expert Systems Applications (DEXA 2007) , edited by IEEE Computer Society Press, September, 2007, pp. 799-803

Sybille Caffiau, Conception du dialogue d'un application interactive, conférence francophone sur l'interaction homme-machine, Novembre, 2007

Sybille Caffiau, Patrick Girard, Dominique Scapin and Laurent Guittet, Generating Interactive Applications from task Models: a Hard Challenge, Task Models and Diagrams (TAMODIA), 2007

Bernard Chauvière, Dominique Geniet and René Schott, Contributions to the multiprocessor scheduling problem, Computational Intelligence (IASTED-CI), 2007, pp. 55-60

Hondjack Dehainsala, Guy Pierra and Ladjel Bellatreche, OntoDB: An Ontology-Based Database for Data Intensive Applications, to appear in the 12th International Conference on Database Systems for Advanced Applications (DASFAA'07), edited by Springer's Lecture Notes in Computer Science, Bangkok - Thailand, April, 2007, pp. 497-508

Hondjack Dehainsala, Guy Pierra, Ladjel Bellatreche and Yamine Aït Ameur, Conception de bases de données à partir d'ontologies de domaine : Application aux bases de données du domaine technique, 1ères Journées Francophones sur les Ontologies (JFO'07), Octobre, 2007

Chimene FANKAM and Yamine AIT-AMEUR, Prise en compte des ontologies non canoniques dans les BDBO : le modèle ONTODB2., XXVème Congrès INFORSID (INFORSID'07), Perros-Guirec France, Mai, 2007

Chimène Fankam, Yamine Ait-Ameur and Guy Pierra, Exploitation of Ontology Languages for both Persistence and reasoning Purposes : Mapping PLIB, OWL and Flight ontology models., Third International Conference on Web Information Systems and Technologies(WEBIST), vol. WIA(978-972-8865-78-8), edited by Edited by: Joaquim Filipe, José Cordeiro, Bruno Encarnação and Vitor Pedrosa. , INSTICC Press, March, 2007, pp. 254-262

Nathan Fisher, Chau Huyen Nguyen, Joel Goossens and Pascal Richard, Parametric Polynomial-Time Algorithms for Computing Response-Time Bounds for Static-Priority Tasks with Release Jitters, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Daegu, Korea, 2007

Emmanuel Grolleau, Tutorial on real-time scheduling, Ecole d'été temps réel, ETR'07, Nantes, 2007

Nicolas Guibert, Patrick Girard and Laurent Guittet, Protocoles et Métriques pour l'Analyse de l'Activité dans un Environnement Interactif d'Apprentissage de l'Algorithmique, 19ème conférence francophone sur l'Interaction Homme-Machine, novembre, 2007

Stéphane Jean, Yamine Aït-Ameur and Guy Pierra, Une approche langage pour la gestion de données dans les systèmes de méta-modélisation, INFORSID 2007, Mai, 2007

Stéphane Jean, Yamine Ait-Ameur and Guy Pierra, An Object-Oriented Based Algebra for Ontologies and their Instances, Advances in Databases and Information Systems (ADBIS'07), vol. 4690/2007, Lecture Notes in Computer Science, edited by Springer Berlin / Heidelberg, 2007, pp. 141-156

Stéphane Jean, Hondjack Dehainsala, Dung Nguyen Xuan, Guy Pierra, Ladjel Bellatreche and Yamine Aït-Ameur, OntoDB: It is Time to Embed your Domain Ontology in your Database, Database Systems for Advanced Applications (DASFAA'07) (Demo Paper), LNCS, 2007, pp. 1119-1122

Nadjet Kamel, Linda Mohand-Oussaïd and Yamine Aït-Ameur, Systèmes interactifs multimodaux dans le secteur du transport : un modèle formel de conception et de validation, Workshop International : Logistique & Transport 2007 (LT’ 2007 ), Sousse, Tunisie, novembre, 2007

Khanh Hieu Ngo and Emmanuel Grolleau, DARTSVIEW, A toolkit for DARTS in LabVIEW, Junior Researcher Workshop on Real-Time Computing , Nancy, France, Nancy, France, 2007

Guy Pierra, Yamine Aït-Ameur, Ladjel Bellatreche, Hondjack Dehainsala, Stéphane Jean, Chimène Fankam and Dung Nguyen Xuan, Données à base ontologique: gestion, interrogation, intégration, Conférence invitée de la première édition des Journées Francophones sur les Ontologies (JFO 2007), Octobre, 2007

Ahmed Rahni, Emmanuel Grolleau and Michael Richard, New worst-case response time analysis technique for real-time transactions, ISoLa Workshop On Leveraging Applications of Formal Methods, Verification and Validation Isola2007 Poitiers France, vol. RNTI-SM-1, edited by Cépaduès, Décembre, 2007, pp. 9-20

Ahmed Rahni, Emmanuel Grolleau and Michael Richard, Méthode d’évaluation du pire temps de réponse de tâches à offset. , 5ème Ecole d’été temps réel ETR2007, Nantes, France, 2007

Ahmed Rahni, Karim Traoré, Emmanuel Grolleau and Michael Richard, Comparison of two worst-case response time analysis methods for real-time transactions, Junior Researcher Workshop on Real-Time Computing , Nancy, France, 2007

Pascal Richard, Joël Gossens and Nathan Fisher, Approximate Feasibility Analysis and Response-Time Bounds of Static-Priority Tasks with Release Jitters, Real-Time and Network Systems (RTNS'07), Nancy, 2007

Frédéric Ridouard, Jean-Luc Scharbarg and Christian Fraboul, Stochastic Network Calculus for end-to-end delays distribution evaluation on an avionics switched Ethernet, 5th IEEE International Conference on Industrial Informatics, vol. 1, Vienne (Autriche), Juillet, 2007, pp. 559-564

Frédéric Ridouard, Jean-Luc Scharbarg and Christian Fraboul, Stochastic Network Calculus for end-to-end delay evaluation of avionics multi-hop virtual links, 7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems, vol. 1, Toulouse (France), Novembre, 2007

Loé Sanou and Patrick Girard, Validation directe de la conformité d'une application interactive avec son modèle de tâches, IHM Rencontre doctorale, edited by AFIHM, Paris France, AFIH , 12-15 Novembre, 2007, pp. 249-252

Elhoussaine Ziyati, Kamel Boukhalfa and Ladjel Bellatreche, La contribution des structures d'optimisation non redondantes dans la conception physique des entrepôts de données, in 8th International Symposium on Programming and Systems (ISPS'2007), Mai, 2007

Guy pierra, PLIB ontologies, Where we are?, eCAT CEN/ISSS Workshop (Invited talk), 02, 2006

Yamine Ait-Ameur, Idir Ait-Sadoune and Mickael Baron, Etude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement, MOSIM 2006 - 6ème Conférence Francophone de Modélisation et Simulation. Modélisation, Optimisation et Simulation des Systèmes : Défis et Opportunités, edited by Lavoisier, Rabat, Maroc, Avril, 2006, pp. 578-588

Yamine Aït-Ameur, Idir Ait-Sadoune, Mickael Baron and Jean-Marc Mota, Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve, 18° Conférence Francophone sur l'Interaction Homme-Machine (IHM), vol. 133, edited by ACM International Conference Proceeding Series, Montréal, avril, 2006, pp. 123-130

Mickaël Baron, Vincent Lucquiaud, Delphine Autard and Dominique Scapin, K-MADe : un environement pour le noyau du modèle de description de l'activité, 18ème Conférence Francophone sur l'Interaction Homme-Machine (IHM'2006), edited by ACM Press, Montréal, 2006, pp. 287-288

Ladjel Bellatreche, La conception physique des data warehouses, Conférence Internationale sur l'Informatique et ses Applications (CIIA'06) - Papier Invité, 1-20, Mai, 2006

Ladjel Bellatreche, Kamel Boukhalfa and Hassan Ismail Abdalla, SAGA: A Combination of Genetic and Simulated Annealing Algorithms for Physical Data Warehouse Design, in Proceedings of 23rd British National Conference on Databases(BNCOD'06)(4042), edited by Lecture Notes in Computer Science (LNCS), Queen's University Belfast, Northern Ireland, July, 2006, pp. 212-219

Kamel Boukhalfa and Ladjel Bellatreche, Combinaison des algorithmes génétique et de recuit simulé pour la conception physique des entrepôts de données, in the proceedings of the Congrès d'Informatique Des Organisations et Systèmes D'Information et de Déçision (INFORSID’2006), fragmentation, entrepôt de données, algorithme génétique, recuit simulé, Juin, 2006

Kamel Boukhalfa, Ladjel Bellatreche and Zaia Alimazighi, Un algorithme de sélection des vues matérialisées et d'index de jointure dans les entrepôts de données, Ateliers des Systèmes Décisionnels (ASD'06), sélection des vues matérialiser, index avancés, algorithmes génétiques, décembre, 2006

Sybille Caffiau, Du modèle de tâches au modèle de dialogue des applications interactives, Rencontres Jeunes Chercheurs en IHM , Novembre, 2006

Hondjack Dehainsala, Guy Pierra and Ladjel Bellatreche, Benchmarking Data Schemes of Ontology Based Databases, Proceeding of On the Move to Meaningful Internet Systems 2006 (OTM'06) : ODBASE conference, vol. 1, 4277, edited by Lecture Notes in Computer Science, Novembre, 2006, pp. 48-49

Nicolas Guibert, Patrick Girard and Laurent Guittet, Performances et usages d’un environnement d’apprentisage de la programmation « basé sur exemple », ERGO'IA , 2006, pp. 103-110

Stéphane Jean, Yamine Aït-Ameur and Guy Pierra, Querying ontology based databases. The OntoQL proposal, Software Engineering and Knowledge Engineering (SEKE2006), Knowledge Systems Institute Graduate School, Juillet, 2006, pp. 166-171

Stéphane Jean, Yamine Aït-Ameur and Guy Pierra, Querying Ontology Based Databases Using OntoQL (an Ontology Query Language), Ontologies, DataBases, and Applications of Semantics (ODBASE'2006), vol. 4275, Lecture Notes in Computer Science, edited by R.Meersman, Z. Tari et al., Springer, 2006, pp. 704-721

Stéphane Jean, Guy Pierra and Yamine Ait-Ameur, Domain Ontologies : a Database-Oriented Analysis, Web Information Systems and Technologies (WEBIST’2006), edited by José A. Moinhos Cordeiro, Vitor Pedrosa, Bruno Encarnação, Joaquim Filipe, INSTICC PRESS, april, 2006, pp. 341-351

Hassina Mouloudi, Ladjel Bellatreche, Arnaud Giacometti and Patrick Marcel, Personalization of MDX Queries, Bases de Données Avancées (BDA'06), Octobre, 2006

Pascal Richard, Polynomial-Time Approximate Schedulability Tests for Fixed-Priority Real-Time Tasks: Some Numerical Experimentations, 14th Int. Conf. on Real-Time and Network Systems, 2006, pp. 191-199

Pascal Richard and Joël Goossens, Approximating response times of static-priority tasks with release jitters, Euromicro Int. Conf. on Real-Time Systems (ECRTS'06), Work-in progress, 2006

Frédéric Ridouard and Pascal Richard, Worst-case analysis of feasibility tests for self-suspending tasks, proc. 14th Real-Time and Network Systems, Poitiers, 2006

Loé SANOU and Patrick GIRARD, Vers un outils pour la réalisation de système de programmation sur exemple, 3eme Rencontres Jeunes Chercheurs en Interaction Homme Machine RJC-IHM'06, AFIHM, Anglet, 12-15 novembre, 2006

Loé Sanou, Patrick Girard and Laurent Guittet, Comparaison de deux méthodes pour implémenter la programmation sur exemple, 18° Conférence Francophone sur l'Interaction Homme-Machine (IHM), edited by AFIHM, Montréal, 2006, pp. 265-268

Loé Sanou, Patrick Girard and Laurent Guittet, La programmation sur exemple : principes, utilisation et utilité pour les applications interactives , Ergo'IA, ESTIA, Bidart-Biarritz, 2006, pp. 201-208

Dilek TAPUCU, Quality based model for semantic web, POSTER in KnowledgeWeb PhD Symposium 2006 (KWEPSY2006), 2006

Karim Traoré, Emmanuel Grolleau and Francis Cottet, Schedulability analysis of serial transactions, Real-Time and Network Systems, RTNS'06, Poitiers, France, May 30-31, 2006, pp. 141-149

Karim Traoré, Emmanuel Grolleau and Francis Cottet, Characterization and Analysis of Tasks with Offsets : Monotonic Transactions, Real-Time Computing Systems and Applications, RTCSA'06, Sydney, Australie, IEEE Computer Society Press, Augt 16-18, 2006

Karim Traoré, Emmanuel Grolleau and Francis Cottet, Simpler Analysis of Serial Transactions Using Reverse Transactions, Conference on Autonomic and Autonomous Systems, ICAS'06, Silicon Valley, USA, IEEE Computer Society Press, July 19-21, 2006

Karim Traoré, Emmanuel Grolleau, Ahmed Rahni and Michaël Richard, Response-Time Analysis of tasks with offsets, 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, Prague, Czech Republic, September 20-22, 2006

Dung Nguyen Xuan, Ladjel Bellatreche and Guy Pierra, Un modèle à base ontologique pour la gestion de l'évolution asynchrone des entrepôts de données., MOSIM'06 (Modélisation, Optimisation et Simulation des Systèmes : Défis et Opportunités), pp. 1682-1691, Rabat, Maroc, 3 - 5 avril, 2006

Dung NGUYEN XUAN, Ladjel BELLATRECHE and Guy PIERRA, A Versioning Management Model for Ontology-Based Data Warehouses, 8th International Conference on Data Warehousing and Knowledge Discovery (DaWak '06), pp. 195-206, Lecture Notes in Computer Science (LNCS), 2006

Elhoussaine Ziyati and Ladjel Bellatreche, Sélection de schéma de fragmentation mixte dans les entrepôts de données, Ateliers des Systèmes Décisionnels (ASD'06), décembre, 2006

Nicolas Guibert, Laurent Guittet and Patrick Girard, A study of the efficience of an alternative programming paradigm to teach the basics of programming. , IFIP 8th World Conference on Computers in Education (WCCE 2005), Stellenboch, South Africa, IFIP TC3, SBS Conferences, IFIP, 2005

Annie choquet-Geniet, Un premier pas vers l'étude de la cyclicité en environnement multiprocesseurs, Real Time Systems, edited by BIRP, avril, 2005, pp. 289-302

Yamine Ait-Ameur, Mickael Baron and Kamel Nadjet, Encoding a Process Algebra Using the Event B Method., ISOLA 2005 - 2nd IEEE International Symposium on Leveraging Applications of Formal Methods, edited by Loyola College, Department of Computer Science University of, Columbia, Maryland USA, 2005

Mehdi Baba-Ali, David Marcheix, Xavier Skapin and Yves Bertrand, Intégration des opérations de nomination dans un modèle géométrique 3D, AFIG (Journées de l’Association Française d’Informatique Graphique), vol. 1, edited by AFIG, Novembre, 2005

Ladjel Bellatreche and Kamel Boukhalfa, Une répartition statique et dynamique de l'espace entre les vues matérialisées et les index dans les entrepôts de données, International Symposium on Programming and Systems (ISPS'05), USTHB - Alger, 2005

Ladjel Bellatreche and Kamel Boukhalfa, An Evolutionary Approach to Schema Partitioning Selection in a Data Warehouse Environment , 7th International Conference on Data Warehousing and Knowledge Discovery (DAWAK'05)(3589), edited by Lecture Notes in Computer Science (LNCS), August, Springer-Verlag, 2005

Ladjel Bellatreche, Arnaud Giacometti, Dominique Laurent and Hassina Mouloudi, A personalization framework for OLAP queries, ACM 8th International Workshop on Data Warehousing and OLAP, Novembre, 2005, pp. 9-18

Bernard Chauvière and Dominique Geniet, Quantification de l'ordonnançabilité des systèmes temps-réel à contraintes strictes, Rencontre Jeune Chercheur en Informatique Temps-Réel, ETR, 2005, pp. 41-44

Hondjack Dehainsala, Stéphane Jean, Dung Nguyen Xuan and Guy Pierra, Ingénierie dirigée par lesmodèles en EXPRESS : un exemple d’application, IDM (Ingénierie dirigée par les modèles), 30 juin - 1er juillet, 2005

Patrick Girard, Francis Jambon and Mickael Baron, Using formal methods in safety-critical interactive system design : from architecture-based approaches to tool-based development, HCII, Las Vegas, USA, 2005

Nicolas Guibert, Laurent Guittet and Patrick Girard, Programming by Example: a powerful paradigm to support the experimental acquisition of programming skills., HCI International 2005, vol. ‘Human-Computer Interfaces: Concepts, New Ideas, Better Usability, and Applications’(4), edited by Lawrence Erlbaum Associates, Inc, Las Vegas, Nevada, USA, 22-27 July, 2005

Nicolas Guibert, Laurent Guittet and Patrick Girard, Initiation à la programmation "par l'exemple" : Concepts, Environnement et Etude d'utilité., Environnements Iinformatiques pour l' Apprentissage Humain (EIAH), Montpellier, France, 2005, pp. 461-466

Nicolas Guibert, Laurent Guittet and Patrick Girard, Validation d’une approche « basée sur exemples » pour l’apprentissage de la programmation., 17e Conférence francophone sur l'Interaction Homme-machine (IHM 2005), Toulouse, France, 2005, pp. 147-155

Stéphane Jean, Guy Pierra and Yamine Ait-Ameur, OntoQL: an exploitation language for OBDBs, VLDB PhD Workshop, 29 Août, 2005

Yacine Laalaoui, Emmanuel Grolleau and Habiba Drias, Ant Colony System for Real-Time Scheduling with Timing, Precedence and Exclusion Constraints , International Arab Conference on Information Technology, 2005

Gaëlle Largeteau and Dominique Geniet, Quantification du taux d'invalidité d'applications temps réel : une approche géométrique, RTS embedded systems 13th International Conference on Real-Time Systems, edited by N. Navet, Paris, France, BIRP, teknea, Avril, 2005

Gaëlle Largeteau, Dominique Geniet and Eric Andres, Discrete Geometry Applied in Hard Real-Time Systems Validation, Discrete Geometry for Computer Imagery 12th International Conference, DGCI 2005, vol. 3429, Lecture Notes in Computer Science , Poitiers, France, Springer Berlin / Heidelberg, April, 2005, pp. 23-33

Vincent Lucquiaud, Proposition d’un noyau et d’une structure pour les modèles de tâches orientés utilisateurs, 17ème Conférence Francophone sur l'Interaction Homme-Machine (IHM'2005), edited by ACM Press, Toulouse, 27-30 septembre, 2005, pp. 83-90

David Marcheix, Persistent Naming of Shells, Ninth International Conference on Computer Aided Design and Computer Graphics 2005, vol. 1, edited by IEEE Computer Society, Hong Kong, China, December, 2005

Guy Pierra, Hondjack Dehainsala, Nadège Ngabiapsi Negue and Mounira Bachir, Transposition relationnelle d’un modèle objet objet par prise en compte des contraintes d’intégrité de niveau instance, congrès INFORSID, 2005, pp. 455-470

Pascal Richard, Analyse des temps de réponse et de la demande processeur en ordonnancement temps réel de tâches périodiques, Ecole d'été Temps Réel (ETR'05), 2005

Frédéric Ridouard, Pascal Richard and Francis Cottet, Ordonnancement de tâches indépendantes avec suspension, 13th INTERNATIONAL CONFERENCE ON REAL-TIME SYSTEMS (RTS), Avril, 2005

Loé SANOU, Patrick GIRARD and Laurent GUITTET, Introducing Programming by Demonstration techniques at the toolkit level : a case study, HCI international 2005, ISBN/ISSN : 0-8058-5807-5, edited by Gavriel Salvendy , Las Vegas, Nevada, USA, CD-ROM by Lawrence Erlbaum Associates , 22-27 July, 2005

Yamine Aït-Ameur and Mickaël Baron, Bridging the gap between formal and experimental validation approaches in HCI systems design : use of the event B proof based technique, ISOLA 2004 - 1st International Symposium on Leveraging Applications of Formal Methods, edited by Cyprus, Department of Computer Science University of, Paphos, Cyprus, 2004, pp. 74-81

Yamine Aït-Ameur, Frédéric Boniol, Rémi Delmas, Emmanuel Grolleau, Nathalie Torrecillas and Virginie Wiels, Integration of heterogeneous formal techniques for the design of avionics systems, DASIA 2004 (Data Systems in Aerospace), June 28-30 2004, Nice, France, 2004

Yamine Aït-Ameur, Benoit Bréholée, Patrick Girard, Laurent Guittet and Francis Jambon, Formal verification and validation of interactive systems specifications from informal specifications to formal validation, HESSD : Conference of Human Error, Safety and Systems Development, Toulouse, France, August 22-27, 2004

Yamine Aït-Ameur and Nadjet Kamel, A generic formal specification of fusion of modalities in a multimodal HCI, IFIP World Computer Science, edited by Jacquart, René, Toulouse, France, Kluwer Academic Publishers, 2004, pp. 415-420

Mickaël Baron and Patrick Girard, SUIDT : Safe User Interface Design Tool (Demos), International Conference on Intelligent User Interfaces Computer-Aided Design of User Interfaces (IUI-CADUI 2004), Madeira, Portugal, ACM Press, 2004, pp. 350-351

Ladjel Bellatreche, Guy Pierra, Dung Nguyen Xuan and Hondjack Dehainsala, Intégration de sources de données autonomes par articulation a priori d’ontologies, XXII-ème congrès INFORSID, edited by Inforsid, Biarritz, France, IUT de Bayonne, Mai, 2004, pp. 283-298

Ladjel Bellatreche, Guy Pierra, Dung Nguyen Xuan, Hondjack Dehainsala and Yamine Ait-Ameur, An a Priori Approach for Automatic Integration of Heterogeneous and Autonomous Databases, 15 th International Conference on Database and Expert Systems Applications (DEXA'04), pp. 475-485, Lecture Notes in Computer Science (LNCS), Zaragoza, Spain, Aout, 2004

Ladjel Bellatreche, Michel Schneider, Mukesh Mohania and Hervé Lorinquer, Bringing Together Partitioning, Materialized Views and Indexes to Optimize Performance of Relational Data Warehouses , 6th International Conference on Data Warehousing and Knowledge Discovery(3181), edited by Lecture Notes in Computer Science (LNCS), Zaragoza, Spain, September, 2004, pp. 15-25

Hondjack Dehainsala, Base de Données à Base Ontologique, Actes du 23eme congrès Inforsid, mai, 2004, pp. 539-540

J. Goossens and P. Richard, Overview of real-time scheduling problems, Euro Workshop on Project Management and Scheduling, Invited Paper, 2004

J. Goossens and P. Richard, Performance Optimization for hard Real-Time Fixed Priority Tasks, proc. Real-Time Embedded Systems, 2004

Nicolas Guibert, Laurent Guittet and Patrick Girard, "Example-based Programming: a pertinent visual approach for learning to program" (article court + poster), Advanced Visual Interfaces (AVI), edited by Costabile, Maria Francisca, Gallipoli, Italy, acm press, 2004, pp. 358-361

Nicolas Guibert, Laurent Guittet and Patrick Girard, Apprendre la programmation par l’exemple : méthode et système, Technologies de l'Information et de la Connaissance dans l'Enseignement Supérieur et l'Industrie (TICE), UTC Compiègnes- France, 2004, pp. 345-352

S. Jeannenot, P. Richard and F. Ridouard, Ordonnancement temps réel avec profils variables de consommation d'énergie, proc. Real-Time Embedded Systems, 2004

Nadjet Kamel, Utilisation de SMV pour la vérification de propriétés d'IHM multimodales (Article court), 16° Conférence Francophone sur l'Interaction Homme-Machine (IHM'2004), vol. 1, Namur, Belgique, ACM Press, 2004, pp. 219-222

Nadjet Kamel, Modélisation et vérification formelle des IHM multimodales (Rencontres Jeunes Chercheurs), Rencontres Jeunes Chercheurs en Interaction Homme-Machine, vol. 1, Lacanau, 2004

Stéphane Pailler and Annie Choquet-Geniet, Off-Line scheduling of real-time applications with variable duration tasks, 7th Workshop on Discrete Events Systems, September, 2004, pp. 373-378

G. Pierra, THE PLIB ONTOLOGY-BASED APPROACH TO DATA INTEGRATION, 18th IFIP World Computer Congress (WCC 2004), edited by R. Jacquart, Kluwer Academic Publishers, 2004, pp. 13-18

Guy Pierra, The PLIB Ontology-based approach to data integration, 18th IFIP World Computer Congress (WCC'2004), 2004

Guy Pierra, The PLIB Ontology-Based Approach to Data Integration, 18th IFIP World Computer Congress (WCC'2004), vol. 156/2004, Spinger Boston, 2004, pp. 13-18

Guy PIERRA, Hondjack DEHAINSALA, Yamine AIT-AMEUR, Ladjel BELLATRECHE, Jérôme CHOCHON and Mourad EL-HADJ MIMOUNE., Base de Données à Base Ontologique : le modèle OntoDB, 20 èmes Journées Bases de Données Avancées (BDA 2004), edited by J. Lemaitre, 2004, pp. 263-286

F. Ridouard, P. Richard and P. Martineau, On-line minimization of makespan for single batching machine scheduling problems, Euro Workshop on Project Management and Scheduling, 2004

Frédéric Ridouard, Pascal Richard and Francis Cottet, Negative results for scheduling independent hard real-time tasks with self-suspensions, The 25th IEEE International Real-Time Systems Symposium, December, 2004

Loé SANOU, Patrick GIRARD and Laurent GUITTET, Introduire des techniques de Programmation sur Exemple dans une boîte à outils : une étude de besoin, Secondes Rencontres Jeunes Chercheurs en Interaction Homme-Machine RJC-IHM'04, AFIHM, Lacaneau, 20-22 octobre, 2004

D. AGBODAN, D. MARCHEIX, G. PIERRA and C. THABAUD, A Topological Entity Matching Technique for Geometric Parametric Models, International Conference on Shape Modeling and Application (SMI'03), 2003, pp. 235-244

Yamine Aït-Ameur, Mickaël Baron and Patrick Girard, Formal validation of HCI user tasks, The 2003 International Conference on Software Engineering Research and Practice - SERP 2003, vol. 2, edited by Ban, Al-Ani and H.R, Arabnia and Youngsong, Mum, Las Vegas, Nevada USA, CSREA Press, 2003, pp. 732-738

Yamine Aït-Ameur, Mickaël Baron and Nadjet Kamel, Utilisation de techniques formelles dans la modélisation d'Interfaces Homme-Machine. Une expérience comparative entre B et Promela/SPIN, 6th International Symposium on Programming and Systems ISPS 2003, Algérie, 2003, pp. 57-66

Yamine AIT-AMEUR, Frédéric BONIOL, Sylvain PAIRAULT and Virginie WIELS, Analyse de Robustesse de Systèmes Avioniques, Journées Francophones des Langages Applicatifs, Chamrousse, Janvier, 2003

Youcef Aklouf, Guy Pierra, Yamine Aït-Ameur and Habiba Drias, PLIB Ontology For B2B Electronic Commerce, Proceedings of CE'2003, Special track on Data Integration in Engineering, Madeira, Portugal, edited by R. Jardim-Gonçalves and J. Cha and A. Steiger-Garçao, Madeira, Portugal, UNINOVA, A.A. Balkema, July, 2003, pp. 269-278

Mickaël Baron and Patrick Girard, SUIDT : Un outil de construction d'interfaces utilisateurs sûres (Démonstration), 15ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 2003), vol. 1, Caen, ACM Press, 2003, pp. 198-201

Ladjel Bellatreche, Techniques d'optimisation des requêtes dans les data warehouses, Sixth International Symposium on Programming and Systems, 2003, pp. 81-98

Ladjel Bellatreche, Guy Pierra, Dung Nguyen Xuan and Hondjack Dehainsala, An Automated Information Integration Technique using an Ontology-based, Proceedings of CE'2003, Special track on Data Integration in Engineering, Madeira, Portugal, edited by R. Jardim-Gonçalves and J. Cha and A. Steiger-Garçao, Madeira, Portugal, UNINOVA, A.A. Balkema, July, 2003, pp. 217-224

Jérôme Chochon, Yamine Ait-Ameur, Guy Pierra and Jean-Claude Potier, Reducing parts diversity in product design: a data centered approach, Proceedings of CE'2003, Special track on Data Integration in Engineering, Madeira, Portugal, edited by R. Jardim-Gonçalves and J. Cha and A. Steiger-Garçao, Madeira, Portugal, UNINOVA, A.A. Balkema, July, 2003

Annie Choquet-Geniet, Panorame de l'ordonnancement temps réel monoprocesseur, ETR2003, 2003, pp. 213 - 226

Fabrice Depaulis, Laurent Guittet and Patrick Girard, User Action Semantics in Programming by Demonstration Systems, Network of Excellence on End-User Development, edited by Software Engineering Issues in EUD, Bonn (Germany), 2003

Fabrice Depaulis, Laurent Guittet and Christophe Martin, Apprends ce que je fais, 15ème Conférence Francophone sur l'Interaction Homme-Machine, vol. 1, Caen, ACM Press, 2003, pp. 236-239

Patrick Girard, Mickaël Baron and Francis Jambon, Integrating formal approaches in Human-Computer Interaction methods and tools: an experience (Workshop), Interact 2003 - Closing the Gaps - Software Engineering and Human-Computer Interaction, edited by Morten Borup Harning and Jean Vanderdonckt, Zürich, Switzerland, 2003, pp. 55-62

Nicolas Guibert and Patrick Girard, Teaching and Learning Programming with a Programming by Example System, International Symposium on End User Development, Sankt Augustin (Bonn), Germany, EUD - net, 2003

Nicolas Guibert and Patrick Girard, Programmation sur Exemple et Enseignement assisté par ordinateur de l'algorithmique : le projet MELBA (article court), 15° Conférence Francophone sur l'Interaction Homme-Machine (IHM'2003), vol. 1, Caen, ACM Press, 2003, pp. 248-251

Mourad El-Hadj Mimoune, Guy Pierra and Yamine Aït-Ameur, An Ontology-based approach for exchanging data between heterogeneous database systems, ICEIS'03, vol. 4, ESEO Angers, 2003, pp. 512-524

Khahn Hieu Ngo and Emmanuel Grolleau, La méthode DARTS et la programmation multitâche en LabVIEW, FuturVIEW, ENSMA, 12 et 13 juin, 2003, pp. 69-74

Stéphane Pailler and Annie Choquet-Geniet, Analyse hors ligne d'applications temps réel fortement couplées comportant des tâches à durées variables, Majestic03 et Special Issue ISDM'Majestic03, 2003

Guy Pierra, Context-Explication in Conceptual Ontologies: The PLIB Approach, Proceedings of CE'2003, Special track on Data Integration in Engineering, Madeira, Portugal, edited by R. Jardim-Gonçalves and J. Cha and A. Steiger-Garçao, Madeira, Portugal, UNINOVA, A.A. Balkema, July, 2003, pp. 243-254

Michael Richard, Pascal Richard and Francis Cottet, Allocating and Scheduling Tasks in Multiple Fieldbus Real-Time Systems, IEEE Conference on Emerging Technologies and Factory Automation (ETFA), vol. 1, edited by IEEE, Septembre, 2003, pp. 137-144

Michael Richard, Pascal Richard and Francis Cottet, Placement et Validation dans les Systèmes Temps Réel Distribués, RTS'03, edited by Teknea, 2003, pp. 387-410

Pascal Richard, On the complexity of scheduling real-time tasks with self-suspension on one processor, 15th IEEE Int. Euromicro Conferecnce on Real-Time Systems (ECRTS'03), edited by IEEE Computer Press, 2003

Pascal Richard, Analyse du temps de réponse des systèmes temps réel, Actes de l'Ecole d'été Temps Réel, 2003

Pascal Richard, Frédéric Ridouard and Patrick Martineau, On-line scheduling on a single batching machine to minimize the makespan, 6th Int. Conference on Industrial Engineering and Production Management (IEPM'03), 2003

Yamine AIT-AMEUR, Méthodologie de Conception et de Développements de Composants Avioniques et Utilisations de Techniques Formalles, Conférence invitée aux Journées Qalité et Sûreté Logicielle du LORIA, Nancy, 2002

Yamine AIT-AMEUR, Bruno D'AUSBOURG, Frédéric BONIOL and Virginie WIELS, A component Based Méthodology for Description of Complex Systems, 4th European Systems Engineering Conference, EuSEC, Toulouse, 2002

Mickaël Baron, De la conception à la construction d'application sûre (Rencontre Doctorale), 14° Conférence Francophone sur l'Interaction Homme-Machine (IHM'2002), Poitiers, ACM Press, 27-29 november, 2002

Mickaël Baron, Intégration d'un modèle de tâche dans une démarche sûre de construction d'interface, 14° Conférence Francophone sur l'Interaction Homme-Machine (IHM'2002), Poitiers, ACM Press, 27-29 november, 2002

Mickaël Baron and Patrick Girard, SUIDT : A task model based GUI-Builder, TAMODIA : Task MOdels and DIAgrams for user interface design, Romania, Bucharest, 2002, pp. 64-71

Ladjel Bellatreche, Michel Schneider, Mukesh Mohania and Bharat Bhargava, PartJoin: An Efficient Storage and Query Execution for Data Warehouses , Data Warehousing and Knowledge Discovery (DAWAK)(2454), ISBN 3-540-44123-9 , edited by Lecture Notes in Computer Science, septembre, 2002, pp. 296-306

L. David, E. Grolleau and S. Constantin, Plate-forme d'expérimentation pour l'ordonnancement des applications temps réel à contraintes strictes, Conf. Real Time Systems (RTS'02), edited by Ed. Teknea, Paris, France, 2002, pp. 33-46

Fabrice Depaulis, Sabrina Maiano and Guillaume Texier, DTS-Edit : an Interactive Development Environment for Structured Dialog Applications, CADUI'02, Valenciennes (France), Kluwer Academics, 2002, pp. 75-82

Francis Jambon, From Formal Specifications to Secure Implementations, Computer-Aided Design of User Interfaces (CADUI'2002), edited by Kolski, Christophe and Vanderdonckt, Jean, Valenciennes, France, Kluwer Academics, 2002, pp. 43-54

Gaëlle Largeteau and Dominique Geniet, Term Validation of distributed hard real time applications, CIAA 2002 : international conference on implementation and application of automata, vol. 2608, Lecture Notes in Computer Science, edited by Champarnaud Jean-Marc, Maurel Denis, Tours, France, July, 2002, pp. 339-343

Gaëlle Largeteau and Dominique Geniet, Validation Temporelle d'Applications Temps Réel Distribuées à Contraintes Strictes, RTS embedded systems Real time systems 2002, edited by teknea, Paris, France, 2002

Vincent Lucquiaud, Dominique Scapin and Francis Jambon, Outils de modélisation des tâches utilisateurs : exigences du point de vue utilisation, 14ème Conférence Francophone sur l'Interaction Homme-Machine (IHM'2002), edited by ACM Press, Poitiers, 27-29 novembre, 2002, pp. 243-246

David Marcheix and Guy Pierra, A Survey of the Persistent Naming Problem, International Conference on Solid Modeling (SM'02), edited by ACM, Saarbrucken, GERMANY, June 17-21, 2002

Stéphane Pailler and Annie Choquet-Geniet, Ordonnancement Temps Réel d'apllications comportant des tâches à durées variables, Real Time System, edited by teknea, Paris, 26-28 Mars, 2002, pp. 151-172

Stephane Pailler and Annie Choquet-Geniet, Off line Scheduling of Applications with Variable Duration Tasks, Summer School MOVEP'2002, Nantes France, June, 2002, pp. 378-383

Guy Pierra, Un modèle formel d'ontologie pour l'ingénierie, le commerce électronique et le Web sémantique: Le modèle de dictionnaire sémantique PLIB , Journées Scientifiques WEB SEMANTIQUE, Paris, Octobre, 2002

M. Richard, P. Richard, E. Grolleau and F. Cottet, Contraintes de précédences et ordonnancement mono-processeur, Real Time and Embedded Systems, edited by Teknea, 26-28 mars, 2002, pp. 121-138

Pascal Richard, A Tool for Controlling Response Time in Real-Time Systems, Computer Performance Evaluation. Modelling Techniques and Tools.(2324), Lecture Notes in Computer Science, Springer Verlag, April, 2002, pp. 339-348

Yamine AIT-AMEUR, Vérification formelle de programmes, Conféérence invitée, ISPS, 2001

Mohand AIT-MOHAMMED and Yamine AIT-AMEUR, Evaluation de la précision des calculs dans les programmes numériques, International Symposium on Programming and Systems, Alger, 2001

Mickaël Baron and Patrick Girard, Vers un développement sûr d'applications interactives (Poster), IHM-HCI 2001, vol. 2, edited by Vanderdonckt, Jean and Blandford, Ann and Derycke, Alain, Lille, France, Cépaduès-Éditions, 2001, pp. 155-158

Mickaël Baron and Patrick Girard, Bringing Robustness to End-User Programming, 2001 IEEE Symposia on Human-Centric Computing Languages and Environments, edited by IEEE, Stresa, Italy, Entergraphica, 2001, pp. 142-149

Karim CHEBIEB, Djamila MANSOUR and Yamine AIT-AMEUR, Expression, Analyse, et Evaluation de propriétés Ergonomiques, International Symposium on Programming and Systems, ISPS, Alger, 2001

Jerome Chochon, Eric Sardet and Guy Pierra, Méta représentation EXPRESS des schémas XML pour la validation de documents XML, Actes de la Journée de Travail Bi-Thématique du GDR-PRC I3, Lyon, Equipe SIGMA LSR-IMAG et Equipe MODEME IAE de Lyon, 13 décembre, 2001, pp. 247-265

L. David, F. Cottet and N. Nissanke, Jitter Control in On-line Scheduling of Dependent Real-Time Tasks, 22nd IEEE Real-Time Systems Symposium, London, UK, December, 2001, pp. 49-58

L. David and F. Cottet, Traitement de la gigue de tâches dépendantes dans un contexte d'ordonnancement temps réel en ligne, Conf. Real Time Systems (RTS'01), edited by Ed. Teknea, Paris, France, 2001, pp. 167-187

Dominique Geniet and Gaëlle Largeteau, Validation temporelle de systèmes de tâches temps-réel strictes à durée variables à l'aide de langages rationnels, Actes de Modélisation des systèmes réactifs Modélisation des systèmes réactifs, Toulouse, France, September, 2001, pp. 243-258

Emmanuel Grolleau and Annie Choquet-Geniet, Ordonnancement de tâches temps réel en environnement multiprocesseur à l'aide de réseaux de Petri, Real-Time Systems, RTS'2001, Paris, France, 2001

Francis Jambon, Philippe Brun and Dominique Geniet, Un cadre d’études pour une approche temps-réel de l’ingénierie des IHM à contraintes temporelles, IHM-HCI'2001, vol. 2, edited by Vanderdonckt, Jean and Blandford, Ann and Derycke, Alain, Lille, France, Cépaduès-Éditions, 2001, pp. 133-136

Francis Jambon, Patrick Girard and Yamine Aït-Ameur, Interactive System Safety and Usability enforced with the development process, Engineering for Human-Computer Interaction (8th IFIP International Conference, EHCI'01, Toronto, Canada, May 2001), vol. 2254, Lecture Notes in Computer Science, edited by Little, Reed Murray and Nigay, Laurence, Berlin, Springer, 2001, pp. 39-55

Gaëlle Largeteau, Dominique Geniet and Jean-Philippe Dubernard, Validation of distributed periodic real-time systems using CAN protocol with finite automata, Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics World Multiconference on Systemics, Cybernetics and Informatics, ISAS-SCIs, Orlando, florida, USA, 2001, pp. 151-155

Mourad El-Hadj Mimoune, Yamine Aït-Ameur and Guy Pierra, Modélisation du contenu des catalogues de composants industriels : de la représentation implicite à la représentation explicite., Fifth International Symposium On Programming System, ISPS'2001, Alger, Mai, 2001, pp. 15-26

Mourad El-Hadj Mimoune, Guy Pierra and Y. Ait-Ameur, Une approche pour l’échange entre bases de données hétérogènes basée sur des méta-modèles génériques exprimés en langage EXPRESS, Actes de la Journée de Travail Bi-Thématique du GDR-PRC I3, Lyon, 13 Décembre, 2001, pp. 229-246

Mukesh Mohania, Yahiko Kambayashi, A. Min Tjoa, Roland Wagner and Ladjel Bellatreche, Trends in Database Research, Database and Expert Systems Applications(2113), edited by Lecture Notes in Computer Science Springer , septembre, 2001, pp. 984-988

Guillaume Patry and Patrick Girard, End-User Programming in a Structured Dialogue Environment: the GIPSE Project, 2001 IEEE Symposia on Human-Centric Computing Languages and Environments, edited by IEEE, Stresa, Italy, Entergraphica, 2001, pp. 212-219

Guy Pierra, NCS relationship to ISO "Parts Library" ISO 13 584, 9th International Symposium on NATO codification, Luxembourg , 18-20 September, 2001

Guy Pierra, Spécification de données objets et présentation documentaire. L'exemple des catalogues électroniques, Fifth International Symposium On Programming System, Alger, Mai, 2001

M. Richard, P. Richard and F. Cottet, Affectation Optimale des Priorités des Tâches et des Messages dans les Systèmes Distribués Temps Réel, Real Time and Embedded Systems, edited by Teknea, mars, 2001, pp. 107-122

M. Richard, P. Richard and F. Cottet, Task and Message Priority Assignment in Automotive Systems, 4th FeT IFAC Conference on Fieldbus Systems and their Applications, edited by Elsevier Science, 2001, pp. 105-112

Pascal Richard, Francis Cottet and Michaël Richard, On-line scheduling of Real-Time Distributed Computers With Complex Communication Constraints, ICECCS'2001, edited by Press, IEEE Computer, Skövde (Sweden), 2001, pp. 26-34

Eric Sardet, Guy Pierra, H. Murayama, Y. Oodake and Yamine Ait-Ameur, Simplified Representation of Parts Library : Model Practice and Implementation, 10th Symposium on Product Data Technology Europe , PDT Days 2001, Brussels, QMS edition, 2001, pp. 163-174

Guillaume Texier, Fabrice Depaulis and Laurent Guittet, End-User Class Definition in CAD Systems, 2001 IEEE Symposia on Human-Centric Computing Languages and Environments, edited by IEEE, Stresa, Italy, Entergraphica, 2001, pp. 180-187

Guillaume Texier, Laurent Guittet and Patrick Girard, The Dialog Toolset: a new way to create the dialog component, Universal Access in HCI, edited by Stephanidis, Constantine, New-Orleans, Louisiana, USA, Lawrence Erlbaum Associates, 2001, pp. 200-204

Kathy walrath and Mary campione, The JFC Swing tutorial, The JFC Swing tutorial, Addison wesley, 2000

Dago Agbodan, David Marcheix and Guy Pierra, Persistent Naming For Parametric Models, 8-th International Conference in Central Europe on Computer Graphics and Visualization and Interactive Digital Media, Plzen, Tchécoslovaquie, February , 2000, pp. 418-425

Yamine Aït-Ameur, Guy Pierra and Eric Sardet, An object oriented approach to represent behavioural knowledge in heterogeneous information systems, International Conference on Object-Oriented Information Systems, London, 2000, pp. 315-339

Yamine AIT-AMEUR, Guy PIERRA and Eric SARDET, An Object Oriented Approach to Represent Behavioural Knowledge in Heterogeneous Information Systems, Object Oriented Information Systems, edited by Springer Verlag, Londres, 2000, pp. 303-315

Mickaël Baron and Patrick Girard, Construction interactive d'application à partir du noyau fonctionnel, Ergonomie et informatique avancées (Ergo-IHM'2000), edited by Scapin, D and Vergisson, E, Biarritz, France, ESTIA, 2000, pp. 85-93

Ladjel Bellatreche, Logical and Physical Design in Data Warehousing Environments, EDBT 2000 PhD Workshop, Mars, 2000

Ladjel Bellatreche, Une Méthodologie de Fragmentation dans les Entrepôts de Données, 16ème Congrès d'Informatique des Organisations et Systèmes d'Information et de Décision (INFORSID'00), May, 2000, pp. . 245-260

Ladjel Bellatreche, Kamalakar Karlapalem and Qing Li, Evaluation of Materialized View Indexing in Data Warehousing Environments, , Second International Conference on Data Warehousing and Knowledge Discovery (DAWAK'00), septembre, 2000, pp. 57-66

Ladjel Bellatreche, Kamalakar Karlapalem, Mukesh Mohania and Michel Schneider, What Can Partitioning Do for Your Data Warehouses and Data Marts? , International Database Engineering and Applications Symposium(IDEAS'2000), 2000, pp. 437-446

F. Cottet and L. David, Improving Temporal Behavior with Graphical Method in Real Time Systems, IFAC Workshop On Real Time Programming, Palma de Mallorca, Spain, April, 2000, pp. 79-84

L. David and F. Cottet, A solution to the time jitter removal in deadline based scheduling of real-time applications, the Summer School MOVEP'2k, Nantes, France, June, 2000, pp. 165-169

L. David, F. Cottet and E. Grolleau, Gigue temporelle et ordonnancement par échéance dans les applications temps réel, IEEE Conf. Inter. Francophone d'Automatique, CIFA'00, Lille, France, 2000, pp. 681-686

Fabrice Depaulis, Représentation et correction de programme dans les systèmes de programmation sur exemple, RJC'IHM 2000, Ile de Berder, 2000, pp. 27-30

Emmanuel Grolleau and Annie Choquet-Geniet, Cyclicité des ordonnancements de systèmes de tâches périodiques différées, Real-Time Systems, RTS'2000, edited by Teknea, Paris, 2000

Emmanuel Grolleau and Annie Choquet-Geniet, Off-line computation of real-time schedules by means of Petri nets, Workshop On Discrete Event Systems, WODES2000, Discrete Event Systems: Analysis and Control, Ghent, Belgium, Kluwer Academic Publishers, 2000, pp. 309-316

Emmanuel Grolleau and Annie Choquet-Geniet, Scheduling real-time systems by means of Petri nets, IFAC 25th Workshop on Real-Time Programming, WRTP'00, Palma de Mallorca, 2000, pp. 95-100

Emmanuel Grolleau and Annie Choquet-Geniet, Utilisation des réseaux de Petri pour l'ordonnancement hors-ligne optimal des systèmes temps réel, IEEE Conférence Internationale Francophone d'Automatique, CIFA 2000, Lille, 2000

Francis Jambon, Patrick Girard and Yamine Aït-Ameur, Interactive System Safety and Usability enforced by the Development Process: the FADEC User Interface Case Study, Safety and Usability Concerns in Aeronautics (SUCA 2000) IFIP WG 13.5 Workshop within HCI-Aero'2000, edited by Hohnson, Chris and Palanque, Philippe and Paternò, Fabio, Toulouse, France, 2000

Mourad El-Hadj Mimoune, Yamine Ait-Ameur, Guy Pierra and Jean-Claude Potier, Integration of component descriptions in product data management systems , Proc. of ISPE International Conference on Concurrent Engineering, edited by Technomic Publ. Co., 2000, pp. 370-380

M. Richard, P. Richard and F. Cottet, Affectation des Priorités dans les Systèmes Temps Réel Distribués, MOVEP'2000, 2000

Pascal Richard, Francis Cottet and Claude Kaiser, Validation temporelle d'un logiciel temps réel : application à un laminoir industriel, Conférence Internationale Francophoe d'Automatique, edited by IEEE, 2000, pp. 687-692

Annie Choquet-Geniet, Ordonnancement des applications temps-réel, ETR'99, Septembre, 1999, pp. 53-68

F. Cottet and L. David, A solution to the time jitter removal in deadline based scheduling of real-time applications, 5th IEEE Real-Time Technology and Applications Symposium - WIP, Vancouver, Canada, 1999, pp. 33-38

Fabrice Depaulis, Programmation de métamorphoses par démonstration, IHM'99, vol. 2, Montpellier, 1999, pp. 168-171

Emmanuel Grolleau, Annie Choquet-Geniet and Francis Cottet, Modélisation de systèmes temps réel par réseaux de Petri autonomes en vue de leur analyse hors-ligne, Modélisation des Systèmes Réactifs, MSR'99, edited by Hermes, Cachan, 1999, pp. 17-26

Francis Jambon, La prévention d'erreur par la technique des "Fonctions de Contrainte", Onzième conférence sur l'Interaction Homme-Machine (IHM'99), edited by Nanard, Jocelyne and Girard, Patrick, Montpellier, France, Cépaduès-Éditions, 1999, pp. 102-109

Francis Jambon and Yohann Boisdron, Vers une validation du dialogue homme-machine pour les Applications Graphiques Interactives de Conception Technique, Onzième conférence sur l'Interaction Homme-Machine (IHM'99), edited by Nanard, Jocelyne and Girard, Patrick, Montpellier, France, Cépaduès Éditions, 1999, pp. 189

Francis Jambon, Patrick Girard and Yohann Boisdron, Dialogue Validation from Task Analysis, Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'99), SpringerComputerScience, edited by Duke, D J and Puerta, A, Universidade do Minho, Braga, Portugal, Springer-Verlag, 1999, pp. 205-224

Guillaume Patry, Évaluation des dialogues structurés, Journées Francophones sur l'Ingénierie de l'Interaction Homme-Machine (IHM'99), edited by Nanard, Jocelyne and Girard, Patrick, Montpellier, Cépaduès, 1999, pp. 118-125

Guillaume Patry and Patrick Girard, GIPSE: a Model-Based System for CAD, Third Conference on Computer-Aided Design of User Interfaces (CADUI'99), edited by Vanderdonkt, Jean and Puerta, Angel, Louvain-la-Neuve, Belgique, Kluwer Academics, 1999, pp. 61-72

Jean-Claude Potier and Guy Pierra, Une approche pour échanger des géométries paramétrées sur le réseau Internet, 18ème Conf. Intern. CFAO, MICAD'99, vol. ISBN 2-7462-0010-4, edited by HERMES Science Publication, Paris, 9-12 février, 1999, pp. 135-148

Pascal Richard, Optimal shortest path in reachability graph, 7th IEEE Emerging Technologies and Factory Automation, 1999, pp. 303-312

Guillaume Texier and Laurent Guittet, Dialogue+Gadget=Diaget, Onzièmes journées sur l'ingénierie de l'Interaction Homme-Machine, Montpellier France, Cépadues-Editions, 1999, pp. 70-77

Guillaume Texier and Laurent Guittet, User defined objects are first class citizens, Third Conference on Computer-Aided Design of User Interfaces (CADUI'99), edited by Vanderdonkt, Jean and Puerta, Angel, Louvain-la-Neuve, Belgique, Kluwer Academics, 1999, pp. 231-244

Dago Agbodan, David Marcheix and Guy Pierra, A Data Model Architecture For Parametrics, the eighth International Conference on Engineering Computer Graphics and Descriptive Geometry, Austin, Texas , USA, July 31 - August 3, 1998

Yamine Aït-Ameur, Patrick Girard and Francis Jambon, Using the B formal approach for incremental specification design of interactive systems, Engineering for Human-Computer Interaction, vol. 22, edited by Chatty, Stéphane and Dewan, Prasun, Kluwer Academic Publishers, 1998, pp. 91-108

Yamine Aït-Ameur, Patrick Girard and Francis Jambon, A Uniform approach for the Specification and Design of Interactive Systems: the B method, Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'98), vol. Proceedings, edited by Markopoulos, Panos and Johnson, Peter, Abingdon, UK, 1998, pp. 333-352

Ladjel Bellatreche, Kamalakar Karlapalem and Basak Bharat, Query-Driven Horizontal Class Partitioning in Object-Oriented Databases, 9th International Conference on Databases and Expert Systems (DEXA'98)(1460), edited by Lecture Notes in Computer Science , August, 1998, pp. 692-701

Ladjel Bellatreche, Kamalakar Karlapalem and Qing Li, An Iterative Approach for Rules and Data Allocation in Distributed Deductive Database Systems, ACM CIKM International Conference on Information and Knowledge Management, Novembre, 1998, pp. 356-363

Ladjel Bellatreche, Kamalakar Karlapalem and Qing Li, Complex Methods and Class Allocation in Distributed Object-Oriented Databases, 5th International Conference on Object Oriented Information Systems (OOIS'98), septembre, 1998, pp. 239-256

Ladjel Bellatreche, Kamalakar Karlapalem and Ana Simonet, Query optimization using horizontal class partitioning in object oriented databases, INFORSID'98, May, 1998, pp. 405-423

Ladjel Bellatreche, Karlapalem Karlapalem and Qing Li, Derived Horizontal Class Partitioning in OODBSs: Design Strategy, Analytical Model and Evaluation, in the 17th International Conference on Entity Relationship Approach (ER'98)(1507), edited by Lecture Notes in Computer Science , Novembre, 1998, pp. 465-479

Francis Cottet, Michel Courtes and Maximilien Holle, Traitement de la gigue temporelle pour les ordonnancements temps réel par échéance, Real-Time Systems , edited by Tecknea, Paris, 01, 1998, pp. 63-77

Francis Cottet and Samia Saad-Bouzefrane, A Tool for Temporal Validation of Distributed Hard Real-Time Applications, Proceedings of the ACM Symposium on Parallel and Distributed Tools, 1998, pp. 160-161

Editors, Guy Pierra and H. U. Wiedmer, Industrial Automation Systems and Integration Parts Library, Methodology for Structuring Parts Families, ISO 13584-42, edited by ISO, Geneve, 1998, pp. 132

Emmanuel Grolleau, Annie Choquet-Geniet and Francis Cottet, Cyclicité des ordonnancements au plus tôt des systèmes de tâches temps réel, Rencontres Francophones du Parallélisme, RenPar'10, Strasbourg, 1998, pp. 39-42

Emmanuel Grolleau, Annie Choquet-Geniet and Francis Cottet, Validation de systèmes temps réel à l’aide de réseaux de Petri, Approches Formelles dans l’Assistance au Développement de Logiciels, AFADL'98, Poitiers-Futuroscope, 1998, pp. 137-148

Laurent Guittet and Guillaume Texier, Une boîte à outils d'éléments du dialogue, Systèmes complexes, Systèmes intelligents & Interfaces, Nîmes, 26-28 Mai, 1998, pp. 137-140

Francis Jambon, Taxonomy for Human Error and System Fault Recovery from the Engineering Perspective, International Conference on Human-Computer Interaction in Aeronautics (HCI-Aero'98), edited by Boy, Guy and Graeber, Curtis, Montréal, Canada, Éditions de l'École Polytechnique de Montréal, 1998, pp. 55-60

David Marcheix, Tetrahedral Gregory-Bézier Hyperpatches, Proceedings of the eighth International Conference on Engineering Computer Graphics and Descriptive Geometry, Austin, Texas , USA, July 31 - August 3, 1998, pp. 468-479

G. Patry and P. Girard, Ergonomie des dialogues structurés : Amélioration de l'évaluation de la tâche courante, Ergonomie et Informatique Avancée (Ergo'IA 98), Biarritz, France, 1998, pp. 333-335

Guy Pierra, Eric Sardet, Jean-Claude Potier, G Battier, J.C Derouet, N Willmann and A. Mahir, Exchange of component data: the PLIB (ISO 13584) model, standards and tools, 9th International Conference and Exhibition on Enterprise Integration and CALS Europe, Paris, 1998, pp. 16-18

Ladjel Bellatreche, Kamalakar Karlapalem and Ana Simonet, Horizontal Class Partitioning in Object-Oriented Databases, 8th International Conference on Database and Expert Systems Applications (DEXA'97)(1308), edited by LNCS, September, 1997, pp. 58-67

Philippe Brun and Francis Jambon, Utilisation des spécifications formelles dans le processus de conception des Interfaces Homme-Machine, Journées Francophones sur l'Ingénierie de l'Interaction Homme-Machine (IHM'97), edited by Girard, Patrick and Carbonell, Noëlle and Chatty, Stéphane, Poitiers-Futuroscope, Cépaduès Éditions, 1997, pp. 23-29

Francis Cottet and Samia Saad-Bouzefrane, A Temporal Validation of Distributed Hard Real-Time Applications, Proceedings of the IFAC/IFIP Workshop On Real-Time Programming, edited by Elsevier Science 1999, 1997, pp. 79-84

Patrick Girard, Guy Pierra and Jean-Claude Potier, Customizing by Demonstration Generic Systems to Specific Tasks, UI4ALL, 3rd ERCIM Workshop on User Interfaces for All, edited by Carbonell, Noëlle, Ortrott, France, ERCIM & INRIA Lorraine, 1997, pp. 189-196

Emmanuel Grolleau, Annie Choquet-Geniet and Francis Cottet, Ordonnancement Optimal des Systèmes de Tâches Temps Réel à l’Aide de Réseaux de Petri, Automatique Génie informatique Image Signal, AGIS'97, Nantes, 1997, pp. 239-246

Laurent Guittet, Patrick Girard and Guy Pierra, Dialogue verification using the EXPRESS language, Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS'97), vol. Conference proceedings, edited by Harrison, Michael D. and Torres, Juan Carlos, Granada, Spain, 1997, pp. 457-471

Francis Jambon, Error Recovery Representations in Interactive System Development, Third Annual ERCIM Workshop on "User Interfaces for All", edited by Stephanidis, C and Carbonell, N, Obernai, France, INRIA Lorraine, 1997, pp. 177-182

David Marcheix and Stefka Gueorguieva, Composite Triangular Gregory-Bézier Surface with Variable Continuity, CAD & GRAPHICS’ 97, Shenzhen, China, December 2-5, 1997

G. Patry and P. Girard, Techniques d'interaction : intégrer simplement l'exploration dans les dialogues structurés, Colloque de l'AFIG'97, Rennes, 1997, pp. 1-10

Guillaume Patry and Patrick Girard, From Adaptable Interfaces to Model-Based Interface Development: The GIPSE Project, ERCIM Workshop on User Interfaces for All (UI4ALL'97), edited by Carbonell, Noëlle, Obernai, France, INRIA Lorraine, 1997, pp. 127-133

Guy Pierra, Intelligent electronic component catalogues for engineering and manufacturing, GEN'97 International Symposium on Global Engineering Networking, Antwerp Belgium, 1997, pp. 331-352

Eric Sardet, Guy Pierra and Yamine Ait-Ameur, Formal Specification : Modelling and Exchange of classes of components according to PLIB. A case study, GEN'97 International Symposium on Global Engineering Networking, Antwerp Belgium, 1997, pp. 179-200

Madeleine Arnold, Sandrine Robbe, Yacine Bellik, Eric Brison, Jean Caelen, Claudie Faure, Laurent Guittet, Denis Lalanne, Laurence Nigay and Nadine Vigouroux, Conception assistée par ordinateur d’aménagement d'une cuisine, IHM'96, edited by Cépaduès-Editions, Grenoble, 1996, pp. 105-121

Ladjel Bellatreche and Ana Simonet, Horizontal Fragmentation in Distributed Object Database Systems, hird International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O (ACPC'96)(1127), edited by LNCS, Klagenfurt, Austria, September, 1996, pp. 223-226

Ladjel Bellatreche, Ana Simonet and Michel Simonet, Vertical Fragmentation in Distributed Object Database Systems with Complex Attributes and Methods, eventh International Workshop on Database and Expert Systems Applications ( DEXA '96), edited by IEEE-CS Press, September, 1996, pp. 15-21

Patrick Girard, Laurent Guittet and Guy Pierra, H4 : un modèle d'architecture d'applications graphiques interactives, Actes du colloque AGI'96 (Automatique et Génie Informatique), Tours, 6-7 Juin, 1996, pp. 245-250

Francis Jambon, Formal modelling of task interruptions, Conference on Human Factors in Computing Systems (CHI'96), vol. Conference companion, edited by Tauber, M., Vancouver, Canada, ACM Press, 1996, pp. 45-46

G. Patry, Vers la Génération Interactive d'Applications Graphiques, Journées Francophones sur l'Ingénierie de l'Interaction Homme-Machine (IHM'96), Grenoble, Cépaduès, 1996, pp. 149-150

Guillaume Patry, Vers la Génération Automatique d'Applications Interactives, Colloque d'Automatique et de Génie Informatique (AGI'96), Tours, 1996, pp. 251-254

Guy Pierra, Jean-Claude Potier and Patrick Girard, The EBP system : Example Based Programming for Parametric Design, Modelling and Graphics in Science and Technology, edited by Teixeira, J. and Rix, J., Springer-Verlag, 1996, pp. 124-140

Yamine Ait-Ameur, F Besnard, Patric Girard, Guy Pierra and Jean-Claude Potier, Specification and Metaprogramming in the EXPRESS Language, International Conference on Software Engineering and Knowledge Engineering SEKE'95, Rockville USA, IEEE-ACM Sigsoft, 1995, pp. 181-189.

Patrick Girard and Guy Pierra, Structures de contrôle générales en Programmation par Démonstration, Journées Francophones sur l'Ingénierie de l'Interaction Homme-Machine (IHM'95), edited by Palanque, Philippe, Toulouse, Cépaduès, 1995, pp. 61-68

Patrick Girard and Guy Pierra, Programming by Demonstration, a user-oriented programming paradigm for graphic systems, Eurographics Workshop on Object-Oriented Programming Paradigm, edited by Veltkamp, Remco and Blake, Edwin, Maastricht, Eurographics, 1995, pp. 217-232

David Marcheix and Stefka Gueorguieva, Topological Operators for Non-Manifold Modeling, Third International Conference in Central Europe on computer Graphics and Visualization, Plzen, Tchécoslovaquie, 1995, pp. 173-186

Guy Pierra, Towards a taxonomy for interactive graphics systems, Eurographics Workshop on Design, Specification, Verification of Interactive Systems, Springer Computer Science, edited by Palanque, Philippe and Bastide, Rémi, Bonas, Springer-Verlag, 1995, pp. 362-370

Guy Pierra, Classes d'objets techniques et données de produit dans les systèmes d'I.A.O., RPO-XAO, edited by EC2 & Cie, Montpellier, 29-30 juin , 1995, pp. 165-175

Guy PIERRA, Jean-Claude POTIER and Patrick GIRARD, Design and Exchange of Parametric Models for Parts Library, 27th International Symposium on Advanced Transportation Applications, ISATA'94, Aachen, Germany, 31st October - 4 November , 1994, pp. 397-404

Laurent Guittet, Modélisation et programmation du dialogue d'une application graphique interactive, actes du colloque AGI'93 (automatique et génie informatique), La Rochelle, Mai, 1993, pp. 136-139

Laurent Guittet and Guy Pierra, Conception modulaire d'une application graphique interactive de conception technique : la notion d'interacteur, Journées Francophones sur l'Ingénierie de l'Interaction Homme-Machine (IHM'93), Lyon, école centrale, 19-20 octobre, 1993, pp. 151-156

Guy Pierra, A Multiple Perspective Object Oriented Model for Engineering Design, New Advances in Computer Aided Design & Computer Graphics, edited by International Academic Publishers, Beijing, China, 1993, pp. 368-373

Mehdi Baba-ali, Système de nomination hiérarchique pour les systèmes paramétriques, Thesis, Université de Poitiers, Janvier, 2010

Ladjel Bellatreche, Contributions à la Conception et l’Exploitation des Systèmes d’Intégration de Données, Thesis, Habilitation à diriger les recherches, ENSMA, Novembre, 2009

Kamel Boukhalfa, De la conception physique aux outils d’administration et de tuning des entrepôts de données, Thesis, ENSMA - Université de Poitiers, Juillet, 2009

Sybille Caffiau, Approche dirigée par les modèles pour la conception et la validation des applications interactives : une démarche basée sur la modelisation des taches, Thesis, Ecole Nationale Superieure de Mecanique et d'Aerotechnique, 2009

Chimène Fankam, OntoDB2 : un système flexible et efficient de Base de Données à Base Ontologique pour le Web sémantique et les données techniques, Thesis, ENSMA, Decembre, 2009

Emmanuel Grolleau, Modélisation précise des applications temps réel en vue de leur validation temporelle, Thesis, Habilitation à Diriger les Recherches, ENSMA, 3 décembre 2009, 2009

Khanh Hieu Ngo, Aide au développement de systèmes temps réel à l'aide d'un langage graphique flots de données, Thesis, ENSMA - Unviersité de Poitiers, Novembre, 2008

Ahmed Rahni, Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF, Thesis, LISI/ENSMA et Université de Poitiers, Décembre, 2008

Loé Sanou, Définition et réalisation d'une boîte à outils générique dédiée à la Programmation sur Exemple, Thesis, Université de Poitiers / ENSMA, Décembre, 2008

Youcef AKLOUF, Intégration du modèle d'ontologie PLIB et des services Web dans les échanges inter-entreprises. Application au B2B, Thesis, Ecole Doctorale SPI & A, Université de Poitiers - ENSMA, 2007

Bernard Chauvière, Des priorités fixes aux priorités dynamiques en ordonnancement temps-réel: étude comparative et calcul des priorités, Thesis, Université de Poitiers, 2007

Hondjack Dehainsala, Explicitation de la sémantique dans les base de données : Base de données à base ontologique et le modèle OntoDB, Thesis, LISI/ENSMA et Université de Poitiers, Mai, 2007

Stéphane Jean, OntoQL, un langage d’exploitation des bases de données à base ontologique, Thesis, Sciences pour l'Ingénieur et Aéronautique, Décembre, 2007

Karim Traoré, Analyse et validation des applications temps réel en présence de transactions : application au pilotage d'un drone miniature, Thesis, ENSMA, 2007

Nicolas Guibert, Validation d'une approche basée sur l'exemple pour l'initiation à la programmation, Thesis, ENSMA/Université de Poitiers, Ecole Doctorale SPI, Décembre, 2006

Nadjet KAMEL, Un cadre formel générique pour la modèlisation d'IHM multi-modales. Cas de la multi-modalité en entrée., Thesis, Ecole doctorale SPI & A, Université de Poitiers - ENSMA, 2006

Dung Xuan NGuyen, Intégration de bases de données hétérogènes par articulation à priori d'ontologies: application aux catalogues de composants industriels, Thesis, Sciences pour l'Ingénieur et Aéronautique, Décembre, 2006

Stéphane Pailler, Analyse hors ligne d'ordonnançabilité d'applications temps réel comportant des tâches conditionnelles et sporadiques, Thesis, ENSMA/Université de Poitiers, 2006

Frédéric Ridouard, Contributions à des problèmes d'ordonnancement en-ligne : l'ordonnancement temps réel de tâches à suspension et l'ordonnancement par une machine à traitement par lot, Thesis, Science pour l'Ingénieur et Aéronautique, Novembre, 2006

Vincent Lucquiaud, Sémantique et outil pour la modélisation des tâches utilisateur : N-MDA, Thesis, Université de Poitiers / ENSMA / INRIA, Décembre, 2005

Gaëlle Largeteau, Quantification du taux d'invalidité d'applications temps réel à contraintes strictes, Thesis, École Doctorale SPI, octobre, 2004

Mourad EL HADJ MIMOUNE, Contribution à la modélisation explicite et à la représentation des données de composants industriels : application au modèle PLIB, Thesis, Université de Poitiers, Juillet, 2004

Pascal Richard, Ordonnancement temps réel en-ligne : contraintes, conception et analyses, Habilitation à Diriger des Recherches, Thesis, Université de Poitiers, 2004

Mickaël Baron, Vers une approche sûre du développement des Interfaces Homme-Machine (Thesis), Thesis, Université de Poitiers, Decembre, 2003

Dago Agbodan, Nomination persistante dans un modèle paramétrique. Identification non-ambiguë et appariement générique d’entités topologiques., Thesis, ENSMA - Université de Poitiers - ED-SPI, 2002

Laurent David, Contribution à la gestion de la régularité d'exécution des tâches d'une application temps réel à contraintes strictes, dans un contexte d'ordonnancement en ligne, Thesis, LISI/ENSMA, LISI/ENSMA, décembre, 2002

Fabrice Depaulis, Vers un environnement générique d'aide au développement d'applications interactives de simulations de métamorphoses, Thesis, Ecole Nationale Supérieure de Mécanique et d'Aérotechnique - Université de Poitiers, Novembre, 2002

Michaël Richard, Contribution à la Validation des Systèmes Temps Réel Distribués : Ordonnancement à Priorités Fixes & Placement, Thesis, LISI -- ENSMA -- Université de Poitiers, Poitiers -- Futuroscope, Novembre, 2002

Yamine Aït-Ameur, Développements Contrôlés de Programmes par Modélisations et Vérifications de Propriétés, Thesis, Habilitation à diriger les recherches, Université de Poitiers, 2000

Ladjel Bellatreche, Utilisation des vues matérialisées, des index et de la fragmentation dans la conception logique et physique d’un entrepôt de données, Thesis, Université Blaise Pascal – Clermont Ferrand, décembre, 2000

Annie Choquet_Geniet, Systèmes parallèles et temps réel : analyse à l'aide de modèles formels, Thesis, Habilitation à diriger les recherches, Université de Poitiers & ENSMA, Décembre, 2000

Patrick Girard, Ingénierie des systèmes interactifs : vers des méthodes formelles intégrant l'utilisateur, Thesis, Habilitation à diriger les recherches, Université de Poitiers, 2000

Guillaume Texier, Contribution à l'ingéniérie des systèmes interactifs : Un environnement de conception graphique d'applications spécialisées de conception, Thesis, Université de Poitiers, 2000

Emmanuel Grolleau, Ordonnancement temps réel hors-ligne optimal à l’aide de réseaux de Petri en environnement monoprocesseur et multiprocesseur, Thesis, LISI-ENSMA, 1999

Guillaume Patry, Contribution à la conception du dialogue Homme Machine dans les applications graphiques interactives de conception technique : le système GIPSE, Thesis, Université de Poitiers, 1999

Eric Sardet, Intégration des approches modélisation conceptuelle et structuration documentaire pour la saisie, la représentation, l'échange et l'exploitation d'informations. Application aux catalogues de composants industriels, Thesis, Univ. Poitiers, 1999

Francis Jambon, Erreurs et interruptions du point de vue de l'ingénierie de l'interaction homme-machine, Thesis, Université Joseph Fourier (Grenoble 1), 1996

Annie Choquet-Geniet, The scheduling algorithms PF and PD2 are monotonous, LISI, 1, Juin, 2010

Christian Fotsing, Annie Geniet and 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, 2010

Christian Fotsing Takoutsi, Annie Choquet-Geniet and 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, 2010

Yamine Ait-Ameur, Idir Ait-Sadoune, Mickael Baron, Chimène Fankam, Stéphane Jean, Guy Pierra and Eric Sardet, Rapport Evaluation - Lot 1 (Tache 1.3) - Projet E-Wok-Hub, LISI / ENSMA, 2009

Annie Choquet-Geniet, Christian Fotsing and Sadouanouan Mao, Scheduling of real-time applications with varaible utilization factor using à PFair based aperiodic server, LISI, Mars, 2009

Annie Choquet-Geniet and Sadouanouan Mao, Finding cyclic behaviour in multiprocessor scheduling, LISI, 2009

Kamel BOUKHALFA, Ladjel BELLATRECHE and 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, 2008

Ahmed Rahni, Emmanuel Grolleau and Michael Richard, A Survey on Schedulability Analysis of Multiframe Tasks and Tasks with Offset, LISI/ENSMA , Université de Poitiers, 2008-002, 2008

Yamine Ait-Ameur, Hondjack Dehainsala, Stéphane Jean, Guy Pierra and Eric Sardet, Persistance des données ontologiques avec OntoDB et langage d'exploitation OntoQL - Lot 3 - Projet E-Wok-Hub, LISI / ENSMA, 2007

Yamine Ait-Ameur, Chimène Fankam, Stéphane Jean, Guy Pierra and Eric Sardet, Outils et Services de gestion des Ontologies - Lot 2 - Projet ANR E-Wok-Hub, LISI / ENSMA, 2007

Guy Pierra and Eric Sardet, Proposal for a XML representation of the PLIB ontology Model: OntoML, LISI/ENSMA, 2007-01, Avril, 2007

Ahmed Rahni, Michael Richard and Emmanuel Grolleau, Nouvelle approche approximative d'analyse de temps de réponse, LISI/ENSMA , Université de Poitiers, 2007-001, 2007

Yamine Aït-Ameur, Idir Aït-Sadoune, Mickaël Baron, Nadjet Kamel and Jean-Marc Mota., Démarche de Modélisation d'IHM avec B : LOT 2 (LISI/ENSMA), Projet RNRT VERBATIM, 2006

Yamine Aït-Ameur, Idir Aït-Sadoune, Mickaël Baron and Jean-Marc Mota, Démarche de Modélisation d'IHM3 avec B et CTT : LOT 3 (LISI/ENSMA), Projet RNRT VERBATIM, 2006

Yamine Aït-Ameur, Idir Aït-Sadoune, Jean-Marc Mota and Lionel Van-Aertryck, Validation d'IHM3 par animation de modèles B : LOT 4 (LISI/ENSMA)(SILICOMP/AQL), Projet RNRT VERBATIM, 2006

Hondjack Dehainsala, Guy Pierra and 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, Aout, 2006

Chimène Fankam, Vers une intégration des differentes approches de modélisation à base ontologique : application aux modèles PLIB et OWL, LISI, 2006

Karim Traoré, Emmanuel Grolleau and 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, 2006

Yamine Aït-Ameur, Idir Aït-Sadoune and Mickaël Baron, Modélisation et Validation formelles d'IHM : LOT 1 (LISI/ENSMA), LISI/ENSMA, 2005

Ladjel Bellatreche, Guy Pierra, Nguyen Xuan Dung and Hondjack Dehainsala, An a Priori Approach for Automatic Integration of Heterogeneous and Autonomous Data Sources, LISI-ENSMA, 04-003, 2004

Guy PIERRA, Context-explication in conceptual ontologies: PLIB ontologies and their use for industrial data, LISI-ENSMA, 04-001, 2004

Guy PIERRA, Hondjack DEHAINSALA, Yamine AIT-AMEUR, Ladjel BELLATRECHE, Jérôme CHOCHON and Mourad EL-HADJ MIMOUNE, Base de Données à Base Ontologique : le modèle OntoDB, LISI-ENSMA, 04-002, 2004

Jérôme Chochon and Eric sardet, Confrontation et intégration des pouvoirs d'expression des approches modélisation conceptuelle et structuration documentaire, LISI-ENSMA, 01 004, Octobre, 2001

M. Richard, P. Richard and F. 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, 2001

M. Richard, P. Richard and F. Cottet, Ordonnancement monoprocesseur à priorité fixe avec contraintes de précédence, LISI -- ENSMA, 2001-003, novembre, 2001

Yamine Aït-Ameur, Benoit Bréholée, Patrick Girard, Laurent Guittet and Francis Jambon, Formal verification and validation of interactive systems specifications, Laboratory of Applied Computer Science (LISI/ENSMA), LISI 00-007, May, 2000

L. David and F. 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, 2000

L. David, F. Cottet and E. Grolleau, Maîtrise de la gigue temporelle avec les algorithmes d'ordonnancement DM et ED, LISI-ENSMA, Futuroscope, France, TR 00 004, 2000

M. Richard, P. Richard and F. Cottet, Analyse Holistique des Systèmes Temps Réels Distribués, LISI -- ENSMA, www.lisi.ensma.fr, 2000-006, aout, 2000

Emmanuel Grolleau, Bases de Tcl/Tk, LISI-ENSMA, 97002, 1997

Emmanuel Grolleau, Annie Choquet-Geniet and 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, 1997