Search by documents

		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-01903388v1 Journal articles Imen Mahjri, Amine Dhraief, Abdelfettah Belghith, Khalil Drira, Hassan Mathkour. A GPS-less Framework for Localization and Coverage Maintenance in Wireless Sensor Networks KSII Transactions on internet and information systems, 2016, 10 (1), pp.96-116. ⟨10.3837/tiis.2016.01.006⟩
	hal-01057115v1 Book sections Mohamed Zouari, Maria-Teresa Segarra, Khalil Drira. Architectures logicielles et outils : gestion distribuée et coordonnée de la reconfiguration dynamique (Chap. 8) Architectures logicielles : Principes, techniques et outils, Editions Hermes Sciences-Lavoisier, 44p., 2014, Informatique et systèmes d'information : Recherche, technologie, applications, 978-2-7462-4517-4
	hal-01902755v1 Conference papers Imen Mahjri, Amine Dhraief, Issam Mabrouki, Abdelfettah Belghith, Khalil Drira. An integrated framework for localization and coverage maintenance in wireless sensor networks International Wireless Communications and Mobile Computing Conference (IWCMC 2014), Aug 2014, Nicosia, Cyprus. 6p., ⟨10.1109/IWCMC.2014.6906371⟩
	hal-01884775v1 Journal articles Amine Dhraief, Abdelfettah Belghith, Hassan Mathkour, Khalil Drira. An M2M gateway-centric architecture for autonomic healing and optimizing of Machine-to-Machine overlay networks IJAHUC - International Journal of Ad Hoc and Ubiquitous Computing, Inderscience, 2017, 26 (1), pp.12-28. ⟨10.1504/IJAHUC.2017.085717⟩
	hal-01579009v1 Journal articles Jean-François Emile, Catherine Julié, Karine Le Malicot, Come Lepage, Josep Tabernero et al. Prospective validation of a lymphocyte infiltration prognostic test in stage III colon cancer patients treated with adjuvant FOLFOX. European Journal of Cancer, Elsevier, 2017, 82, pp.16-24. ⟨10.1016/j.ejca.2017.04.025⟩
	hal-01436169v1 Conference papers Mahmoud El Hamlaoui, Bernard Coulette, Sophie Ebersold, Saloua Bennani, Mahmoud Nassar et al. Alignment of viewpoint heterogeneous design models: Emergency Department Case Study 4th International Workshop On the Globalization of Modeling Languages (GEMOC 2016) co-located with ACM/IEEE MODELS 2016, Oct 2016, Saint-Malo, France. pp. 18-27
	hal-01511374v1 Journal articles Sandrine Vaton, Florence Sèdes. Egalité Femmes-Hommes & « numérique » : le point de vue de Sandrine Vaton, référente égalité à Télécom Bretagne (propos recueillis par Florence Sédès) 1024 : Bulletin de la Société Informatique de France, Société Informatique de France, 2017, Hors Série numéro 2: Femmes & Informatique (2), pp.83 - 88
	hal-00624134v1 Conference papers Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix et al. Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software FM 09 - Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.80-87, ⟨10.4204/EPTCS.20.9⟩
	hal-02061818v1 Book sections Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat et al. Synoptic: a domain-specific modeling language for space on-board application software Synthesis of embedded software, frameworks and methodologies for correctness by construction, Springer, pp.79 - 119, 2010, Engineering, 978-1-4419-6399-4. ⟨10.1007/978-1-4419-6400-7_3⟩
	hal-00788450v1 Conference papers Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat et al. Synoptic: a domain specific modeling language for embedded flight-software FMA 2009 : Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands
		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM