A time petri net-based approach for hard real-time systems scheduling considering dynamic voltage scaling, overheads, precedence and exclusion relations. - Eduardo Tavares; Paulo Romero Martins Maciel; Bruno Silva 001; Meuse N. Oliveira Jr. (SBCCI, 2007)

Dynamic Voltage Scaling in hard real-time systems considering precedence and exclusion relations. - Eduardo Tavares; Paulo Romero Martins Maciel; Bruno Silva 001; Meuse N. Oliveira Jr.; Rafael Rodrigues; Renato Marques (SMC, 2007)

Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints. - Eduardo Tavares; Bruno Silva 001; Paulo Romero Martins Maciel; Pedro Dallegrave (SBAC-PAD, 2008)

An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. - Eduardo Tavares; Bruno Silva 001; Paulo Romero Martins Maciel (SEFM, 2008)

Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations. - Eduardo Tavares; Paulo Romero Martins Maciel; Bruno Silva 001; Meuse N. Oliveira Jr. (Inf. Process. Lett., 2008)

Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheads. - Eduardo Tavares; Paulo Romero Martins Maciel; Bruno Silva 001 (Microprocess. Microsystems, 2008)

Incorporating Security Requirements into Service Composition: From Modelling to Execution. - Andre R. R. Souza; Bruno L. B. Silva; Fernando Antônio Aires Lins; Julio Cesar Damasceno; Nelson Souto Rosa; Paulo Romero Martins Maciel; Robson W. A. Medeiros; Bryan Stephenson; Hamid R. Motahari Nezhad; Jun Li 008; Caio Northfleet (ICSOC/ServiceWave, 2009)

Sec-MoSC Tooling - Incorporating Security Requirements into Service Composition. - Andre R. R. Souza; Bruno L. B. Silva; Fernando Antônio Aires Lins; Julio Cesar Damasceno; Nelson S. Rosa; Paulo Romero Martins Maciel; Robson W. A. Medeiros; Bryan Stephenson; Hamid R. Motahari Nezhad; Jun Li 008; Caio Northfleet (ICSOC/ServiceWave, 2009)

Synthetic workload generation for capacity planning of virtual server environments. - Hugo Estanislau Soares Galindo; Wagner Medeiros Santos; Paulo Romero Martins Maciel; Bruno Silva 001; Sergio Mario Lins Galdino; Jose Paulo Pires (SMC, 2009)

A Hybrid DVS Scheduling Approach for Hard Real-Time Systems. - Eduardo Tavares; Pedro Dallegrave; Bruno Silva 001; Gustavo Rau de Almeida Callou; Bruno Costa e Silva Nogueira; Paulo Romero Martins Maciel (SMC, 2009)

Towards Generating Richer Code by Binding Security Abstractions to BPMN Task Types. - Julio Cesar Damasceno; Hamid Reza Motahari-Nezhad; Jun Li 008; Caio Northfleet; Bryan Stephenson; André Ricardo da Silva Souza; Robson Wagner Albuquerque de Medeiros; Bruno Leonardo Barros Silva; Fernando Antônio Aires Lins; Nelson Souto Rosa; Paulo Romero Martins Maciel (RITA, 2009)

An Approach for Reducing the Gap between BPMN Models and Implementation Artifacts. - Bruno Leonardo Barros Silva; Robson Wagner Albuquerque de Medeiros; Julio Cesar Damasceno; Fernando Antônio Aires Lins; Nelson Souto Rosa; Paulo Romero Martins Maciel; Bryan Stephenson; Hamid Reza Motahari-Nezhad; Jun Li 008; Caio Northfleet; André Ricardo da Silva Souza (RITA, 2009)

Impact analysis of maintenance policies on data center power infrastructure. - Gustavo Rau de Almeida Callou; Erica Sousa; Paulo Romero Martins Maciel; Eduardo Antonio Guimarães Tavares; Carlos Araújo; Bruno Silva 001; Nelson Souto Rosa; Manish Marwah; Ratnesh K. Sharma; Amip Shah; Tom Christian; Jose Paulo Pires; et al. (SMC, 2010)

WGCap: A synthetic trace generation tool for capacity planning of virtual server environments. - Hugo Estanislau Soares Galindo; Erico A. C. Guedes; Paulo Romero Martins Maciel; Bruno Silva 001; Sergio Mario Lins Galdino (SMC, 2010)

ASTRO: A tool for dependability evaluation of Data Center infrastructures. - Bruno Silva 001; Paulo Romero Martins Maciel; Eduardo Antonio Guimarães Tavares; Carlos Araújo; Gustavo Rau de Almeida Callou; Erica Sousa; Nelson Souto Rosa; Manish Marwah; Ratnesh K. Sharma; Amip Shah; Tom Christian; Jose Paulo Pires (SMC, 2010)

Model-driven software synthesis for hard real-time applications with energy constraints. - Eduardo Tavares; Paulo Romero Martins Maciel; Pedro Dallegrave; Bruno Silva 001; Tiago Falcão; Bruno Costa e Silva Nogueira; Gustavo Rau de Almeida Callou; Paulo R. F. Cunha (Des. Autom. Embed. Syst., 2010)

Quantifying the sustainability impact of data center availability. - Manish Marwah; Paulo Romero Martins Maciel; Amip Shah; Ratnesh K. Sharma; Tom Christian; Virgílio A. F. Almeida; Carlos Araújo; Erica Sousa; Gustavo Rau de Almeida Callou; Bruno Silva 001; Sergio Mario Lins Galdino; Jose Paulo Pires (SIGMETRICS Perform. Evaluation Rev., 2010)

Modeling and Executing Business Processes with Annotated Security Requirements in the Cloud. - Julio Cesar Damasceno; Fernando Antônio Aires Lins; Robson W. A. Medeiros; Bruno Silva 001; Andre R. R. Souza; David Aragão; Paulo Romero Martins Maciel; Nelson Souto Rosa; Bryan Stephenson; Jun Li 008 (ICWS, 2011)

SSC4Cloud Tooling: An Integrated Environment for the Development of Business Processes with Security Requirements in the Cloud. - Fernando Antônio Aires Lins; Robson W. A. Medeiros; Bruno Silva 001; Andre R. R. Souza; David Aragão; Julio Cesar Damasceno; Paulo Romero Martins Maciel; Nelson Souto Rosa; Bryan Stephenson; Jun Li 008 (SERVICES, 2011)

Sustainability and dependability evaluation on data center architectures. - Gustavo Rau de Almeida Callou; Paulo Romero Martins Maciel; Eduardo Tavares; Erica Sousa; Bruno Silva 001; Jair Figueiredo; Carlos Araújo; Fábio S. Magnani; Francisco A. S. Neves (SMC, 2011)

Estimating reliability importance and total cost of acquisition for data center power infrastructures. - Jair Figueiredo; Paulo R. M. Maciel; Gustavo Rau de Almeida Callou; Eduardo Tavares; Erica Sousa; Bruno Silva 001 (SMC, 2011)

A formal approach to the quantification of sustainability and dependability metrics on data center infrastructures. - Gustavo Rau de Almeida Callou; Erica Sousa; Paulo Romero Martins Maciel; Eduardo Tavares; Bruno Silva 001; Jair Figueiredo; Carlos Araújo; Fábio S. Magnani; Francisco A. S. Neves (SpringSim (TMS-DEVS), 2011)

Towards an approach to design and enforce security in web service composition. - Fernando Antônio Aires Lins; Julio Cesar Damasceno; Bruno Silva 001; Robson W. A. Medeiros; Andre R. R. Souza; Fabricio Teles; David Aragão; Erica Sousa; Nelson Souto Rosa; Bryan Stephenson; Hamid R. Motahari Nezhad; Jun Li 008 (Int. J. Web Eng. Technol., 2012)

Dependability models for designing disaster tolerant cloud computing systems. - Bruno Silva 001; Paulo Romero Martins Maciel; Eduardo Tavares; Armin Zimmermann (DSN, 2013)

Performability models for designing disaster tolerant Infrastructure-as-a-Service cloud computing systems. - Bruno Silva 001; Paulo Romero Martins Maciel; Armin Zimmermann (ICITST, 2013)

OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems. - Ermeson C. Andrade; Marcelo Alves; Rúbens de Souza Matos Júnior; Bruno Silva 001; Paulo Romero Martins Maciel (SAFECOMP, 2013)

An Investigative Approach to Software Aging in Android Applications. - Jean Araujo 001; Vandi Alves; Danilo Oliveira; Pedro Dias; Bruno Silva 001; Paulo Romero Martins Maciel (SMC, 2013)

Performability Evaluation of Emergency System. - Marcus Queiroz; Paulo Romero Martins Maciel; Bruno Silva 001; Almir Pereira Guimarães (SMC, 2013)

Evaluating the Power Consumption of Wireless Sensor Network Applications Using Models. - Antônio Dâmaso; Davi Freitas; Nelson S. Rosa; Bruno Silva 001; Paulo R. M. Maciel (Sensors, 2013)

ASTRO: An integrated environment for dependability and sustainability evaluation. - Bruno Silva 001; Gustavo Callou; Eduardo Tavares; Paulo R. M. Maciel; Jair Figueiredo; Erica Sousa; Carlos Araújo; Fábio S. Magnani; Francisco A. S. Neves (Sustain. Comput. Informatics Syst., 2013)

Dependability evaluation of a mhealth system using a mobile cloud infrastructure. - Jean Araujo 001; Bruno Silva 001; Danilo Oliveira; Paulo Romero Martins Maciel (SMC, 2014)

Dependability models for Eucalyptus infrastructure clouds considering VM life-cycle. - Jonathan Brilhante; Bruno Silva 001; Paulo Romero Martins Maciel; Armin Zimmermann (SMC, 2014)

Eucabomber 2.0: A tool for dependability tests in eucalyptus cloud infrastructures considering VM life-cycle. - Jonathan Brilhante; Bruno Silva 001; Paulo Romero Martins Maciel; Armin Zimmermann (SMC, 2014)

Performance evaluation of sheepdog distributed storage system. - Paulo Romero Martins Maciel; Rúbens de Souza Matos Júnior; Gustavo Rau de Almeida Callou; Bruno Silva 001; Daniel Barreto; Julian Araujo; Jean Araujo 001; Vandi Alves; Stephen Worth (SMC, 2014)

AMALGHMA -An environment for measuring execution time and energy consumption in embedded systems. - Bruno Silva 001; Eduardo Antonio Guimarães Tavares; Paulo Romero Martins Maciel; Bruno Costa e Silva Nogueira; Jeisa Oliveira; Antônio Vicente Lourenço Dâmaso; Nelson Souto Rosa (SMC, 2014)

GeoClouds Modcs: A perfomability evaluation tool for disaster tolerant IaaS clouds. - Bruno Silva 001; Paulo Romero Martins Maciel; Jonathan Brilhante; Armin Zimmermann (SysCon, 2014)

Performability evaluation of emergency call center. - Marcus A. de Q. V. Lima; Paulo Romero Martins Maciel; Bruno Silva 001; Almir Pereira Guimarães (Perform. Evaluation, 2014)

Benchmark applications used in mobile cloud computing research: a systematic mapping study. - Francisco Airton Silva; Germano Zaicaner; Eder Quesado; Matheus Dornelas; Bruno Silva 001; Paulo Romero Martins Maciel (J. Supercomput., 2016)

A framework for availability, performance and survivability evaluation of disaster tolerant cloud computing systems. - Bruno Silva 001 (2016)

Expolynomial Modelling for Supporting VANET Infrastructure Planning. - Aleciano Lobo Junior; Rúbens de Souza Matos Júnior; Bruno Silva 001; Paulo R. M. Maciel (PRDC, 2017)

Mercury: Performance and Dependability Evaluation of Systems with Exponential, Expolynomial, and General Distributions. - Paulo R. M. Maciel; Rúbens de Souza Matos Júnior; Bruno Silva 001; Jair Figueiredo; Danilo Oliveira; Iure Fe; Ronierison Maciel; Jamilson Dantas (PRDC, 2017)

Advanced Stochastic Petri Net Modeling with the Mercury Scripting Language. - Danilo Oliveira; Rúbens de Souza Matos Júnior; Jamilson Dantas; João Ferreira 002; Bruno Silva 001; Gustavo Callou; Paulo R. M. Maciel; André Brinkmann (VALUETOOLS, 2017)

Stochastic modelling of taxpayer assistance centre for performability evaluation. - Rosiberto Dos Santos Gonçalves; Eduardo Antonio Guimarães Tavares; Gabriel Alves de Albuquerque; Bruno Leonardo Barros Silva (Int. J. Bus. Process. Integr. Manag., 2017)

Sensitivity analysis of an availability model for disaster tolerant cloud computing system. - Bruno Silva 001; Rúbens de Souza Matos Júnior; Eduardo Tavares; Paulo Romero Martins Maciel; Armin Zimmermann (Int. J. Netw. Manag., 2018)

The Mercury Environment: A Modeling Tool for Performance and Dependability Evaluation. - Thiago Felipe da Silva Pinheiro; Danilo Oliveira; Rúbens de Souza Matos Júnior; Bruno Silva 001; Paulo Pereira; Carlos Melo; Felipe Oliveira; Eduardo Tavares; Jamilson Dantas; Paulo Romero Martins Maciel (Intelligent Environments (Workshops), 2021)

An analytical approach for optimization of computer network design considering the integration of the communication and power infrastructures. - Almir Pereira Guimarães; Paulo Maciel 001; Rivalino Matias Jr.; Bruno Silva 001; Bruno Nogueira 001 (Int. J. Netw. Manag., 2022)

A performance modeling framework for microservices-based cloud infrastructures. - Thiago Felipe da Silva Pinheiro; Paulo Pereira; Bruno Silva 001; Paulo Maciel 001 (J. Supercomput., 2023)