Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes collection

• 
  Sébastien Salva, Loukmen Regainia. An Approach for Guiding Developers in the Choice of Security Solutions and in the Generation of Concrete Test Cases. Software Quality Journal, Springer Verlag, In press, ⟨10.1007/s11219-018-9438-2⟩. ⟨hal-02019145⟩
• 
  Sébastien Salva, Elliott Blot. Model generation of component-based systems. Software Quality Journal, Springer Verlag, 2020, 28 (2), pp.789--819. ⟨10.1007/s11219-019-09485-y⟩. ⟨hal-02458451⟩
• 
  Sébastien Salva, Elliott Blot. MLCA: A Model-Learning-Checking Approach for IoT Systems. Communications in Computer and Information Science, vol. 1447, Software Technologies - 15th International Conference, 2020, Online Event, July 7-9, 2020, Revised Selected Papers, 1447, Springer, pp.70-97, 2021, Software Technologies, 978-3-030-83007-6/978-3-030-83006-9. ⟨10.1007/978-3-030-83007-6_4⟩. ⟨hal-03338612⟩
• 
  Jean-Philippe Gayon, Gang Chen, Pierre Lemaire. Stochastic scheduling with abandonment : Necessary and sufficient conditions for the optimality of a strict priority policy. ROADEF 2021 - 22ème congrès de la société Française de Recherche Opérationnelle et d’Aide à la Décision, Apr 2021, Mulhouse, France. ⟨hal-03331748⟩
• 
  Martha Orellano, Christine Lambey-Checchin, Khaled Medini, Gilles Neubert. A Methodological Framework to Support the Sustainable Innovation Development Process : A Collaborative Approach. Sustainability, MDPI, 2021, 13 (13 (16)), 18 p. ⟨hal-03328101⟩
• 
  Jules Djoko Kamdem, J Koko. GLS methods for Stokes equations under boundary condition of friction type: formulation-analysis-numerical schemes and simulations. [Research Report] African Peer Review Mechanism. 2021. ⟨hal-03323590⟩
• 
  Jules Djoko, Jonas Koko, Sognia Konlack. Stokes equation under Tresca friction boundary condition: a truncated approach. [Research Report] African Peer Review Mechanism. 2021. ⟨hal-03323588⟩
• 
  Luc Libralesso, François Delobel, Pascal Lafourcade, Christine Solnon. Automatic Generation of Declarative Models for Differential Cryptanalysis. CP 2021 - 27th International Conference on Principles and Practice of Constraint Programming, Oct 2021, Montpellier, France. ⟨10.4230/LIPIcs.CP.2021.19⟩. ⟨hal-03320980⟩
• 
  J Djoko, J Koko. GLS methods for Stokes equations under boundary condition of friction type: formulation-analysis-numerical schemes and simulations. 2021. ⟨hal-03318543⟩
• 
  Fatiha Bendali, Eloise Mole Kamga, Jean Mailfert, Alain Quilliot, Hélène Toussaint. Pipe-lining dynamic programming processes to synchronize both the production and the consumption of energy. RAIRO - Operations Research, EDP Sciences, 2021, 55 (4), pp.2359-2383. ⟨10.1051/ro/2021094⟩. ⟨hal-03318412⟩

1 242