Home » Publications du laboratoire

Publication  de  la  collection  HAL LS2N  pour  2017

Nombre de publications retournées : 216


Récapitulatif du nombre de publications de la collection par types
ART_INT
ART_NAT
COMM_INT
COMM_NAT
THESE
AP
8139817116


Revues internationales avec comité de lecture (ART_INT)

    • [1] A. Amdouni, P. Castagliola, H. Taleb, G. Celano. A Variable Sampling Interval Shewhart Control Chart for Monitoring the Coefficient of Variation in Short Production Runs. In International Journal of Production Research ; éd. Taylor & Francis, 2017, vol. 55, num. 19.
      https://hal.archives-ouvertes.fr/hal-01573597
    • [2] A. Anjum, G. Raschia, M. Gelgon, K. Abid, N. Ahmed, A. Mansoor, S. Sabah, A. M. Masoom. tau-safety: a privacy model for sequential publication with arbitrary updates.. In Computers and Security ; éd. Elsevier, 2017, vol. 66.
      https://hal.archives-ouvertes.fr/hal-01442759
    • [4] A. Cerqueus, X. Gandibleux, A. Przybylski, F. Saubion. On branching heuristics for the bi-objective 0/1 unidimensional knapsack problem. In Journal of Heuristics ; éd. Springer Verlag, 2017.
      https://hal.archives-ouvertes.fr/hal-01564982
    • [5] A. Chandrakar, Y. Zang, F. Laroche, B. Alain. Physical assembly sequence optimisation for developing an integrated 3D reconstruction method. In Virtual and Physical Prototyping ; éd. Taylor & Francis, 2017.
      https://hal.archives-ouvertes.fr/hal-01504230
    • [8] A. Grimault, N. Bostel, F. Lehuédé. An adaptive large neighborhood search for the full truckload pickup and delivery problem with resource synchronization. In Computers & Operations Research, vol. 88.
      https://hal.archives-ouvertes.fr/hal-01543503
    • [9] A. Rakitzis, C. Weiß, P. Castagliola. Control Charts for Monitoring Correlated Poisson Counts with an Excessive Number of Zeros. In Quality and Reliability Engineering International ; éd. Wiley, 2017, vol. 33, num. 2.
      https://hal.archives-ouvertes.fr/hal-01466793
    • [10] A. Weber, L. Abi-Rached, N. Galtier, A. Bernard, J. Montoya-Burgos, A. Chenuil. Positive selection on sperm ion channels in a brooding brittle star: consequence of life-history traits evolution. In Molecular Ecology ; éd. Wiley, 2017, vol. 26, num. 14.
      https://hal.archives-ouvertes.fr/hal-01573765
    • [11] B. Confais, A. Lèbre, B. Parrein. Performance Analysis of Object Store Systems in a Fog and Edge Computing Infrastructure. In Transactions on Large-Scale Data- and Knowledge-Centered Systems ; éd. Springer Berlin / Heidelberg, 2017.
      https://hal.archives-ouvertes.fr/hal-01587459
    • [12] B. Hervy, F. Laroche, A. Bernard, J. Kerouanton. Framework for historical knowledge management in museology. In International Journal of Product Lifecycle Management ; éd. Inderscience, 2017, vol. 10, num. 1.
      https://hal.archives-ouvertes.fr/hal-01541077
    • [13] B. Martin, A. Goldsztejn, L. Granvilliers, C. Jermann. Constraint propagation using dominance in interval Branch & Bound for nonlinear biobjective optimization. In European Journal of Operational Research ; éd. Elsevier, 2017, vol. 260, num. 3.
      https://hal.archives-ouvertes.fr/hal-01401321
    • [15] C. Califano, C. Moog. Accessibility of nonlinear time-delay systems. In IEEE Transactions on Automatic Control ; éd. Institute of Electrical and Electronics Engineers, 2017, vol. 62, num. 3.
      https://hal.archives-ouvertes.fr/hal-01325962
    • [16] C. Chevallereau, F. Boyer, M. Porez, J. Mauny, Y. Aoustin. Morphological self stabilization of locomotion gaits: illustration on a few examples from bio-inspired locomotion. In Bioinspiration and Biomimetics ; éd. IOP Publishing, 2017, vol. 12, num. 4.
      https://hal.archives-ouvertes.fr/hal-01558509
    • [17] C. Negri Lintzmayer, G. Fertin, Z. Dias. Sorting permutations by prefix and suffix rearrangements. In Journal of Bioinformatics and Computational Biology ; éd. World Scientific Publishing, 2017, vol. 15, num. 1.
      https://hal.archives-ouvertes.fr/hal-01524046
    • [18] C. Wang, H. Mouchère, A. Lemaitre, C. Viard-Gaudin. Online flowchart understanding by combining max-margin Markov random field with grammatical analysis. In International Journal on Document Analysis and Recognition ; éd. Springer Verlag, 2017, vol. 20, num. 2.
      https://hal.inria.fr/hal-01503366
    • [20] D. Gwendal, G. Sunyé, A. Benelallam, M. Tisi, Y. Vernageau, A. Gomez, J. CABOT. NeoEMF: A Multi-database Model Persistence Framework for Very Large Models. In Science of Computer Programming ; éd. Elsevier, 2017.
      https://hal.archives-ouvertes.fr/hal-01589588
    • [21] D. Six, S. Briot, A. Chriette, P. Martinet. A Controller Avoiding Dynamic Model Degeneracy of Parallel Robots during Singularity Crossing. In Journal of Mechanisms and Robotics ; éd. American Society of Mechanical Engineers, 2017, vol. 9, num. 5.
      https://hal.archives-ouvertes.fr/hal-01524311
    • [22] E. Benetos, G. Lafay, M. Lagrange, M. Plumbley. Polyphonic Sound Event Tracking using Linear Dynamical Systems. In IEEE Transactions on Audio, Speech and Language Processing ; éd. Institute of Electrical and Electronics Engineers, 2017.
      https://hal.archives-ouvertes.fr/hal-01520194
    • [23] E. Edjekouane, S. Riachy, M. GHANES, J. Barbot. Homogeneous Control of Pneumatic Cylinders Based on Time Delay Model and Artstein Transformation. In Asian Journal of Control ; éd. Asian Control Association (ACA) and Chinese Automatic Control Society (CACS), 2017, vol. 19, num. 2.
      https://hal.archives-ouvertes.fr/hal-01588884
    • [25] E. Garcia-Ramirez, P. Ollin, C. Moog. Further comments on Taylor series expansion of the delay/advance operator. In Journal of Computational and Nonlinear Dynamics ; éd. American Society of Mechanical Engineers (ASME), 2017, vol. 12, num. 3.
      https://hal.archives-ouvertes.fr/hal-01374775
    • [26] E. Jouanne, C. Charron, C. Chauvin, G. Morel. Correlates of team effectiveness: An exploratory study of firefighter's operations during emergency situations. In Applied Ergonomics ; éd. Elsevier, 2017.
      https://hal.archives-ouvertes.fr/hal-01484504
    • [27] E. Trélat, E. Zuazua, J. Lohéac. Minimal controllability time for the heat equation under unilateral state or control constraints. In Mathematical Models and Methods in Applied Sciences (M3AS), vol. 27, num. 9.
      https://hal.archives-ouvertes.fr/hal-01457931
    • [28] F. Alvares, E. Rutten, L. Seinturier. A Domain-specific Language for The Control of Self-adaptive Component-based Architecture. In Journal of Systems and Software ; éd. Elsevier, 2017.
      https://hal.archives-ouvertes.fr/hal-01450517
    • [29] F. Boyer, H. Boutouil, I. Dalloul, Z. Dalloul, J. Cook-Moreau, J. Aldigier, C. Carrion, B. Herve, E. Scaon, M. Cogné, S. Péron. CSReport: A New Computational Tool Designed for Automatic Analysis of Class Switch Recombination Junctions Sequenced by High-Throughput Sequencing.. In Journal of Immunology ; éd. Publisher : Baltimore : Williams & Wilkins, c1950-. Latest Publisher : Bethesda, MD : American Association of Immunologists, 2017, vol. 198, num. 10.
      https://hal.archives-ouvertes.fr/hal-01567748
    • [30] F. Chaumette, S. Briot, P. Martinet. Revisiting the determination of the singularity cases in the visual servoing of image points through the concept of hidden robot. In IEEE Transactions on Robotics ; éd. Institute of Electrical and Electronics Engineers (IEEE), 2017, vol. 33, num. 2.
      https://hal.archives-ouvertes.fr/hal-01399774
    • [31] F. Li, J. Song, A. Dolgui, L. Liang. Using common weights and efficiency invariance principles for resource allocation and target setting. In International Journal of Production Research ; éd. Taylor & Francis, 2017.
      https://hal.archives-ouvertes.fr/hal-01522121
    • [32] G. Fertin, G. Jean, E. Tannier. Algorithms for computing the double cut and join distance on both gene order and intergenic sizes. In Algorithms for Molecular Biology ; éd. BioMed Central, 2017, vol. 12.
      https://hal.archives-ouvertes.fr/hal-01533200
    • [34] G. Nenes, P. Castagliola, G. Celano. Economic and Statistical Design of Vp Control Charts for Finite-Horizon Processes. In IIE Transactions ; éd. Taylor & Francis, 2017, vol. 49, num. 1.
      https://hal.archives-ouvertes.fr/hal-01425549
    • [35] H. Bruneliere, E. Burger, J. CABOT, M. Wimmer. A Feature-based Survey of Model View Approaches. In Software and Systems Modeling ; éd. Springer Verlag, 2017.
      https://hal.inria.fr/hal-01590674
    • [36] H. Purohit, A. Goldsztejn, F. Goualard, L. Granvilliers, C. Jermann, R. Jeyasenthil, P. Nataraj, B. Patil. Simultaneous automated design of structured QFT controller and prefilter using nonlinear programming. In International journal of robust and nonlinear control (RNC), vol. 27, num. 15.
      https://hal.archives-ouvertes.fr/hal-01408593
    • [37] J. Davins-Valldaura, P. Franck, S. Moussaoui, G. Pita Gil. Design and optimization of nonlinear observers for road curvature and state estimation in automated vehicles. In IEEE Transactions on Intelligent Transportation Systems ; éd. IEEE, 2017.
      https://hal.archives-ouvertes.fr/hal-01505544
    • [38] J. Davins-Valldaura, S. Moussaoui, G. Pita Gil, P. Franck. ParEGO extensions for multi-objective optimization of expensive evaluation functions. In Journal of Global Optimization ; éd. Springer Verlag, 2017, vol. 17, num. 1.
      https://hal.archives-ouvertes.fr/hal-01309586
    • [39] J. Gayon, G. Massonnet, C. Rapine, G. Stauffer. Fast approximation algorithms for the One-Warehouse Multi-Retailer problem under general cost structures and capacity constraints. In Mathematics of Operations Research ; éd. INFORMS, 2017.
      https://hal.archives-ouvertes.fr/hal-01497928
    • [40] K. Stec, L. Caputi, P. Buttigieg, D. D'Alelio, F. Ibarbalz, M. Sullivan, S. Chaffron, C. Bowler, M. Ribera D'Alcalà, D. Iudicone. Modelling plankton ecosystems in the meta-omics era. Are we ready?. In Marine Genomics ; éd. Elsevier, 2017, vol. 32.
      https://hal.archives-ouvertes.fr/hal-01584309
    • [41] L. Fitime, O. Roux, C. Guziolowski, L. Paulevé. Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming. In Algorithms for Molecular Biology ; éd. BioMed Central, 2017, vol. 12, num. 1.
      https://hal.archives-ouvertes.fr/hal-01566380
    • [42] M. ABU TAHA, S. El Assad, A. Queudet, O. Déforges. Design and Efficient Implementation of a Chaos-based Stream Cipher. In International Journal of Internet Technology and Secured Transactions.
      https://hal.archives-ouvertes.fr/hal-01444986
    • [43] M. Budinich, J. Bourdon, A. Larhlimi, D. Eveillard. A multi-objective constraint-based approach for modeling genome-scale microbial ecosystems.. In PLoS ONE ; éd. Public Library of Science, 2017, vol. 12, num. 2.
      https://hal.archives-ouvertes.fr/hal-01478375
    • [44] M. Eskandarpour, O. Péton, P. Dejax. A large neighborhood search heuristic for supply chain network design. In Computers and Operations Research ; éd. Elsevier, 2017, vol. 80.
      https://hal.archives-ouvertes.fr/hal-01433630
    • [45] M. Hasan, Y. Kouki, T. Ledoux, J. Pazat. Exploiting Renewable sources: when Green SLA becomes a possible reality in Cloud computing. In IEEE Transactions on Cloud Computing, vol. 5, num. 2.
      https://hal.archives-ouvertes.fr/hal-01187907
    • [46] M. Ouamer Ali, F. Belkadi, S. Remy, B. Alain, F. Laroche. Facet-based approach for the management of information multi points-of- view in product modelling. In Computer-Aided Design & Applications, vol. 14, num. 5.
      https://hal.archives-ouvertes.fr/hal-01429066
    • [47] M. Trabelsi, M. GHANES, M. Majdi, B. Sertac, A. Haitham. An original observer design for reduced sensor control of Packed U Cells based renewable energy system. In International Journal of Hydrogen Energy ; éd. Elsevier, 2017, vol. 42, num. 28.
      https://hal.archives-ouvertes.fr/hal-01588881
    • [48] M. Yagoubi. A linear quadratic controller design incorporating a parametric sensitivity constraint. In International Journal of Automation and Computing ; éd. Springer Verlag, 2017.
      https://hal.archives-ouvertes.fr/hal-01484418
    • [49] N. Beldiceanu, B. Dumas Feris, P. Gravey, S. Hasan, C. Jard, T. Ledoux, Y. Li, D. Lime, G. Madi-Wamba, J. Menaud, P. Morel, M. Morvan, M. MOULINARD, A. Orgerie, J. Pazat, O. Roux, A. Sharaiha. Towards energy-proportional Clouds partially powered by renewable energy. In Computing ; éd. Springer Verlag, 2017, vol. 99, num. 1.
      https://hal.inria.fr/hal-01340318
    • [50] O. Battaïa, A. Dolgui, N. Guschinsky. Decision support for design of reconfigurable rotary machining systems for family part production. In International Journal of Production Research ; éd. Taylor & Francis, 2017, vol. 55, num. 5.
      https://hal-emse.ccsd.cnrs.fr/emse-01497559
    • [51] O. Battaïa, A. Dolgui, N. Guschinsky. Decision support for design of reconfigurable rotary machining systems for family part production. In International Journal of Production Research ; éd. Taylor & Francis, 2017, vol. 55, num. 5.
      https://hal.archives-ouvertes.fr/hal-01523726
    • [52] O. Cardin, D. Trentesaux, A. Thomas, P. Castagna, T. Berger, H. Bril. Coupling predictive scheduling and reactive control in manufacturing hybrid control architectures: state of the art and future challenges. In Journal of Intelligent Manufacturing ; éd. Springer Verlag (Germany), 2017.
      https://hal.archives-ouvertes.fr/hal-01182909
    • [53] O. JALLOULI, S. El Assad, M. Chetto, R. Lozi. Design and Analysis of two Stream Ciphers Based on Chaotic Coupling and Multiplexing techniques. In Multimedia Tools and Applications ; éd. Springer Verlag, 2017.
      https://hal.archives-ouvertes.fr/hal-01534443
    • [54] O. Quirion-Blais, A. Langevin, F. Lehuédé, O. Péton, M. Trépanier. Solving the large-scale min-max K-rural postman problem for snow plowing. In Networks ; éd. Wiley, 2017, vol. 70, num. 3.
      https://hal.archives-ouvertes.fr/hal-01584367
    • [55] P. Grangier, M. Gendreau, F. Lehuédé, L. Rousseau. A matheuristic based on large neighborhood search for the vehicle routing problem with cross-docking. In Computers & Operations Research, vol. 84.
      https://hal.archives-ouvertes.fr/hal-01499170
    • [58] R. Boukenoui, M. Ghanes, J. Barbot, R. Bradai, A. Melliti, H. Salhi. Experimental assessment of Maximum Power Point Tracking methods for photovoltaic systems. In Energy ; éd. Elsevier, 2017, vol. 132.
      https://hal.archives-ouvertes.fr/hal-01561510
    • [59] R. Bradai, R. Boukenoui, A. Kheldoun, H. Salhi, M. Ghanes, J. Barbot, A. Melliti. Experimental assessment of new fast MPPT algorithm for PV systems under non-uniform irradiance conditions. In Applied Energy ; éd. Elsevier, 2017, vol. 199.
      https://hal.archives-ouvertes.fr/hal-01561516
    • [60] R. Maleki, A. Amiri, P. Castagliola. Measurement Errors in Statistical Process Monitoring: a Literature Review. In Computers and Industrial Engineering ; éd. Elsevier, 2017, vol. 103.
      https://hal.archives-ouvertes.fr/hal-01423386
    • [62] S. Briot, P. Martinet, F. Chaumette. Determining the Singularities for the Observation of Three Image Lines. In IEEE Robotics and Automation Letters ; éd. IEEE, 2017, vol. 2, num. 2.
      https://hal.archives-ouvertes.fr/hal-01398925
    • [63] S. Briot, S. Caro, C. Germain. Design Procedure for a Fast and Accurate Parallel Manipulator. In Journal of Mechanisms and Robotics ; éd. American Society of Mechanical Engineers, 2017.
      https://hal.archives-ouvertes.fr/hal-01587975
    • [64] S. Hasan, F. Alvares, T. Ledoux, J. Pazat. Investigating Energy Consumption and Performance Trade-off for Interactive Cloud Application. In IEEE Transactions on Sustainable Computing.
      https://hal.archives-ouvertes.fr/hal-01540159
    • [65] S. Jousse-Joulin, E. Nowak, D. Cornec, J. Brown, A. Carr, M. Carotti, B. Fisher, J. Fradin, A. Hocevar, M. Jonsson, N. Luciano, V. Milic, J. Rout, E. Theander, A. Stel, H. Bootsma, A. Vissink, C. Baldini, A. Baer, W. Ng, S. Bowman, Z. Alavi, A. Saraux, V. Devauchelle-Pensec. Salivary gland ultrasound abnormalities in primary Sj?gren?s syndrome: consensual US-SG core items definition and reliability. In RMD Open : Rheumatic & Musculoskeletal Diseases ; éd. EULAR ; BMJ, 2017, vol. 3, num. 1.
      https://hal.archives-ouvertes.fr/hal-01540779
    • [66] S. Kovalev, X. Delorme, A. Dolgui, A. Oulamara. Minimizing the number of stations and station activation costs for a production line. In Computers & Operations Research, vol. 79.
      https://hal-emse.ccsd.cnrs.fr/emse-01438176
    • [67] S. Lanneau, F. Boyer, V. Lebastard, S. Bazeille. Model based estimation of ellipsoidal object using artificial electric sense.. In International Journal of Robotics Research ; éd. SAGE Publications, 2017.
      https://hal.archives-ouvertes.fr/hal-01550624
    • [68] S. Le Noir, F. Boyer, S. Lecardeur, M. Brousse, Z. Oruc, J. Cook-Moreau, Y. Denizot, M. Cogné, S. Le Noir. Functional anatomy of the immunoglobulin heavy chain 3΄ super-enhancer needs not only core enhancer elements but also their unique DNA context.. In Nucleic Acids Research ; éd. Oxford University Press (OUP): Policy C - Option B, 2017, vol. 45, num. 10.
      https://hal.archives-ouvertes.fr/hal-01567750
    • [69] S. Prigent, C. Frioux, S. Dittami, S. Thiele, A. Larhlimi, G. Collet, G. Fabien, J. Got, D. Eveillard, J. Bourdon, F. Plewniak, T. Tonon, A. Siegel. Meneco, a Topology-Based Gap-Filling Tool Applicable to Degraded Genome-Wide Metabolic Networks. In PLoS Computational Biology ; éd. Public Library of Science, 2017, vol. 13, num. 1.
      https://hal.inria.fr/hal-01449100
    • [70] S. Videla, J. Saez-Rodriguez, C. Guziolowski, A. Siegel. caspo: a toolbox for automated reasoning on the response of logical signaling networks families. In Bioinformatics ; éd. Oxford University Press (OUP), 2017.
      https://hal.inria.fr/hal-01426880
    • [71] T. Attema, A. Kosgodagan Acharige, O. Morales-Nápoles, J. Maljaars. Maintenance decision model for steel bridges. In Structure and Infrastructure Engineering ; éd. Taylor & Francis (Routledge): STM, Behavioural Science and Public Health Titles, 2017, vol. 13, num. 2.
      https://hal.archives-ouvertes.fr/hal-01517056
    • [72] T. MohammadRidha, M. Aït-Ahmed, L. Chaillous, M. Krempf, I. Guilhem, J. Poirier, C. Moog. Model Free iPID Control for Glycemia Regulation of Type-1 Diabetes. In IEEE Transactions on Biomedical Engineering ; éd. Institute of Electrical and Electronics Engineers, 2017.
      https://hal.archives-ouvertes.fr/hal-01509883
    • [73] T. Mullari, . Kotta, Z. Bartosiewicz, E. Pawluszewicz, C. Moog. Forward and backward shifts of vector fields: towards the dual algebraic framework. In IEEE Transactions on Automatic Control ; éd. Institute of Electrical and Electronics Engineers, 2017, vol. 62, num. 6.
      https://hal.archives-ouvertes.fr/hal-01372333
    • [74] V. Léchappé, E. Moulay, F. Plestan. Prediction-based control for LTI systems with uncertain time-varying delays and partial state knowledge. In International Journal of Control ; éd. Taylor & Francis, 2017.
      https://hal.archives-ouvertes.fr/hal-01505562
    • [75] V. Picard, A. Siegel, J. Bourdon. A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks. In Journal of computational biology : a journal of computational molecular cell biology ; éd. Mary Ann Liebert, 2017, vol. 24, num. 8.
      https://hal.archives-ouvertes.fr/hal-01552190
    • [76] W. Lilienblum, U. Bernauer, L. Bodin, L. Celleno, Q. Chaudhry, P. Coenraads, M. Dusinska, J. Duus-Johansen, E. Ezendam, E. Gaffet, C. Galli, B. Granum, E. Panteri, V. Rogiers, C. Rousselle, M. Stepnik, T. Vanhaecke, S. Wijnhoven, G. Degen, W. Lillenblum, E. Nielsen, J. Van Benthem, A. Bernard, A. Gimenez-Arnau. Opinion of the Scientific Committee on Consumer Safety (SCCS) - Final version of the Opinion on Vitamin A (retinol, retinyl acetate and - retinyl palmitate) in cosmetic products. In Regulatory Toxicology and Pharmacology ; éd. Elsevier, 2017, vol. 84.
      https://hal.archives-ouvertes.fr/hal-01500113
    • [77] W. Teoh, J. Chong, M. KHOO, W. Yeong, P. Castagliola. Optimal Designs of the Variable Sample Size Xbar Chart based on Median Run Length and Expected Median Run Length. In Quality and Reliability Engineering International ; éd. Wiley, 2017, vol. 33, num. 1.
      https://hal.archives-ouvertes.fr/hal-01444219
    • [78] X. Gandibleux, H. Morita, N. Katoh. A population-based algorithm for solving linear assignment problems with two objectives. In Computers and Operations Research ; éd. Elsevier, 2017, vol. 79.
      https://hal.archives-ouvertes.fr/hal-01435487
    • [80] X. Yan, P. Franck, M. Primot. A new third order sliding mode controller – application to an electropneumatic actuator. In IEEE Transactions on Control Systems Technology ; éd. Institute of Electrical and Electronics Engineers, 2017, vol. 25, num. 2.
      https://hal.archives-ouvertes.fr/hal-01356366
    • [81] Y. Shtessel, G. Alain, P. Franck, F. Aldukali. Output feedback hybrid-impulsive second order sliding mode control: Lyapunov approach. In International Journal of Robust and Nonlinear Control ; éd. Wiley, 2017, vol. 27, num. 7.
      https://hal.archives-ouvertes.fr/hal-01505540

Revues nationales avec comité de lecture (ART_NAT)

    • [84] R. Masson, A. Trentini, F. Lehuédé, N. Malhéné, O. Péton, H. Tlahig. Optimization of a city logistics transportation system with mixed passengers and goods. In EURO Journal on Transportation and Logistics ; éd. Springer, 2017, vol. 6, num. 1.
      https://hal.archives-ouvertes.fr/hal-01068305

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [85] A. BART, B. Delahaye, D. Lime, E. Monfroy, C. Truchet. Reachability in Parametric Interval Markov Chains using Constraints. In 14th International Conference on Quantitative Evaluation of SysTems, septembre 2017, Berlin.
      https://hal.archives-ouvertes.fr/hal-01555767
    • [86] A. Bart, B. Delahaye, D. Lime, E. Monfroy, C. Truchet. Reachability in Parametric Interval Markov Chains Using Constraints. In 14th International Conference on Quantitative Evaluation of SysTems, septembre 2017, Berlin.
      https://hal.archives-ouvertes.fr/hal-01591036
    • [87] A. Ferdjoukh, F. Galinier, E. Bourreau, A. Chateau, C. Nebut. Measuring Differences To Compare Sets Of Models And Improve Diversity In MDE. In International Conference on Software Engineering Advances, ICSEA, octobre 2017, Athenes.
      http://hal.univ-nantes.fr/hal-01586827
    • [89] A. Koessler, A. Goldsztejn, S. Briot, N. Bouton. Certified Detection of Parallel Robot Assembly Mode under Type 2 Singularity Crossing Trajectories. In 2017 IEEE International Conference on Robotics and Automation (ICRA 2017), mai 2017, Singapour.
      https://hal.archives-ouvertes.fr/hal-01435808
    • [90] A. Lebre, J. Pastor, A. Simonet, F. Desprez. Revising OpenStack to Operate Fog/Edge Computing infrastructures. In IEEE International Conference on Cloud Engineering, avril 2017, Vancouver, France.
      https://hal.inria.fr/hal-01273427
    • [91] A. Nguyen, P. Chevrel, F. Claveau. On the Effective Use of Vehicle Sensors for Automatic Lane Keeping via LPV Static Output Feedback Control. In IFAC World Congress, juillet 2017, Toulouse, France.
      https://hal.archives-ouvertes.fr/hal-01493847
    • [92] A. Zhou, S. Ibrahim, B. He. On Achieving Efficient Data Transfer for Graph Processing in Geo-Distributed Datacenters. In ICDCS'17- The 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017), juin 2017, Atlanta, United States.
      https://hal.inria.fr/hal-01560187
    • [93] B. Confais, A. Lèbre, B. Parrein. An Object Store Service for a Fog/Edge Computing Infrastructure based on IPFS and Scale-out NAS. In 1st IEEE International Conference on Fog and Edge Computing - ICFEC’2017, mai 2017, Madrid.
      https://hal.archives-ouvertes.fr/hal-01483702
    • [95] C. Boultifat, P. Chevrel, J. Lohéac, M. Yagoubi, P. Loiseau. One-Dimensional Acoustic Propagation Model and Spatial Multi-Point Active Noise Control. In 56th IEEE Conference on Decision and Control, décembre 2017, Melbourne.
      https://hal.archives-ouvertes.fr/hal-01589786
    • [96] C. Boultifat, P. Loiseau, P. Chevrel, J. Loheac, M. Yagoubi. FxLMS versus H∞ Control for Broadband Acoustic Noise Attenuation in a Cavity. In The 20th World Congress of the International Federation of Automatic Control, juillet 2017, Toulouse, France.
      https://hal.archives-ouvertes.fr/hal-01483646
    • [97] D. Chablat, L. Baron, R. Jha. KINEMATICS AND WORKSPACE ANALYSIS OF A 3PPPS PARALLEL ROBOT WITH U-SHAPED BASE. In International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, août 2017, Cleveland, United States.
      https://hal.archives-ouvertes.fr/hal-01521850
    • [98] D. Chablat, X. Kong, C. Zhang. KINEMATICS, WORKSPACE AND SINGULARITY ANALYSIS OF A MULTI-MODE PARALLEL ROBOT. In International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, août 2017, Cleveland, United States.
      https://hal.archives-ouvertes.fr/hal-01521731v2
    • [99] D. Six, S. Briot, A. Chriette, P. Martinet. Dynamic Modeling and Trajectory Tracking Controller of a Novel Flying Parallel Robot. In 20th IFAC World Congress, juillet 2017, Toulouse, France.
      https://hal.archives-ouvertes.fr/hal-01479409
    • [100] E. Gurevsky, S. Kovalev, M. Kovalyov. A min-max risk version of some combinatorial optimization problems with controllable data. In Joint EURO/ORSC/ECCO Conference 2017 on Combinatorial Optimization (ECCO XXX – 2017), mai 2017, Koper.
      https://hal.archives-ouvertes.fr/hal-01518346
    • [101] F. Alvares, G. Delaval, E. Rutten, L. Seinturier. Language Support for Modular Autonomic Managers in Reconfigurable Software Components. In SeAC 2017 - 2nd Workshop on Self-Aware Computing @ ICAC’17, juillet 2017, Colombus, United States.
      https://hal.inria.fr/hal-01575353
    • [102] F. Lehuédé, O. Péton, F. Tricoire. Multi-directional local search for a bi-objective vehicle routing problem with lexicographic minimax load balancing. In TSL Conference 2017, juillet 2017, Chicago, United States.
      https://hal.archives-ouvertes.fr/hal-01517255
    • [103] F. Mars, A. Ameyoe, P. Chevrel, E. Le Carpentier, H. Illy. Analysis of a driver model sensitivity to various types of distraction. In 5th International Conference on Driver Distraction and Inattention, mars 2017, Paris, France.
      https://hal.archives-ouvertes.fr/hal-01492034
    • [105] G. Daniel, F. Jouault, G. Sunyé, J. Cabot. Gremlin-ATL: A Scalable Model Transformation Framework. In Automated Software Engineering (ASE2017), octobre 2017, Urbana-Champaign, United States.
      https://hal.archives-ouvertes.fr/hal-01589582
    • [106] G. Daniel, F. Jouault, G. Sunyé, J. Cabot. Gremlin-ATL: a Scalable Model Transformation Framework. In The 32nd IEEE/ACM International Conference on Automated Software Engineering, octobre 2017, Urbana-Champaign, Illinois, United States.
      https://hal.archives-ouvertes.fr/hal-01585437
    • [107] G. Fertin, J. Fradin, G. Jean. Algorithmic Aspects of the Maximum Colorful Arborescence Problem. In Theory and Applications of Models of Computation - 14th Annual Conference, avril 2017, Berne.
      https://hal.archives-ouvertes.fr/hal-01524069
    • [108] G. Gilbert. Formalising Real Numbers in Homotopy Type Theory. In 6th ACM SIGPLAN Conference on Certified Programs and Proofs, janvier 2017, Paris, France.
      https://hal.inria.fr/hal-01449326
    • [109] G. Madi Wamba, Y. Li, A. Orgerie, N. Beldiceanu, J. Menaud. Cloud workload prediction and generation models. In SBAC-PAD: International Symposium on Computer Architecture and High Performance Computing, octobre 2017, Campinas.
      https://hal.archives-ouvertes.fr/hal-01578354
    • [111] H. Coullon, D. Pertin, C. Pérez. Production Deployment Tools for IaaSes: an Overall Model and Survey. In IEEE International Conference on Future Internet of Things and Cloud (FiCloud) 2017, août 2017, Prague.
      https://hal.inria.fr/hal-01532489
    • [113] H. Coullon, J. Noyé. Reconsidering the Relationship between Cloud Computing and Cloud Manufacturing. In SOHOMA 2017, octobre 2017, Nantes, France.
      https://hal.inria.fr/hal-01591113
    • [114] H. El Ghor, M. Chetto, R. El Osta. Minimizing the aperiodic responsiveness in Energy Harvesting Devices. In 12th IEEE International Symposium on Industrial Embedded Systems, juin 2017, Toulouse, France.
      https://hal.archives-ouvertes.fr/hal-01558620
    • [115] I. Cuadrado-Cordero, A. Orgerie, J. Menaud. Comparative Experimental Analysis of the Quality-of-Service and Energy-Efficiency of VMs and Containers' Consolidation for Cloud Applications. In SoftCOM: International Conference on Software, Telecommunications and Computer Networks, septembre 2017, Split.
      https://hal.archives-ouvertes.fr/hal-01578325
    • [116] I. Gonzalez Ojeda, O. Patrouix, Y. Aoustin. Title: Dynamic Tool Center Point (DTCP) implementing in Automated Fiber Placement (AFP). In the third International Symposium on Automated Composites Manufacturing (ACM1), avril 2017, Montreal.
      https://hal.archives-ouvertes.fr/hal-01509857
    • [118] J. Lark, E. Morin, S. Saldarriaga. A comparative study of target-based and entity-based opinion extraction. In 18th International Conference on Computational Linguistics and Intelligent Text Processing CICLing, avril 2017, Budapest.
      https://hal.archives-ouvertes.fr/hal-01537896
    • [120] K. Akhmadeev, E. Rampone, T. Yu, Y. Aoustin, E. Carpentier. A testing system for a real-time gesture classification using surface EMG. In The 20th World Congress of the International Federation of Automatic Control, juillet 2017, Toulouse, France.
      https://hal.archives-ouvertes.fr/hal-01491572
    • [121] K. Tabia, A. Levray, M. Haddad, P. Leray. Learning the parameters of possibilistic networks from data: Empirical comparison. In Thirtieth International Florida Artificial Intelligence Research Society Conference (FLAIRS 30), 2017, Marco Island, United States.
      https://hal.archives-ouvertes.fr/hal-01532494
    • [122] L. Kaci, C. Boudaud, S. Briot, M. Philippe. Elastostatic Modelling of a Wooden Parallel Robot. In 7th IFToMM International Workshop on Computational Kinematics (CK2017), mai 2017, Poitiers, France.
      https://hal.archives-ouvertes.fr/hal-01479412
    • [123] L. Lemazurier, M. Yagoubi, P. Chevrel, A. Grossetête. Multi-Objective H2/H∞ Gain-Scheduled Nuclear Core Control Design. In The 20th World Congress of the International Federation of Automatic Control, juillet 2017, Toulouse, France.
      https://hal.archives-ouvertes.fr/hal-01483657
    • [124] M. Abderrahim, M. Ouzzif, K. GUILLOUARD, J. Francois, A. Lèbre. A Holistic Monitoring Service for Fog/Edge Infrastructures: a Foresight Study. In The IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud 2017), août 2017, Prague.
      https://hal.archives-ouvertes.fr/hal-01591161
    • [125] M. Albonico, J. Mottu, G. Sunyé, F. Alvares. Making Cloud-based Systems Elasticity Testing Reproducible. In 7th International Conference on Cloud Computing and Services Science, avril 2017, Porto, Portugal.
      https://hal.inria.fr/hal-01471916v2
    • [126] M. Albonico, S. Alesio, J. Mottu, S. Sen, G. Sunyé. Generating Test Sequences to Assess the Performance of Elastic Cloud-based Systems. In IEEE Cloud 2017 - 10th IEEE International Conference on Cloud Computing, juin 2017, Honolulu, United States.
      https://hal.inria.fr/hal-01526275
    • [127] M. Comlan, D. Delfieu, M. Sogbohossou, A. Vianou. Embedding Time Petri nets. In (IEEE) 4th-2017 International Conference on Control, Decision and Information Technologies, avril 2017, Barcelone.
      https://hal.archives-ouvertes.fr/hal-01542101
    • [128] M. GHANES, J. Barbot, L. Fridman, A. Levant. A Second Order Sliding Mode Differentiator with a Variable Exponent. In IEEE Amercican Control Conference, 2017, Seattle, United States.
      https://hal.archives-ouvertes.fr/hal-01588631
    • [130] M. Ghanes, J. Barbot, L. Fridman, A. Levant. A second order sliding mode differentiator with a variable exponent. In ACC 2017 - IEEE American Control Conference, mai 2017, Seattle, WA,, United States.
      https://hal.archives-ouvertes.fr/hal-01561531
    • [131] M. Haddad, P. Leray, N. Amor. Possibilistic MDL: a new possibilistic likelihood based score function for imprecise data. In Fourteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2017), 2017, Lugano.
      https://hal.archives-ouvertes.fr/hal-01532488
    • [132] M. Koteich, A. Messali, S. Daurelle. Self-sensing Control of the Externally-Excited Synchronous Machine for Electric Vehicle Traction Application. In SLED 2017 8th IEEE International Symposium on Sensorless Control for Electrical Drives, septembre 2017, Catania.
      https://hal.archives-ouvertes.fr/hal-01573060
    • [133] M. Quantin, F. Laroche, N. André, F. Villedieu. Numérisation, modélisation et impression 3D pour la recherche historique et la muséographie. Cas d'étude sur la salle à manger de Néron. In 6ème congrès de la SFHST, avril 2017, Strasbourg, France.
      https://hal.archives-ouvertes.fr/hal-01518470
    • [134] M. Tisi, Z. CHENG. A Deductive Approach for Fault Localization in ATL Model Transformations. In FASE 2017 - 20th International Conference on Fundamental Approaches to Software Engineering, avril 2017, Uppsala.
      https://hal.archives-ouvertes.fr/hal-01435977
    • [135] N. El Mawas, J. Gilliot, S. Garlatti, P. Serrano Alvarado, H. Skaf-Molli, J. Eneau, G. Lameul, J. Marchandise, H. Pentecouteau. Towards a Self-Regulated Learning in a Lifelong Learning Perspective. In CSEDU 2017 : 9th International Conference on Computer Supported Education - Special Session Lifelong Learning, avril 2017, Porto, Portugal.
      https://hal.archives-ouvertes.fr/hal-01574104
    • [136] O. Yildiz, A. Zhou, S. Ibrahim. Eley: On the Effectiveness of Burst Buffers for Big Data Processing in HPC systems. In Cluster'17-2017 IEEE International Conference on Cluster Computing, septembre 2017, Hawaii, United States.
      https://hal.inria.fr/hal-01570737
    • [137] P. Agri, A. Grimault, O. Péton. Joint location of facilities and mobile resources: an application to the sector of public works. In International Conference on Industrial Engineering and Systems Management, octobre 2017, Saarbrücken.
      https://hal.archives-ouvertes.fr/hal-01591632
    • [138] P. Leray, T. Kante. A probabilistic relational model approach for fault trees modeling. In 30th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems (IEA/AIE 2017), 2017, Arras, France.
      https://hal.archives-ouvertes.fr/hal-01532490
    • [139] P. Loiseau, P. Chevrel, M. Yagoubi, J. Duffal. A Robust feedback control design for broadband noise attenuation in a car cabin. In The 20th World Congress of the International Federation of Automatic Control, juillet 2017, Toulouse, France.
      https://hal.archives-ouvertes.fr/hal-01483661
    • [140] P. Pédrot, N. Tabareau. An Effectful Way to Eliminate Addiction to Dependence. In Logic in Computer Science (LICS), 2017 32nd Annual ACM/IEEE Symposium on, juin 2017, Reykjavik.
      https://hal.inria.fr/hal-01441829
    • [141] P. Wenger, D. Chablat. Kinetostatic Analysis and Solution Classification of a Planar Tensegrity Mechanism. In 7th IFToMM International Workshop on Computational Kinematics, mai 2017, Poitiers, France.
      https://hal.archives-ouvertes.fr/hal-01525686
    • [142] R. Balderas Hill, D. Six, A. Chriette, S. Briot, P. Martinet. Crossing Type 2 Singularities of Parallel Robots without Pre-planned Trajectory with a Virtual-constraint-based Controller. In 2017 IEEE International Conference on Robotics and Automation (ICRA 2017), mai 2017, Singapour.
      https://hal.archives-ouvertes.fr/hal-01435803
    • [143] R. Bois, G. Gravier, E. Jamet, E. Morin, M. Robert, P. Sébillot. Linking multimedia content for efficient news browsing. In ICMR'17 - ACM International Conference on Multimedia Retrieval, juin 2017, Bucharest.
      https://hal.archives-ouvertes.fr/hal-01522413
    • [144] R. Bois, G. Gravier, E. Jamet, M. Robert, M. Emmanuel, P. Sébillot. Language-based Construction of Explorable News Graphs for Journalists. In Empirical Methods in Natural Language Processing - Workshop on Natural Language Processing meets Journalism, 2017, Copenhague.
      https://hal.archives-ouvertes.fr/hal-01578932
    • [145] R. El Osta, M. Chetto, H. El Ghor, R. Hage Chehade. Real-Time Scheduling of aperiodic tasks in Energy Harvesting Devices. In International Conference on Sensors, smart and Emerging Technologies, septembre 2017, Beyrouth.
      https://hal.archives-ouvertes.fr/hal-01558622
    • [146] R. El Osta, M. Chetto, H. El Ghor. Aperiodic Task Servicing in Real-Time Energy Harvesting Devices. In 23th International Conference of Lebanese Association for the Advancement of Sciences (LAAS), avril 2017, Beyrouth.
      https://hal.archives-ouvertes.fr/hal-01558625
    • [147] R. Jha, D. Chablat, L. Baron. INFLUENCE OF DESIGN PARAMETERS ON THE SINGULARITIES AND WORKSPACE OF A 3-RPS PARALLEL ROBOT. In CCToMM Symposium on Mechanisms, Machines, and Mechatronics, mai 2017, Montréal.
      https://hal.archives-ouvertes.fr/hal-01519620
    • [148] R. Pottier, J. Menaud. Privacy-Aware Data Storage in Cloud Computing. In International Conference on Cloud Computing and Services Science (CLOSER), avril 2017, Porto, Portugal.
      https://hal.inria.fr/hal-01472133
    • [149] R. Rincé, R. Kervarc, P. Leray. On the use of walkSAT based algorithms for MLN inference in some realistic applications. In 30th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems (IEA/AIE 2017), 2017, Arras, France.
      https://hal.archives-ouvertes.fr/hal-01532492
    • [150] S. Arslan, B. Parrein, N. Normand. Mojette transform based LDPC erasure correction codes for distributed storage systems. In 25th Signal Processing and Communications Applications Conference (SIU), mai 2017, Antalya.
      https://hal.archives-ouvertes.fr/hal-01583270
    • [151] S. Bazeille, V. Lebastard, S. Lanneau, F. Boyer. Model based object localization and shape estimation using electric sense on underwater robots. In IFAC 2017 World Congress, juillet 2017, Toulouse, France.
      https://hal.archives-ouvertes.fr/hal-01503876
    • [152] S. Boulier, P. Pédrot, N. Tabareau. The next 700 syntactical models of type theory. In Certified Programs and Proofs (CPP 2017), janvier 2017, Paris, France.
      https://hal.inria.fr/hal-01445835
    • [153] S. Briot, A. Goldsztejn. Topology Optimization of a Reactionless Four-bar Linkage. In 7th IFToMM International Workshop on Computational Kinematics (CK2017), mai 2017, Poitiers, France.
      https://hal.archives-ouvertes.fr/hal-01479410
    • [154] S. Briot, F. Chaumette, P. Martinet. Revisiting the determination of the singularity cases in the visual servoing of image points through the concept of hidden robot. In ICRA 2017 - IEEE International Conference on Robotics and Automation, mai 2017, Singapour.
      https://hal.archives-ouvertes.fr/hal-01435810
    • [155] S. Briot, P. Martinet, F. Chaumette. Singularity Cases in the Visual Servoing of Three Image Lines. In 2017 IEEE International Conference on Robotics and Automation (ICRA 2017), mai 2017, Singapour.
      https://hal.archives-ouvertes.fr/hal-01435811
    • [156] S. Dupont, S. Bouri, F. Alvares De Oliveira, T. Ledoux. ElaScript: a DSL for Coding Elasticity in Cloud Computing. In 32nd ACM Symposium on Applied Computing - Track on Cloud Computing, avril 2017, Marrakesh.
      https://hal.archives-ouvertes.fr/hal-01400236
    • [159] S. Mustaki, P. Chevrel, M. Yagoubi, F. Fauvel. Towards a Generic Synthesis Framework for ADAS Control Laws. In The 20th World Congress of the International Federation of Automatic Control, juillet 2017, Toulouse, France.
      https://hal.archives-ouvertes.fr/hal-01483671
    • [160] S. Roshini, Y. Shtessel, M. GHANES. Sliding Mode Control of Hydrogen Fuel Cell (HFC) and Ultracapacitor based electric power system: Electric Vehicle Application. In IFAC WC, 2017, Toulouse, France.
      https://hal.archives-ouvertes.fr/hal-01589709
    • [161] S. Salim, N. Hernandez, E. Morin. Dialogue Act Taxonomy Interoperability Using a Meta-Model. In 18th International Conference on Computational Linguistics and Intelligent Text Processing (CICLing 2017), avril 2017, Budapest.
      https://hal.archives-ouvertes.fr/hal-01539976
    • [162] T. Minier, G. Montoya, H. Molli, P. Molli. PeNeLoop: Parallelizing Federated SPARQL Queries in Presence of Replicated Fragments. In Querying the Web of Data (QuWeDa 2017) Workshop, co-located with 14th ESWC 2017, mai 2017, Portorož.
      https://hal.archives-ouvertes.fr/hal-01549751
    • [163] T. MohammadRidha, P. Rivadeneira, M. Cardelli, N. Magdelaine, C. Moog. Towards Hypoglycemia Prediction and Avoidance for Type 1 Diabetic Patients. In 56th IEEE Conference on Decision and Control, décembre 2017, Melbourne.
      https://hal.archives-ouvertes.fr/hal-01592191
    • [164] T. Nguyen, A. Lebre. Virtual Machine Boot Time Model. In PDP 2017 - 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing, mars 2017, St Peterbourg.
      https://hal.inria.fr/hal-01586932
    • [165] T. Phan, S. Ibrahim, A. Zhou, G. Aupy, G. Antoniu. Energy-Driven Straggler Mitigation in MapReduce. In Euro-Par'17 - 23rd International European Conference on Parallel and Distributed Computing, août 2017, Santiago de Compostela.
      https://hal.inria.fr/hal-01560044
    • [166] T. Zhang, H. Mouchère, C. Viard-Gaudin. Tree-based BLSTM for mathematical expression recognition. In International Conference on Document Analysis and Recognition (ICDAR), novembre 2017, Kyoto.
      https://hal.archives-ouvertes.fr/hal-01576305
    • [167] W. Afzal, H. Bruneliere, D. Di Ruscio, A. Sadovykh, S. Mazzini, E. Cariou, D. Truscan, J. Cabot, D. Field, L. Pomante, P. Smrz. The MegaM@Rt2 ECSEL Project – MegaModelling at Runtime – Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems. In European Projects in Digital Systems Design (EPDSD) - Euromicro DSD/SEAA 2017, août 2017, Vienna.
      https://hal.inria.fr/hal-01557430
    • [168] X. Gandibleux. Peek -- Shape -- Grab: a methodology in three stages for approximating the non-dominated points of multiobjective discrete combinatorial optimization problems with a multiobjective metaheuristic. In EMO'2017: 9th International Conference on Evolutionary Multi-Criterion Optimization, mars 2017, Münster.
      https://hal.archives-ouvertes.fr/hal-01435516
    • [169] X. Schepler, A. Rossi, E. Gurevsky, A. Dolgui. A branch-and-price algorithm for robust bin packing with variable size items. In Joint EURO/ORSC/ECCO Conference 2017 on Combinatorial Optimization (ECCO XXX – 2017), mai 2017, Koper.
      https://hal.archives-ouvertes.fr/hal-01518356
    • [170] Y. Briheche, F. Barbaresco, F. Bennis, D. Chablat. Update Rates Constraints in Fixed-Panel Radar Search Pattern Optimization with Limited Time Budget. In 18th International Radar Symposium IRS 2017, juin 2017, Prague.
      https://hal.archives-ouvertes.fr/hal-01559652
    • [171] Y. Hebbal, L. Sylvie, J. Menaud. Hidden Process Detection using Kernel Functions Instrumentation. In IEEE Conference on Dependable and Secure Computing (DSC), août 2017, Taiwan.
      https://hal.inria.fr/hal-01520864
    • [172] Y. Hebbal, L. Sylvie, J. Menaud. K-binID: Kernel Binary Code Identification for Virtual Machine Introspection. In IEEE Conference on Dependable and Secure Computing (DSC), août 2017, Taiwan.
      https://hal.inria.fr/hal-01520867
    • [173] Y. Li, A. Orgerie, I. Rodero, M. Parashar, J. Menaud. Leveraging Renewable Energy in Edge Clouds for Data Stream Analysis in IoT. In CCGrid 2017 - IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, mai 2017, Madrid.
      https://hal.inria.fr/hal-01472358
    • [174] Y. Li, A. Orgerie, J. Menaud. Balancing the use of batteries and opportunistic scheduling policies for maximizing renewable energy consumption in a Cloud data center. In PDP 2017 - 25th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, mars 2017, St Petersburg.
      https://hal.inria.fr/hal-01432752
    • [175] Y. Taleb, S. Ibrahim, G. Antoniu, T. Cortes. Characterizing Performance and Energy-Efficiency of The RAMCloud Storage System. In The 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017), juin 2017, Atlanta, United States.
      https://hal.inria.fr/hal-01496959
    • [176] Z. CHENG, M. Tisi. Incremental Deductive Verification for Relational Model Transformations. In ICST 2017 - 10th IEEE International Conference on Software Testing, Verification and Validation, mars 2017, Tokyo.
      https://hal.archives-ouvertes.fr/hal-01435974
    • [177] s. devie, P. Robet, Y. Aoustin, M. Gautier, A. Jubien. Accurate force control and co-manipulation control using hybrid external command. In International Federation of Automatic Control, juillet 2017, Toulouse, France.
      https://hal.archives-ouvertes.fr/hal-01491560
    • [178] A. Hernan Gonzalez, P. Rivadeneira, A. Ferramosca, N. Magdelaine, C. Moog. Impulsive Zone MPC for Type I Diabetic Patients Based on a Long-Term Model. In 20th IFAC World Congress, juillet 2017, Toulouse, France.In IFAC (éds.), . , 2017.
      https://hal.archives-ouvertes.fr/hal-01505256
    • [179] B. Ahrens, P. Lumsdaine. Displayed Categories. In 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), septembre 2017, Oxford, United Kingdom.In Dale Miller (éds.), . Leibniz International Proceedings in Informatics (LIPIcs), 2017.
      https://hal.inria.fr/hal-01584770
    • [180] C. Moog, E. Aranda Bricaire, C. Califano. Immersion of Nonlinear Systems into Higher Order Systems. In 20th IFAC World Congress, juillet 2017, Toulouse, France.In IFAC (éds.), . , 2017.
      https://hal.archives-ouvertes.fr/hal-01505262
    • [181] P. Rivadeneira, J. Sereno, N. Magdelaine, C. Moog. Blood Glycemia Reconstruction from Discrete Measurements Using an Impulsive Observer. In IFAC World Congress 2017, juillet 2017, Toulouse, France.In IFAC (éds.), . , 2017.
      https://hal.archives-ouvertes.fr/hal-01505231
    • [182] T. Minier, G. Montoya, H. Skaf-Molli, P. Molli. Parallelizing Federated SPARQL Queries in Presence of Replicated Data. In 14th ESWC 2017, mai 2017, Portoroz.In Springer (éds.), . , 2017.
      https://hal.archives-ouvertes.fr/hal-01591791

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [183] A. BART, B. Delahaye, E. Monfroy, C. Truchet. Vérification de chaînes de Markov à intervalles paramétrés avec des contraintes. In Treizièmes journées Francophones de Programmation par Contraintes, juin 2017, Montreuil sur Mer, France.
      https://hal.archives-ouvertes.fr/hal-01555755
    • [184] A. Chandrakar, F. Laroche, B. Alain, z. yicha. Development of an Integrated Method for Reassembly Fragmented. In 15ème colloque national AIP Primeca, avril 2017, la plagne, France.
      https://hal.archives-ouvertes.fr/hal-01507482
    • [185] C. Degrigny, R. Jeanneret, K. Guido, F. Laroche, C. Baudin. SCHEMATEC : une méthodologie utilisant des outils basés sur le virtuel et une base de données au service de la conservation-restauration des objets scientifiques et techniques patrimoniaux. In 6ème congrès de la SFHST, avril 2017, Strasbourg, France.
      https://hal.archives-ouvertes.fr/hal-01518476
    • [186] C. Lippold, C. Trottier, C. Frioux, M. Chevallier, S. Dittami, A. Siegel. Toward the study of metabolic functions in algal holobionts. In 4ème Colloque de Génomique Environnementale, septembre 2017, Marseille, France.
      https://hal.inria.fr/hal-01576484
    • [188] M. Ouamer Ali, F. Laroche, S. Remy, B. Alain. Ki4D : Nouvelle méthodologie de rétro- conception intégrée. In 15ème colloque national AIP Primeca, avril 2017, La Plagne, France.
      https://hal.archives-ouvertes.fr/hal-01493858
    • [189] M. Quantin, F. Laroche, N. André, F. Villedieu. Rétroconception et maquettage d'un batiment mécanique de la Rome antique. In 15ème colloque national AIP Primeca, avril 2017, La Plagne, France.
      https://hal.archives-ouvertes.fr/hal-01493856
    • [190] N. Bourgeois, M. Cotte, F. Laroche. L’intérêt patrimonial d’une restitution 3D chronologique du Pic-du-Midi. In 6ème congrès de la SFHST, avril 2017, Strasbourg, France.
      https://hal.archives-ouvertes.fr/hal-01518473
    • [191] Q. Delmée, X. Gandibleux, A. Przybylski. Résolution exacte du problème de localisation de services bi-objectif sans contrainte de capacité en variables mixtes. In ROADEF2017 : 18ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, février 2017, Metz, France.
      https://hal.archives-ouvertes.fr/hal-01435524
    • [192] S. Boulier, P. Pédrot, N. Tabareau. Modèles de la théorie des types donnés par traduction de programme. In 28ièmes Journées Francophones des Langages Applicatifs, janvier 2017, Gourette, France.
      https://hal.archives-ouvertes.fr/hal-01503089
    • [193] T. Nguyen, C. Soussen, J. Idier, E. Djermoune. An optimized version of non-negative OMP. In XXVIe Colloque GRETSI Traitement du Signal & des Images, GRETSI 2017, septembre 2017, Juan-les-Pins, France.
      https://hal.univ-lorraine.fr/hal-01585253
    • [194] V. Potdevin, M. Chevallier, R. Garrido Oter, A. Siegel, S. Hacquard, D. Eveillard, P. Vandenkoornhuyse. Toward a better understanding of the plant microbiota. In 4ème colloque de Génomique Environnementale, septembre 2017, Marseille, France.
      https://hal.inria.fr/hal-01576743
    • [195] X. Gandibleux. Peek–Shape–Grab pour approcher efficacement Y_N. In ROADEF2017 : 18ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, février 2017, Metz, France.
      https://hal.archives-ouvertes.fr/hal-01435519
    • [196] X. Schepler, A. Rossi, E. Gurevsky, A. Dolgui. Robust scheduling of assembly lines with and without parallel workstations. In 18th Congress of the French Society of Operations Research and Decision Aid (ROADEF 2017), février 2017, Metz, France.
      https://hal.archives-ouvertes.fr/hal-01474542
    • [197] Y. Hebbal, L. Sylvie, J. Menaud. K-binID : Identification de code binaire noyau à des fins d’introspection de machine virtuelle. In Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS), juin 2017, Sophia Antipolis, France.
      https://hal.inria.fr/hal-01520863
    • [198] B. Hervy, M. Quantin, P. Teissier. Extraction et chaînage supervisés de connaissances d'un corpus d'entretiens en histoire des sciences. In Extraction et Gestion des Connaissances, EGC, janvier 2017, Grenoble, France.In Fabien Gandon (éds.), . RNTI-E-33, 2017.
      https://hal.archives-ouvertes.fr/hal-01500592
    • [199] M. Quantin, B. Hervy, F. Laroche. Extraction d'expressions et mise en réseau d'un corpus. In 13es journées sur les Entrepôts de Données et l’Analyse en ligne (EDA 2017): "Business Intelligence & Big Data", mai 2017, Lyon, France.In Fadila Bentayeb, Omar Boussaïd, Jérome Darmont (éds.), . , 2017.
      https://hal.archives-ouvertes.fr/hal-01529212

Theses et HDR (THESE)

Autres publications (AP)

    • [206] D. Imbs, A. Mostefaoui, M. Perrin, M. Raynal. Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version). Rapport technique, 2017 ; IRISA, Inria Rennes, LS2N-University of Nantes, Technion - Israel Institute of Technology.
      https://hal.archives-ouvertes.fr/hal-01476201
    • [207] D. Imbs, A. Mostefaoui, M. Perrin, M. Raynal. Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits. Rapport technique, 2017 ; LIF, Université Aix-Marseille, LINA-University of Nantes, IMDEA Software InstituteInstitut Universitaire de FranceIRISA, Université de Rennes.
      https://hal.archives-ouvertes.fr/hal-01540010
    • [209] G. Vidal, F. Laroche. Vers des applications numériques “durables” pour les institutions patrimoniales. Rapport technique, 2017 ; Université paris 13, Ecole Centrale de Nantes (ECN), .
      https://hal.archives-ouvertes.fr/hal-01556585
    • [210] P. Grangier, M. Gendreau, F. Lehuédé, L. Rousseau. The Vehicle Routing Problem with Cross-Docking and Resource Constraints. Rapport technique, 2017 ; Les cahiers du CIRRELT.
      https://hal.archives-ouvertes.fr/hal-01517259
    • [211] D. Eveillard, A. Siegel, P. Vandenkoornhuyse. L'écologie des systèmes. In Mokrane Bouzeghoub et Rémy Mosseri (éds.), Les Big Data à Découvert. CNRS éditions, 2017.
      https://hal.inria.fr/hal-01575603
    • [212] R. Gras, J. Regnier. Analyse implicative des variables binaires. Intensité implicative. Intensité entropique (Partie 1, Ch. 1). In Régis Gras, Jean-Claude Régnier, Fabrice Guillet, Dominique Lahanier-Reuter, Claudia Marinica (éds.), L’analyse statistique implicative: Des Sciences dures aux Sciences Humaines et Sociales. Cépaduès Éditions, 2017.
      https://halshs.archives-ouvertes.fr/halshs-01544323
    • [214] B. Hervy, M. Quantin, P. Teissier. Extraction et chaînage supervisés de connaissances d'un corpus d'entretiens en histoire des sciences. In Conférence EGC 2017 - Extraction et Gestion des Connaissances, janvier 2017, Grenoble, France.
      https://hal.archives-ouvertes.fr/hal-01449239
    • [215] X. Zanlonghi, T. Bizeau, F. Mars, R. Boisliveau, I. Milleville-Pennel. Neuropathie optique et conduite : mise en évidence de comportements de compensation visuelle. In 123e Congrès de la Société Française d'Ophtalmologie, mai 2017, Paris, France.
      https://hal.archives-ouvertes.fr/hal-01536613
    • [216] P. Alliez, L. Bergerot, J. Bernard, C. Boust, G. BRUSEKER, N. CARBONI, M. CHAYANI, M. Dellepiane, N. DELL’UNTO, B. Dutailly, H. GAUTIER, G. GUIDI, A. GUILLEM, A. Joffres, F. Laroche, A. Manuel, M. MANZETTI, A. Michel, A. Pamart, J. Ponce, M. Puren, C. Riondet, K. ECHAVARRIA, L. Romary, R. Scopigno, S. TOURNON-VALIENTE. Digital 3D Objects in Art and Humanities: challenges of creation, interoperability and preservation. White paper. In Digital 3D Objects in Art and Humanities: challenges of creation, interoperability and preservation, novembre 2016, Bordeaux, France.In PARTHENOS (éds.), . , 2017.
      https://hal.inria.fr/hal-01526713v2
Copyright : LS2N 2017 - Mentions Légales - 
 -