Facebook Twitter Gplus Google Maps E-mail
Home Publications Papers in Conferences and Workshops

Papers in Conferences and Workshops

Danilo Oliveira, André Brinkmann, and Paulo Maciel. Advanced Stochastic Petri Net Modeling with the Mercury Scripting Language. ValueTools 2017, 11th EAI International Conference on Performance Evaluation Methodologies and Tools. December 5-7, 2017 – Venice, Italy.
Carlos Melo, Jamilson Dantas, Rubens Matos, Andre Oliveira, Iure Fé, Paulo Maciel. Synchronization Server Infrastructure: A relationship between System Downtime and Deployment Cost. 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC). October 5-8, 2017 – Banff, Canada.
Iure Fé, Rubens Matos, Jamilson Dantas, Carlos Melo, Paulo Maciel. Stochastic Model of Performance and Cost for Auto-scaling Planning in Public Cloud. 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC). October 5-8, 2017 – Banff, Canada.
Rosangela Melo, Maria Bezerra, Jamilson Dantas, Rubens Matos, Ivanildo Melo Filho, Aline Oliveira and Paulo Maciel. Sensitivity Analysis Techniques applied in Cloud Computing Environments. In: 12ª Conferência Ibérica de Sistemas e Tecnologias de Informação (CISTI’2017). June 21-24, 2017. Lisboa, Portugal.
Armin Zimmermann, Thomas Dietrich, Paulo Maciel and Andreas Hildebrandt. Model-Based Dynamic Reliability Engineering for Hybrid Electric Vehicle Design. In: 2017 Annual IEEE International Systems Conference (SysCon). April 24-28, 2017. Montreal, Quebec, Canada.
Armin Zimmermann and Paulo Maciel. Dependability Evaluation of AFDX Real-Time Avionic Communication Networks. In: The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017) – Poster Track. January 22-25, 2017. Christchurch, New Zealand.
Aleciano Lobo Junior, Rubens Matos, Bruno Silva, and Paulo Maciel. Expolynomial Modelling for Supporting VANET Infrastructure Planning. In: The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017) – Industry Track. January 22-25, 2017. Christchurch, New Zealand.
Carlos Melo, Jamilson Dantas, Rubens Matos, and Paulo Maciel. Capacity-Oriented Availability model for Resources Estimation on Private Cloud Infrastructure. In: The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017) – Industry Track. January 22-25, 2017. Christchurch, New Zealand.
Paulo Maciel, Rubens Matos, Bruno Silva, Jair Figueiredo, Danilo Oliveira, Iure Fé, Ronierison Maciel, and Jamilson Dantas. Mercury: Performance and Dependability Evaluation of Systems with Exponential, Expolynomial and General Distributions. In: The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017). January 22-25, 2017. Christchurch, New Zealand.
Carlos Melo, Jamilson Dantas, Jean Araújo, Paulo Maciel, Rodrigo Branchini and Luiz Kawakami. Availability Models for Synchronization Server Infrastructure. 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC). October 9-12, 2016 – Budapest, Hungary.
Jamilson Dantas, Rubens Matos, Jean Araujo, Danilo Oliveira, André Oliveira, and Paulo Maciel. Hierarchical model and sensitivity analysis for a cloud-based VoD streaming service. In: The IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). June 26- July 1st, 2016 – Tolouse, France.
Danilo Mendonça, Vandi Alves, Iure Fé, Aleciano Lobo Júnior, Francisco Airton Silva, Gustavo Callou and Paulo Maciel. NFS-RODS: A Tool for Accessing iRODS Repositories via the NFS Protocol. In: iRODS User Group Meeting 2016. June 08-09, 2016 – Chapel Hill, United States.
Francisco Airton Silva, Sokol Kosta, Matheus Rodrigues, Alessandro Mei, and Paulo Maciel. Planning Mobile Cloud Infrastructures Using Stochastic Petri Nets and Graphic Processing Units. In: Proceedings of 7th IEEE International Conference on Cloud Computing Technology and Science (CLOUDCOM). November 30 ~ December 3, 2015 – Vancouver, Canada.
Almir Guimarães, Paulo Maciel, Bruno Silva, Marcus Queiroz, Igor Rocha, and Eduardo Rocha. Planning of Converged Networks Integrating Infrastructure and Power Aspects. In: Proceedings of the 2015 Brazilian Symposium of Telecommunications (SBrT 2015). September 01-04, 2015 – Juiz de Fora/MB, Brazil.
Eliomar Campos, Rubens Matos, Paulo Maciel, Airton Pereira, and Francisco Vieira. Stochastic Modeling of Auto Scaling Mechanism in Private Clouds for Supporting Performance Tuning. In: Proceedings of the 2015 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2015). October 09-12, 2015 – Hong Kong.
Maria Clara Bezerra, Rosângela Melo, Jamilson Dantas, and Paulo Maciel. Availability Evaluation of a VoD Streaming Cloud Service. In: Proceedings of the 2015 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2015). October 09-12, 2015 – Hong Kong.
Renata Dantas, Jamilson Dantas, Paulo Maciel, and Gabriel Alves. Assessment of Bus Rapid Transit (BRT) Time Lags Under Probabilistic Uncertainties. In: Proceedings of the 2015 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2015). October 09-12, 2015 – Hong Kong.
João Ferreira, Gustavo Callou, Jamilson Dantas, Jean Araujo, Danilo Mendonça, and Paulo Maciel. An algorithm to optimize electrical flows of private cloud infrastructures. In: Proceedings of the 2015 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2015). October 09-12, 2015 – Hong Kong.
David Beserra, Felipe Oliveira, Jean Araujo, Felipe Fernandes, Alberto Araújo, Patrícia Endo, Paulo Maciel, and Edward David Moreno. Performance Evaluation of Hypervisors for HPC Applications. In: Proceedings of the 2015 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2015). October 09-12, 2015 – Hong Kong.
Bruno Silva, Rubens Matos, Gustavo Callou, Jair Figueiredo, Danilo Oliveira, João Ferreira, Jamilson Dantas, Aleciano Lobo Junior, Vandi Alves and Paulo Maciel. Mercury: An Integrated Environment for Performance and Dependability Evaluation of General Systems. In: Proceedings of Industrial Track at 45th Dependable Systems and Networks Conference (DSN-2015). June 22 – 25, 2015. Rio de Janeiro, RJ, Brazil.
Eliomar Campos, Rubens Matos, Paulo Maciel, Igor Costa, Airton Pereira and Francisco Souza. Performance Evaluation of Virtual Machines Instantiation in a Private Cloud. In: Proceedings of IEEE 11th World Congress on Services (IEEE SERVICES’2015). June 27 – July 02, 2015. New York, USA.
Rosangela Melo, Jamilson Dantas, Maria Clara Bezerra, Rubens Matos, Ivanildo Melo and Paulo Maciel. Video on Demand Environments hosted on Private Cloud: Availability Modeling and Sensitivity Analysis. In: Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops (DSNW). June 22 – 25, 2015. Rio de Janeiro, Brazil.
Matheus Torquato, Jean Araujo, and Paulo Maciel. Estudo Experimental de Envelhecimento de Software em Nuvens KVM/OpenNebula: Live Migration como Mecanismo de Suporte ao Rejuvenescimento de Software. In: Proceedings of the XIII Workshop em Clouds e Aplicações (WCGA2015) in conjunction with the 33rd Brazilian Symposium on Computer Networks and Distributed Systems (SBRC2015). May 18–22, 2015. Vitória, ES, Brazil.
Francisco Airton Silva, Paulo Maciel, Gileno Alves and Rubens Matos. A Scheduler For Mobile Cloud Based on Weighted Metrics and Dynamic Context Evaluation. In: Proceedings of The 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015). April 13-17, 2015. Salamanca, Spain.
Rosangela Melo, Maria Clara Bezerra, Jamilson Dantas, Rubens Matos, Ivanildo Melo and Paulo Maciel. Sensitivity Analysis of Availability of Video Streaming Service in Cloud Computing . In: Proceedings of the 2014 IEEE International Performance Computing and Communications Conference (IEEE IPCCC 2014). December 05-07, 2014. Austin , Texas, USA.
Rosangela Melo, Maria Clara Bezerra, Jamilson Dantas, Rubens Matos, Ivanildo Melo and Paulo Maciel. VoD in Eucalyptus Platform: Availability Modeling and Sensibility Analysis. In: 10th International Conference on Network and Service Management. November 17-21, 2014 – Rio de Janeiro, Brasil.
Rubens Matos, Ermeson Andrade and Paulo Maciel. Evaluation of a Disaster Recovery Solution through Fault Injection Experiments. In: Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2014). October 05-08, 2014 – San Diego, Califórnia, USA.
Bruno Silva, Eduardo Tavares, Paulo Maciel, Bruno Nogueira, Jeise Oliveira, Antônio Damaso and Nelson Rosa. AMALGHMA – An Environment for Measuring Execution Time and Energy Consumption in Embedded Systems. In: Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2014). October 05-08, 2014 – San Diego, Califórnia, USA.
Erica Sousa, Fernando Lins, Eduardo Tavares and Paulo Maciel. Performance and Cost Modeling Strategy for Cloud Infrastructure Planning. In: Proceedings of the 7th IEEE International Conference on Cloud Computing. June 27 – July 2, 2014, Anchorage, Alaska, USA.
Maria Clara, Rosangela Melo, Jamilson Dantas, Paulo Maciel and Francisco Vieira. Availability Modeling and Analysis of a VoD Service for Eucalyptus Platform. In: Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2014). October 05-08, 2014 – San Diego, Califórnia, USA.
Erica Sousa, Edson Silva, Fernando Lins, Eduardo Tavares and Paulo Maciel. Dependability evaluation of cloud infrastructures. In: Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2014). October 05-08, 2014 – San Diego, CA, USA..
Jean Araujo, Bruno Silva, Danilo Oliveira and Paulo Maciel. Dependability Evaluation of a mHealth System Using a Mobile Cloud Infrastructure. In: Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2014). October 05-08, 2014 – San Diego, Califórnia, USA.
Paulo Maciel, Rubens Matos, Gustavo Callou, Bruno Silva, Daniel Barreto, Julian Araujo, Jean Araujo, Vandi Alves and Stephen Worth. Performance Evaluation of Sheepdog Distributed Storage System. In: Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2014). October 05-08, 2014 – San Diego, Califórnia, USA.
Jonathan Brilhante, Bruno Silva, Paulo Maciel and Armin Zimmermann. Eucabomber 2.0: A Tool for Dependability Tests in Eucalyptus Cloud Infrastructures Considering VMLife-cycle. In: Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2014). October 05-08, 2014 – San Diego, Califórnia, USA.
Jonathan Brilhante, Bruno Silva, Paulo Maciel and Armin Zimmermann. Dependability Models for Eucalyptus Infrastructure Clouds Considering VM Life-cycle. In: Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2014). October 05-08, 2014 – San Diego, Califórnia, USA.
Julian Araujo, Paulo Maciel, Matheus Melo, Gustavo Callou and Ermeson Andrade. Availability Evaluation of Digital Library Cloud Services. In: Proceedings of he Fourth International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology (DCDV 2014) in conjunction with The 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2014). June 23, 2014 Atlanta, GA, USA.
Erico Guedes, Luís Silva and Paulo Maciel. Performability Analysis of I/O Bound Application on Container-based Server Virtualization Cluster. In: Proceedings of the IEEE 19th Symposium on Computers and Communications (ISCC 2014). June 23-26 2014, Madeira, Portugal.
Suellen Silva, Bruno Silva, Paulo Maciel and Armin Zimmermann. Dependability Evaluation of Electrical Substations Considering Infrastructure Costs. In: Proceedings of the Probabilistic Safety Assessment & Management Conference (PSAM12). 22-27 June, 2014. Honolulu, Hawaii, USA.
Bruno Silva, Paulo Maciel and Armin Zimmermann. Survivability Evaluation of Disaster Tolerant Cloud Computing Systems. In: Proceedings of the Probabilistic Safety Assessment & Management Conference (PSAM12). 22-27 June, 2014. Honolulu, Hawaii, USA.
Bruno Silva, Paulo Maciel, Armin Zimmermann and Jonathan Brilhante. GeoClouds Modcs: A Perfomability Evaluation Tool for Disaster Tolerant IaaS Clouds. In: Proceedings of the 8th Annual IEEE International Systems Conference (SysCon). March 31 – April 03, 2014. Ottawa, Ontario, Canada.
Alexsandro Melo, Eduardo Tavares, Marcelo Marinho, Erica Sousa, Bruno Nogueira and Paulo Maciel. Development Risk Assessment in Software Projects using Dependability Models. In: Proceedings of the 13th International Conference on Computer and Information Technology (CIT). December 03-05, 2013 – Sydney, Australia.
Bruno Silva, Paulo Maciel and Armin Zimmermann. Performability Models for Designing Disaster Tolerant Infrastructure-as-a-Service Cloud Computing Systems. In: Proceedings of the The 8th International Conference for Internet Technology and Secured Transactions (ICITST-2013). December 9-12, 2013, London, UK.
Victor Lira, Eduardo Tavares, Stenio Fernandes, Paulo Maciel and Ricardo Martins. Virtual Network Resource Allocation Considering Dependability Issues. In: Proceedings of the 13th International Conference on Computer and Information Technology (CIT). December 03-05, 2013 – Sydney, Australia.
Rômulo Freitas, Raimundo Barreto and Paulo Maciel. Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models. In: Proceedings of the III Brazilian Symposium on Computing Systems Engineering (SBESC). November 04-08, 2013 – Niterói/RJ.
Danilo Oliveira, Jean Araujo, Rubens Matos and Paulo Maciel. Availability and Energy Consumption Analysis of Mobile Cloud Environments. In: Proceedings of the 2013 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2013). October 13-16, 2013 – Manchester, United Kingdom.
Débora Souza, Rubens Matos, Jean Araujo, Vandi Alves and Paulo Maciel. EucaBomber: Experimental Evaluation of Availability in Eucalyptus Private Clouds. In: Proceedings of the 2013 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2013). October 13-16, 2013 – Manchester, United Kingdom.
Érica Sousa, Paulo Maciel, Lais Medeiros, Fernando Lins, Eduardo Tavares and Erico Medeiros. Stochastic Model Generation for Cloud Infrastructure Planning. In: Proceedings of the 2013 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2013). October 13-16, 2013 – Manchester, United Kingdom.
Jean Araujo, Vandi Alves, Danilo Oliveira, Pedro Dias, Bruno Silva and Paulo Maciel. An Investigative Approach to Software Aging in Android Applications. In: Proceedings of the 2013 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2013). October 13-16, 2013 – Manchester, United Kingdom.
João Ferreira, Gustavo Callou, Jamilson Dantas, Rafael Souza and Paulo Maciel. An Algorithm to Optimize Electrical Flows. In: Proceedings of the 2013 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2013). October 13-16, 2013 – Manchester, United Kingdom.
Marcus Queiroz, Paulo Maciel, Bruno Silva and Almir P. Guimarães. Performability Evaluation of Emergency System. In: Proceedings of the 2013 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2013). October 13-16, 2013 – Manchester, United Kingdom.
Matheus Melo, Jean Araujo, Rubens Matos, Julian Menezes and Paulo Maciel. Comparative Analysis of Migration-Based Rejuvenation Schedules on Cloud Availability. In: Proceedings of the 2013 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2013). October 13-16, 2013 – Manchester, United Kingdom.
Rafael Souza, Gustavo Callou, Kádna Camboim, João Ferreira and Paulo Maciel. The Effects of Temperature Variation on Data Center IT Systems. In: Proceedings of the 2013 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2013). October 13-16, 2013 – Manchester, United Kingdom.
Ermeson Andrade, Marcelo Alves, Rubens Matos, Bruno Silva and Paulo Maciel. OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems. In: Proceedings of The 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP). Toulouse, France, 2013.
Bruno Nogueira, Paulo Maciel, Ricardo Martins and Eduardo Tavares. A Simulation Optimization Approach for the Design Space Exploration of Soft Real-Time Embedded Systems. In: Proceedings of The IEEE Congress on Evolutionary Computation (CEC 2013). Cancún, México, 2013.
Bruno Silva, Paulo Maciel, Eduardo Tavares and Armin Zimmermann. Dependability Models for Designing Disaster Tolerant Cloud Computing Systems. In: Proceedings In The 43nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013). Budapest, Hungary, 2013.
Matheus Melo, Jean Araujo, Rubens Matos, Carlos Araujo and Paulo Maciel. Availability Study on Cloud Computing Environments: Live Migration as a Rejuvenation Mechanism. In: Proceedings of The 43nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013). Budapest, Hungary, 2013.
Rubens Matos, Jean Araujo, Vandi Alves and Paulo Maciel. Characterization of Software Aging Effects in Elastic Storage Mechanisms for Private Clouds. In: Proceedings of the 23nd annual IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW’12), Dallas, TX, USA, 2012.
Dmitriy Shorin, Armin Zimmermann and Paulo Maciel. Transforming UML State Machines into Stochastic Petri Nets for Energy Consumption Estimation of Embedded Systems. In: Proceedings of The Second IFIP Conference on Sustainable Internet and ICT for Sustainability in cooperation with Technical Subcommittee on Green Communications and Computing of IEEE Communications Society (TSCGCC). Pisa, Italy.
Rubens Matos, Jean Araujo, Vandi Alves and Paulo Maciel. Experimental Evaluation of Software Aging Effects in the Eucalyptus Elastic Block Storage. In: Proceedings of the 2012 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2012). Seoul, Korea.
Jamilson Dantas, Rubens Matos, Jean Araujo and Paulo Maciel. An Availability Model for Eucalyptus Platform: An Analysis of Warm-Standy Replication Mechanism. In: Proceedings of the 2012 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2012). Seoul, Korea.
Eduardo Tavares, Paulo Maciel, Erica Sousa, Bruno Nogueira, Leonardo Amorim, Victor Lira. A Hierarchical Pre-runtime Scheduling for Hard Real-Time Systems Considering Fault-Tolerance. In: Proceedings of the 2012 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2012). Seoul, Korea.
Ermeson Andrade, Marcelo Alves, Bruno Nogueira and Paulo Maciel. Calau: An Environment for Modeling and Analyzing Embedded Real-Time System. In: Proceedings of the 2012 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2012). Seoul, Korea.
Erica Sousa, Paulo Maciel, Débora Souza, Erico Medeiros, Fernando Lins and Eduardo Tavares. Capacity Planning of EFT Service Hosted on Elastic IaaS. In: Proceedings of the 2012 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2012). Seoul, Korea.
Almir Guimarães and Paulo Maciel. Infrastructure modeling of converged networks for business-oriented metrics evaluation. In: Proceedings of the 2012 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2012). Seoul, Korea.
Armin Zimmermann and Paulo Maciel.Importance Function Derivation for RESTART Simulations of Petri Nets. In: Proceedings of The 9th International Workshop on Rare Event Simulation (RESIM 2012). June 25-27, 2012 – Trondheim, Norway.
Erica Sousa, Paulo Maciel, Erico Medeiros, Débora Souza, Fernando Lins and Eduardo Tavares. Evaluating Eucalyptus Virtual Machine Instance Types: a Study Considering Distinct Workload Demand. In: Proceedings of The Third International Conference on Cloud Computing, GRIDs, and Virtualization (CLOUD COMPUTING 2012). July 22-27, 2012 – Nice, France.
Gustavo Callou, Paulo Maciel, Dietmar Tutsch and Julian Araújo. Models for Dependability and Sustainability Analysis of Data Center Cooling Architectures. In: Proceedings of the The Second International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology (DCDV 2012), in conjunction with The 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012). Boston, MA, USA, June 25, 2012.
Stenio Fernandes, Eduardo Tavares, Marcelo Santos, Victor Lira and Paulo Maciel. Dependability Assessment of Virtualized Networks. In: Proceedings of the IEEE ICC 2012 – Next-Generation Networking Symposium (ICC’12 NGN) in conjunction with IEEE International Conference on Communications – ICC 2012, Ottawa, Canada, 2012.
Eduardo Tavares, Joao Aleixo, Paulo Maciel, Dinaldo Oliveira, Elayne Heide, Rosana Araujo, Luna Maia, Ana Duarte and Marilia Novaes. Performance Evaluation of Medical Imaging Service. In: Proceedings of the 27th Symposium On Applied Computing (SAC’12), Riva del Garda (Trento), Italy, 2012.
Jean Araujo, Rubens Matos, Paulo Maciel, Francisco Vieira, Rivalino Matias and Kishor S. Trivedi. Software Rejuvenation in Eucalyptus Cloud Computing Infrastructure: a Method Based on Time Series Forecasting and Multiple Thresholds. In: Proceedings of the 3rd International Workshop on Software Aging and Rejuvenation (WoSAR’11) in conjunction with 22nd annual IEEE International Symposium on Software Reliability Engineering (ISSRE’11), Hiroshima, Japan, 2011.
Jean Araujo, Rubens Matos, Paulo Maciel, Rivalino Matias and Ibrahim Beicker. Experimental Evaluation of Software Aging Effects on the Eucalyptus Cloud Computing Infrastructure. In: Proceedings of the Industrial Track at ACM/IFIP/USENIX 12th International Middleware Conference, Lisboa, Portugal, 2011.
Almir Pereira Guimarães and Paulo Romero Martins Maciel. Supporting Infrastructure Optimization of Converged Networks. In: Proceedings of the Third IEEE Latin-American Conference on Communications (LATINCOM’11), Belém, Pará, Brazil, 2011.
Ana Maria M. Carvalho, Rivalino Matias, Autran Macedo, Paulo R. M. Maciel and Lucio Araujo. Performance Analysis of Control Charts Techniques Applied to IP Traffic Forecasts. In: Proceedings of the 12th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT’11). pp.109-115. Gwangju, Korea, 2011. ISBN: 978-0-7695-4564-6.
Rivalino Matias Jr., Ana M. Maria Carvalho, Lucio B. Araujo, Paulo R. M. Maciel. Comparison Analysis of Statistical Control Charts for Quality Monitoring of Network Traffic Forecasts. In: Proceedings of the 2011 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2011). Anchorage, Alaska, USA, 2011.
J. Jair Figueiredo, Paulo Maciel, Gustavo Callou, Eduardo Tavares, Erica Sousa and Bruno Silva. Estimating Reliability Importance and Total Cost of Acquisition for Data Center Power Infrastructures. In: Proceedings of the 2011 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2011). Anchorage, Alaska, USA, 2011.
Gustavo Callou, Paulo Maciel, Fábio Magnani, Eduardo Tavares, Erica Sousa, Bruno Silva, Jair Figueiredo, Carlos Araujo and Francisco Neves.
Sustainability and Dependability Evaluation on Data Center Architectures
. In: Proceedings of the 2011 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2011). Anchorage, Alaska, USA, 2011.
Jean Araujo, Rubens Matos, Paulo Maciel and Rivalino Matias. Software Aging Issues on the Eucalyptus Cloud Computing Infrastructure. In: Proceedings of the 2011 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2011). Anchorage, Alaska, USA, 2011.
Gustavo Callou, Paulo Maciel, Fábio Magnani, J. Jair Figueiredo, Érica Sousa, Eduardo Tavares, Bruno Silva, Carlos Araujo and Francisco Neves. Estimating Sustainability Impact, Total Cost of Ownership and Dependability Metrics on Data Center Infrastructures. In: IEEE International Symposium on Sustainable Systems and Technology, 2011, Chicago. Proceedings of the 2011 IEEE International Symposium on Sustainable Systems and Technology, 2011.
Marcelo Teixeira, Ricardo Massa, Cesar Oliveira and Paulo Maciel. Planning service agreements in soa-based systems through stochastic models. In: Proceedings of the 2011 ACM Symposium on Applied Computing – SAC’11, Taichung, Taiwan, 2011.
Gustavo Callou, Erica Sousa, Paulo Maciel, Eduardo Tavares, Bruno Silva, Jair Figueirêdo, Carlos Araujo, Fabio Magnani and Francisco Neves. A Formal Approach to the Quantification of Sustainability and Dependability Metrics on Data Center Infrastructures. In: Symposium On Theory of Modeling and Simulation – DEVS Integrative M&S Symposium (TMS/DEVS 2011) Boston, MA, USA, April 4-9, 2011 .
GUIMARÃES, A., MACIEL, P., MATOS JR, R., CAMBOIM, K. Dependability Analysis in Redundant Communication Networks using Reliability Importance. In: The 2011 International Conference on Information and Network Technology (ICINT 2011) – Chennai, India.
Rubens Matos Junior, Almir Guimaraes, Kadna Camboim, Paulo Maciel and Kishor Trivedi. Sensitivity Analysis of Availability of Redundancy in Computer Networks. In: The Fourth International Conference on Communication Theory, Reliability, and Quality of Service CTRQ, 2011 – Budapest, Hungary.
GUIMARÃES, Almir Pereira ; MACIEL, P. R. M. ; MATOS JR., R. S. ; CAMBOIM, K. . Impact Analysis of Availability on Computer Networks Infrastructure. In: International Conference on Information and Computer Networks, 2011, Guiyang. ICICN 2011, 2011.
GUIMARÃES, A., MACIEL, P. R. M., MATIAS JR., R. Quantitative Analysis of Dependability and Performability in Voice and Data Networks. In: First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part II.
Marcelo Marinho, Paulo Maciel, Erica Teixeira, Teresa Maciel and Ermeson Andrade. Performance Evaluation of Test Process Based on Stochastic Models. In: 11th IEEE Latin American Test Workshop (LATW’10), 2010, Punta del Este. Proc. of LATW, 2010.
Tiago Falcão, Andrade, Ermeson, MATOS, R., MACIEL, P. R. M., WORTH, S., MALENFANT, P. Otimização do Desempenho de um Sistema de Arquivos FUSE-Linux Baseado na Política Write-Once Read-Many In: Conferência Latino-americana de Informática, 2010, Assunção. Proceeddings of CLEI 2010.
MATIAS JR, R., TRIVEDI, K., Maciel, P. Using Accelerated Life Tests to Estimate Time to Software Aging Failure. In: The 21st annual International Symposium on Software Reliability Engineering, 2010, San Jose, CA. Proceeding of ISSRE. , 2010.
MATIAS JR, R., LEITÃO, B., BEICKER, I., MACIEL, P. Measuring Software Aging Effects Through OS Kernel Instrumentation. In: IEEE ISSRE – Workshop of Software Aging and Rejuvenation, 2010, San Jose, CA, EUA. Proceedings of Workshop of Software Aging and Rejuvenation (IEEE ISSRE/WoSAR’10), 2010.
Almir Guimarães, Paulo Maciel and Rivalino Matias Dependability and Performability Modeling of Voice and Data Networks. In: IEEE Latin-American Conference on Communications, Bogotá. Proceeding of LatimCom, 2010.
Tiago Falcão, Andrade, Ermeson, MATOS, R., MACIEL, P. R. M., WORTH, S., MALENFANT, P. WFS: Um Sistema de Arquivos FUSE-Linux Baseado na Política Write-Once Read-Many In: Workshop de Software Livre, Rio Grande do Sul. Proceeddings of WSL. , 2010.

Gustavo Callou, Erica Souza, Paulo Maciel, Eduardo Tavares, Carlos Araujo, Bruno Silva, Nelson Rosa, Manish Marwah, Ratnesh Sharma, Amip Shah, Tom Christian and J. Paulo Pires. Impact Analysis of Maintenance Policies on Data Center Power Infrastructure. In: IEEE International Conference on Systems, Man, and Cybernetics, 2010, Istanbul. IEEE Proceeding of SMC, 2010.

Bruno Silva, Paulo Maciel, Eduardo Tavares, Carlos Araujo, Gustavo Callou, Erica Souza, Nelson Rosa, Manish Marwah, Ratnesh Sharma, Tom Christian and J. Paulo Pires. ASTRO: A Tool for Dependability Evaluation of Data Center Infrastructures. In: IEEE International Conference on Systems, Man, and Cybernetics, 2010, Istanbul. IEEE Proceeding of SMC, 2010.
Sérgio Galdino and Paulo Maciel. Availability with Input Uncertainties Using an Interval-Based Approach. In: IEEE International Conference on Systems, Man, and Cybernetics, 2010, Istanbul. IEEE Proceeding of SMC, 2010.
Marcelo Marinho, Paulo Maciel, Érica Sousa, Teresa Maciel and Almir Guimarães. Stochastic Model for Performance Evaluation of Test Planning. In: IEEE International Conference on Systems, Man, and Cybernetics, 2010, Istanbul. IEEE Proceeding of SMC, 2010.
Hugo Galindo, Erico Guedes, Paulo Maciel, Bruno Silva and Sérgio Galdino. WGCap: a synthetic trace generation tool for capacity planning of virtual server environments. In: IEEE International Conference on Systems, Man, and Cybernetics, 2010, Istanbul. IEEE Proceeding of SMC, 2010.
Marcelo Teixeira, Ricardo Lima, César Oliveira and Paulo Maciel. A Stochastic Model for Performance Evaluation and Bottleneck Discoverying on SOA-Based Systems. In: IEEE International Conference on Systems, Man, and Cybernetics, 2010, Istanbul. IEEE Proceeding of SMC, 2010.
Almir Guimarães, Paulo Maciel and Rivalino Matias. Quantitative Analysis of Performability in Voice and Data Networks. In: IEEE International Conference on Systems, Man, and Cybernetics, 2010, Istanbul. IEEE Proceeding of SMC., 2010.
Marcelo Marinho, Paulo Maciel, Érica Sousa, Teresa Maciel and Ermeson Andrade. Performance Evaluation of Test Process Based on Stochastic Models. In: The Symposium on Theory of Modeling and Simulation In: Symposium On Theory of Modeling and Simulation – DEVS Integrative M&S Symposium (DEVS’10), part of 2010 Spring Simulation Multiconference (SpringSim’10), 2010, Orlando. Proceedings of the Symposium On Theory of Modeling and Simulation – DEVS Integrative M&S Symposium (DEVS’10), 2010.
Ermeson Andrade, MACIEL, P. R. M., Tiago Falcão, Bruno Nogueira, ARAUJO, C. J. M., CALLOU, G. An Approach for Estimating Performance and Energy Consumption in Component-Based Embedded Real-Time Systems In: The 11th International Conference on Formal Engineering Methods, 2009, Rio de Janeiro. Proceedings of ICFEM, 2009.
Souza, André, SILVA, Bruno, LINS, Fernando, DAMASCENO, J., ROSA, Nelson Souto, MACIEL, P. R. M., Medeiros, Robson, Stephenson, Bryan, MOTAHARI, H., Li, Jun, Northfleet, Caio. Sec-MoSC Tooling – Incorporating Security Requirements into Service Composition In: The 7th International Joint Conference on Service Oriented Computing, 2009, Stockholm. Proceedings of ICSOC/ServiceWave, 2009.
Souza, André, SILVA, Bruno, DAMASCENO, J., ROSA, Nelson Souto, MACIEL, P. R. M., Medeiros, Robson, Stephenson, Bryan, MOTAHARI, H., Li, Jun, Northfleet, Caio, LINS, Fernando. Incorporating Security Requirements into the Service Composition: From Modelling to Execution In: The 7th International Joint Conference on Service Oriented Computing, 2009, Stockholm, Sweden. Proceedings of ICSOC/ServiceWave. , 2009.
Edilayne Salgueiro, Paulo Cunha, Paulo Maciel, José Monteiro and Ricardo Salgueiro Defining Bandwidth Constraints with Cooperative Games. In: International Conference on Ultra Moderna Telecommunications, 2009, St. Petersburg. Proceedings of ICUMT , 2009.
M. Marwah, MACIEL, P. R. M., A. Shah, R. Sharma, T. Christian, V. Almeida, ARAUJO, C. J. M., Erica Souza, CALLOU, G., SILVA, Bruno, GALDINO, Sérgio Mário Lins, J.P. Pires. Quantifying the Sustainability Impact of Data Center AvailabilityIn: SIGMETRICS/Performance, 2009, Seattle. Proceedings of SIGMETRICS, 2009.
Marcelo Teixeira ; LIMA, Ricardo Massa Ferreira ; Cesar Oliveira ; MACIEL, P. R. M. . Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets.In: IEEE International Conference on Systems, Man, and Cybernetics, 2009, USA. Proceeddings of SMC, 2009.
Bruno Nogueira, MACIEL, P. R. M., LIMA, Ricardo Massa Ferreira, TAVARES, Eduardo, Ermeson Andrade, CALLOU, G. Application of Coloured Petri Net For Performance and Energy Consumption Evaluation of Embedded SystemsIn: 21st International Symposium on Computer Architecture and High Performance Computing, 2009, São Paulo. Proceedings of SBAC-PAD. , 2009.
Erica Souza ; MACIEL, P. R. M. ; ARAUJO, C. J. M. . Performability Evaluation of EFT Systems using Expolinomial Stochastic Models.In: IEEE International Conference on Systems, Man, and Cybernetics, 2009, USA. Proceeddings of SMC, 2009.
TAVARES, Eduardo ; DALLEGRAVE, P. ; SILVA, Bruno ; CALLOU, G. ; Bruno Nogueira ; MACIEL, P. R. M. . A Hybrid DVS Scheduling Approach for Hard Real-Time Systems.In: IEEE International Conference on Systems, Man, and Cybernetics, 2009, USA. Proceeddings of SMC, 2009.
Hugo Estanislau ; Wagner Santos ; MACIEL, P. R. M. ; SILVA, Bruno ; GALDINO, Sérgio Mário Lins ; José Pires . A Flexible Workload Generator for a Virtual Environment of Capacity Planning. In: IEEE International Conference on Systems, Man, and Cybernetics, 2009, USA. Proceeddings of SMC, 2009.
Erica Souza; Maciel, Paulo; ARAUJO, C. J. M.; CHICOUT, F. C. F. . Performability Evaluation EFT Systems for SLA Assurance. In: International Workshop on System ManagementTechniques, Processes, and Services (SMTPS), 2009, Rome. IEEE Proceeding of SMTPS 2009, 2009. p. 1-8.
Ermeson Andrade; MACIEL, P. R. M.; Gustavo Callou; Bruno Nogueira. A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints.In: The Third International Conference on Digital Society, 2008, Mexico. Proceeddings of ICDS, 2009.
J. Araújo, E. Teixeira, P. Maciel, F. Chicout, and E. Andrade. Performance modeling for evaluation and planning of electronic funds transfer systems with bursty arrival trafic.The First International Conference on Intensive Applications and Services – INTENSIVE 2009.
Ermeson Andrade; MACIEL, P. R. M.; Gustavo Callou; Bruno Nogueira; Carlos Araújo. Mapping UML Sequence Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints.In: 24th Annual ACM Symposium on Applied Computing, 2008, Hawaii – USA. Proceedings of ACM Symposium on Applied Computing, 2009.
Ermeson Andrade; MACIEL, P. R. M.; Gustavo Callou; Bruno Nogueira. Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints. In: International Conference on Innovation in Software Engineering, 2008, Vienna – Austria. Proceeddings of ISE, 2008.
CALLOU, G.; MACIEL, P. R. M. ; TAVARES, Eduardo; Ermeson Andrade; Bruno Nogueira; SILVA, Bruno. A Coloured Petri Net Based Approach for Estimating Execution Time and Energy Consumption in Embedded System. In: Symposium on Integrated Circuits and Systems Design 2008 – 21st SBCCI -, 2008, Gramado. Proceeddings of SBCCI 2008, 2008.
TAVARES, Eduardo Antonio Guimaraes; MACIEL, P. R. M.; SILVA, Bruno. Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints.In: Inthernational Sympium on Computer Architecture and High Performance Computing, 2008, Campo Grande. Proceedings of 2008 Inthernational Sympium on Computer Architecture and High Performance Computing, 2008. p. 1-6.
Ermeson Andrade; MACIEL, P. R. M.; CALLOU, G.; Bruno Nogueira; TAVARES, Eduardo. Mapping SysML State Machine Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints.In: International Conference on Advances in Electronics and Micro-electronics, 2008, Valencia. Proceedings of International Conference on Advances in Electronics and Micro-electronics, 2008. p. 1-10.
CALLOU, G.; MACIEL, P. R. M.; Bruno Nogueira; TAVARES, Eduardo; Ermeson Andrade. A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption.In: International Workshop on Power and Timing Modeling, Optimization and Simulation, 2008, Lisbon. Proceedings of International Workshop on Power and Timing Modeling, Optimization and Simulation, 2008. p. 1-6.
TAVARES, Eduardo; MACIEL, P. R. M.; SILVA, Bruno. An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints.In: 6th IEEE International Conferences on SOFTWARE ENGINEERING AND FORMAL METHODS, 2008, Cape Town. Proceedings of 6th IEEE International Conferences on SOFTWARE ENGINEERING AND FORMAL METHODS, 2008.
ALBUQUERQUE JUNIOR, G. A. DE; MACIEL, P. R. M.; LIMA, Ricardo Massa Ferreira. Evaluation of Logistics with Componentized Stochastic Models. In: 2008 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2008), 2008, Singapore. Proceedings of 2008 IEEE International Conference on Systems, Man, and Cybernetics, 2008.
GALDINO, Sérgio Mário Lins; MACIEL, P. R. M. Outer Estimates of Interval System of Linear Equations: ISPN Models in Dependability Evaluation. In: 2008 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2008), 2008, Singapore. Proceedings of 2008 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2008), 2008.
SOUZA, Fábio N; ROSA, Nelson Souto; MACIEL, P. R. M. Performance Models for the Instance Pooling Mechanism of the JBoss Application Server.27th International Performance Computing and Communications Conference (IPCCC), Texas – USA, 2008.
SANT’ANA, Remy; LIMA, Manoel; MACIEL, P. R. M.; NASCIMENTO, H.; SILVA FILHO, Abel; NASCIMENTO, Paulo; Stelita M. Silva; Pablo Santana; Jordana Seixas. A HIGH-LEVEL BASED FRAMEWORK APPROACH FOR DESIGNING RECONFIGURABLE SYSTEMS. In: International Conference on Engineering and Computer Education, 2007, Santos. Proceedings of ICECE, 2007.
Lucas Cordeiro; BARETO, Raimundo; Rafael Barcelos; NOGUEIRA, Meuse; Vicente Lucena; MACIEL, P. R. M. Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach.In: 14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), 2007, Tucson, AZ U.S.A. Proceedings of 14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2007.
Frederico de Oliveira Jr.; LIMA, Ricardo Massa Ferreira; Márcio Cornélio; Sérgio Soares; TAVARES, Eduardo Antonio Guimaraes; MACIEL, P. R. M. . CML: C Modeling Language.In: 11th Brazilian Symposium on Programming Languages, SBLP 2007, 2007, Natal. Anais do 11th Brazilian Symposium on Programming Languages, SBLP 2007, 2007.
NASCIMENTO, Rilson Oscar Do; Mark Wong; MACIEL, P. R. M. DBT-5: A Fair Usage Open-Source TPC-E Implementation for Performance Evaluation of Computer Systems.In: WPerformance – 2007, 2007, Rio de Janeiro. DO XXVII CONGRESSO DA SBC, 2007.
ARTEIRO, Roberto; SOUZA, Fábio N; ROSA, Nelson; MACIEL, P. R. M. Utilizando Redes de Petri para Modelagem de Desempenho de Middleware Orientado a Mensagem. In: WPerformance 2007, 2007, Rio de Janeiro. ANAIS DO XXVII CONGRESSO DA SBC, 2007.
TAVARES, Eduardo; MACIEL, P. R. M.; SILVA, Bruno; NOGUEIRA, Meuse. A Time Petri Net-based Approach for Hard Real-Time Systems Scheduling Considering Dynamic Voltage Scaling, Overheads, Precedence and Exclusion Relations.In: 20th SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, 2007, Rio de Janeiro. SBCCI Proceedings, 2007.
ARCOVERDE JUNIOR, A. DE O.; MACIEL, P. R. M.; LIMA, Ricardo Massa Ferreira Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotations. Qualidade: A, Circulação:Internacional. In: 2007 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007), 2007, Montreal. Proceedings of IEEE SMC 2007, 2007.
GALDINO, Sérgio Mário Lins; MACIEL, P. R. M.; ROSA, Nelson. Interval Generalized Stochastic Petri Net Models in Dependability Evaluation. Qualidade: A, Circulação:Internacional. In: 2007 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007), 2007, Montreal. Proceeding of IEEE SMC 2007, 2007.
ALBUQUERQUE JUNIOR, G. A. DE; MACIEL, P. R. M.; LIMA, Ricardo Massa Ferreira. A GSPN Based Approach to Evaluate Outbound Logistics. Qualidade: A, Circulação:Internacional. In: 2007 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007), 2007, Montreal. Proceedings of IEEE SMC 2007, 2007.
TAVARES, Eduardo; MACIEL, P. R. M.; SILVA, Bruno; OLIVEIRA JÚNIOR, Meuse Nogueira de; MARQUES, Renato Bibiano de Sá; Rafael Barcelos. Dynamic Voltage Scaling in Hard Real-Time Systems Considering Precedence and Exclusion Relations.In: 2007 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007), 2007, Montreal. Prceedings of IEEE SMC 2007, 2007.
ALBUQUERQUE JUNIOR, G. A. DE; MACIEL, P. R. M.; LIMA, Ricardo Massa Ferreira. Evaluating Supply Chains with Stochastic Models.In: The IEEE/INFORMS Service Operations and Logistics, and Informatics (SOLI), 2007, Philadelphia. Proceedins of IEEE Soli, 2007.
ALBUQUERQUE JUNIOR, G. A. DE; MACIEL, P. R. M.; LIMA, Ricardo Massa Ferreira. Modeling and Evaluation of Supply Chains with GSPN Components. In: International Conference on Performance Evaluation Methodologies and Tools, 2007, Nantes. Proceedings of ValueTools 2007, 2007.
CRUZ, F.; Lucas Cordeiro; BARRETO, Raimundo; MACIEL, P. R. M. . ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis.In: ACM Design, Automation &Test in Europe, 2007, Munique. Proceedings of DATE 2008, 2008.
GALDINO, S. M. L.; MACIEL, P. R. M. Análise Estado Estacionário ISPN. In: VII ERMAC, 2007, Recife. Anais Digitais do VII Encontro Regional de Matemática Aplicada e Computacional, 2007.
SOUZA, Fábio N; ARTEIRO, Roberto; ROSA, Nelson Souto; MACIEL, P. R. M. . Using Stochastic Petri Nets for Performance Modelling of Application Servers.In: 5th PMEO-PDS / IEEE IPDPS 2006, 2006, Rhodes Island. IEEE Proceedings of IPDPS 20006.
NOGUEIRA, Meuse; VASCONCELOS NETO, Silvino; MACIEL, P. R. M.; LIMA, Ricardo Massa Ferreira; BARRETO, Raimundo. Embedded Systems’ Software Performance and Energy Consumption by Probabilistic Modeling: An Approach Based on Coloured Petri Nets.In: Application and Theory of Petri Nets and Other Models of Concurrency, 2006, Turku. Lectures Notes in Computer Science – Proceedings of the Application and Theory of Petri Nets and Other Models of Concurrency. Heidelberg, Germany : Springer Verlag, 2006.
SILVA, Arnoldo ; LINS, Fernando ; S JÚNIOR, José Carlos ; ROSA, Nelson ; QUENTAL, Nívia ; MACIEL, P. R. M. . Avaliação de Desempenho da Composição de Web Services Usando Redes de Petri.In: 24º Simpósio Brasileiro de Redes de Computadores, 2006, Curitiba. Anais do 24º Simpósio Brasileiro de Redes de Computadores, 2006.
BARRETO, Raimundo; MACIEL, P. R. M.; TAVARES, Eduardo; CUSTÓDIO, Marcelo; FREITAS, Rômulo; OLIVEIRA JR, Meuse. A Formal Modeling for Embedded Hard Real-Time Systems. In: 8th Brazilian Workshop on Real-Time Systems – relaizado em conjunto com o SBRC 2006, 2006, Curitiba. Anais do 8th Brazilian Workshop on Real-Time Systems, 2006.
GALDINO, Sérgio Mário Lins; MACIEL, P. R. M. . Interval Generalized Stochastic Petri Net Models in PerformanceEvaluation.Qualidade: A, Circulação:Internacional. In: 2006 IEEE International Conference on Systems, Man, and Cybernetics, 2006, Taipei – Taiwan. Proceedings of 2006 IEEE International Conference on Systems, Man, and Cybernetics, 2006.
TAVARES, Eduardo; BARRETO, Raimundo; MACIEL, P. R. M.; NOGUEIRA, Meuse; SILVA, Bruno; VASCONCELOS NETO, Silvino. Pre-runtime Scheduling Considering Timing and Energy Constrais in Embedded Systems wth Mltiple Processos.In: 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, 2006, Braga. Poceedings of DIPES, 2006. v. 225/20. p. 255-264.
FERNANDES, Sérgio Murilo Maciel; MACIEL, P. R. M.. Parameterized GSPN Model and Extended Dependability Block Diagram for Reliability Evaluation of Embedded Systems.Qualidade: A, Circulação:Internacional.. In: 2006 IEEE International Conference on Systems, Man & Cybernetics, 2006, Taiwan. Proceedings of IEEE SMC. New York : IEEE Press, 2006.
FAGUNDES, R. A. DE A.; MACIEL, P. R. M.; ROSA, Nelson. Modelagem e Avaliação do Serviço de Controle de Concorrência utilizando. In: VI Encontro Regional de Matemática Aplicada e Computacional – VI ERMAC, 2006, João Pessoa. Anais do VI ERMAC, 2006.
FAGUNDES, R. A. DE A.; MACIEL, P. R. M.; ROSA, Nelson. Modelagem e Avaliação do Serviço de Controle de Concorrência utilizando Redes de Petri Estocástica. In: VI Encontro Regional de Matemática Aplicada e Computacional – ERMAC 2006, 2006, João Pessoa. Anais do VI Encontro Regional de Matemática Aplicada e Computacional – ERMAC 2006, 2006.
SILVA, Wellington João da Rosa; MACIEL, P. R. M. . A Framework based on Petri Nets for Supporting Stepwise Modelling of Production System. In: 2005 IEEE International Conference on Service Operations and Logistics, and Informatics, 2005, Pequim. Proceedings of 2005 IEEE International Conference on Service Operations and Logistics, and Informatics, 2005.
TAVARES, Eduardo; BARRETO, Raimundo; MACIEL, P. R. M.; OLIVEIRA, Meuse Nogueira de; NEVES, Marília; BARROS, Leonardo Amorim de; LIMA, Ricardo Massa Ferreira. Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads. In: International Embedded Systems Symposium 2005, 2005, Manaus. The Proceedings will be published by Springer., 2005.
TAVARES, Eduardo; BARRETO, Raimundo; MACIEL, P. R. M.; NOGUEIRA, Meuse ; LIMA, Ricardo Massa Ferreira; BARROS, Leonardo; BESSA, Arthur. A Time Petri Net-Based Approach for Embedded Hard Real-Time Software Synthesis with Multiple Operational Modes. In: 18th Symposium on Integrated Circuits and Systems, 2005, Florianópolis. Proceedings of the 18th Symposium on Integrated Circuits and Systems, 2005.
BARROS, Leonardo; MACIEL, P. R. M.; TAVARES, Eduardo; NOGUEIRA, Meuse; BARRETO, Raimundo. A Methodology for Mapping Live Sequence Chart to Coloured Petri Net. In: IEEE International Conference on Systems, Man, and Cybernetics, 2005, Hawaii. Proceedings of IEEE SMC, 2005.
TAVARES, Eduardo; MACIEL, P. R. M.; BARRETO, Raimundo; NOGUEIRA, Meuse . An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints.In: Power and Timing Modeling, Optimization and Simulation (PATMOS), 2005, Leuven. Lecture Notes in Computer Science, 2005.
SILVA, Mauro; MACIEL, P. R. M. . Modelling and Analysis of Inventory Policy: an approach based on Petri Nets.In: IEEE International Conference on Systems, Man, and Cybernetics, 2005, Hawaii. Proceedings of IEEE SMC, 2005.
NOGUEIRA, Meuse ; MACIEL, P. R. M. . A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net.In: Power and Timing Modeling, Optimization and Simulation (PATMOS), 2005, Leuven. Lecture Notes in Computer Science, 2005.
BARRETO, Raimundo ; TAVARES, Eduardo ; MACIEL, P. R. M. ; NOGUEIRA, Meuse ; BARROS, Leonardo ; LIMA, Ricardo Massa Ferreira ; BESSA, Arthur. A Time Petri Net-Based Approach for Software Synthesis Considering Dispatcher Overheads.In: 17th International Symposium on Computer Architecture and High Performance Computing, 2005, Rio de Janeiro. Proceedings of SBAC/PAD, 2005.
SANTOS, Hélio; BARROS, Roberto; MACIEL, P. R. M.; ROSA, Nelson . Managing Petri Nets in MOF Repositories. In: Ontologies, DataBases, and Applications of Semantics (ODBASE), 2005, Agia Napa. Lecture Notes in Computer Science. Heidelberg : Springer Verlag, 2005.
AMORIM, Leonardo; BARETO, Raimundo; MACIEL, P. R. M.; TAVARES, Eduardo; NOGUEIRA, Meuse; BESSA, Arthur; LIMA, Ricardo Massa Ferreira. A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. In: International Conference, ICESS 2005, 2005, Xi an. International Conference, ICESS 2005 Proceedings. Berlin / Heidelberg : Springer Berlin / Heidelberg, 2005. v. 3820. p. 50-62.
FERNANDES, S. F. L.; SILVA, Wellington João da Rosa; SILVA, Mauro; ROSA, Nelson Souto; MACIEL, P. R. M.; SADOK, D. F. H. .Performance Analysis of Message-Oriented Middleware Using Stochastic Petri Nets. In: Simpósio Brasileiro de Redes de Computadores, 2004, Gramado. Anais do SBRC, 2004. v. 1. p. 279-292.
BARRETO, Raimundo; MACIEL, P. R. M.; OLIVEIRA, Meuse Nogueira de. Pre-Runtime Scheduling for Embedded Hard Real-Time Systems Using.In: Advanced Simulation Tecnology Conference – Design, Analysis, and Simulation, 2004, Washington. Proceedings of Design, Analysis, and Simulation. San Diego : Society for Computer Simulation, 2004. v. 1.
BARRETO, Raimundo; MACIEL, P. R. M.; CAVALCANTE, S. A Time Petri Net Approach for Fiding Pre-Runtime Schedules in Embedded Hard Real-Time Systems.In: IEEE International Conference on Distributed Systems – Workshop on Embedded Computing, 2004, Hachioji, Tokyo. Proceedings of IEEE International Conference on Distributed Systems – Workshop on Embedded Computing. Los Alamitos : IEEE Press, 2004. p. 846-851.
FERNANDES, S. F. L.; SILVA, Wellington João da Rosa; SILVA, Mauro; ROSA, Nelson Souto; MACIEL, P. R. M.; SADOK, D. F. H. On the Generalised Stochastic Petri Net Modeling of Message-Oriented Middleware Systems. In: 23rd IEEE International Performance Computing and Communications Conference – International Workshop on Middleware Performance (IWMP 2004), 2004, Phoenix. Proceedings of 23rd IEEE International Performance Computing and Communications Conference. Los Alamitos : IEEE Press, 2004. v. 1. p. 783-788.
OLIVEIRA, Meuse Nogueira de; MACIEL, P. R. M.; CARVALHO, F. F.; BARRETO, Raimundo. Software Power Cost Analysis based on Colored Petri Net. In: Workshop on Token Based Computing – in conjunction with International Conference on Applications and Theory of Petri Nets (ICATPN’04), 2004, Bolonha. Proceedings of Tobaco, 2004.
BARRETO, Raimundo; MACIEL, P. R. M.; NEVES, Marília; TAVARES, Eduardo; LIMA, Ricardo Massa Ferreira. A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard-Real Time Systems. In: IFIP Working Conference on Distributed and Parallel Embedded Systems, 2004, Toulousse. Proceedings of IFIP Working Conference on Distributed and Parallel Embedded Systems, 2004.
MACIEL, P. R. M.; SILVA, Mauro ; SILVA, Wellington João da Rosa . Modelling and Analysis in Production Systems: an Approach Based on Petri Nets. In: IEEE System, Man, and Cybernetics Conference, 2004, The Hague, The Netherlands. IEEE SMC 2004 Proceedings, 2004.
MACHADO, A. P.; MACIEL, P. R. M. A Petri Net Based Method for Functional and Interconnection Unit Estimation.In: IEEE System, Man, and Cybernetics Conference, 2004, The Hague, The Netherlands. Proceedings of IEEE SMC, 2004.
BARRETO, Raimundo; OLIVEIRA, Meuse Nogueira de; NEVES, Marília; MACIEL, P. R. M. A Formal Software Synthesis Approach for Embedded Hard Real-Time Systems.In: SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, 2004, Recife. Proceedings of SBCCI. s : IEEE Pressss, 2004.
OLIVEIRA, Meuse Nogueira de; MACIEL, P. R. M.; BARRETO, Raimundo; CARVALHO, F. F. Towards A Software Power Cost Analysis Framework Using Colored Petri Net. In: Fourteenth International Workshop on Power and Timing Modeling, Optimization and Simulation, 2004, Santorini, Greece. Lecture Notes in Computer Scienceee. Sponsored by IEEE Circuits and Systems. Heidelberg : Springer Verlag. Lecture Notes in Computer Science (LNCS)., 2004. v. 3254. p. 362-371.
NASCIMENTO, Paulo; SANT’ANA, Remy; SILVA FILHO, Abel; LIMA, Manoel; MACIEL, P. R. M. A Partial Reconfigurable Architecture for Controllers based on Petri Nets. In: Simpósio Brasileiro de Concepção de Circuitos Integrados, 2004, Recife. Proceedings of 17th SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, 2004.
TAVARES, Eduardo; BARRETO, Raimundo; MACIEL, P. R. M.; OLIVEIRA, Meuse Nogueira de; NEVES, Marília; LIMA, Ricardo Massa Ferreira . An Approach for Pre-Runtime Scheduling in Embedded Hard Real-Time Systems with Power Constraints.In: Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 2004, Foz do Iguaçú. Anais do SBAP-PAD 2004, 2004.
ARCOVERDE, A.; ALVES JUNIOR, G.; LIMA, Ricardo Massa Ferreira; MACIEL, P. R. M.; OLIVEIRA, Meuse Nogueira de; BARRETO, Raimundo. EZPetri: a Petri Net Interchange Framework for Eclipse Based on PNML. In: International Symposium on Leveraging Applications of Formal Method, 2004, Paphos. Proceedings ISoLA, 2004.
OLIVEIRA FILHO, J. A.; MACIEL, P. R. M.; LIMA, Manoel. Petri Net Based Interface Analysis for fast IP-Core integration. In: First ACM & IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE’2003), 2003, Mont Saint-Michel. Formal Methods and Models for Codesign, 2003. p. 34-42.
FERNANDES, S. M.; MACIEL, P. R. M. Reliability Evaluation for Dependable Embedded System Specifications:In: First ACM & IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE’2003), 2003, Mont Saint-Michel. Formal Methods and Models for Codesign, 2003. p. 172-179.
OLIVEIRA FILHO, J. A.; LIMA, Manoel; MACIEL, P. R. M. Automatic Interface Generation on SoPC Design based on Petri Net. In: Advanced Simulation Technology Conference, 2003, Orlando. Proc. 2003 ASTC. San Diego : Computer Simulation Society, 2003.
MACIEL, P. R. M.; FERNANDES, S. M. A Modeling Methodology for Reliability Evaluation of Hw/Sw Co-Design: an Approach Based on DSPN and Fault Tolerance. In: Advanced Simulation Technology Conference, 2003, Orlando. Proc. ASTC – DASD. San Diego : Computer Simulation Society, 2003. p. 200-207.
SILVA FILHO, Abel ; LIMA, Manoel ; MACIEL, P. R. M. Area Reduction Technique for Synthesis of Assynchronous Circuits in Concurrent Application Based on STG. In: Advanced Simulation Technology Conference, 2003, Orlando. ASTC Proc – HPC. San Diego : Society fo Computer Simulation, 2003. p. 243-245.
NASCIMENTO, Paulo; LIMA, Manoel; MACIEL, P. R. M. Algorithm for Switching Context Temporal Partitioning Base on CDFG- Petri Net Model.In: Advanced Simulation Technology Conference, 2003, Orlando. ASTC – Proc. – HPC. San Diego : Society for Computer Simulation, 2003. p. 254-258.
MACHADO, A. P.; MACIEL, P. R. M.; SILVA FILHO, Abel. A Petri Net Based Method for Storage Unit Estimation.In: IEEE International Conference on System, Man & Cybernetics, 2003, Washington D.C, EUA. Proceedings of IEEE SMC 2003, 2003.
OLIVEIRA FILHO, J. A.; MACIEL, P. R. M.; LIMA, Manoel. A Fast IP-Core Integration Methodology for SoC Design. In: 16th SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, 2003, São Paulo. Proceedings of SBCCI 2003, 2003.
BARRETO, Raimundo; MACIEL, P. R. M.; FERNANDES, S. M. A Modeling Methodology and Pre-Runtime Scheduling for Embedded Real_Time Software. In: The 15th Symposium on Computer, 2003, São Paulo. Proceedings of SBAC – PAD, 2003.
MACIEL, P. R. M.; BARROS, T.; BARROS, Edna; CAVALCANTI, R.; SILVA, Mauro. Data-Dependency Analysis: an Approach Based on Petri Nets. In: Advanced Simulation Tecnology Conference, 2002, San Diego. High Performance Computing Symposium Proceedings, 2002. v. 1. p. 267-273.
LIMA, Manoel; SILVA FILHO, Abel; NASCIMENTO, Paulo; MACIEL, P. R. M. A reconfigurable codesign methodology for switching. In: Advanced Simulation Conference, 2002, San Diego. High Performance Computing Symposium. San Diego : Society for Computer Simulation, 2002. v. 1. p. 306-313.
NASCIMENTO, Paulo; MACIEL, P. R. M.; LIMA, Manoel; SILVA FILHO, Abel. CDFG – Petri Net Temporal Partitioning for Switching Context Applications.In: Symposium on Integrated Circuits and System Design, 2002, Porto Alegre. Proceedings of Symposium on Integrated Circuits and System Design, 2002. p. 235-240.
MACIEL, P. R. M.; BARROS, T. A Resource Estimation Method Based on Timed Petri Net for Discrete Procuction Systems.In: 2002 IEEE International Conference on Systems, Man & Cybernetics, 2002, Hammamet. SMC 2002 Conference Proceedings, 2002.
MACIEL, P. R. M.; BARROS, T. Register Estimation for Digital System Design: an Approach Based on Timed Petri Nets. In: 2002 IEEE InternationConference on Systems, Man & Cybernetics, 2002, Hammamet. SMC 2002 Conference Proceedings, 2002.
MACIEL, P. R. M.; LIMA, Manoel; ROCHA, D. Data-Dependency Analysis in the Resource Estimation. In: World Multi-Conference on Systemcs, Cybernetics and Informatics, 2001, Orlando. Data-Dependency Analysis in the Resource Estimation., 2001.
MACIEL, P. R. M.; BARROS, T. Evaluation of Causal Firing Sequences in Conflict-Free. In: World Multi-Conference on Systemcs, Cybernetics and Informatics, 2001, Orlando. Conference on Systemcs, Cybernetics and Informatics, 2001.
MACIEL, P. R. M.; BARROS, Edna. A Combined Reachability/Structural Petri Net Based Method for. In: Advanced Simulation Technology Conference, 2001, Seatle. High Performance Computing. San Diego, USA : Society for Computer Simulation International, 2001. p. 285-290.
MACIEL, P. R. M. ; BARROS, T. A Petri Net Approach for Resource Estimation in Discrete Production Systems. In: 5th World Multiconference on Systemics, Cybernetics and Informatics, 2001, Orlando. 5th World Multiconference on Systemics, Cybernetics and Informatics, 2001.
MACIEL, P. R. M.; CRUZ FILHO, F.; BARROS, Edna . A Petri Net Based Method for Resource Estimation – An Approach Considering Data-Dependency, Causal and Temporal Precedence. In: Simpósio Brasileiro de Concepção de Circuitos Integrados, 2001, Brasília. Integrated Circuit Symposium, 2001.
CRUZ FILHO, F.; BARROS, E.; MACIEL, P. R. M. Using Petri nets for hardware/software partitioning. In: Simpósio Brasileiro de Concepção de Circuitos Integrados, 2001, Brsileiro. Integrated Cicuit SYmpoium, 2001.
MACIEL, P. R. M.; BARROS, Edna; LIMA, Manoel; SILVA, D.; ROSENSTIEL, W. Resource Sharing Estimation by Using Petri nets in PISH Codesign System.In: Advanced Simulation Tecnology Conference, 2000, Washington DC, USA. High Performance Computing Proceedings, 2000. p. 371-376.
MACIEL, P. R. M.; BARROS, Edna; SILVA, Mauro; CUNHA, R. Resource Sharing Estimation by Petri Nets in PISH Hardware/Software Co-design System.In: IEEE International Conference on Systems, Man, and Cybernetics, 2000, Nashiville. SMC Conference Proceedings, 2000. p. 3165-3170.
MACIEL, P. R. M.; BARROS, E.; CRUZ, F. Using Petri Nets for Data-Dependency Analysis.In: IEEE International Conference on Systems, Man, and Cybernetics, 2000, Nashiville. IEEE System, Man & Cybernetics Conference Proceedings, 2000. p. 2990-3003.
MACIEL, P. R. M.; BARROS, Edna; CRUZ FILHO, F.; ROSENSTIEL, W. Methods Based Petri Net for Resource Sharing Estimation.In: IEEE Symposium on Integrated Circuit and System Design, 2000, Manaus. Methods Based on Petri Net for Resource Sharing Estimation, 2000. p. 75-80.
MACIEL, P. R. M.; BARROS, Edna; CRUZ FILHO, F. Estimation Based on Petri nets for Hardware/Software Codesign. In: IFAC – CONTROLO 2000: 4th Portuguese Conference on Automatic Control, 2000, Guimarães – Portugal. Proceedings of Conference on Automatic Control, 2000. p. 546-551.
MACIEL, P. R. M. ; BARROS, Edna ; ROSENSTIEL, W. Estimating Functional Unit Number in PISH Codesign System by Using Petri Nets. In: IEEE Symposium on Integrated Circuit and System Design, 1999, Natal. SBCCI Conference Proceedings, 1999. p. 32-35.
MACIEL, P. R. M.; BARROS, Edna; ROSENSTIEL, W. A Petri Net Approach for Estimating Area Considering Clock Period. In: Conference on CAD/CAM Robotics and Factories of Future, 1999, Águas de Lindóia. CARS & FOF Conference Proceedings, 1999. p. MF117-MF122.
MACIEL, P. R. M.; BARROS, Edna; ROSENSTIEL, W. A Petri Net Based Approach for Estimating Area in Hardware/Software Codesign. In: Advanced Simulation Tecnology Conference, 1999, San Diego. High Performance Computing Proceedings, 1999. p. 425-432.
MACIEL, P. R. M.; BARROS, Edna; ROSENSTIEL, W. A Petri Net Based Approach for Performing Initial Allocation for Hardware/Software Codesign. In: IEEE International Conference on Systems, Man, and Cybernetics, 1998, San Diego. IEE SMC Conference Proceedings, 1998. p. 505-510.
MACIEL, P. R. M.; BARROS, Edna; ROSENSTIEL, W. A Petri Net Based Approach for Quantifying Mutual Exclusion Degree. In: INCOMŽ98 – IFAC, 1998, Metz/Nancy. INCOM Conference Proceedings. p. 21-26.
MACIEL, P. R. M.; BARROS, Edna; ROSENSTIEL, W.; MACIEL, T. M. M. A Petri Net Approach for Computing Load Balance in Hardware/Software Codesign. In: Advanced Simulation Tecnology Conference, 1998, Boston. High Performance Computing Proceedings, 1998. p. 360-368.
MACIEL, P. R. M.; BARROS, Edna; ROSENSTIEL, W. Using Petri Net to Compute Communication Cost for Hardware/Software Codesign. In: Brazilian Symposium on Integrated Circuit and System Design, 1997, Gramado. SBCCI Proceedings, 1997. p. 253-262.
MACIEL, P. R. M.; BARROS, Edna; ROSENSTIEL, W. Computing Communication Cost by Petri Nets for Hardware/Software Codesign. In: 8th IEEE Internation Worshop on Rapid System Prototyping, 1997, Chapel Hill, North Carolina. Rapid System Prototyping Proceedings, 1997. p. 44-56.
MACIEL, P. R. M.; BARROS, E. Capturing Time Constraints by Using Petri Nets in the Context of Hardware/Software Codesign. In: 7th IEEE International Workshop on Rapid system Prototyping, 1996, Porto Caras, Thessaloniki. Rapid System Prototyping Proceedings, 1996. p. 36-41.
MACIEL, P. R. M.; BARROS, Edna. Captura de Requisítos Temporais Usando Redes de Petri para o Particionamento de Hardware/Software. In: VI Símposio Brasileiro de Concepcão de Circuitos Integrados, 1996, Recife. SBCCI Conference Proceedings, 1996. p. 383-395.
MACIEL, P. R. M.; MEDEIROS, T. M. P. ALBUQUERQUE, L.; CASTRO, J. Uso de Redes de Petri Temporizadas para o Diagnóstico de Falhas em Sistemas Digitais. In: VI Simpósio de Computadores Tolerantes à Falhas, 1995, Canela. Anais do Simpósio de Computadores Tolerantes a Falhas, 1995. p. 181-200.
MACIEL, P. R. M.; SANTOS, M.; BARROS, T. Diagnosticador de Falhas para Sistemas de Controle Industrial: uma Abordagem por Redes de Petri. In: Congresso Brasileiro de Automática, 1994, Rio de Janeiro. Anais do Congresso Brasileiro de Automática, 1994.
MACIEL, P. R. M; CASTRO, J. Uso de Redes de Petri e TCL para o Diagnóstico de Sistemas de Controle Industrial. In: XXI SEMISH, 1994, Caxambú. Anais do SEMISH94, 1994. p. 613-627.
MACIEL, P. R. M.; CASTRO, J. Desenvolvimento de Sistemas Distribuídos de Forma Precisa. In: II Congresso de Informática e Telecomunicacões, 1993, Recife. ., 1993.
MACIEL, P. R. M.; BARROS, T.; SANTOS, M. Uma Ferramenta de Diagnóstico de Falhas Voltada para Sistemas de Controle Industrial. In: V Simpósio de Computadores Tolerantes à Falha, 1993, São José dos campos. Anais do Simpósio Brasileiro de Computadores Tolerantes a Falhas, 1993. p. 169-187.
© MoDCS Research Group
credit