Publications par Axes

Ci-dessous, vous pouvez déplier et voir les 10 dernières publications dans Hal pour chaque axe.

Génie des Logiciels et des Systèmes d’Information (10 dernières publications)

2016

Article dans des revues

titre
Coordination de la Gestion autonome de la Réparation et du Dimensionnement d'un Système multi-niveaux par Contrôle Discret
auteur
Soguy Mak-Karé Gueye, Noël De Palma, Eric Rutten, Alain Tchana, Nicolas Berthier
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2016, <10.3166/TSI.35.525-555>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01416992/file/paper%20%282%29.pdf BibTex
titre
Designing Autonomic Management Systems by using Reactive Control Techniques
auteur
Nicolas Berthier, Éric Rutten, Noël De Palma, Soguy Mak-Karé Gueye
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2016, 42 (7), pp.18. <http://dx.doi.org/10.1109/TSE.2015.2510004>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01242853/file/article.pdf BibTex

Communication dans un congrès

titre
Combining Transactional and Behavioural Reliability in Adaptive Middleware
auteur
Adja Ndeye Sylla, Maxime Louvel, Eric Rutten
article
15th Workshop on Adaptive and Reflective Middleware, ARM 2016, Colocated with ACM/IFIP/USENIX Middleware 2016, Dec 2016, Trento, Italy. 2016, <http://arm2016.unine.ch/>. <10.1145/3008167.3008172>
Accès au bibtex
BibTex
titre
Inferring Non-resettable Mealy Machines with n States
auteur
Roland Groz, Catherine Oriat, Nicolas Bremond
article
International Conference on Grammatical Inference 2016 (ICGI'16), Oct 2016, Delft, Netherlands
Accès au bibtex
BibTex
titre
Autonomic Parallelism and Thread Mapping Control on Software Transactional Memory
auteur
Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Eric Rutten, Jean-François Méhaut
article
13th IEEE International Conference on Autonomic Computing (ICAC 2016), Jul 2016, Wuerzburg, Germany. pp.189 - 198, 2016, <10.1109/ICAC.2016.54>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01309681/file/AutonomicComputingSTM.pdf BibTex
titre
Control of Autonomic Parallelism Adaptation on Software Transactional Memory
auteur
Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Eric Rutten, Jean-François Méhaut
article
International Conference on High Performance Computing & Simulation (HPCS 2016) , Jul 2016, Innsbruck, Austria. pp.180-187, 2016, <10.1109/HPCSim.2016.7568333>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01309195/file/HPCS_ZHOU.pdf BibTex
titre
Autonomic Parallelism Adaptation for Software Transactional Memory
auteur
Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Éric Rutten, Jean-François Méhaut
article
Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS), Jul 2016, Lorient, France
Accès au bibtex
BibTex
titre
Architectural Models to Simplify Administration of Service-Oriented Applications
auteur
Philippe Lalanda, Stéphanie Chollet, Catherine Hamon, Vincent Lestideau
article
IEEE International Conference on Services Computing, (SCC 2016), Jun 2016, San Francisco, CA, USA, France. IEEE Computer Society, pp.259-266, IEEE International Conference on Services Computing, (SCC 2016)
Accès au bibtex
BibTex
titre
Autonomic Service-Oriented Context for Pervasive Applications
auteur
Colin Aygalinc, Gerbert-Gaillard Eva, German Vega, Philippe Lalanda, Stéphanie Chollet
article
13th IEEE International Conference on Services Computing, Jun 2016, San Fransisco, United States. <10.1109/SCC.2016.70>
Accès au bibtex
BibTex
titre
Inférence et analyse de propriétés dans les protocoles contrôle-commande
auteur
Emmanuel Perrier
article
Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL'16), Jun 2016, Besançon, France
Accès au bibtex
BibTex

Méthodes Formelles, Modèles et Langages (10 dernières publications)

2017

Article dans des revues

titre
Reliable Self-deployment of Distributed Cloud Applications
auteur
Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma
article
Software: Practice and Experience, Wiley, 2017, 47 (1), pp.3-20. <10.1002/spe.2400>
Accès au bibtex
BibTex

Communication dans un congrès

titre
On Attitude Estimation with Smartphones
auteur
Thibaud Michel, Pierre Genevès, Hassen Fourati, Nabil Layaïda
article
IEEE International Conference on Pervasive Computing and Communications, Mar 2017, Kona, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01376745/file/PerCom-2017.pdf BibTex

Pré-publication, Document de travail

titre
HAP: Building Pipelines with Heterogeneous Data and Hive
auteur
Damien Graux, Pierre Genevès, Nabil Layaïda
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01436850/file/report-hap.pdf BibTex

2016

Article dans des revues

titre
Automatic Distributed Code Generation from Formal Models of Asynchronous Processes Interacting by Multiway Rendezvous
auteur
Hugues Evrard, Frédéric Lang
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01412911/file/Evrard-Lang-16-auteur.pdf BibTex
titre
A Superposition Calculus for Abductive Reasoning
auteur
Mnacho Echenim, Nicolas Peltier
article
Journal of Automated Reasoning, Springer Verlag, 2016, 57 (2), pp.97--134. <http://link.springer.com/article/10.1007/s10817-015-9344-2>
Accès au bibtex
BibTex
titre
Behavioral Types in Programming Languages
auteur
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco Vasconcelos, Nobuko Yoshida
article
Foundations and Trends in Programming Languages, Now Publishers, 2016, 3 (2-3), pp.95-230. <10.1561/2500000031>
Accès au bibtex
BibTex
titre
VerChor: A Framework for the Design and Verification of Choreographies
auteur
Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye
article
IEEE Transactions on Services Computing, IEEE, 2016, 9 (4), pp.647-660. <10.1109/TSC.2015.2413401>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01198918/file/TSC-2013-12-0224-author.pdf BibTex
titre
Formal Modelling and Verification of GALS Systems Using GRL and CADP
auteur
Fatma Jebali, Frédéric Lang, Radu Mateescu
article
Formal Aspects of Computing, Springer Verlag, 2016, 28 (5), pp.767-804. <10.1007/s00165-016-0373-3>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01290449/file/fac2egui-crc.pdf BibTex
titre
Verification of EB3 specifications using CADP
auteur
Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
article
Formal Aspects of Computing, Springer Verlag, 2016, 28 (1), pp.145-178. <10.1007/s00165-016-0362-6>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01290460/file/FAOC.pdf BibTex
titre
Proof Generalization in LK by Second Order Unifier Minimization
auteur
Thierry Boy de La Tour, Nicolas Peltier
article
Journal of Automated Reasoning, Springer Verlag, 2016, 57 (3), pp.245-280
Accès au bibtex
BibTex

Systèmes Interactifs et Cognitifs (10 dernières publications)

2016

Article dans des revues

titre
A First-Person Experience with End-User Development for Smart Homes
auteur
Joëlle Coutaz, James Crowley
article
IEEE Pervasive Computing, Institute of Electrical and Electronics Engineers, 2016, 15, pp.26 - 39. <10.1109/MPRV.2016.24>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01422364/file/PervasivComputing16-coutaz-Crowley.pdf BibTex
titre
Analysis of epistemic practices in reports of higher education students groups in carrying out the inquiry-based activity of immunology
auteur
Daniel Manzoni-De-Almeida, Patricia Marzin, Silvia Frateschi Trivelato
article
Investigações em Ensino de Ciências, 2016, 21 (2), pp.105-120. <https://www.if.ufrgs.br/cref/ojs/index.php/ienci/article/view/126/201>
Accès au texte intégral et bibtex
http://hal.univ-grenoble-alpes.fr/hal-01355780/file/ENSI_Menzoni_Marzin.pdf BibTex
titre
Feasibility of BCI control in a realistic smart home environment
auteur
Nataliya Kos'Myna, Franck Tarpin-Bernard, Nicolas Bonnefond, Bertrand Rivet
article
Frontiers in Human Neuroscience, Frontiers, 2016
Accès au bibtex
BibTex
titre
Design of Stochastic Machines Dedicated to Approximate Bayesian inferences
auteur
Marvin Faix, Raphä Laurent, Pierre Bessière, Emmanuel Mazer, Jacques Droulez
article
IEEE Transactions on Emerging Topics in Computing, Institute of Electrical and Electronics Engineers, 2016, <10.1109/TETC.2016.2609926>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01374906/file/TETC-final.pdf BibTex

Communication dans un congrès

titre
Variational Image-Based Rendering with Gradient Constraints
auteur
Grégoire Nieto, Frédéric Devernay, James Crowley
article
IC3D - 2016 International Conference on 3D Imaging, Dec 2016, Liège, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01402528/file/ic3d2016.pdf BibTex
titre
ProSPer: modeling the change, driving the persuasion
auteur
Alessandro Fenicio, Gaëlle Calvary, Yann Laurillau, Jean Vanderdonckt
article
Actes de la 28ième conférence francophone sur l’Interaction Homme-Machine, Oct 2016, Fribourg, Switzerland. pp.59-69, 2016, Actes de la 28ième conférence francophone sur l’Interaction Homme-Machine. <http://ihm2016.afihm.org/#!/>. <10.1145/3004107.3004129>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01383783/file/p59-fenicio.pdf BibTex
titre
Curseurs Tangibles sur Dispositifs Mobiles : Impact de la Conception sur les Performances
auteur
Juan Rosso, Céline Coutrix, Matt Jones, Laurence Nigay
article
Actes de la 28ième conférence francophone sur l’Interaction Homme-Machine, Oct 2016, Fribourg, Suisse. pp.70-78, 2016, Actes de la 28ième conférence francophone sur l’Interaction Homme-Machine. <http://ihm2016.afihm.org/#!/>. <10.1145/3004107.3004123>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01383791/file/p70-rosso.pdf BibTex
titre
Improving usage of learning designs by teachers: a conceptual model dedicated to well-defined problems resolution
auteur
Anne Lejeune, Viviane Guéraud, Nadine Mandran
article
ECTEL, Oct 2016, Lyon, France
Accès au bibtex
BibTex
titre
Smartphone-based User Location Tracking in Indoor Environment
auteur
Viet Cuong Ta, Dominique Vaufreydaz, Trung-Kien Dao, Eric Castelli
article
International Conference on Indoor Positioning and Indoor Navigation (IPIN), Oct 2016, Madrid, Spain. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01370252/file/Smartphone-basedUserLocationTracking.pdf BibTex
titre
Impact of Head Motion on the Assistive Robot Expressiveness - Evaluation with Elderly Persons
auteur
Fabien Badeig, Pierre Wargnier, Maribel Pino, Philippe De Oliveira Lopes, Emeric Grange, James L. Crowley, Anne-Sophie Rigaud, Dominique Vaufreydaz
article
1st International Workshop on Affective Computing for Social Robotics Workshop at the IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), Aug 2016, New York, United States. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01344312/file/RelevanceMotionExpressiveness.pdf BibTex

Systèmes Répartis, Calcul Parallèle et Réseaux (10 dernières publications)

2017

Article dans des revues

titre
Reliable Self-deployment of Distributed Cloud Applications
auteur
Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma
article
Software: Practice and Experience, Wiley, 2017, 47 (1), pp.3-20. <10.1002/spe.2400>
Accès au bibtex
BibTex

2016

Article dans des revues

titre
Coordination de la Gestion autonome de la Réparation et du Dimensionnement d'un Système multi-niveaux par Contrôle Discret
auteur
Soguy Mak-Karé Gueye, Noël De Palma, Eric Rutten, Alain Tchana, Nicolas Berthier
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2016, <10.3166/TSI.35.525-555>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01416992/file/paper%20%282%29.pdf BibTex
titre
Learning in games via reinforcement learning and regularization
auteur
Panayotis Mertikopoulos, William H. Sandholm
article
Mathematics of Operations Research, INFORMS, 2016, <10.1287/moor.2016.0778>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01073491/file/1407.6267v1.pdf BibTex
titre
Learning in games via reinforcement and regularization
auteur
Panayotis Mertikopoulos, William H. Sandholm
article
Mathematics of Operations Research, INFORMS, 2016, 41 (4), pp.1297-1324
Accès au bibtex
BibTex
titre
Power Optimization in Random Wireless Networks
auteur
Aris L. Moustakas, Panayotis Mertikopoulos, Nicholas Bambos
article
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2016, 62 (9), pp.5030-5058
Accès au bibtex
BibTex
titre
Link-layer Security in TSCH Networks: Effect on Slot Duration
auteur
Savio Sciancalepore, Malisa Vucinic, Giuseppe Piro, Gennaro Boggia, Thomas Watteyne
article
Transactions on Emerging Telecommunications Technologies, Wiley, 2016, <10.1002/ett.3089>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01342664/file/sec-overhead.pdf BibTex
titre
Designing Autonomic Management Systems by using Reactive Control Techniques
auteur
Nicolas Berthier, Éric Rutten, Noël De Palma, Soguy Mak-Karé Gueye
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2016, 42 (7), pp.18. <http://dx.doi.org/10.1109/TSE.2015.2510004>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01242853/file/article.pdf BibTex
titre
On the robustness of learning in games with stochastically perturbed payoff observations
auteur
Mario Bravo, Panayotis Mertikopoulos
article
Games and Economic Behavior, Elsevier, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01098494/file/1412.6565v1.pdf BibTex
titre
Transient and Steady-state Regime of a Family of List-based Cache Replacement Algorithms
auteur
Nicolas Gast, Benny Van Houdt
article
Queueing Systems, Springer Verlag, 2016, Special Issue: SIGMETRICS 2015, <10.1007/s11134-016-9487-9>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01334354/file/multilevelRANDOM_jversion.pdf BibTex
titre
Organising LTL Monitors over Distributed Systems with a Global Clock
auteur
Christian Colombo, Yliès Falcone
article
Formal Methods in System Design, Springer Verlag, 2016, 49 (1-2), pp.50. <http://link.springer.com/article/10.1007%2Fs10703-016-0251-x>. <10.1007/s10703-016-0251-x>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01315776/file/fmsd4.pdf BibTex

Traitement de Données et de Connaissances à Grande Echelle (10 dernières publications)

2017

Article dans des revues

titre
Find The Errors, Get The Better: Enhancing Machine Translation via Word Confidence Estimation
auteur
Ngoc Quang Luong, Laurent Besacier, Benjamin Lecouteux
article
Natural Language Engineering, Cambridge University Press (CUP), 2017
Accès au bibtex
BibTex

Communication dans un congrès

titre
Un outil de segmentation de courriels imbriqués en courriels individuels et en phrases
auteur
Ruslan Kalitvianski, Valérie Bellynck, Christian Boitet
article
Atelier Fouille des Données Complexes @ EGC-2017 (Extraction et Gestion des Connaissances), Jan 2017, Grenoble, France
Accès au bibtex
BibTex
titre
Multilingual Access to Educational Material Through Contributive Post-editing of MT Pre-translations by Foreign Students
auteur
Ruslan Kalitvianski, Valérie Bellynck, Christian Boitet
article
The 14th International Conference on Web-based Learning, Jan 2017, Guangzhou, China. 2015, Advances in Web-Based Learning -- ICWL 2015
Accès au bibtex
BibTex

2016

Article dans des revues

titre
L'étude des inondations historiques majeures et leurs impacts
auteur
Cécile Saint-Marc, Cicely Pams Capoccioni, Redon Anne, Dorine Chenier
article
Revue Generale des Chemins de Fer, Elsevier, 2016, 263, <https://www.revue-rgcf.com/>
Accès au bibtex
BibTex
titre
Spatio-Temporal evolutive Data Infrastructure: a Spatial Data Infrastructure for managing data flows of Territorial Statistical Information
auteur
Camille Bernard, Marlène Villanova-Oliver, Jérôme Gensel, Benoit Le Rubrus
article
INTERNATIONAL JOURNAL OF DIGITAL EARTH, 2016
Accès au bibtex
BibTex
titre
Positional scoring-based allocation of indivisible goods
auteur
Dorothea Baumeister, Sylvain Bouveret, Jérôme Lang, Nhan-Tam Nguyen, Trung Thanh Nguyen, Jörg Rothe, Abdallah Saffidine
article
Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2016, <http://link.springer.com/article/10.1007/s10458-016-9340-x>. <10.1007/s10458-016-9340-x>
Accès au bibtex
BibTex
titre
Naming multi-modal clusters to identify persons in TV broadcast
auteur
Johann Poignant, Guillaume Fortier, Laurent Besacier, Georges Quénot
article
Multimedia Tools and Applications, Springer Verlag, 2016, 75 (15), pp.8999-9023. <10.1007/s11042-015-2723-1>
Accès au bibtex
BibTex
titre
On-line Human Activity Recognition from Audio and Home Automation Sensors: comparison of sequential and non-sequential models in realistic Smart Homes
auteur
Pedro Chahuara, Anthony Fleury, François Portet, Michel Vacher
article
Journal of ambient intelligence and smart environments, 2016, 8 (4), pp.399-422. <http://content.iospress.com/journals/journal-of-ambient-intelligence-and-smart-environments/8/4>. <10.3233/AIS-160386>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01336552/file/2016_JAISE_Chahuara_auteur.pdf BibTex
titre
Institution artificielle située pour une aide à la régulation de la gestion de crises
auteur
Lauren Thévin, Catherine Garbay, Olivier Boissier, Maiquel De Brito, Jomi Fred Hübner
article
revue d'intelligence artificielle (RIA), Lavoisier, 2016, 30 (1-2), pp.185--209. <10.3166/ria.30.185-209>
Accès au bibtex
BibTex
titre
Data Science : une formation internationale de niveau Master en science des données
auteur
Massih-Reza Amini, Jean-Baptiste Durand, Olivier Gaudoin, Eric Gaussier, Anatoli Iouditski
article
Statistique et Enseignement (ISSN 2108-6745), Société Française de Statistique, 2016, 7 (1), pp.95-102
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01342469/file/DataScience_revision2.pdf BibTex