• 
  Chiara Ghidini, Bich-Liên Doan, Patrick Brézillon. Proceedings of the Doctoral Consortium (CONTEXT-05). Chiara GHIDINI; Bich-Liên DOAN; Patrick BRÉZILLON. 1er Consortium d'Étudiants associé avec la 5ème Conférence Internationale et Interdisciplinaire sur la Modélisation et l'Utilisation du Contexte (CONTEXT-05), Jul 2005, Paris, France. lip6.2005.006, LIP6, 2005. ⟨hal-02549779⟩
• 
  Yolaine Bourda, Bich-Liên Doan, Henri Delebecque. HDML: an Object-Oriented Hyper-document Descripting Meta Language for E-education. ED MEDIA 2003, 2003, Honolulu, United States. ⟨hal-01402313⟩
• 
  Henri Delebecque. LEARNING PROCESS SYNCHRONIZATION INTERACTIVELY. EDULEARN 2010, 2010, Barcelone, Spain. ⟨hal-01402304⟩
• 
  C Bocage, H Delebecque, O Friedel, C Timsit. ESE 1000 A hardware toolkit for teaching computer architecture. 9th ICTE, 1992, Paris, France. ⟨hal-01402287⟩
• 
  Safouan Taha, Ansgar Radermacher, Sébastien Gérard. An Entirely Model-Based Framework for Hardware Design and Simulation. 7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC), Sep 2011, Brisbane, Australia. pp.31-42, ⟨10.1007/978-3-642-15234-4_5⟩. ⟨hal-00526737⟩
• 
  Asma Gharsellaoui, Yacine Bellik, Christophe Jacquet. Un modèle de tâches exploitable à l'exécution pour une assistance à l'utilisateur dans les environnements ambiants. Journal d'Interaction Personne-Système, 2015, Volume 3, Issue 3, Special issue : Task Models (3), pp. 1-31. ⟨10.46298/jips.660⟩. ⟨hal-01164946⟩
• 
  Dimitri Watel. Approximation de l'arborescence de Steiner. Autre [cs.OH]. Université de Versailles-Saint Quentin en Yvelines, 2014. Français. ⟨NNT : 2014VERS0025⟩. ⟨tel-01130029⟩
• 
  Georges Dubus. Transformation de programmes logiques : application à la personnalisation et à la personnification d’agents.. Autre. Supélec, 2014. Français. ⟨NNT : 2014SUPL0017⟩. ⟨tel-01126977⟩
• 
  Matthieu Lemerre, Vincent David, Guy Vidal-Naquet. Design and implementation of a resource-secure system. 2010. ⟨cea-01113096⟩
• 
  Farid Nouioua, Philippe Dague, Lina Ye. Probabilistic Analysis of Predictability in Discrete Event Systems. DX 2014, Sep 2014, Graz, Austria. ⟨hal-01107874⟩
• 
  Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Iuliana Prodan. TESL: A language for reconciling heterogeneous execution traces. ACM-IEEE MEMOCODE 2014, Oct 2014, Lausanne, Switzerland. pp.114 - 123, ⟨10.1109/MEMCOD.2014.6961849⟩. ⟨hal-01100179⟩
• 
  Asma Gharsellaoui, Bellik Yacine, Christophe Jacquet. Un système d'aide et de suivi des tâches utilisateur dans un environnement ambiant. IHM'14, 26e conférence francophone sur l'Interaction Homme-Machine, Oct 2014, Lille, France. pp.130-138. ⟨hal-01090428⟩
• 
  Christophe Jacquet, Cécile Hardebolle, Frédéric Boulanger. ModHel'X, un outil expérimental pour la modélisation multi-paradigmes. CIEL 2014, Jun 2014, Paris, France. pp.115-118. ⟨hal-01079975⟩
• 
  Daniel Chaves Café, Cécile Hardebolle, Christophe Jacquet, Filipe Vinci dos Santos, Frédéric Boulanger. Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMS. MPM 2014, Daniel Balasubramanian; Christophe Jacquet; Pieter Van Gorp; Sahar Kokaly; Tamás Mészáros, Sep 2014, Valencia, Spain. pp.11-20. ⟨hal-01076425⟩
• 
  Marc Aiguier, Bilal Kanso. A logic for complex computing systems: Properties preservation along integration and abstraction. Scientific Annals of Computer Science, 2014, 24 (1), pp.1-46. ⟨10.7561/sacs.2014.1.1⟩. ⟨hal-01056530⟩
• 
  Abderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, et al.. Extending the standard execution model of UML for real-time systems. 7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.43-54, ⟨10.1007/978-3-642-15234-4_6⟩. ⟨hal-01054487⟩
• 
  Ayman Dogui. Modélisation explicite de l'adaptation sémantique entre modèles de calcul.. Autre. Supélec, 2013. Français. ⟨NNT : 2013SUPL0030⟩. ⟨tel-00995072⟩
• 
  Ahmed Mohamed. Fault-detection in Ambient Intelligence based on the modeling of physical effects.. Other. Supélec, 2013. English. ⟨NNT : 2013SUPL0023⟩. ⟨tel-00995066⟩
• 
  Dimitri Watel, Marc-Antoine Weisser. Le problème de l'arborescence de Steiner dans les réseaux tout-optiques. ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4. ⟨hal-00981268⟩
• 
  Ayman Doguy. Modélisation explicite de l'adaptation sémantique entre modèles de calcul. Génie logiciel [cs.SE]. Supélec, 2013. Français. ⟨NNT : ⟩. ⟨tel-00935157⟩

48

70