A review of open source discrete event simulation software for operations research

G Dagkakis, C Heavey - Journal of Simulation, 2016 - Taylor & Francis
This article reviews the state of the art in Open Source (OS) Discrete Event Simulation (DES)
software used for decision support in Operations Research (OR) focusing on the modelling …

Programming languages for data-Intensive HPC applications: A systematic mapping study

V Amaral, B Norberto, M Goulão, M Aldinucci… - Parallel Computing, 2020 - Elsevier
A major challenge in modelling and simulation is the need to combine expertise in both
software technologies and a given scientific domain. When High-Performance Computing …

E-mc2: A formal framework for energy modelling in cloud computing

GG Castañé, A Nunez, P Llopis, J Carretero - … Modelling Practice and …, 2013 - Elsevier
Due to energy crisis of the last years, energy waste and sustainability have been brought
both into public attention, and under industry and scientific scrutiny. Thus, obtaining high …

Cloud continuum testbeds and next-generation ICTs: Trends, challenges, and perspectives

F Casino, P Lopez-Iturri, C Patsakis - Computer Science Review, 2025 - Elsevier
As society's dependence on Information and Communication Technologies (ICTs) grows,
providing efficient and resourceful services entails many complexities that require, among …

Mutomvo: Mutation testing framework for simulated cloud and HPC environments

PC Cañizares, A Núñez, MG Merayo - Journal of Systems and Software, 2018 - Elsevier
Many current applications provide high performance to process large volumes of data.
These applications usually run in highly distributed environments, like cloud and HPC …

Adding storage simulation capacities to the simgrid toolkit: Concepts, models, and api

A Lebre, A Legrand, F Suter… - 2015 15th IEEE/ACM …, 2015 - ieeexplore.ieee.org
For each kind of distributed computing infrastructures, ie, clusters, grids, clouds, data
centers, or supercomputers, storage is a essential component to cope with the tremendous …

Improving cloud architectures using UML profiles and M2T transformation techniques

A Bernal, ME Cambronero, A Núñez… - The Journal of …, 2019 - Springer
In this paper, we present an approach with the goal to improve the underlying architecture of
cloud systems. For this, we propose UML2Cloud, a framework targeted at modeling and …

CloudNetSim++: A GUI based framework for modeling and simulation of data centers in OMNeT++

AW Malik, K Bilal, SU Malik, Z Anwar… - IEEE Transactions …, 2015 - ieeexplore.ieee.org
State-of-the-art cloud simulators in use today are limited in the number of features they
provide, lack real network communication models, and do not provide extensive Graphical …

Using genetic algorithms to generate test sequences for complex timed systems

A Núñez, MG Merayo, RM Hierons, M Núñez - Soft Computing, 2013 - Springer
The generation of test data for state-based specifications is a computationally expensive
process. This problem is magnified if we consider that time constraints have to be taken into …

A methodology for validating cloud models using metamorphic testing

A Núñez, RM Hierons - annals of telecommunications-annales des …, 2015 - Springer
Cloud computing is a paradigm that provides access to a flexible, elastic and on-demand
computing infrastructure, allowing users to dynamically request virtual resources. However …