Home » Team publications


Publications  for  the  collection  HAL LS2N-TASC  for  2017

Total of the publications found : 20

Overview of LS2N-TASC publications by types
ART_INT
COMM_INT
COMM_NAT
OUV
THESE
AUTRES
2131121

International journals with reviewing committee (ART_INT)

    • [1] N. Beldiceanu, B. Dumas Feris, P. Gravey, M. 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://inria.hal.science/hal-01340318v1
    • [2] A. Bart, C. Truchet, E. Monfroy. A global constraint for over-approximation of real-time streams. In Constraints ; éd. Springer Verlag, 2017, vol. 22, num. 3.
      https://hal.science/hal-01555777v1

International conferences with reviewing committee (COMM_INT)

    • [4] N. Beldiceanu, M. Carlsson, A. Derrien, C. Prud'Homme, A. Schutt, P. Stuckey. Range-Consistent Forbidden Regions of Allen’s Relations. In CPAIOR 2017 : 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, juin 2017, Padoue, Italie.
      https://hal.science/hal-01686406v1
    • [5] G. Ziat, M. Pelleau, C. Truchet, A. Miné. Améliorer la propagation : l'Importance d'être Inconsistant. In Treizièmes journées Francophones de Programmation par Contraintes, juin 2017, Montreuil sur Mer, France.
      https://hal.science/hal-01735167v1
    • [6] B. Genc, M. Siala, G. Simonin, B. Sullivan. Finding Robust Solutions to Stable Marriage. In IJCAI 2017, août 2017, Melbourne, Australie.
      https://hal.science/hal-01689897v1
    • [7] E. Arafailova, N. Beldiceanu, H. Simonis. AMONG Implied Constraints for Two Families of Time-Series Constraints. In CP 2017 : 23rd International Conference on Principles and Practice of Constraint Programming, août 2017, Melbourne, Australie.
      https://inria.hal.science/hal-01651585v1
    • [8] E. Arafailova, N. Beldiceanu, H. Simonis. Beyond the Holy Grail - Automatically Generating Constraint Propagators for Conjunctions of Time-Series Constraints. In Workshop on Progress Towards the Holy Grail, août 2017, Melbourne, Australie.
      https://inria.hal.science/hal-01651610v1
    • [9] E. Arafailova, N. Beldiceanu, H. Simonis. Generating Linear Invariants for a Conjunction of Automata Constraints. In CP 2017 : 23rd International Conference on Principles and Practice of Constraint Programming, août 2017, Melbourne, Australie.
      https://inria.hal.science/hal-01651593v1
    • [10] 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, Allemagne.
      https://hal.science/hal-01591036v1
    • [11] G. Madi Wamba, Y. Li, A. Orgerie, N. Beldiceanu, J. Menaud. Cloud workload prediction and generation models. In SBAC-PAD 2017 : 29th International Symposium on Computer Architecture and High Performance Computing, octobre 2017, Campinas, Brésil.
      https://hal.science/hal-01578354v1
    • [12] J. Fages, C. Prud'Homme. Making the first solution good!. In ICTAI 2017 : 29th IEEE International Conference on Tools with Artificial Intelligence, novembre 2017, Boston, MA, états-Unis.
      https://hal.science/hal-01629182v1
    • [13] T. Petit. On Constraint Linear Decompositions Using Mathematical Variables. In ICTAI 2017 : IEEE 29th International Conference on Tools with Artificial Intelligence, novembre 2017, Boston, états-Unis.
      https://hal.science/hal-01686540v1
    • [14] B. Genc, M. Siala, G. Simonin, B. Sullivan. On the Complexity of Robust Stable Marriage. In COCOA 2017 11th Annual International Conference on Combinatorial Optimization and Applications, décembre 2017, Shanghai, Chine.
      https://hal.science/hal-01689884v1
    • [15] G. Madi Wamba, Y. Li, A. Orgerie, N. Beldiceanu, J. Menaud. Green energy aware scheduling problem in virtualized datacenters. In ICPADS 2017 : IEEE 23rd International Conference on Parallel and Distributed Systems, décembre 2017, Shenzen, Chine.
      https://hal.science/hal-01582936v1

National conferences with reviewing committee (COMM_NAT)

    • [16] 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.science/hal-01555755v1

Books - books sections - directions of work or proceedings (OUV)

PhD Thesis (THESE)

    • [19] G. Madi Wamba. Combiner la programmation par contraintes et l’apprentissage machine pour construire un modèle éco-énergétique pour petits et moyens data centers. Thèses : Ecole nationale supérieure Mines-Télécom Atlantique.
      https://theses.hal.science/tel-01665187v1

Other publications (AUTRES)

    • [20] T. Petit, A. Trapp. Enriching Solutions to Combinatorial Problems via Solution Engineering. Rapport technique, 2017 ; Worcester Polytechnic Institute.
      https://hal.science/hal-01686807v1
Copyright : LS2N 2017 - Legal notices - 
 -