 |
 |
|
|
|
|---|---|---|
|
hal-00724508v1
Communication dans un congrès
Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov. Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE ICSSEA 2012 - 24th International Conference on Software & Systems Engineering and their Applications, Oct 2012, Paris, France. pp.1-7, 2012 |
||
|
inria-00449851v1
Rapport
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet. Aspects Preserving Properties [Research Report] RR-7155, INRIA. 2009 |
||
|
hal-00486342v1
Autre publication
Mourad Oussalah, Pierre Tchounikine. Projet METEDI, Rapport de fin de contrat. 2007 |
||
|
hal-00415333v1
Article dans une revue
Patricia Serrano-Alvarado, Claudia Roncancio, Michel Adiba, Cyril Labbé. An Adaptable Mobile Transaction Model Computer Systems Science and Engineering (IJCSSE), 2005, 20 (3), pp.ISSN 0267-6192 |
||
|
hal-00415604v1
Article dans une revue
Patricia Serrano-Alvarado, Claudia Roncancio, Michel Adiba. A Survey of Mobile Transactions Distributed and Parallel Database (Weston, Conn.)s (DAPD), 2004, 16 (2), pp.193-230. <10.1023/B:DAPD.0000028552.69032.f9> |
||
|
hal-00415821v1
Article dans une revue
Claudia Roncancio, María del Pilar Villamil, Cyril Labbé, Patricia Serrano-Alvarado. Data sharing in DHT based P2P systems Transactions on Large-Scale Data- and Knowledge-Centered Systems I, 2009, 5740, pp.327-352. <10.1007/978-3-642-03722-1_13> |
||
|
hal-00835817v1
Communication dans un congrès
Ahmed El Rheddane, Noel De Palma, Fabienne Boyer, Frédéric Dumont, Jean-Marc Menaud et al. Dynamic Scalability of a Consolidation Service International Conference on Cloud Computing, Indus Track, Jun 2013, Santa Clara Marriott, United States. pp.01-09, 2013 |
||
|
hal-00953104v1
Chapitre d'ouvrage
Jean-Sébastien Sottet, Gaelle Calvary, Jean-Marie Favre, Joelle Coutaz. Megamodeling and Metamodel-Driven Engineering for Plastic User Interfaces: MEGA-UI Seffah, Ahmed and Vanderdonckt, Jean and Desmarais, MichelC. Human-Centered Software Engineering, Springer London, pp.173-200, 2009, Human-Computer Interaction Series, 978-1-84800-906-6 |
||
|
hal-01352624v1
Article dans une revue
Chantal Enguehard, Isabelle Maugis. Les machines à voter électroniques en débat... Interstices, INRIA, 2007, <https://interstices.info/jcms/c_22450/les-machines-a-voter-electroniques-en-debat> |
||
|
hal-00953536v1
Communication dans un congrès
Zoe Zarwin, Jean-Sébastien Sottet, Jean-Marie Favre. Natural Modeling: Retrospective and Perspectives an Anthropological Point of View Proceedings of the 2012 Extreme Modeling Workshop, 2012, New York, NY, United States. ACM, pp.3--8, 2012, XM '12. <10.1145/2467307.2467309> |
||
|
hal-00994821v1
Communication dans un congrès
Chantal Enguehard, Mathieu Mangeot. Computerization of African languages-French dictionaries CCURL 2014 : Collaboration and Computing for Under Resourced Languages in the Linked Open Data Era, May 2014, Reykjavik, Iceland. pp.121, 2014 |
||
|
hal-00486710v1
Communication dans un congrès
Jayaprakash Nagapraveen, Thierry Coupaye, Christine Collet, Pierre-Charles David. Flexible Reactive Capabilities in Component-Based Autonomic Systems Workshop on Engineering of Autonomic and Autonomous Systems (EASe 2008), 2008, Belfast, Ireland. pp.97-106, 2008 |
||
|
hal-00486712v1
Communication dans un congrès
Juraj Polakovic, Sébastien Mazaré, Jean-Bernard Stefani, Pierre-Charles David. Experience with implementing safe reconfigurations in Component-based embedded systems Component-Based Software Engineering (CBSE 2007), Jun 2007, Boston, United States. pp.242-257, 2007 |
||
|
hal-00720910v2
Rapport
Daniel Balouek, Alexandra Carpen-Amarie, Ghislain Charrier, Frédéric Desprez, Emmanuel Jeannot et al. Adding Virtualization Capabilities to Grid'5000 [Research Report] RR-8026, INRIA. 2012, pp.18 |
||
|
hal-00780000v2
Communication dans un congrès
Damián Serrano, Sara Bouchenak, Yousri Kouki, Thomas Ledoux, Jonathan Lejeune et al. Towards QoS-Oriented SLA Guarantees for Online Cloud Services The 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2013), May 2013, Delft, Netherlands. Proceedings of the 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2013), pp.50-57, 2013, <10.1109/CCGrid.2013.66> |
||
|
hal-00843513v1
Communication dans un congrès
Chantal Enguehard, Soumana Kané, Mathieu Mangeot, Issouf Modi, Mamadou Sanogo. Vers l'informatisation de quelques langues d'Afrique de l'Ouest Centre des Etudes Informatiques, des Systèmes d'Information et de Communication. 4ème atelier international sur l'Amazighe et les Nouvelles Technologies, Feb 2011, Rabat, Morocco. Publications de l'Institut Royal de la Culture Amazighe, pp.13-32, 2012 |
||
|
hal-00415836v1
Article dans une revue
Patricia Serrano-Alvarado, Claudia Roncancio, Michel Adiba, Cyril Labbé. Modèles, protocoles et architectures pour transactions mobiles adaptables Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2005, 10 (5), pp.95-121. <10.1007/978-3-642-03722-1> |
||
|
hal-00673560v1
Article dans une revue
F. Barbier, Corine Cauvet, Mourad Oussalah, Dominique Rieu, Sondes Bennasri et al. Composants dans l'ingénierie des systèmes d'information Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2004, 1 (10) |
||
|
hal-00813675v2
Article dans une revue
Annie Authosserre-Cavarero, Frédéric Bertrand, Mireille Blay-Fornarino, Philippe Collet, Hubert Dubois et al. Ingénierie dirigée par les modèles : quels supports à l'interopérabilité des systèmes d'information ? Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2013 |
||
|
hal-00780181v1
Communication dans un congrès
Mathieu Mangeot, Chantal Enguehard. Informatisation de dictionnaires langues africaines-français journées LTT 2011, Sep 2011, Villetaneuse, France. 11 p., 2011 |
||
|
hal-00403386v1
Communication dans un congrès
V. Minier, P. André, F. Motte, N. Peretto, R. S. Booth et al. The Earliest Stages of Hign Mass Star Formation - Methanol Maser Insights Protostars and Planets V, Oct 2005, Hawai, United States. pp.8055, 2005 |
||
|
hal-00959228v1
Chapitre d'ouvrage
Chantal Enguehard, Mathieu Mangeot. LMF for a selection of African Languages Francopoulo, Gil. LMF: Lexical Markup Framework, theory and practice, Hermès science, pp.8, 2013 |
||
|
hal-00959229v1
Chapitre d'ouvrage
Mathieu Mangeot, Chantal Enguehard. Des dictionnaires éditoriaux aux représentations XML standardisées Gala, Nuria and Zock, Michael. Ressources Lexicales : contenu, construction, utilisation, évaluation, John Benjamins, pp.24, 2013 |
||
|
hal-00758186v1
Communication dans un congrès
Chantal Enguehard, Soumana Kané, Mathieu Mangeot, Issouf Modi, Mamadou Lamine Sanogo. Vers l'informatisation de quelques langues d'Afrique de l'Ouest JEP-TALN-RECITAL 2012, Atelier TALAf 2012: Traitement Automatique des Langues Africaines, Jun 2012, Grenoble, France. pp.27-40, 2012 |
||
|
hal-00608471v1
Communication dans un congrès
Li Bo, Éric Gaussier, Morin Emmanuel, Amir Hazem. Degré de comparabilité, extraction lexicale bilingue et recherche d'information interlingue Mathieu Lafourcade, Violaine Prince. TALN 2011 - Conférence sur le Traitement Automatique des Langues Naturelles, Jun 2011, Montpellier, France. LIRMM Montpellier, 1, pp.211-222, 2011 |
||
|
hal-01197128v1
Communication dans un congrès
Adrien Lèbre, Arnaud Legrand, Frédéric Suter, Pierre Veyre. Adding Storage Simulation Capacities to the SimGrid Toolkit: Concepts, Models, and API CCGrid 2015 - Proceedings of the 15th IEEE/ACM Symposium on Cluster, Cloud and Grid Computing, May 2015, Shenzhen, China. IEEE/ACM, Proceedings of CCGRID 2015, pp.251-260, 2015, <http://cloud.siat.ac.cn/ccgrid2015/>. <10.1109/CCGrid.2015.134> |
||
|
hal-00764951v1
Communication dans un congrès
Yousri Kouki, Thomas Ledoux, Damián Serrano, Sara Bouchenak, Jonathan Lejeune et al. SLA et qualité de service pour le Cloud Computing Conférence d'informatique en Parallélisme, Architecture et Système, ComPAS 2013, Jan 2013, Grenoble, France. pp.1-11, 2013 |
||
|
inria-00418836v1
Communication dans un congrès
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet. Aspect Preserving Properties ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, 2008, San Francisco, United States. 2008, <10.1145/1328408.1328429> |
||
|
inria-00418837v1
Communication dans un congrès
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet. Specialized aspect languages preserving classes of properties IEEE International Conference on Software Engineering and Formal Methods, 2008, Cape Town, South Africa. 2008, <10.1109/SEFM.2008.21> |
||
|
hal-00469665v1
Autre publication
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet. Proof of correctness of aspect transformations in the CASB Deliverable D88. 2007 |
||
|
|
|
