• A methodology for model-based verification of safety contracts and performance requirements 

  Illarramendi, Miren; Etxeberria, Leire (SAGE, 2018)

  The verification of safety requirements becomes crucial in critical systems where human lives depend on their correct functioning. Formal methods have often been advocated as necessary to ensure the reliability of software ...

• MUniversitas 51. zenbakia, 2022 

  Mondragon Unibertsitatea (Mondragon Unibertsitatea, 2022)

• A modified genetic algorithm applied to the elevator dispatching problem 

  Basagoiti, Rosa; Beamurgia Bengoa, Maite (Springer, 2016)

  Reduction of passenger waiting time in a multiple elevator system is an important goal in the lift industry. Genetic algorithms (GAs) have been applied to the dispatching problem in vertical transportation. In this paper, ...

• Robustness of inventory replenishment and customer selection policies for the dynamic and stochastic inventory-routing problem 

  Basagoiti, Rosa (Elsevier, 2016)

  When inventory management, distribution and routing decisions are determined simultaneously, implementing a vendor-managed inventory strategy, a difficult combinatorial optimization problem must be solved to determine which ...

• A case study on the use of machine learning techniques for supporting technology watch 

  Perez, Alain; Basagoiti, Rosa; Larrinaga, Felix (Elsevier, 2018)

  Technology Watch human agents have to read many documents in order to manually categorize and dispatch them to the correct expert, that will later add valued information to each document. In this two step process, the first ...

Gehiago