Paulo Romero Martins Maciel
TítuloCitado porAno
Introdução às redes de Petri e aplicações
PRM Maciel, RD Lins, PRF Cunha
UNICAMP-Instituto de Computacao, 1996
1161996
Dependability modeling
PRM Maciel, KS Trivedi, R Matias, DS Kim
Performance and Dependability in Service Computing: Concepts, Techniques and …, 2012
102*2012
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
982009
Reliability of wireless sensor networks
A Dâmaso, N Rosa, P Maciel
Sensors 14 (9), 15760-15785, 2014
782014
An availability model for eucalyptus platform: An analysis of warm-standy replication mechanism
J Dantas, R Matos, J Araujo, P Maciel
2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2012
742012
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
702013
A Petri net model for hardware/software codesign
P Maciel, E Barros, W Rosenstiel
Design Automation for Embedded Systems 4 (4), 243-310, 1999
631999
Availability study on cloud computing environments: Live migration as a rejuvenation mechanism
M Melo, P Maciel, J Araujo, R Matos, C Araujo
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2013
612013
Sensitivity analysis of server virtualized system availability
RS Matos, PRM Maciel, F Machida, DS Kim, KS Trivedi
IEEE Transactions on Reliability 61 (4), 994-1006, 2012
572012
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
572010
Evaluating the power consumption of wireless sensor network applications using models
A Dâmaso, D Freitas, N Rosa, B Silva, P Maciel
Sensors 13 (3), 3473-3500, 2013
512013
Eucalyptus-based private clouds: availability modeling and comparison to the cost of a public cloud
J Dantas, R Matos, J Araujo, P Maciel
Computing 97 (11), 1121-1140, 2015
482015
Experimental evaluation of software aging effects on the eucalyptus cloud computing infrastructure
J Araujo, R Matos, P Maciel, R Matias, I Beicker
Proceedings of the Middleware 2011 Industry Track Workshop, 4, 2011
482011
Sensitivity analysis of a hierarchical model of mobile cloud computing
R Matos, J Araujo, D Oliveira, P Maciel, K Trivedi
Simulation Modelling Practice and Theory 50, 151-164, 2015
472015
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
432008
Software aging issues on the eucalyptus cloud computing infrastructure
J Araujo, R Matos, P Maciel, R Matias
2011 IEEE International Conference on Systems, Man, and Cybernetics, 1411-1416, 2011
422011
Incorporating security requirements into service composition: From modelling to execution
ARR Souza, BLB Silva, FAA Lins, JC Damasceno, NS Rosa, PRM Maciel, ...
Service-Oriented Computing, 373-388, 2009
382009
Software aging in the eucalyptus cloud computing infrastructure: characterization and rejuvenation
J Araujo, R Matos, V Alves, P Maciel, FV Souza, RM Jr, KS Trivedi
ACM Journal on Emerging Technologies in Computing Systems (JETC) 10 (1), 1-22, 2014
352014
Models for dependability and sustainability analysis of data center cooling architectures
G Callou, P Maciel, D Tutsch, J Araújo
IEEE/IFIP International Conference on Dependable Systems and Networks …, 2012
342012
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
332015
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20