10 results  save search


hal-01902755v1  Conference papers
Imen MahjriAmine DhraiefIssam MabroukiAbdelfettah BelghithKhalil 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-01511374v1  Journal articles
Sandrine VatonFlorence Sédès. 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-00788450v1  Conference papers
Alexandre CortierLoïc BesnardJean-Paul BodeveixJérémy BuissonFabien 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
hal-02061818v1  Book sections
Alexandre CortierLoïc BesnardJean-Paul BodeveixJérémy BuissonFabien 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-01436169v1  Conference papers
Mahmoud El HamlaouiBernard CouletteSophie EbersoldSaloua BennaniMahmoud 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-01057115v1  Book sections
Mohamed ZouariMaria-Teresa SegarraKhalil 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