Gustavo Rau de Almeida Callou
Title
Cited by
Cited by
Year
A methodology for mapping sysml activity diagram to time petri net for requirement validation of embedded real-time systems with energy constraints
E Andrade, P Maciel, G Callou, B Nogueira
2009 third international conference on digital society, 266-271, 2009
1082009
Astro: An integrated environment for dependability and sustainability evaluation
B Silva, G Callou, E Tavares, P Maciel, J Figueiredo, E Sousa, C Araujo, ...
Sustainable computing: informatics and systems 3 (1), 1-17, 2013
802013
Mercury: An integrated environment for performance and dependability evaluation of general systems
B Silva, R Matos, G Callou, J Figueiredo, D Oliveira, J Ferreira, J Dantas, ...
Proceedings of Industrial Track at 45th Dependable Systems and Networks …, 2015
712015
Quantifying the sustainability impact of data center availability
M Marwah, P Maciel, A Shah, R Sharma, T Christian, V Almeida, C Araújo, ...
ACM SIGMETRICS Performance Evaluation Review 37 (4), 64-68, 2010
652010
Mapping sysml state machine diagram to time petri net for analysis and verification of embedded real-time systems with energy constraints
E Carneiro, P Maciel, G Callou, E Tavares, B Nogueira
2008 International Conference on Advances in Electronics and Micro …, 2008
492008
Estimating sustainability impact of high dependable data centers: a comparative study between brazilian and us energy mixes
G Callou, P Maciel, D Tutsch, J Ferreira, J Araújo, R Souza
Computing 95 (12), 1137-1170, 2013
482013
An integrated modeling approach to evaluate and optimize data center sustainability, dependability and cost
G Callou, J Ferreira, P Maciel, D Tutsch, R Souza
Energies 7 (1), 238-277, 2014
442014
Availability evaluation of digital library cloud services
J Araujo, P Maciel, M Torquato, G Callou, E Andrade
2014 44th Annual IEEE/IFIP International Conference on Dependable Systems …, 2014
432014
Energy consumption and execution time estimation of embedded system applications
G Callou, P Maciel, E Tavares, E Andrade, B Nogueira, C Araujo, ...
Microprocessors and Microsystems 35 (4), 426-440, 2011
412011
Models for dependability and sustainability analysis of data center cooling architectures
G Callou, P Maciel, D Tutsch, J Araujo
IEEE/IFIP International Conference on Dependable Systems and Networks …, 2012
402012
Availability modeling and analysis of a disaster-recovery-as-a-service solution
E Andrade, B Nogueira, R Matos, G Callou, P Maciel
Computing 99 (10), 929-954, 2017
372017
An algorithm to optimise the load distribution of fog environments
ECP Neto, G Callou, F Aires
2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2017
322017
Decision making in cloud environments: an approach based on multiple-criteria decision analysis and stochastic models
J Araujo, P Maciel, E Andrade, G Callou, V Alves, P Cunha
Journal of Cloud Computing 7 (1), 1-19, 2018
282018
A Petri net-based approach to the quantification of data center dependability
G Callou, P Maciel, D Tutsch, J Araújo, J Ferreira, R Souza
Petri Nets-Manufacturing and Computer Science, 313-336, 2012
282012
Astro: A tool for dependability evaluation of data center infrastructures
B Silva, P Maciel, E Tavares, C Araujo, G Callou, E Sousa, N Rosa, ...
2010 IEEE International Conference on Systems, Man and Cybernetics, 783-790, 2010
272010
A formal model for performance and energy evaluation of embedded systems
B Nogueira, P Maciel, E Tavares, E Andrade, R Massa, G Callou, ...
EURASIP Journal on Embedded Systems 2011, 1-12, 2011
222011
Estimating reliability importance and total cost of acquisition for data center power infrastructures
J Figueirêdo, P Maciel, G Callou, E Tavares, E Sousa, B Silva
2011 IEEE International Conference on Systems, Man, and Cybernetics, 421-426, 2011
222011
Advanced stochastic petri net modeling with the mercury scripting language
D Oliveira, R Matos, J Dantas, J Ferreira, B Silva, G Callou, P Maciel, ...
Proceedings of the 11th EAI International Conference on Performance …, 2017
212017
A power load distribution algorithm to optimize data center electrical flow
J Ferreira, G Callou, P Maciel
Energies 6 (7), 3422-3443, 2013
212013
A coloured petri net based approach for estimating execution time and energy consumption in embedded systems
GRA Callou, PRM Maciel, EC de Andrade, BCS Nogueira, EAG Tavares
Proceedings of the 21st annual symposium on integrated circuits and system …, 2008
192008
The system can't perform the operation now. Try again later.
Articles 1–20