Design and Testing of Reliable Systems
![Foto de Design and Testing of Reliable Systems](/img/grupo.png)
![Foto de Universidad Carlos III de Madrid](/img/noimage_org.png)
Universidad Carlos III de Madrid
Madrid, EspañaPublicaciones en colaboración con investigadores/as de Universidad Carlos III de Madrid (33)
2019
-
Very localized temperature measurements and applications using optical fiber pyrometers
International Conference on Transparent Optical Networks
2017
-
A multi-agent system architecture for statistics managing and soccer forecasting
2017 2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017
2014
-
Modelling and Analyzing Parallel Applications in Highly Distributed Systems
INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND SOFTWARE ENGINEERING (AISE 2014)
2013
-
E-mc2: A formal framework for energy modelling in cloud computing
Simulation Modelling Practice and Theory, Vol. 39, pp. 56-75
2012
-
An adaptive, scalable, and portable technique for speeding up MPI-based applications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Dimensioning scientific computing systems to improve performance of Map-Reduce based applications
Procedia Computer Science
-
Dynamic-CoMPI: Dynamic optimization techniques for MPI parallel applications
Journal of Supercomputing, Vol. 59, Núm. 1, pp. 361-391
-
ICanCloud: A Flexible and Scalable Cloud Infrastructure Simulator
Journal of Grid Computing, Vol. 10, Núm. 1, pp. 185-209
-
SIMCAN: A flexible, scalable and expandable simulation platform for modelling and simulating distributed architectures and applications
Simulation Modelling Practice and Theory, Vol. 20, Núm. 1, pp. 12-32
-
iCanCloud: A brief architecture overview
Proceedings of the 2012 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2012
2011
-
A power-aware based storage architecture for high performance computing
Proc.- 2011 IEEE International Conference on HPCC 2011 - 2011 IEEE International Workshop on FTDCS 2011 -Workshops of the 2011 Int. Conf. on UIC 2011- Workshops of the 2011 Int. Conf. ATC 2011
-
Design of a flexible and scalable hypervisor module for simulating cloud computing environments
Proceedings of the 2011 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2011
-
Design of a new cloud computing simulation platform
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Optimizing distributed architectures to improve performance on checkpointing applications
Proc.- 2011 IEEE International Conference on HPCC 2011 - 2011 IEEE International Workshop on FTDCS 2011 -Workshops of the 2011 Int. Conf. on UIC 2011- Workshops of the 2011 Int. Conf. ATC 2011
2010
-
A formal nethod (a networked formal method)
Innovations in Systems and Software Engineering, Vol. 6, Núm. 4, pp. 255-268
-
New contributions for simulating large distributed systems
Proceedings - IEEE International Symposium on Distributed Simulation and Real-Time Applications, DS-RT
-
New techniques for simulating high performance MPI applications on large storage networks
Journal of Supercomputing
-
Open source verification under a cloud
Electronic Communications of the EASST
2009
-
Using architectural simulation models to aid the design of data intensive application
3rd International Conference on Advanced Engineering Computing and Applications in Sciences, ADVCOMP 2009
2008
-
Approximate verification in an open source world
Innovations in Systems and Software Engineering