Publications


Books


Projeto de Sistemas Distribuídos e de Tempo Real para Automação
Raimundo Macêdo e Jean-Marie Farines(Org.)
In Edufba
Salvador, 2018.

IPv6 - Conceitos e Aspectos Práticos
FREITAS, A. E. S.; BEZERRA, R. M. S.
In Editora Ciência Moderna
Rio de Janeiro, 2015.

Book Chapters


Raciocínio computacional na Formação Geral: pavimentando o caminho da interdisciplinaridade
Raimundo J. de A. Macêdo; David P. Cavallo; Sérgio Gorender; and Bilzã M. de Araújo
In Rosângela P. de Tugny; and Gustavo Gonçalves (Org). Universidade Popular e Encontro de Saberes, ISBN: 978-85-232-2054-9
Salvador: EdUFBA; Brasília: Instituto de Inclusão no Ensino Superior e na Pesquisa - UNB, 2020.

Tecnologias da Informação e Comunicação na UFSB: superando desafios na construção de uma universidade popular
Raimundo J. de A. Macêdo; Alirio S. de Sá; and Sérgio Gorender
In Rosângela P. de Tugny; and Gustavo Gonçalves (Org). Universidade Popular e Encontro de Saberes, ISBN: 978-85-232-2054-9
Salvador: EdUFBA; Brasília: Instituto de Inclusão no Ensino Superior e na Pesquisa - UNB, 2020.

TECNOLOGIAS DA INFORMAÇÃO E COMUNICAÇÃO NO MUNDO E NA BAHIA: RETROSPECTIVA E DESAFIOS
Raimundo J. de A Macêdo
In Ribeiro, N. M.; Souza, C.; Freitas, A. (Org). Ecossistemas de Inovação: Análise para Além das Fronteiras. ISBN: 978-85-67562-34-6
Salvador: EdIFBA, 2019.

Practical Considerations in Optimal Multiprocessor Scheduling. Handbook of Real-Time Computing
Lima, George ; MASSA, ERNESTO ; Regnier, Paul
In Yu-Chu Tian; David Charles Levy (Ed.). Handbook of Real-Time Computing. 1ed., ISBN: 978-981-4585-87-3
Springer Singapore, 2019.

Sistemas de Controle via Rede
Alirio S. de Sá; Tanisia Foletto; Ubirajara Moreno; and Raimundo J. de A Macêdo
In Raimundo J. de A Macêdo; and Jean-Marie A. Farines (Org). Projeto de Sistemas Distribuídos e de Tempo-Real para Automação, ISBN: 978-85-232-1675-7
Salvador: EdUFBA, 2018.

Fundamentos de Detecção de Defeitos em Sistemas Distribuídos
Alirio S. de Sá; and Raimundo J. de A Macêdo
In Raimundo J. de A Macêdo; and Jean-Marie A. Farines (Org). Projeto de Sistemas Distribuídos e de Tempo-Real para Automação, ISBN: 978-85-232-1675-7
Salvador: EdUFBA, 2018.

Detectores Adaptativos de Defeitos para Ambientes Distribuídos e de Automação
Alirio S. de Sá; Raimundo J. de A Macêdo; Eduardo Cambruzzi; and Jean-Marie Farines
In Raimundo J. de A Macêdo; and Jean-Marie A. Farines (Org). Projeto de Sistemas Distribuídos e de Tempo-Real para Automação, ISBN: 978-85-232-1675-7
Salvador: EdUFBA, 2018.

Reconfiguração Dinâmica em Sistemas de Tempo Real
Eduardo Camponogara; Augusto B. de Oliveira; and George Lima
In Raimundo J. de A Macêdo; and Jean-Marie A. Farines (Org). Projeto de Sistemas Distribuídos e de Tempo-Real para Automação, ISBN: 978-85-232-1675-7
Salvador: EdUFBA, 2018.

Redes de Sensores: Controle de Acesso ao Meio, Roteamento e Controle de Topologia
Carlos Montez; Flávio Assis; and Leandro B. Becker
In Raimundo J. de A Macêdo; and Jean-Marie A. Farines (Org). Projeto de Sistemas Distribuídos e de Tempo-Real para Automação, ISBN: 978-85-232-1675-7
Salvador: EdUFBA, 2018.

Desenvolvimento de Sistemas de Controle e Automação na Abordagem de Engenharia Dirigida por Modelos
Leandro B. Becker; Jean-Marie Farines; Aline Andrade; and Ana Patrícia Magalhães
In Raimundo J. de A Macêdo; and Jean-Marie A. Farines (Org). Projeto de Sistemas Distribuídos e de Tempo-Real para Automação, ISBN: 978-85-232-1675-7
Salvador: EdUFBA, 2018.

A Machine Learning Trainable Model to Assess the Accuracy of Probabilistic Record Linkage
Pita, Robespierre ; Mendonça, Everton ; Reis, Sandra ; Barreto, Marcos ; Denaxas, Spiros
In Ladjel Bellatreche; Sharma Chakravarthy. (Org.). Lecture Notes in Computer Science. 1ed. Springer International Publishing, 2017, v. 10440, p. 214-227
Berlim, 2017.

Full Interoperability: Challenges and Opportunities for Future Information Systems. In: Boscarioli C., Araújo R., Maciel, Rita S..P. (Org.)
Maciel, Rita Suzana Pitangueira; DAVID, J. M. N. ; Claro, D. B. ; Braga, Regina
In I GranDSI-BR Grand Research Challenges in Information Systems in Brazil 2016 - 2026. 1ed.Porto ALegre: SBC - Sociedade Brasileira de Computação
Porto Alegre, 2017.

Principled Eliciting and Evaluation of Trade-Offs When Designing Self-Adaptive Systems Architectures
ANDRADE, SANDRO S.; MACEDO, R. J. A. ; BONFIM, T. ; COELHO, L.
In Managing Trade-offs in Adaptable Software Architectures
Morgan Kaufmann, 2016.

On Subtle Contributions
ANDRADE, SANDRO S.
In M20 Years of KDE: Past, Present and Future.
Berlin, Germany, 2016.

6LOWPAN : PROMOVENDO A INTEGRAÇÃO ENTRE OS DISPOSITIVOS COM A COMPUTAÇÃO UBÍQUA E A IOT
BEZERRA, R. M. S. ; NASCIMENTO, F. M. S. ; FREITAS, A. E. S.
In Cadernos técnicos de computação e energia.
Salvador: ARCADIA, 2015.

Model Driven Testing for Cloud Computing
Oliveira, Jéssica ; Lopes, Denivaldo ; Abdelouahab, Zair ; Claro, Daniela ; Hammoudi, Slimane
In Lecture Notes in Electrical Engineering. 1ed.: Springer International Publishing
2015.

Aligning Business Requirements with Services Quality Characteristics by Using Logical Architectures. Advances in Intelligent Systems and Computing
Salgado, Carlos E. ; Machado, Ricardo J. ; Maciel, Rita S. P.
In 1ed.: Springer International Publishing
2015.

On the processor utilization bound of the C=D Scheduling Algorithm.
SANTOS JUNIOR, J. A. M. ; Lima, George ; Bletsas, K
In Neil Audsley and Sanjoy Baruah. (Org.). Real-Time Systems: the past, the present and the future
Reino Unido, 2013.

Modelagem computacional da espacializacao de variáveis metereologicas na região agrícola do Vale do Rio São Francisco
BORATTO, Murilo C. ; LEAL, B. G. ; BARRETO, Marcos E. ; NERY FILHO, J. ; COELHO, L.
In Pesquisas Aplicadas em Modelagem Matemática, v.1., pp. 81-101
Porto Alegre, 2012.

Modelagem computacional da espacialização do relevo na região agrícola do Vale do Rio Sao Francisco
BORATTO, Murilo C. ; LEAL, B. G. ; BARRETO, Marcos E. ; BONFIM, T. ; COELHO, L.
In Pesquisas Aplicadas em Modelagem Matemática, v.1., 351-371
Porto Alegre, 2012.

Computação paralela e distribuída utilizando sistemas multicore e multi-GPU
BORATTO, Murilo C. ; BARRETO, Marcos E. ; LESSA, I.
In Carlos Augusto Paiva da Silva Martins. (Org.). Sistemas computacionais
Unijui, 2012.

An Adaptive Failure Detection Approach for Real-Time Distributed Control Systems over Shared Ethernet
Alirio S. de Sá; and Raimundo J. de A Macêdo
In P. E. Myiagi; E. Villani; O. Horikawa (Org). ABCM Symposium Series in Mechatronics, 1ed., vol.2, ISBN 978-85-85769-26-0
Rio de Janeiro: Associação Brasileira de Ciências Mecânicas, 2006.

Tratando a previsibilidade em sistemas de tempo-real distribuídos: Especificação. Linguagens, Middleware e Mecanismos Básicos.
R. J. A Macêdo and G. M. Lima and L. P. Barreto and A.M.S.Andrade and F.J.R.Barboza and A. Sá and R. Albuquerque and S. Andrade.
In Capítulo 3 do Livro texto para o mini-curso a ser apresentado no 22o. Simpósio Brasileiro de Redes de Computadores, SBRC'2004.pp. 105-163, ISBN: 85-88442-82-5
Gramado, RS, 2004.

Full Papers


A tour of dependable computing research in Latin America
DUARTE, ELIAS P. ; MACÊDO, RAIMUNDO J. A. ; MARTINS, ELIANE ; RAJSBAUM, SERGIO
In COMMUNICATIONS OF THE ACM, vol. 63,n. 11, ISSN: 0001-0782
ACM, 2020.

Robótica Educacional como Facilitadora do Aprendizado do Raciocínio Computacional: Revisão Sistemática da Literatura
SOKOLONSKI, A. C. ; de Sá, Alirio S. ; MACÊDO, Raimundo José de Araújo
In XXXI Simpósio Brasileiro de Informática na Educação
Porto Alegre, Brasil: Sociedade Brasileira de Computação (SBC), 2020.

Simple Area Coverage by a Dynamic Set of Unmanned Aerial Vehicles
RIBEIRO, G. B. P. ; SIMOES, G. M. ; Silva, Flávio M. A. ; Gorender, S. ; de Sá, Alirio S.
In Brazilian Symposium on Computing Systems Engineering
Porto Alegre, Brasil: Sociedade Brasileira de Computação (SBC), 2020.

Um Framework para Simulação de Sistema s Robóticos baseados em Múltiplos Veículos Aéreos Não Tripulado
Simões, Gustavo M. ; de Sá, Alirio S.
In III Workshop de Trabalhos de Iniciação Científica e de Graduação (WTG 2020) do XXXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2020)
Porto Alegre, Brasil: Sociedade Brasileira de Computação (SBC), 2020.

Self-Adaptive Systems Planning with Model Checking using MAPE-K
SILVA, A. E. M. ; ANDRADE, Aline ; ANDRADE, SANDRO S.
In Fault Tolerance Workshop - Brazilian Symposium on Computer Networks and Distributed Systems (SBRC 2020)
Porto Alegre, Brasil: Sociedade Brasileira de Computação (SBC), 2020.

Quadcopter Prototype: Modeling, Simulation and Control
MARTINS, D. A. ; OLIVEIRA, Y. M. A. ; MARTINS, M. A. F. ; de SÁ, Alirio Santos ; FONTES, R. M. ; PINHEIRO, O. R.
In III Brazilian Humanoid Robot Workshop and IV Brazilian Workshop on Service Robotics
Salvador, 2020.

Garm: A Blockchain based platform for supply chain management
JESUS JUNIOR, E. M. F. ; MARQUES NETO, M. C. ; FREITAS, Allan Edgard S.
In Brazilian Journal of Development, vol. 6, n. 12, ISSN:2525-8761
Curitiba, 2020.

GERANDO INTELIGÊNCIA ATRAVÉS DE MICRODADOS: UMA PROPOSTA DE BUSINESS INTELLIGENCE PARA A ÁREA DE ENSINO DO INSTITUTO FEDERAL DA BAHIA (IFBA)
BARRETO, I. M. S. ; FREITAS, A. E. S.
In Cadernos de Educação, Tecnologia e Sociedade, v. 13
2020.

Árion: A Blockchain Framework for Traceability in Supply Chain Management
JESUS JUNIOR, E. M. F. ; MARQUES NETO, M. C. ; FREITAS, Allan E. S.
In 3rd Blockchain Workshop: Theory, Technology, and Applications
Rio de Janeiro, 2020.

Quality of Context for VANETs: QoC Metrics for Connectivity in VANETs
de Sá, Margarete O. dos S.; GORENDER, S.
In AdHoc-Now 2019 - 18th International Conference on AdHoc Networks and Wireless, 2019
Luxemburgo, 2019.

Convergecast in a TSCH Network under a Physical Interference Model
José Carlos da Silva ; ASSIS, Flávio.
In AdHoc-Now 2019 - 18th International Conference on AdHoc Networks and Wireless, 2019
Luxemburgo, 2019.

Análise de Perfis de Usuários de Música e Seus Impactos no Desempenho de Políticas de Substituição de Cache
PIRES, S. S. ; ARAUJO, F. R. ; FREITAS, Allan E. S.; SAMPAIO, L. N.
In Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos
Gramado, 2019.

Um Protótipo para Experimentos de Eficiência Energética em Nuvem Openstack
SANTOS, D. S. ; FREITAS, Allan E. S.
In Salão de Ferramentas do Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos
Gramado, 2019.

Model driven transformation development (MDTD): An approach for developing model to model transformation
Magalhães, Ana Patrícia F. ; Andrade, Aline M. S.; Maciel, Rita S. P.
In INFORMATION AND SOFTWARE TECHNOLOGY, v. 114,
2019.

Soluções Computacionais para Avaliação da Aprendizagem por Mapas Conceituais: um Mapeamento Sistemático
BOSS, SILVIO ; MATOS, ECIVALDO ; Andrade, Aline
In XXX Simpósio Brasileiro de Informática na Educação (SBIE 2019)
Porto Alegre, Brasil: Sociedade Brasileira de Computação (SBC), 2019.

Transparent Interoperability Middleware between Data and Service Cloud Layers
RIBEIRO, E. ; VIEIRA, M. ; CLARO, D. B. ; SILVA, N.
In International Conference on Cloud Computing and Services Science(CLOSER 2018)
Lisboa, 2018.

Byzantine Fault Tolerance in the Partitioned Synchronous System Model
SILVA, Wellington L.; RAMOS, Marco A. D. ; MACÊDO, Raimundo J. de A.
In VIII Brazilian Symposium on Computing Systems Engineering (SBESC 2018)
Salvador, Brazil, 2018.

Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them
Zayan, D. ; Sakar, A. ; Michel Oei ; Maciel, Rita Suzana P ; CZARNECKI, K.
In Software and Systems Modeling
2018.

Rede Digital para Integração Social: Experiências da Universidade Federal do Sul da Bahia
Macêdo, Raimundo José de Araújo; de SÁ, Alírio Santos
In I Workshop de TIC para Desenvolvimento (SBRC 2017 - WTICp/D)
Belem, 2017.

Autonomic Byzantine Replication for Intrusion Tolerance in Cyber-Physical Systems
Macêdo, Raimundo José de Araújo.
In VII WORKSHOP ON AUTONOMIC DISTRIBUTED SYSTEMS (WoSiDA)
Belém, 2017.

Uma Experiência de Adaptação de Quóruns para Dectecçao de Falhas em Consenso Byzantino no Modelo Síncrono Particionado
SILVA, W. L. ; Marco Antonio Dantas Ramos ; Macêdo, Raimundo José de Araújo.
In VII WORKSHOP ON AUTONOMIC DISTRIBUTED SYSTEMS (WoSiDA)
Belém, 2017.

Uma Abordagem de Projeto para Mecanismos Autonômicos de Tolerância a Falhas em Sistemas Distribuídos
SÁ, Alírio Santos de ; Macêdo, Raimundo José de Araújo
In VII WORKSHOP ON AUTONOMIC DISTRIBUTED SYSTEMS (WoSiDA)
Belem, 2017.

Securing IoT-based Cyber-Physical Human Systems against Collaborative Attacks
Sathish Kumar ; Ganapathy Mani ; Macêdo, Raimundo José de Araújo ; Bharat Bhargava
In 2nd IEEE International Congress on Internet of Things - ICIOT 2017
Honolulu, 2017.

Principled Evaluation of Strengths and Weaknesses in FLOSS Communities: A Systematic Mixed Methods Maturity Model Approach
ANDRADE, SANDRO S.; SARAIVA, F.
In The 13th International Conference on Open Source Systems (OSS 2017)
Buenos Aires, Argentina, 2017.

Prediction of Leptospirosis Cases using Classification Algorithms
JUNIOR, NIVISON ; Claro, Daniela ; LINDOW, JANET
In IET Software (Print), v. 1, p. 1-7
2017.

Inference Approach to Enhance a Portuguese Open Information Extraction
LIMA SENA, CLEITON FERNANDO ; GLAUBER, RAFAEL ; BARREIRO CLARO, DANIELA
In 19th International Conference on Enterprise Information Systems
Porto, 2017.

Enhancing MIDAS Towards a Transparent Interoperability Between SaaS and DaaS
LIMA SENA, CLEITON FERNANDO ; GLAUBER, RAFAEL ; BARREIRO CLARO, DANIELA
In Simpósio Brasileiro de Sistemas de Informação - SBC
Porto Alegre, 2017.

Utilizando Features Linguísticas Genéricas para Classificação de Triplas Relacionais em Português
BARBOSA, G. C. G. ; CLARO, D. B.
In SBC - Symposium in Information and Human Language Technology (STIL), Uberlandia. Proceedings of 11th Brazilian Symposium in Information and Human Language Technology.
Porto Alegre, 2017.

Nominal Coreference Annotation in IberEval2017: The Case of FORMAS Group
SOUZA, M. ; GLAUBER, R. ; OLIVEIRA, L. S. ; SENA, C. F. L. ; CLARO, D. B.
In 33th Conference of the Spanish Society for Natural Language Processing (SEPLN 2017). Proceedings of the Second Workshop on Evaluation of Human Language Technologies for Iberian Languages (IberEval). v. 1881. p. 92-101
Murcia, 2017.

DependentIE: An Open Information Extraction system on Portuguese by a Dependence Analysis.
OLIVEIRA, L. S. ; GLAUBER, R. ; CLARO, D. B.
In Encontro Nacional de Inteligência Artificial e Inteligência Computacional, 2017, Uberlandia. ENIAC 2017 proceedings
Porto Alegre, 2017.

A Distributed Algorithm to Schedule TSCH Links under the SINR Interference Model. In: Brazilian Symposium on Computing Systems Engineering
José Carlos da Silva ; ASSIS, FLÁVIO
In Brazilian Symposium on Computing Systems Engineering - SBESC
Curitiba, 2017.

Design and evaluation of probabilistic record linkage methods supporting the Brazilian 100-million cohort initiative
PITA, R. ; PINTO, C. ; Barreto, Marcos ; SENA, S. ; FIACCONE, R. L. ; AMORIM, L. D. A. F. ; BARRETO, Mauricio
In International Journal of Population Data Science, v. 1, p. 203
2017.

Assessing the accuracy of probabilistic record linkage of social and health databases in the 100 million Brazilian cohort
Barreto, Marcos; DENAXAS, S
In International Journal of Population Data Science, v. 1, p. 256
2017.

Towards a Robot Task Ontology Standard
BALAKIRSKY, STEPHEN ; SCHLENOFF, CRAIG ; RAMA FIORINI, SANDRO ; REDFIELD, SIGNE ; Barreto, Marcos ; NAKAWALA, HIRENKUMAR ; CARBONERA, JOEL LUÍS ; SOLDATOVA, LARISA ; BERMEJO-ALONSO, JULITA ; MAIKORE, FATIMA ; GONCALVES, PAULO J. S. ; DE MOMI, ELENA ; SAMPATH KUMAR, VEERA R. ; HAIDEGGER, TAMÁS . Towards a Robot Task Ontology Standard
In ASME 2017 12th International Manufacturing Science and Engineering Conference collocated with the JSME/ASME 2017 6th International Conference on Materials and Processing. Volume 3: Manufacturing Equipment and Systems. New York: ASME. v. 3. 10 p.
Los Angeles, 2017.

Probabilistic integration of large Brazilian socioeconomic and clinical databases. In: IEEE International Symposium on Computer-Based Medical Systems
PINTO, C. ; DANTAS, R. ; BARBOSA, G. ; ARAUJO, B. ; SANTOS JUNIOR, J. B. ; SENA, S. ; REIS, S. ; FIACCONE, R. L. ; AMORIM, L. D. A. F. ; ICHIHARA, M. Y. ; BARRETO, Mauricio ; Barreto, Marcos ; DENAXAS, S
In Thessaloniki. Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems. New York: IEEE, 2017. v. 1. p. 10-16
New York, 2017.

Accelerating docking simulation using multicore and GPU systems
JESUS, E. M. ; BARRETO, Marcos E. ; GUIMARAES, V. ; SANTOS, N. ; PITA, S. S. R. ; Boratto, Murilo
In 17th International Conference on Computational Science and Applications. Springer, 2017. v. 1. p. 10-16
New York, 2017.

A trainable model to assess the accuracy of probabilistic record linkage
PITA, R. ; JESUS, E. M. ; REIS, S. ; Barreto, Marcos ; DENAXAS, S
In International Conference on Big Data Analytics and Knowledge Discovery. Berlim: Springer International Publishing AG, 2017. v. 10440. p. 214-227
Berlim, 2017.

Scaling probabilistic record linkage on multicore and multi-GPU system
PINTO, C. ; Boratto, Murilo ; ALONSO, P. ; Barreto, Marcos
In 17th International Conference on Computational and Mathematical Methods in Science and Engineering. Almería: CMMSE, 2017. v. 1. p. 10-20
2017.

uStorage: a storage architecture to provide block-level storage through object-based storage
GUTIERREZ, FELIPE ; GARCIA, V. ; CARDOSO, J. F. ; JAMIR, T. ; RODRIGUES NETO, J. ; ASSAD, R. ; BARRETO, Marcos E
In European Conference on Service-Oriented and Cloud Computing (ESOCC).Berlim: Springer International Publishing AG, 2017. v. 10465. p. 213-228
2017.

Ontology for Autonomous Robotics
OLSZEWSKA, J. I. ; BARRETO, Marcos E. ; BERMEJO-ALONSO, J. ; CARBONERA, J. L. ; CHIBANI, A. ; FIORINI, S. ; GONCALVES, P. J. S. ; HABIB, M. ; KHAMIS, A. ; OLIVARES, A. ; FREITAS, E. P. ; SILVA JUNIOR, E. P. ; RAGAVAN, V. ; REDFIELD, S. ; SANZ, R. ; SPENCER, B. ; LI, H
In 26th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN 2017). New York: IEEE, 2017. v. 1. p. 189-194
Lisboa, 2017.

Assessing the accuracy of probabilistic record linkage applied to the Brazilian 100 million cohort project
PINTO, C. ; DANTAS, R. ; BARRETO, Marcos E. ; REIS, S. ; SENA, S. ; FIACCONE, R. L. ; AMORIM, L. D. A. F. ; BARRETO, Maurício L. ; DENAXAS, S
In International Conference on Biomedical and Health Informatics (BHI 2017). v. 1. p. 10-10.
Orlando, 2017.

Large-scale data fusion of Brazilian socioeconomic and public health databases
BARRETO, Marcos E.; DENAXAS, S
In Research Fellows Conference 2017. Research Fellows Conference 2017. London: The Royal Society, 2017. v. 1. p. 1-1
London, 2017.

Desenvolvimento e validação de aplicações colaborativas sobre uma arquitetura de robótica autônoma
OLIVEIRA NETO, A. B. ; BARRETO, Marcos E
In Congresso de Pesquisa, Ensino e Extensão da UFBA. v. 1. p. 10-11
Salvador, 2017.

On the accuracy and scalability of probabilistic data linkage over the Brazilian 114 million cohort
PITA, R. ; PINTO, C. ; SENA, S. ; FIACCONE, R. L. ; AMORIM, L. D. A. F. ; REIS, S. ; BARRETO, Mauricio ; DENAXAS, S. ; BARRETO, Marcos E
In IEEE Journal of Biomedical and Health Informatics, 2017
Salvador, 2017.

Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time
JIMENEZ GIL, SAMUEL ; Bate, Iain ; Lima, George ; SANTINELLI, LUCA ; GOGONEL, ADRIANA ; CUCU-GROSJEAN, LILIANA
In IEEE Embedded Systems Letters
2017.

From RUN to QPS: new trends for optimal real-time multiprocessor scheduling
MASSA, Ernesto ; Lima, George ; Regnier, Paul
In International Journal of Embedded Systems
Pittsburg, 2017.

A Mechatronic Platform for Measurement and Study of Ultrasonic Wave Fields
DOS SANTOS, C. M. ; REGNIER, P. ; PEPE, I. ; ALFONZO, J. ; SILVA, L. ; VIDAL, V. ; JÚNIOR, J. .
In SPE Latin America and Caribbean Mature Fields Symposium
OnePreto, 2017.

Minimizing the stakeholder dissatisfaction risk in requirement selection for next release planning
PITANGUEIRA, A. M. ; Paolo Tonella ; SUSI, A. ; Maciel, Rita Suzana Pitangueira ; BARROS, M
In INFORMATION AND SOFTWARE TECHNOLOGY
2017.

A Panoramic View of Cloud Computing Adoption from the Literature Perspective
Paula, A. C. M. ; CARNEIRO, G. F. ; Maciel, Rita Suzana Pitangueira
In JOURNAL OF MANAGEMENT ANALYTICS
2017.

A Characterization of Cloud Computing Adoption based on Literature Evidence
Paula, A. C. M. ; CARNEIRO, G. F. ; MACIEL, RITA SUZANA P.
In In: International Conference on Enterprise Information Systems (ICEIS 2017). Proceedings of the International Conference on Enterprise Information Systems
Setubal, 2017.

Enterprise Architecture: An approach to promote traceability and synchronization of computational models
Poggio, Rogério ; Maciel, Rita Suzana Pitangueira
In Proceedings of the International Conference on Enterprise Information Systems
Seturbal, 2017.

Towards a Models Traceability and Synchronization Approach of an Enterprise Architecture
Poggio, Rogério ; MACIEL, RITA SUZANA P
In Proceedings of The 29th International Conference on Software Engineering and Knowledge Engineering
Pittsburgh, 2017.

Rompendo a Barreira da Pós-Graduação em Computação na UFBA
Macêdo, Raimundo J. de A.
In Revista Tempo Digital
Salvador, 2016.

A Cluster Management System for VANETs
CAMBRUZZI, EDUARDO ; FARINES, JEAN-MARIE ; KRAUS, WERNER ; Macêdo, Raimundo
In International Journal of Intelligent Transportation Systems Research
Springer, 2016.

Performance Evaluation on Cyber-Physical Systems
FREITAS, A. E. S.; BEZERRA, R. M. S.
In ICIC Express Letters, v. 10, p. 263-270
2016.

Detecção Automática de Estilos Arquiteturais em Sistemas Distribuídos
DIVINO, A. S. A. ; ANDRADE, SANDRO S.
In Workshop de Trabalhos de Pós-Graduação (WPOS) - Escola Regional de Computação Bahia, Alagoas e Sergipe (ERBASE)
Maceió, Al, Brasil, 2016.

Planejamento Regional Adaptativo em Sistemas Self-Adaptive de Larga Escala
SOUSA, G. F. ; ANDRADE, E. S. ; ANDRADE, SANDRO S.
In Workshop de Trabalhos de Iniciação Científica e Graduação (WTICGBASE) - Escola Regional de Computação Bahia, Alagoas e Sergipe (ERBASE)
Maceió, Al, Brasil, 2016.

Melhoramento Genético On-line como Infraestrutura para Sistemas Self-Adaptive Descentralizados
SANTANA, I. J. S. ; ANDRADE, SANDRO S.
In Workshop de Trabalhos de Iniciação Científica e Graduação (WTICGBASE) - Escola Regional de Computação Bahia, Alagoas e Sergipe (ERBASE)
Maceió, AL, Brasil, 2016.

Uma Representação Visual para Gerenciamento de Emergências em Ambientes Fechados
NUNES, F. ; TELES, F. ; Novais, R. L. ; ANDRADE, SANDRO S. ; MARQUES NETO, M. C.
In Simpósio Brasileiro de Sistemas de Informação (SBSI)
Florianópolis, SC, Brasil, 2016.

Planejamento Regional Adaptativo em Sistemas Self-Adaptive de Larga Escala
ANDRADE, E. S. ; SOUSA, G. F. ; ANDRADE, SANDRO S.
In 8º SBCUP - Simpósio Brasileiro de Computação Ubíqua e Pervasiva
Porto Alegre, Brasil, 2016.

Whistle: Um Detector de Defeitos para Sistemas Multiagentes Utilizando a Framework JADE
CERQUEIRA JR., A. J. ; GORENDER, S.
In Anáis do Workshop de Sistemas Distribuídos Autonômicos
Salvador, 2016.

MIDAS: A Middleware to Provide Interoperability between SaaS and DaaS
CIDREIRA, V. ; MARINHO, T. ; CLARO, D. B. ; MANE, B.
In SBSI 2016 - Simpósio Brasileiro de Sistemas de Informação. Proceedings do Simpósio Brasileiro de Sistemas de Informação
Florianópolis, 2016.

Classification Model Analysis for the Prediction of Leptospirosis Cases
NERY JUNIOR, N. R. R. ; CLARO, D. B. ; LINDOW, J.
In CISTI'2016 - 11th Iberian Conference on Information Systems and Technologies, Gran Canaria. Proceedings of the11th Iberian Conference on Information Systems and Technologies. Gran Canaria: AISTI.
Gran Canaria, 2016.

Interoperabilidade entre dispositivos como serviços: uma abordagem interdisciplinar
CLARO, DANIELA BARREIRO; JESUS, LUIS ; FERREIRA, ALEXANDRE ; FIGUEIREDO, ROBERTO ; CORREIA, MARIANE ; SENA, CLEITON ; GLAUBER, RAFAEL ; AZEVEDO, WELLINGTON
In Interoperabilidade entre dispositivos como serviços: uma abordagem interdisciplinar. In: XXII Workshop de Informática na Escola, 2016. p. 281-290
Uberlandia, 2016.

Avaliação de Desempenho de Serviços Web SOAP e Restful: estudos de caso para embarcar em dispositivos na Internet das Coisas
CLARO, D. B.; PACHECO, G. ; SILVA JUNIOR, M. R. ; VIANNA, A. ; FARIA, I. L. ; BARBOSA, G. C. G. ; PIRES, D. ; DUSSE, F. ; ANDRADE, L. ; FERREIRA, M. ; PITA, R.
In I Workshop Brasileiro sobre Internet das Coisas na Educação, 2016. Anais Anais dos Workshops do V Congresso Brasileiro de Informática na Educação (CBIE 2016). Porto Alegre: SBC, 2016. p. 1324-1333
Uberlandia, 2016.

Classificação de Relações Abertas Utilizando Similaridade Entre Estruturas Gramaticais
BARBOSA, G. C. G. ; CLARO, D. B.
In : Workshop de Teses e Dissertações em Bancos de Dados (WTDBD) 2016, 2016, Salvador. Anais do 25 Simpósio Brasileiro de Banco de Dados, 2016
Uberlandia, 2016.

OWL-S ComposerW: Composição de Serviços Web Semânticos SOAP e RESTful
BARBOSA, G. C. G. ; CLARO, D. B.
In Webmedia, 2016, Teresina. Anais do XII Simpósio Brasileiro de Sistemas Multimídia e Web (Vol. 2): Workshops e Pôsteres. Porto Alegre: SBC, 2016. v. 2. p. 117-120
Porto Alegre, 2016.

An Algorithm for k-Connectivity under Pure SINR Model
ASSIS, FLÁVIO
In The 15th International Conference, ADHOC-NOW 2016 - Lecture Notes in Computer Science (LNCS), 2016. v. 9724. p. 65-78
Lille, França, 2016.

Auto-tuning TRSM with an asynchronous task assignment model on multicore, multi-GPU and coprocessor systems
PINTO, CLICIA ; Barreto, Marcos ; Boratto, Murilo
In IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA), IEEE, 2016. v. 1. p. 1-8
New York, 2016.

Avaliação de acurácia em procedimentos de linkage probabilístico em grandes bases de dados
ALVES, A. ; SENA, S. ; FIACCONE, R. L. ; AMORIM, L. D. A. F. ; BARBOSA, G. ; Barreto, Marcos ; BARRETO, Maurício L
In 61a Reunião Anual da Região Brasileira da Sociedade Internacional de Biometria,EDUFBA, 2016. v. 1. p. 11-11
Salvador, 2016.

A Estatística na pesquisa com big data
FIACCONE, R. L. ; AMORIM, L. D. A. F. ; BARRETO, Maurício L. ; BARRETO, Marcos E
In Congresso UFBA 70 Anos, EDUFBA, 2016. v. 1. p. 10-11
Salvador, 2016.

Optimising QoS in adaptive real-time systems with energy constraint varying CPU frequency
NASSIFFE, R. ; Camponogara, Eduardo ; Lima, George ; Mossé, Daniel
In International Journal of Embedded Systems
2016.

A minimally intrusive method for analysing the timing of RTEMS core characteristics
Nicodemos, Fernando ; Saotome, Osamu ; Lima, George ; Sato, Sandro
In International Journal of Embedded Systems
2016.

Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems
MASSA, Ernesto ; LIMA, George ; Regnier, Paul ; Levin, Greg ; Brandt, Scott
In Real-Time Systems
2016.

Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements
Lima, George; Bate, Iain
In 2017 IEEE RealTime and Embedded Technology and Applications Symposium (RTAS)
2016.

Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look.
Lima, George; DIAS, DARIO ; Barros, Edna
In 28th Euromicro Conference on RealTime Systems (ECRTS)
Toulouse, 2016.

A Cache Design Assessment Approach for Embedded Real-Time Systems Based on Execution Time Measurement
DIAS, DARIO ; Lima, George ; Barros, Edna
In VI Brazilian Symposium on Computing Systems Engineering (SBESC)
João Pessoa, Brazil, 2016.

A Model Driven Transformation Development Process for Model to Model Transformation
MAGALHÃES, A. P. ; ANDRADE, A. ; MACIEL, R. S.
In Proceedings of the 30th Brazilian Symposium on Software Engineering - SBES 2016
Maringá, 2016.

A Refinement Repair Algorithm Based on Refinement Game for KMTS Models
MACHADO, E. ; ANDRADE, A. M. S.
In Lecture Notes of Computer Science
Natal, 2016.

Risk-Aware Multi-Stakeholder Next Release Planning using Multi-Objective Optimization
PITANGUEIRA, A. M. ; Paolo Tonella ; SUSI, A. ; Maciel, Rita S. P. ; BARROS, M.
In Proc of 22nd International Working Conference on Requirements Engineering: Foundation for Software Qualit
Gothenburg, 2016.

Modelando Serviços a partir de Processos de Negócio: Uma Abordagem Dirigida a Modelos
QUEIROZ, J. P. B. ; PROENCIA, E. ; Maciel, R. S. P.
In Proceedings of the XII Brazilian Symposium on Information Systems
Florianópolis, 2016.

Interoperability Requirement to Enhance Collaboration in Software Product Lines: A Systematic Mapping
NEIVA, F. W. ; CAMPOS, H. ; DAVID, J. M. N. ; Braga, Regina
In Anais do XIII Simpósio de Sistemas Colaborativos
Porto ALegre, 2016.

MATRA: A Framework for Assessing Model-Based Approaches on the Transformation Between Requirements and Architecture
SALGADO, C. ; Machado, Ricardo J. ; Maciel, Rita Suzana Pitangueira
In 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Proceedings. Berlim: Spring Verlag
Eslovenia, 2016.

A Three-Dimensional Approach for a Quality-Based Alignment Between Requirements and Architecture
SALGADO, C. ; Machado, Ricardo J. ; Maciel, Rita Suzana Pitangueira
In Proceedings of The 7th International Conference on Exploring Service Science. Berlim: Spring Verlag
Romenia, 2016.

A Model Driven Transformation Process for Model to Model Transformation
MAGALHÃES, A. P. ; Andrade, Aline ; MACIEL, RITA SUZANA P.
In SBES '16: Proceedings of the 30th Brazilian Symposium on Software Engineering
Maringá, 2016.

A Spark-based workflow for probabilistic record linkage of healthcare data
PITA, R. ; PINTO, C. ; MELO, P. ; SILVA, M. ; Barreto, Marcos ; RASELLA, D.
In Proceedings of the Workshops of the EDBT/ICDT 2015 Joint Conference. Aachen: CEUR, 2015. v. 1330. p. 17-26
Brussel, 2015.

Assessing the benefits of search-based approaches when designing self-adaptive systems: a controlled experiment
Sandro Andrade and Raimundo Macêdo
In Journal of Software Engineering Research and Development, Vol. 3, no. 1, ISSN: 2195-1721
Springer, 2015.

Software requirements selection and prioritization using SBSE approaches: A systematic review and mapping of the literature
PITANGUEIRA, A. M. ; Maciel, R. S. P. ; BARROS, M.
In The Journal of Systems and Software, v. 103, Issue 1, p. 267-280
Elsevier, 2015.

Towards a Metamodel Design Methodology: Experiences from a model transformation metamodel design
MAGALHąS, A. P. ; Maciel, R. S. P. ; Andrade, Aline
In SEKE 2015 - 015 International Conference on Software Engineering and Knowledge Engineering
SEKE, 2015.

Assessing the benefits of search-based approaches when designing self-adaptive systems: a controlled experiment
ANDRADE, Sandro Santos ; Macêdo, Raimundo José de Araújo
In Journal of Software Engineering Research and Development
Springer, 2015.

Avaliando o Impacto da Disseminação Assíncrona de Operações na QoS de Bases de Dados Replicadas
MOREIRA, F. L. ; SA, Alírio S. ; FREITAS, A. E. S.
In V Workshop de Sistemas Distribuídos Autonômicos
Vitória, ES, Brasil, 2015.

CloudGI, Gerenciando Instâncias de um Serviço Replicado em uma Plataforma de Computação em Nuvem
NASCIMENTO, P. S. ; FREITAS, A. E. S.
In Salão de Ferramentas do Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos
Vitória, ES, Brasil, 2015.

Implementação do Protocolo de Lock para Armazenamento DEPSKY
NASCIMENTO, P. S. ; FREITAS, A. E. S.
In Revista de Sistemas de Informação da FSMA, v. 15, p. 23-2
2015.

Software Evolution Sonification
RAIMUNDO, P. O. ; ANDRADE, SANDRO S. ; Novais, R. L.
In III Workshop on Software Visualization, Evolution, and Maintenance (CBSoft)
Porto Alegre, Brasil, 2015.

Semantic-based Clustering of Web Services
SILVA, L. J. ; CLARO, D. B. ; LOPES, D. C. P.
In Journal of Web Engineering, v. 14, p. 325-345
2015.

Análise da viralidade em eventos acadêmicos através das redes sociais
SANTOS, C. ; CLARO, D. B.
In BRASNAM 2015 - IV Brazilian Workshop on Social Network Analysis and Mining. Anais do 35th Congresso da Sociedade Brasileira de Computação (CSBC)
Recife, 2015.

A probabilistic analysis of student retention in a Federal University: A Case Study of a Computer Science Program
SANTOS, M. S. ; CLARO, D. B. ; LIMA, V. M. C.
In SBIE 2015 - XXVI Simpósio Brasileiro de Informática na Educação, 2015. Anais do Simpósio Brasileiro de Informática na Educação (SBIE)
Maceio, 2015.

Desenvolvimento de um Protocolo para Troca de Dados por meio de Rádio Receptor Regenerativo com Alta Eficiência Energética
BLANSKI, J. W. ; SILVA, FLÁVIO MORAIS DE ASSIS ; PEPE, I. M
In Abakós, v. 3, p. 83-107
2015.

A Deterministic and a Randomized Algorithm for Approximating Minimum Spanning Tree under the SINR Model
ASSIS, FLÁVIO
In The 8th IFIP Wireless and Mobile Networking Conference - WMNC, 2015. v. 1
Munique, Alemanha, 2015.

Correlação probabilística de bancos de dados governamentais
PINTO, C. ; PITA, R. ; MELO, P. ; SENA, S. ; Barreto, Marcos
In XXX Simpósio Brasileiro de Banco de Dados - Sociedade Brasileira de Computação (SBC), 2015. v. 1. p. 77-88
Petrópolis, 2015.

A metropolitan innovation testbed for promoting future Internet research
SAMPAIO, L. N. ; OLIVEIRA, L. R. ; BARRETO, Marcos E. ; BEZERRA, R. M. S. ; FREITAS, A. E. S. . BAMBU
In Switch On São Paulo Workshop - University of São Paulo Medical School, 2015. v. 1. p. 24-25
São Paulo, 2015.

Exploração da computação em nuvem para aplicações de bioinformática e robótica
CARMO, R. ; BARRETO, Marcos E. ; GONCALVES, G
In Seminário Integrado de Ensino, Pesquisa e Extensão, Caderno de resumos do SEMENTE 2015. Salvador: EDUFBA, 2015. v. 1.
Salvador, 2015.

A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information
SANTOS, J. S. ; ANDRADE, A. M. S.
In 17th International Conference on Formal Engineering Methods, ICFEM
Paris, 2015.

On the Specification of Model Transformations through a Platform Independent Approach
MAGALHÃES, A. P. ; Andrade, Aline ; Maciel, Rita Suzana Pitangueira
In Seke 2015 - 27th International Conference on Software Engineering and Knowledge Engineering
Pittsburgh, 2015.

Exploring a Three-dimensional, Requirements-based, Balanced Scorecard Business Model
Salgado, Carlos E. ; Machado, Ricardo J. ; Maciel, Rita Suzana Pitangueira
In CBIE - 17th Conferencia on Business Informatics
Geneve, 2015.

A three-dimensional, requirements-based, balanced scorecard business model
SALGADO, C. ; Machado, Ricardo J. ; Maciel, Rita Suzana Pitangueira
In Proc of 6th International Conference on Information and Communication Systems (ICICS)
Amman, 2015.

Aligning Business Requirements with Services Quality Characteristics by using Logical Architectures
SALADO, C. ; Machado, Ricardo J. ; Maciel, Rita Suzana Pitangueira
In Proc. of 3rd World Conference on Information Systems and Technologies
Azores, 2015.

A SoaML Approach for Derivation of a Process-Oriented Logical Architecture from Use Cases
SALGADO, C. ; Machado, Ricardo J. ; Maciel, Rita Suzana Pitangueira
In Exploring Services Science - 6th International Conference, {IESS}
Porto, 2015.

A Model Considering QoS for Real-Time Systems with Energy and Temperature Constraints
NASSIFFE, R. M.; Camponogara, Eduardo; Mosse, Daniel; Lima, George
In Proc. of the Brazilian Symposium on Computing Systems Engineering. USA: IEEE Computer Society
Los Alamitos, CA, 2014.

Revealing the secrets of RUN and QPS: new trends for optimal real-time multiprocessor scheduling
Massa, Ernesto; Lima, George; Regnier, Paul
In Proceedings of the Brazilian Symposium on Computing Systems Engineering (SBESC). Los Alamitos, CA, USA: IEEE Computer Society, 2014. p. 1-6.
Manaus, 2014.

Optimal and Adaptive Multiprocessor Real-Time Scheduling: The Quasi-Partitioning Approach.
Massa, Ernesto ; Lima, George ; Regnier, Paul ; LEVIN, GREG ; BRANDT, SCOTT
In 26th Euromicro Conference on Real-Time Systems. p. 291-300
Madrid, 2014.

Support for bioinformatics applications through volunteer and scalable computing frameworks
GUTIERREZ, FELIPE ; AZEVEDO, DANILO ; Barreto, Marcos ; ZUCOLOTO, RODRIGO
In IEEE International Conference on Cluster Computing (CLUSTER). v. 1. p. 364-370.
Madrid, 2014.

Automatic routine tuning to represent landform attributes on multicore and multi-GPU systems
BORATTO, Murilo C. ; ALONSO, P. ; GIMENE, D. ; BARRETO, Marcos E
In Journal of Supercomputing, Vol. 70, Issue 2, pp. 733-745
Springer, 2014.

Protocolos Auto-Gerenciáveis de Consenso para Sistemas Distribuídos Parcialmente Síncronos
Alirio Sá and Raimundo José de Araújo Macêdo and Heverton Santos Queiroz
In Proceedings of the 4th Workshop on Autonomic Distributed Systems (WoSiDA 2014)
Florianópolis, Brazil, 2014.

Um Mecanismo de Auto-gestão para Sistemas de Armazenamento de Dados Replicados nas Nuvens
Fabiola de Lima Moreira and Alirio Sá
In Proceedings of the 4th Workshop on Autonomic Distributed Systems (WoSiDA 2014)
Florianópolis, Brazil, 2014.

Um Protocolo de Roteamento Adaptativo a Carga de Bateria e a presença de falhas em Redes Moveis Ad hoc
Bruno Santos and Sérgio Gorender
In Anais do IV Workshop de Sistemas Distribuídos Autonômicos (WoSiDA 2014)
Brasil, 2014.

Um Protocolo de Roteamento Dinamico para Redes Veiculares
Margarete Sa and Sérgio Gorender
In Anais do IV Workshop de Sistemas Distribuídos Autonômicos (WoSiDA 2014)
Brasil, 2014.

A performance evaluation tool for hybrid and dynamic distributed systems
Allan Edgard and Raimundo Macêdo
In ACM SIGOPS - Operating Systems Review, Vol. 4, Issue 1, pp. 11-18
ACM, 2014.

Interação de Características na composição de Serviços Web: Prevenindo a violação dos requisitos do usuário
Roberto de Cerqueira Figueiredo ; Daniela Barreiro Claro ; Macêdo, Raimundo José Araújo; ANDRADE, Aline Maria Santos
In ANAIS do X Simpósio Brasileiro de Sistemas de Informação - SBSI, v. 1. p. 1-8
Londrina, 2014.

A Systematic Model-Based Approach for Feedback Control Trade-Off Evaluation in Autonomic Systems
ANDRADE, Sandro Santos ; Macêdo, Raimundo José Araújo
In Proceedings of the IV Workshop on Autonomic Distributed Systems, v. 1. p. 1-4
Brasilia, 2014.

Do Search-Based Approaches Improve the Design of Self-Adaptive Systems ? A Controlled Experiment
ANDRADE, Sandro Santos ; Macêdo, Raimundo José Araújo
In Proceeding of the 28th Brazilian Symposium on Software Engineering (SBES 2014), v. 1. p. 1-10
IEEE, 2014.

Extração de Relações utilizando Features Diferenciadas para Português
SOUZA, E. N. P. ; CLARO, D. B.
In Linguamática (Braga), v. 6, p. 57-65
2014.

Interação de Características na composição de Serviços Web: Prevenindo a violação dos requisitos do usuário
FIGUEIREDO, R. ; CLARO, D. B. ; MACEDO, R. J. A. ; ANDRADE, A. M. S.
In X Simpósio Brasileiro de Sistemas de Informação (SBSI). Anais do X Simpósio Brasileiro de Sistemas de Informação
Londrina, 2014.

Optimizing QoS in Adaptive Real-Time Systems with Energy Constraint Varying CPU Frequency
Camponogara, Eduardo; Lima, George; MOSSE, DANIEL; NASSIFFE, RIAD
In III Brazilian Symposium on Computing Systems Engineering. p. 101-106
Niteroi, 2013.

RTEMS Core Analysis for Space Applications
Nicodemos, Fernando; Saotome, Osamu; Lima, George
In III Brazilian Symposium on Computing Systems Engineering. p. 125-130.
Niteroi, 2013.

Multiprocessor Real-Time Scheduling with a Few Migrating Tasks
JUNIOR, J. AUGUSTO SANTOS; Lima, George; BLETSAS, KONSTANTINOS; Kato, Shinpei
In IEEE 34th Real-Time Systems Symposium. p. 170-181
Vancouver, 2013.

Optimizing QoS in energy-aware real-time systems
NASSIFFE, R. M. ; Camponogara, Eduardo ; LIMA, George
In SIGBED Review, v. 10, p. 25-25, 2013.
2013.

Efficient schedulability tests for real-time embedded systems with urgent routines
SANTOS, J. AUGUSTO ; Lima, George ; BLETSAS, KONSTANTINOS
In Design Automation for Embedded Systems, v. 1, p. 1-20, 2013.
2013.

Robot ontologies for sensor- and Image-guided surgery.
HAIDEGGER, TAMAS ; Barreto, Marcos ; GONCALVES, PAULO J. S. ; HABIB, MAKI K. ; RAGAVAN, S. VEERA ; LI, HOWARD ; VACCARELLA, ALBERTO ; PERRONE, ROBERTA ; PRESTES, EDSON
In IEEE International Symposium on Robotic and Sensors Environments (ROSE). v. 1. p. 19-24..
Washington, 2013.

Defining positioning in a core ontology for robotics
CARBONERA, JOEL LUIS ; RAMA FIORINI, SANDRO ; PRESTES, EDSON ; JORGE, VITOR A. M. ; ABEL, MARA ; MADHAVAN, RAJ ; LOCORO, ANGELA ; GONCALVES, PAULO ; HAIDEGGER, TAMAS ; BARRETO, Marcos E. ; SCHLENOFF, CRAIG .
In International Conference on Intelligent Robots and Systems. v. 1. p. 1867-1872.
Tokyo, 2013.

Providing volunteer computing at the infrastructure level to support e-science applications
GUTIERREZ, F. O. ; Barreto, Marcos ; GOMES, A. T. .
In Anais do XXXIII Congresso da Sociedade Brasileira de Computacao (CSBC). Porto Alegre: SBC, 2013. v. 1. p. 1879-1887.
Porto Alegre, 2013.

Auto-tuning methodology to represent landform attributes on multicore and multi-GPU systems
Boratto, Murilo ; Alonso, Pedro ; GIMENEZ, DOMINGO ; Barreto, Marcos ; OLIVEIRA, KAROLYNE
In Proceedings of the International Workshop on Programming Models and Applications for Multicores and Manycores (PMAM 2013). New York: ACM Press. v. 1. p. 125-132.
New York, 2013.

Towards a core ontology for robotics and automation
PRESTES, EDSON ; CARBONERA, J. L. ; FIORINI, S. R. ; JORGE, V. A. M. ; ABEL, M. ; MADHAVAN, RAJ ; LOCORO, A. ; GONCALVES, PAULO J. S. ; Barreto, Marcos ; HABIB, MAKI ; CHIBANI, ABDELGHANI ; GERARD, SEBASTIEN ; AMIRAT, Y. ; SCHLENOFF, C.
In Robotics and Autonomous Systems, Vol. 61, Issue 11
Elsevier, 2013.

Ubiquitous robotics: Recent challenges and future trends
CHIBANI, ABDELGHANI ; AMIRAT, YACINE ; MOHAMMED, S. ; MATSON, E. ; HAGITA, N. ; Barreto, Marcos .
In Robotics and Autonomous Systems, Vol. 61, Issue 11
Elsevier, 2013.

Applied ontologies and standards for service robots. Robotics and Autonomous Systems
HAIDEGGER, T. ; BARRETO, Marcos E. ; GONCALVES, P. J. S. ; HABIB, M. ; RAGAVAN, V. ; LI, H. ; VACCARELLA, ALBERTO ; PERRONE, R. ; SILVA JUNIOR, E. P.
In Robotics and Autonomous Systems, Vol. 61, Issue 11
Elsevier, 2013.

Maximum Lifetime Broadcast in Mobile Sensor Networks
Bruno Nunes, Frederico Barboza and Flávio Assis
In International Conference on Ad Hoc Networks and Wireless - ADHOCNOW 2013 - Lecture Notes in Computer Science (LNCS)
Polônia, 2013.

Adaptive Request Batching for Byzantine Replication
Alírio Santos de Sá and Allan Edgard Silva Freitas and Raimundo José de Araújo Macêdo
In ACM SIGOPS Operating Systems Review, ACM, v. 47, n. 1
2013.

Dos Sistemas Distribuídos Self-aware
Raimundo José de Araújo Macêdo and Allan Edgard Silva Freitas
In Proceedings of the 3rd Workshop on Autonomic Distributed Systems (WoSiDA 2012)
Brasilia, Brazil, 2013.

Enhancing Group Communication with Self-Manageable Behavior
Raimundo José de Araújo Macêdo and Allan Edgard Silva Freitas and Alirio Sá
In Journal of Parallel and Distributed Computing (JPDC'2013), v. 73, n. 4, p.420-433
Elsevier, 2013.

Just-in-Time Clouds: Uma abordagem para Federação de Clouds Privadas
Edigley Fraga and Jonathan Brilhante and Rostand Costa and Francisco Brasileiro and Pedro Bignatto and Diego Desani and Hermes Senger and Airton Pereira and Vinícius Garcia and Rodrigo Assad and Fernando Trinta and Ana Cristina Oliveira and Henryson Chagas and Aleciano Ferreira and Marco Spohn and Reinaldo Gomes and Philippe Navaux and Eduardo Roloff and Otávio Carvalho and Marcos Barreto and Raimundo José de Araújo Macêdo and Alirio Sá
In Anais do XXXI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2013)
Brasília, Brasil, 2013.

Composição autonômica de serviços web para prevenir ou minimizar interaçõees de características
Roberto de Cerqueira Figueiredo ; Daniela Barreiro Claro ; De Araujo Macedo, Raimundo ; ANDRADE, Aline Maria Santos
In Anais do III Workshop on Autonomic Distributed Systems (Wosida),p. 35-38
Brasilia, 2013.

MTP: Model Transformation Profile
Mascarenhas, Ana Patrícia Fontes Magalhães ; Andrade, Aline Maria Santos ; Maciel, Rita Suzana Pitangueira
In Proceedings of the 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS)
Brasília, Brasil, 2013.

Toward the Revision of CTL Models through Kripke Modal Transition Systems
Guerra, P. T. ; Andrade, Aline M. S. ; Wassermann, R.
In Proceedings of the 16th Brazilian Symposium on Formal Methods (SBMF 2013)
Brasília, Brazil, 2013.

An Experiment of Verification of Multi-agent Robotic Soccer Plans with Model Checking
Silva, R. C. B. A. ; Andrade, Aline M. S. ; Costa, A. L. ; Barboza, F. J. R.
In Anais do VII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC 2013)
São Paulo, Brasil, 2013.

Supporting model-driven development using a process-centered software engineering environment
Maciel, R. S. P. ; GOMES, R. A. ; MAGALHÃES, A. P. ; Silva, Bruno Carreiro da ; QUEIROZ, J. P. B.
In Automated Software Engineering, v. 20, Issue 3, pp 427-461
Springer, 2013.

AN ONTOLOGY FOR A FAULT TOLERANT TRAFFIC INFORMATION SYSTEM
GORENDER, S. ; Silva, I .
In 22nd International Congress of Mechanical Engineering (COBEM 2013)
Ribeirão Preto, 2013.

Uma Arquitetura de Rede para Serviços de Comunicação Autonomos
Sá Margarete ; GORENDER, S.
In Workshop de Sistemas Distribuídos Autonomos
Brasília, 2013.

Sufficient Schedulability Tests for EDF-Scheduled Real-Time Systems under Interference of a High Priority Task
SANTOS JR., J. AUGUSTO ; Lima, George
In Brazilian Symposium on Computing System Engineering. p. 131
Natal, 2012.

Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach
Regnier, Paul ; Lima, George ; Massa, Ernesto ; LEVIN, GREG ; BRANDT, SCOT
In Real-Time Systems, v. 29, p. 436-474, 2012
2012.

Optimizing quality of service in real-time systems under energy constraints
Nassiffe, Riad ; Camponogara, Eduardo ; Lima, George
In Operating Systems Review, v. 46, p. 82-92,
2012.

Towards an upper ontology and methodology for robotics and automation
PRESTES, EDSON ; CHIBANI, ABDELGHANI ; SAFFIOTTI, ALESSANDRO ; SCHLENOFF, CRAIG ; GERARD, SEBASTIEN ; SANZ, RICARDO ; BARRETO, Marcos E. ; MADHAVAN, RAJ ; AMIRAT, YACINE
In Proceedings of the 2012 ACM Conference on Ubiquitous Computing - UbiComp '12. New York: ACM Press. v. 1. p. 873-882.
New York, 2012.

Nesting the context for pervasive robotics
HAIDEGGER, TAMAS ; BARRETO, Marcos E. ; GONCALVES, PAULO J. S. ; HABIB, MAKI ; RAGAVAN, VEERA ; SCHLENOFF, CRAIG ; VACCARELLA, ALBERTO ; PRESTES, EDSON
In Proceedings of the 2012 ACM Conference on Ubiquitous Computing - UbiComp '12. New York: ACM Press. v. 1. p. 826-833.
New York, 2012.

Parallel algorithm for landform attributes representation on multicore and multi-GPU systems
BORATTO, Murilo C. ; BARRETO, Marcos E. ; COELHO, L. ; RAMIRO, C. ; ALONSO, P.
In Procedia Computer Science. Amsterdam: Elsevier. v. 9. p. 47-56.
Omaha, 2012.

Heterogeneous Computational Model for Landform Attributes Representation on Multicore and Multi-GPU Systems
Boratto, Murilo ; Alonso, Pedro ; Ramiro, Carla ; BARRETO, Marcos E.
In Lecture Notes in Computer Science (LNCS). Berlin Heidelberg: Springer-Verlag, 2012. v. 7333. p. 29-43.
Salvador, 2012.

A Localized Algorithm for the Maximum Lifetime Broadcast Problem with Asymmetric Edge Costs
Bruno Nunes, Frederico Barboza and Flávio Assis
In International Conference on Ad Hoc Networks and Wireless - ADHOCNOW 2013 - Lecture Notes in Computer Science (LNCS)
Cambridge, Massachusetts, 2012.

Impacto de Métricas de QoS no Desempenho de Detectores Auto-gerenciáveis de Defeitos para Sistemas Distribuídos
Alírio Sá and Raimundo Macêdo
In Anais do XXX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2012)
Ouro Preto, 2012.

Acompanhamento e Prescrição Assistida através de um Sistema de Controle de Anticoagulação
SANTOS A. M..; CLARO, D.B.; BARRETO L. P., GERALDES, M. F. A., ALMEIDA, G. Q.
In Anais do Escola Regional de Informática Bahia, Sergipe e Alagoas (XII ERBASE/WTICG)
Juazeiro, Bahia Brasil, 2012.

Auto-Configuração de Máquina de Estados Tolerante a Falhas Bizantinas
Alirio Sá and Allan Edgard and Raimundo Macêdo
In Anais do II Workshop de Sistemas Distribuídos Autonômicos (WoSiDA 2012)
Ouro Preto, MG, Brasil, 2012.

Discovering cloud services by preconditions and effects for compositions
ERDENS L.; CLARO, D.B.; LOPES D. C. P.; ALBERS P.
In Proceedings of the14th International Conference on Enterprise Information Systems (ICEIS)
Wroclaw, Poland, 2012.

Generating correct compositions of semantic web services with respect to temporal constraints
CLARO, D.B. ; MACHADO, E. Z. A. ; ANDRADE, A. M. S.
In Proceedings of the 18th Brazilian Symposium on Multimedia and the Web (WEBMEDIA)
São Paulo, Brazil, 2012.

A Vision on Autonomic Distributed Systems
Raimundo José de Aráujo Macêdo
In Anais do III Workshop on Autonomic Distributed Systems (WoSiDA2012)
Ouro Pretio, MG, Brazil, 2012.

Request Batching Self-Configuration in Byzantine Fault-Tolerant Replication
Alírio Santos de Sá and Allan Edgard Silva Freitas and Raimundo José de Araújo Macêdo
In Proceedings of the 2nd Brazilian Symposium on Computing System Engineering: Operating Systems Workshop (SBESC-WSO 2012)
Natal, Brazil, 2012.

Abstract Specification and Formalization of an Operating System Kernel in Z
Luciano Barreto and Aline Andrade and Adolfo Duran and Caique Lima and Ademilson Lima
In Operating Systems Review, v. 45, n. 1, pp. 156-160
ACM, 2011.

A Self-Manageable Group Communication Protocol For Partially Synchronous Distributed Systems
Raimundo José de Araújo Macêdo and Allan Freitas and Alírio Sá
In Proceedings of Fifth Latin-American Symposium on Dependable Computing
São José dos Campos, Brazil, 2011.

Integração do mecanismo de Self-healing no tratamento das Composição de Sistemas de Informação através dos Serviços Web Semânticos
FERREIRA, M. R. AND CLARO, D. B. AND LOPES, D. C. P.
In VII Simpósio Brasileiro de Sistemas de Informação
Salvador, Bahia, 2011.

Um Algoritmo Eficiente de Consenso Distribuído para o Modelo Síncrono Particionado
Sérgio Gorender and Raimundo José de Araújo Macêdo
In Anais do XXIX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos
Campo Grande, 2011.

MASPOT: A Mobile Agent System for Sun SPOT
Ramon Lopes and Flávio Assis and Carlos Montez
In Proceedings of the 10th IEEE International Symposium on Autonomous Decentralized Systems (ISADS 2011)
Kobe, Japan, 2011.

A Topology Control Algorithm for Interference and Energy Efficiency in Wireless Sensor Networks
Hugo Braga and Flávio Assis
In Proceedings of the 10th International Conference on Ad Hoc Networks and Wireless ADHOC-NOW 2011 - LNCS (Lecture Notes in Computer Science) 6811
Paderborn, Germany, 2011.

Improving Web Service Discovery by a Functional and Structural Approach
Claro, Daniela ; AMORIM, R. ; Denivaldo Lopes ; Patrick Albers ; ANDRADE, A. M. S.
In Proceedings of the 9th International Conference of Web Services (ICWS'2011), pp. 411-418
Washington D.C., 2011.

A Localized Algorithm based on Minimum Cost Arborescences for the MECBS Problem with Asymmetric Edge Costs
Frederico Barboza and Flávio Assis
In Proceedings of the Third International ICST Conference on Ad Hoc Networks - ADHOCNETS 2011
Paris, France, 2011.

An MDA Approach to Model Transformation Development
MAGALHÃES, Ana Patrícia; Andrade, Aline; MACIEL, R. S.; FARINES, J. M.
In In: II Workshop Brasileiro de Desenvolvimento de Software Dirigido por Modelos
São Paulo, Brasil, 2011.

Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems
Muniz, Andre L. N. ; Andrade, Aline M. S. ; Lima, George
In Innovations in Systems and Software Engineering (Print), v. 6, p. 29-37
2010.

Optimization-Based Dynamic Reconfiguration of Real-Time Schedulers With Support for Stochastic Processor Consumption
Camponogara, Eduardo ; Oliveira, Augusto Born ; Lima, George
In IEEE Transactions on Industrial Informatics, v. 6, p. 594-609
2010.

Sistema de Agentes Móveis para Sun SPOT
Lopes, R. ; ASSIS, F. ; Montez, C.B.
In WTICG-BASE 2010 (Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Alagoas-Sergipe)
Maceió, AL, 2010.

A Bandwidth Reservation Strategy for Multiprocessor Real-Time Scheduling
Ernesto Massa and George Lima
In Proc. of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium
Stockholm, Sweden, 2010.

Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems
André Muniz and Aline Andrade and George Lima
In Innovations in Systems and Software Engineering, v. 6, n. 1-2, pp 29-37
Springer-Verlag, 2010.

Exploiting Partitioned Synchrony to Implement Accurate Failure Detectors
Raimundo Macêdo and Sérgio Gorender
In International Journal of Critical Computer-Based Systems (IJCCBS)
USA, 2010.

QoS Self-Configuring Failure Detectors For Distributed Systems
Alírio Sá and Raimundo Macêdo
In 10th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS)
Amsterdam-Holland, 2010.

Explorer Pattern Tool Adaptive: Uma Ferramenta para Mineração de Dados Utilizando Algoritmos Genéticos Adaptativo
Lorena Mascarenhas and Daniela Barreiro Claro
In WTICG/ERBASE (Escola Regional de Informática - Bahia, Alagoas, Sergipe)
Maceió/AL, 2010.

Ampliando a Disponibilidade e Confiabilidade em Ambientes de Serviços Web Stateful
Igor Nogueira and Daniela Barreiro Claro and Marcelo Luz
In WTF (Workshop de Testes e Tolerância a Falhas) / SBRC2010
Gramado/RS - Brazil, 2010.

Group Communication for Self-Aware Distributed Systems
Raimundo Macêdo and Allan Freitas
In Proceedings of the XXVIII Brazilian Symposium on Comptuter Network and Distributed Systems (SBRC)
Gramado, RS, BRASIL, 2010.

Consenso com Recuperação no Modelo Partitioned Synchronous
Sérgio Gorender e Raimundo Macêdo
In Anáis do XI Workshop de Testes e Tolerância a Falhas
Gramado, Brazil, 2010.

Controle de Admissão para QoS em Sistemas Distribuídos Híbridos, Tolerantes a Falhas
Sérgio Gorender, Raimundo Macêdo e Waltemir Pacheco Júnior
In Anáis do XI Workshop de Testes e Tolerância a Falhas
Gramado, Brazil, 2010.

Detectores de Defeitos Autonômicos para Sistemas Distribuídos
Alírio Sá and Raimundo Macêdo
In Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC)
Gramado, RS, Brasil, 2010.

Similaridade Semântica na Composição de Sistemas de Informação através dos Serviços Web
Vanessa Aline Sena and Daniela Barreiro Claro and Rodrigo Amorim and Denivaldo Lopes
In VI Simpósio Brasileiro de Sistemas de Informação (SBSI 2010)
Marabá/PA, 2010.

Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems
André L. N. Muniz and Aline M. S. Andrade and George Lima
In Journal of Innovations in Systems and Software Engineering (Springer)
Volume 6, Numbers 1-2, p.29-37, 2010.

Trabalhando com alunos de ensino fundamental e médio para a descoberta de talentos em computação: um relato de experiências
Efraim Zalmoxis de Almeida Machado and Igor Rodrigo Vasconcelos and Karla Malta Amorim and Aline M. S. Andrade and Luciano Porto Barreto
In Anais do Workshop de Inclusão Digital (WIND 2010)
Maceió, Brazil, 2010.

Uma Abordagem Adaptativa para Detecção de Falhas em Redes Veiculares Ad hoc
Eduardo Cambruzzi and Jean-Marie Farines and Raimundo Macêdo and Kraus Werner
In Anais do XXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC)
Gramado, RS, Brasil, 2010.

Uma Experiência em Escolas de Ensino Médio e Fundamental para a Descoberta de Jovens Talentos em Computação
MACHADO, E. Z. A. ; Vasconcelos, I. R. S. ; Amorim, K. M. ; ANDRADE, A. M. S. ; BARRETO, L. P. ; ABDALLA, Débora
In In: Workshop de Educação em Informática (WEI'2010)
Belo Horizonte, MG, Brasil, 2010.

An Adaptive Failure Detection System for Vehicular Ad-hoc Networks
Eduardo Cambruzzi and Jean-Marie Farines and Raimundo Macêdo and Kraus Werner
In 2010 IEEE Intelligent Vehicles Symposium (IV 2010)
San Diego, USA, 2010.

Avaliação sobre a inclusão de estimadores baseados em filtragem de Kalman em sistemas de controle via rede
Tanisia Foletto and Victor Moraes and Ubirajara Moreno and Alírio Sá and Raimundo Macêdo
In XVIII Congresso Brasileiro de Automática
Bonito MS, 2010.

A Tool for Simulating Mobile Agent Applications on Wireless Sensor Networks
Marcos Camada and Carlos Montez and Flávio Assis
In Proceedings of the WTR2010 - 12th Brazilian Workshop on Real-Time and Embedded Systems
Gramado, RS, 2010.

Especificação Abstrata do Núcleo de um Sistema Operacional e sua Formalização na Linguagem Z
BARRETO, L. P. ; Andrade, Aline M. S. ; DURAN, A. A. ; Lima, C. S. L. ; Lima, A. S.
In In: VII Workshop de Sistemas Operacionais (WSO'2010)
Belo Horizonte, MG, Brasil, 2010.

An Approach for Model Driven Testing: framework, metamodels and tools
Helaine Souza AND Denivaldo Lopes AND Zair Abdelouahab AND Daniela Claro AND Slimane Hammoudi
In International Journal of Computer Systems Science and Engineering
2010.

Requisitos de um Framework para Gerenciamento de Agentes Móveis em Redes de Sensores Sem Fio
Oliveira, R. ; ASSIS, F. ; Montez, C.B
In WTICG - Workshop de Trabalhos de Iniciação Científica e de Graduação
Ilhéus, Bahia, 2009.

Perfect Failure Detection in the Partitioned Synchronous Distributed System Model
Raimundo Macêdo and Sérgio Gorender
In Proceedings of the The Fourth International Conference on Availability, Reliability and Security (ARES 2009), IEEE CS Press.
Fukuoka, Japan, 2009.

A Step Forward in Semi-Automatic Metamodel Matching: Algorithms and Tool
José Geraldo Sousa and Denivaldo Lopes and Daniela Barreiro Claro and Zair Abdelouahab
In 11th International Conference on Enterprise Information Systems (ICEIS2009). Lecture Notes in Business Information Processing (Springer)
Milan, Italy, 2009.

Dynamic Reconfiguration in Reservation-Based Scheduling: An Optimization Approach
Augusto Born de Oliveira and Eduardo Camponogara and George Lima
In 15th IEEE Real-Time and Embedded Technology and Applications Symposium.
San Francisco, EUA, 2009.

Gerenciando o desenvolvimento de uma composição de Serviços Web Semânticos através do OWL-S Composer
André de Amorim Fonseca and Daniela Barreiro Claro and Denivaldo Cícero Pavão Lopes
In Proceedings of the 5th Brazilian Symposium of Information Systems (SBSI2009)
Brasilia, DF, Brazil, 2009.

A Non-Intrusive Component-Based Approach for Deploying Unanticipated Self-Management Behaviour
Sandro Santos Andrade and Raimundo José de Araújo Macêdo
In Proceedings of IEEE ICSE 2009 Workshop Software Engineering for Adaptive and Self-Managing Systems
Vancouver, CANADA, 2009.

A Generic Group Communication Approach for Hybrid Distributed Systems
Raimundo Macêdo and Allan Freitas
In 9th IFIP international conference on Distributed Applications and Interoperable Systems (LNCS, Springer)
Lisbon, Portugal, 2009.

A Topology Control Algorithm for Wireless Sensor Networks that Considers Overhearing
Flávio M. Assis Silva and Ulisses Telemaco Neto
In The 9th IEEE International Symposium on Autonomous Decentralized Systems - ISADS 2009
Athens, Greece, 2009.

Um Ambiente para Testes e Simulações de Protocolos Confiáveis em Sistemas Distribuídos Híbridos e Dinâmicos
Allan Edgard Silva Freitas and Raimundo José de Araújo Macêdo
In Proceedings of 27th Brazilian Symposium on Computer Networks and Distributed Systems (SBRC2009)
Recife, Pernambuco, Brasil, 2009.

Simulation Scenarios: a Means of Deriving Fault Resilience for Real-Time Systems
George Lima, Flávia Maristela Nascimento
In 11th Brazilian Workshop on Real-Time and Embedded Systems
Recife - PE, 2009.

Experimental Analysis of Bandwidth Reservation Adaptive Schemes for Real-Time Systems
Augusto Born de Oliveira, George Lima, Eduardo Camponogara
In 11th Brazilian Workshop on Real-Time and Embedded Systems
Recife - PE, 2009.

On the Use of Hard and Soft Reservation Schemes in Constant Bandwidth Servers
Alexandre Passos, George Lima
In 11th Brazilian Workshop on Real-Time and Embedded Systems
Recife - PE, 2009.

Aspectos de Replicação em Serviços Web Stateful através do Axis2
Igor Nogueira and Daniela Barreiro Claro
In WTICG/ERBASE 2009
Ilhéus, Bahia, 2009.

Explorer Pattern Tools: Uma Ferramenta para Mineração de Dados Utilizando Algoritmos Genéticos
Joilma Santos and Daniela Barreiro Claro
In WTICG/ERBASE 2009 - 2º lugar na premiação dos Melhores Trabalhos do WTICG 2009
Ilhéus, Bahia, 2009.

Uma Análise Conceitual das Linguagens Semânticas de Serviços Web focando nas composições: comparação entre OWL-S, WSMO e SAWSDL
Douglas Oliveira and Cinara Menegazzo and Daniela Barreiro Claro
In IADIS Conferência Ibero-Americana WWW/Internet (CIAWI 2009)
Alcalá - Madrid, Spain, 2009.

Uma Proposta de Detector de Defeitos Autonômico Usando Engenharia de Controle
Alírio Sá and Raimundo Macêdo
In X Workshop de Testes e Tolerância a Falhas (WTF 2009)
João Pessoa, 2009.

Deriving a Fault Resilience Metric for Real-Time Systems
Flávia Maristela Nascimento and George Lima and Verônica Cadena Lima
In Workshop de Testes e Tolerância a Falhas
João Pessoa/PB, 2009.

An Integrated Approach for Model Driven Process Modeling and Enactment
Rita Suzana Pitangueira Maciel AND Bruno Carreiro da Silva AND Ana Patrícia Fontes Magalhães AND Nelson Souto Rosa
In Anais do XXIII Simpósio Brasileiro de Engenharia de Software (SBES 2009)
Fortaleza, 2009.

Transforms: Um Ambiente de Apoio a Modelagem e Execução de Processos de Software Dirigido por Modelos
Bruno C. da Silva and Ana Patrícia F. Magalhães and Rita Suzana P. Maciel and
In XXIII Simpósio Brasileiro de Engenharia de Software -
XVI Sessão de Ferramentas, 2009.

An Approach for Estimating Execution Time Probability Distributions of Component-based Real-Time Systems
Ricardo Perrone and Raimundo Macêdo and George Lima and Verônica Lima
In Journal of Universal Computer Science, vol. 15, no. 11 (2009), 2142-2165
http://www.jucs.org/jucs_15_11, 2009.

Building Test Cases through Model Driven Engineering
Helaine Sousa and Denivaldo Lopes and Zair Abdelouahab and Slimane Hammoudi and Daniela Barreiro Claro
In IEEE International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering(CISSE 09)
Springer Netherlands, 2009.

Uma Ferramenta para Verificação Formal de Sistemas de Tempo Real Baseados em Componentes a partir de Diagramas UML
Paulo H. O. Souza and André L. N. Muniz, Aline M. S. Andrade
In Anais do WTICG 2009
Ilhéus, Bahia, Brazil, 2009.

Implementação da política EDF no Xenomai
José Augusto Santos Jr and George Lima
In VI Workshop de Sistemas Operacionais
Bento Gonçalves, 2009.

Aplicação e Análise de Teoria de Controle Realimentado no Tratamento de Faltas de Páginas em Sistemas de Gerenciamento de Memória
Ivo Santos Cavalcante Carneiro and Luciano Porto Barreto and Alirio Sá
In Anais do VI Workshop de Sistemas Operacionais (WSO'2009)
Bento Gonçalves, Brasil, 2009.

Supporting Awareness in Groupware through an Aspect-Oriented Middleware Service
Maciel, R. S. P. ; DAVID, J. M. N. ; Michel Oei ; Bastos, Adriano A. ; Menezes, Leandro
In Journal of Universal Computer Science (Online), v. 15, Issue 9, p. 1945-1969
JUCS, 2009.

Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems
Frederico J.R. Barboza and Aline M.S. Andrade , Flávio Assis Silva AND George Lima
In Electronic Notes in Theoretical Computer Science
Elsevier, 2008.

Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time System
BARBOZA, F.; ANDRADE, A.; SILVA, F.; LIMA, G.
In Electronic Notes in Theoretical Computer Science, v. 195, p. 3-20
Elsevier, 2008.

Online Schedulability Tests for Real-Time Systems
George Lima and Ana Carolina Sokolonski and Eduardo Camponogara
In X Workshop de Tempo Real e Sistemas Embarcados
Rio de Janeiro, 2008.

Detectores Perfeitos em Sistemas Distribuídos Não Síncronos
Raimundo Macêdo and Sérgio Gorender
In IX Workshop de Teste e Tolerância a Falhas (WTF 2008)
Rio de Janeiro, Brasil, 2008.

Reconfiguração Dinâmica de Componentes em Sistemas Distribuídos de Controle e Supervisão, com Aplicação a Tolerância a Falhas
Neima Santos and Raimundo Macêdo and Luciano Barreto
In Anais do IX Workshop de Teste e Tolerância a Falhas (WTF 2008)
Rio de Janeiro, Brasil, 2008.

A GA-Based Approach to Dynamic Reconfiguration of Real-Time Systems
Marco Simões and George Lima and Eduardo Camponogara
In Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 08)
St. Louis, MO, USA, 2008.

Dynamic Reconfiguration of Constant Bandwidth Servers
Augusto Born de Oliveira and Eduardo Camponogara and George Lima
In 10th Brazilian Workshop on Real-Time and Embedded Systems
Rio de Janeiro, Brazil, 2008.

Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems
George Lima and Eduardo Camponogara and Ana Carolina Sokolonski
In 20th IEEE Euromicro Conference on Real-Time Systems (ECRTS 2008)
Prague, Czech Republic, 2008.

Estimating Execution Time Probability Distributions in Component-based Real-Time Systems
Ricardo Perrone and Raimundo Macêdo and George Lima and Verônica Lima
In Proceedings of the 10th Brazilian Workshop on Real-time and Embedded Systems
Rio de Janeiro, Brasil, 2008.

Dependable Web Service Compositions using a Semantic Replication Scheme
Daniela Barreiro Claro and Raimundo José de Araújo Macêdo
In Anais do XXVI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2008)
Rio de Janeiro, RJ, Brasil, 2008.

Explorer Fuzzy Tree: uma ferramenta para experimentação de técnicas de classificação baseadas em árvores de decisão fuzzy
Erick Nilsen Pereira de Souza and Daniela Barreiro Claro
In ERBASE 2008 - WTICG-BASE (Workshop de Trabalhos de Iniciação Científica e Graduação Bahia, Alagoas e Sergipe)
Salvador, Bahia, 2008.

Avaliação do determinismo temporal no tratamento de interrupções em plataformas de tempo real Linux
Paul Regnier and George Lima and Luciano Barreto
In Anais do 5o. Workshop de Sistemas Operacionias
Belém - Pará, 2008.

Um Procedimento para Avaliação de Redes Ethernet Comutada Baseada em uma Métrica de Qualidade de Controle
Alírio Sá and Raimundo Macêdo and Tito Santos and Ubirajara Moreno
In XVII Congresso Brasileiro de Automática (CBA)
Juiz de Fora, Minas Gerais, Brasil, 2008.

Uma Abordagem para Estimar Tempos de Execução em Sistemas de Tempo Real Baseados em Componentes
Ricardo Perrone and Raimundo Macêdo and George Lima and Verônica Lima
In II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2008)
Porto Alegre, 2008.

Separação e Validação de Regras de Negócio MDA através de Ontologias e Orientação à Aspectos
Jaguaraci Batista Silva and Luciano Porto Barreto
In II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS)
Porto Alegre, 2008.

A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol
Paul Regnier and George Lima and Aline Andrade
In Anais do XI Simpósio Brasileiro de Métodos Formais (SBMF 2008)
Salvador, 2008.

Personalized Reliable Web service Compositions
Daniela Barreiro Claro and Oriana Licchelli and Patrick Albers and Raimundo José de Araújo Macêdo
In Proceedings of 3rd Workshop on Ontologies and their Applications (WONTO 2008) held in conjunction with 19th Brazilian Symposium on Artificial Intelligence (SBIA2008)
Salvador, Bahia, 2008.

Interoperabilidade de Unidades de Aprendizagem do IMS Learning Design em Ambientes Virtuais de Aprendizagem
Luiz Augusto Matos da Silva and Luciano Porto Barreto
In XIX Simpósio Brasileiro de Informática na Educação (SBIE)
Fortaleza, 2008.

An Automatic Translation Approach for Component-Based Real-Time Systems Verification
André L. N. Muniz and Aline M. S. Andrade and George Lima
In Anais do SBMF 2008 Student Track
Salvador, Brasil, 2008.

A topological Approach to Universal Logic: Model-Theoretical Abstract Logics
Steffen Lewitzka
In .-Y. Beziau (Ed.), Logica Universalis, 2nd edition, 35-61, 2007 Birkhäuser Verlag
Basel/Switzerland, 2007.

Abstract Logics, Logic Maps, and Logic Homomorphisms
Steffen Lewitzka
In Logica universalis 1 (2007), 243-276, c 2007 Birkhäuser Verlag
Basel/Switzerland, 2007.

Engineering Components for Flexible and Interoperable Real-Time Distributed Supervision and Control Systems
Sandro Andrade, Raimundo Macêdo
In 12th IEEE Conference on Emerging Technologies and Factory Automation
Patras - Greece , 2007 .

A Priority-Based Consensus Protocol
George Lima and Alan Burns
In Anais do XXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2007)
Belém, Brasil , 2007 .

Suporte à Degradação Controlada em Sistemas de Tempo Real
Ana Carolina Sokolonski and George Lima and Luciano Porto Barreto
In Anais do VIII Workshop de Teste e Tolerância a Falhas (WTF 2007)
Belém, Brasil, 2007.

A Framework for Automatic Composition of RFQ Web Services
Daniela Barreiro Claro and Patrick Albers and Jin-Kao Hao
In IEEE Proceedings of the First Workshop on Web Service Composition and Adaptation (WSCA) held in conjunction with International Conference of Web Services (ICWS'07) IEEE SCW 2007: 221-228
Salt Lake City, Utah, USA, 2007.

Um Framework para Prototipagem e Simulação de Detectores de Defeitos na Construção de Sistemas de Tempo Real
Alírio Sá and Raimundo José de Araújo Macêdo
In Proceedings of VIII Workshop de Teste e Tolerância a Falhas (WTF 2007), p.43-56
Belém, Brazil, 2007.

An Integrated Group Communication Infrastructure for Hybrid Real-Time Distributed Systems
Raimundo José de Araújo Macêdo
In 9th Workshop on Real-Time Systems (WTR 2007), p.81-88
Belém, Brazil, 2007.

An Adaptive Programming Model for Fault-Tolerant Distributed Computing
Sérgio Gorender and Raimundo José de Araújo Macêdo and Michel Raynal
In IEEE Transactions on Dependable and Secure Computing Vol. 4, no. 1, pp. 18-31,
Los Alamitos, CA, USA, 2007.

A Development Process for Mechatronic Products: Integrating Software Engineering and Product Engineering
Ana Patrícia Magalhães and Aline Andrade and Leila Silva and Herman Lepikson
In Proceedings of the IEEE International Conference on Emerging Techonologies and Factory Automation
Patras, Grécia, 2007.

Mapeamento de Diagramas da UML 2.0 em UPPAAL
ANDRADE, A. M. S. ; MUNIZ, André Luís Nunes
In In: Workshop de Trabalhos de Iniciação Científica e de Graduação - IV WTICG
Aracajú, SE, Brasil, 2006.

Computação Distribuída
Raimundo José de Araújo Macêdo.
In W. Giozza, H. Hastenreiter, A. Furtado, P. Magalhães Jr. (Org.), Relatório de Tendências em Tecnologia da Informação e Comunicação.1 ed. Salvador: Secretaria de Ciência, Tecnologia e Inovação - Bahia, v. 1, p. 157-169
Salvador - Bahia, 2006.

Real-Time Component Software For Flexible And Interoperable Automation Systems.
Sandro Santos Andrade and Raimundo José de Araújo Macêdo
In Anais do XII Congresso Brasileiro de Automática (XII CBA) v. 1. p. 3014-3019
Salvador , 2006 .

A Management Tool for Component-Based Real-Time Supervision and Control Systems.
Sandro Santos Andrade and Raimundo José de Araújo Macêdo.
In Simpósio Brasileiro de Engenharia de Software (XIII Sessão de Ferramentas)v. 1. p. 139-144
Florianópolis, 2006.

Deterministic Integration of Hard and Soft Real-Time Communication over Shared-Ethernet.
Paul Regnier and George Marconi de Araújo Lima
In Anais do VII Workshop Brasileiro de Tempo Real, p. 11-18
Curitiba, 2006.

Avaliando o Uso de Servidores para Tarefas Aperiódicas para fins de Tolerância a Falhas em Sistemas com Escalonamento Dinâmico.
Ana Carolina Sokolonski Anton; George Marconi de Araújo Lima
In IV WTICG (Trabalho de Conclusão de Curso)- ERBASE 2006. p. 1-13
Aracajú, 2006 .

Simulador de Escalonamento para Sistemas de Tempo Real.
Gisélia Magalhães Cruz; George Marconi de Araújo Lima
In IV WTICG (Trabalho de Conclusão de Curso) - ERBASE 2006.p. 1-11
Aracajú, 2006.

Avaliando o Impacto de Detectores de Defeitos na Estabilidade de Sistemas de Controle de Tempo Real sobre Redes Convencionais.
Alírio Santos de Sá and Raimundo José de Araújo Macêdo
In WTF 2006 - VII Workshop de Testes e Tolerância à Falhas. pp. 55-66
Curitiba/Brasil, 2006.

Using Real-Time Components to Construct Supervision and Control Applications.
Sandro Santos Andrade; Raimundo José de Araújo Macêdo
In 8th Brazilian Workshop on Real-Time Systems. Working-in-progress track. pp. 115-118
Curitiba, PR, 2006 .

Uma metodologia para o desenvolvimento de produtos mecatrônicos integrando engenharia de software e engenharia de produtos
Ana Patrícia Fontes Magalhães and Aline M. S. Andrade and Leila Silva and Herman Lepikson
In XXVI ENEGEP
Fortaleza, Brasil, 2006.

Adapting Failure Detectors to Communication Network Load Fluctuations Using SNMP and Artificial Neural Nets
Fábio Ramon de Lima e Lima and Raimundo José de Araújo Macêdo
In Second Latin-American Symposium on Dependable Computing (LADC2005), Lecture Notes in Computer Science, Volume 3747, Pages 191 - 205.
Salvador, Bahia, Brasil, 2005.

A Component-Based Real-Time Architecture for Distributed Supervision and Control Applications
Sandro Andrade and Raimundo José de Araújo Macêdo
In Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA2005) p. 15-22.
Catania - New York, 2005.

An Adaptive Failure Detection Approach For Real-time Distributed Control Systems Over Shared Ethernet
Alírio Sá and Raimundo José de Araújo Macêdo
In Proceedings of the 18th International Congress on Mechanical Engineering - Mechatronics Symposium
Ouro Preto - Brasil, 2005.

Engenharia de Domínio aplicada ao Desenvolvimento Robusto e Eficiente de Sistemas Operacionais
Luciano Porto Barreto
In the 19th Simpósio Brasileiro de Engenharia de Software (SBES)
Uberlândia, MG, 2005.

Escalonamento para Sistemas de Tempo Real Tolerantes a Falhas: Um Estudo Empírico
Edinaldo O. de Jesus and George Marconi de Araújo Lima
In Anais do VII Workshop de Tempo Real
Fortaleza, Brasil, 2005 .

The Implementation of a Distributed System Model for Fault Tolerance with QoS.
Raimundo José de Araújo Macêndo and Sérgio Gorender and Paulo Cunha
In Anais do Simposio Brasileiro de Redes de Computadores (SBRC 2005). p. 827-840
Fortaleza, 2005.

A Hybrid and Adaptive Model for Fault-Tolerant Distributed Computing
Sergio Gorender, Raimundo J. Araújo Macêdo and Michel Raynal
In Proceedings of IEEE/IFIP Int. Conference on Computer Systemas and Networks (DNS05).p. 412-42.
Yokohama, Japan, 2005 .

The mobile groups approach for the coordination of mobile agents
Raimundo J. Araújo Macêdo and Flávio M. Assis Silva
In Journal of Parallel and Distributed Computing. Volume 65, Issue 3, pg. 275-288
Orlando, FL, USA, 2005.

Avaliando Detectores De Defeitos Adaptáveis Em Sistemas De Controle Distribuídos De Tempo Real Sobre Redes Convencionais
Alirio Sá and Raimundo José de Araújo Macêdo
In Proceedings of the Third Workshop On Theses And Dissertations
Salvador, Brasil, 2005.

Extensão de Promela para Especificação de Falhas em Sistemas baseados em Agentes Móveis
AGUIAR, Daniel ; ANDRADE, Aline M Santos ; ASSIS, F
In WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Sergipe
Feira de Santana, Bahia, 2004.

Suporte à Especificação da WfMC no MABflow, um Sistema de Workflow baseado em Agentes Móveis
DANTAS, W. S. ; ASSIS, F.
In II WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Sergipe
Ilhéus, Bahia, 2004.

Geração de Protótipos Confiáveis em Java a partir de Promela
MENEZES, Felipe ; ANDRADE, A. M. S. ; SILVA, Flávio Morais de Assis
In Anais da I Workshop de Trabalhos de Iniciação Científica e Graduação Bahia-Sergipe
Elsevier, 2004.

Uma Arquitetura Baseada em Eventos para Desenvolvimento de Politicas de Escalonamento de Processos
Luciano Porto Barreto
In I Workshop de Sistemas Operacionais (WSO'2004), em conjunto com o XXIV Congresso da Sociedade Brasileira de Computação (CSBC'2004).
Salvador, BA , 2004 .

Implementação e Análise de Desempenho de um Mecanismo Adaptativo para Tolerância a Falhas em Sistemas Distribuídos com QoS
Sérgio Gorender and Raimundo J.A. Macêdo and Matheus Cunha
In V WTF (Workshop de Testes e Tolerância a Falhas) em conjunto com SBRC 2004.pp.3-14, ISBN: 85-88442-81-7
Gramado/RS, 2004.

Um ambiente para especificação e verificação automática de aplicações baseadas em agentes móveis
A.M.S.Andrade and F.M.Assis Silva and F.J.R.Barboza and R.A.R.Oliveira.
In Anais do 22o. Simpósio Brasileiro de Redes de Computadores, SBRC'2004. pp.807-820, ISBN: 85-88442-81-7
Gramado, RS , 2004.

The MARES Platform: Support for Transactional and Fault-tolerant Execution of Mobile Agent-based Applications
ASSIS, F. ; MACÊDO, Raimundo José de Araújo ; FREITAS, Ana Vitoria Piaggio de
In IV Workshop de Testes e Tolerância a Falhas - WTF 2003 - 21o. Simpósio Brasileiro de Redes de Computadores - SBRC
Salvador, Bahia, 2003.

Geração de Código Java a partir de Especificações Promela
SENA, Izi Silva ; ASSIS, F. ; ANDRADE, Aline M Santos
In I Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia Sergipe - III Escola Regional de Computação Bahia Sergipe
Salvador, Bahia, 2003.

Implementação de um Suporte Transacional para Aplicações baseadas em Agentes Móveis
FREITAS, Ana Vitoria Piaggio de ; ASSIS, F.
In I Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia Sergipe - III Escola Regional de Computação Bahia Sergipe
Salvador, Bahia, 2003.

Executing Workflows with Mobile Agents from UML Specifications
ASSIS, F. ; SILVA, Paulo Sérgio ; SANTOS, Neima P ; SANTOS, Jorge Al ; CORREIA JR, Alfrânio Tavares ; SELCH, João Carlos ; LUZ, Sergio ; ARGOLLO, Siddhartha L
In V Workshop de Comunicação sem Fio e Computação Móvel - WCSF2003
São Lourenço, MG, 2003.

A Consensus Protocol for CAN-Based Systems.
George Lima and Alan Burns.
In Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS)
Cancun, Mexico, 2003.

Atendendo aos Requisitos de QoS de Aplicações Multimídia através da Especialização de Serviços do Sistema Operacional.
Luciano Porto Barreto.
In Simpósio Brasileiro de Sistemas Multimídia e Web (WEBMÍDIA'2003)
Salvador, 2003.

MARES Platform: Support for Transactional and Fault-tolerant Execution of Mobile Agent-based Applications
Flávio M. Assis Silva and Raimundo J.A. Macêdo and Ana Vitoria Piaggio Freitas.
In In Proceedings of the 4th Workshop on Tests and Faut-Tolerance (co-located with the XXI Brazilian Symposium on Computer Networks) pp. 71-78
Natal - Brazil, 2003.

Extensão da Linguagem Promela para Especificação de Sistemas baseados em Agentes Móveis.
Aline Santos Andrade and Flávio Assis Silva and Frederico J.R. Barboza.
In IV Workshop de Comunicação sem Fio (WCSF'2002)
São Paulo, 2002.

Solving the Group Priority Inversion Problem in a Timed Asynchronous System.
Y. Wang and E. Anceaume and Francisco Brasileiro and Fabíola Greve and Michel Hurfin
In IEEE Transactions on Computers. vol. 51, num. 8, pp. 900-915.
Washington, DC, USA, 2002.

A Dynamically QoS Adaptable Consensus and Failure Detector.
Sergio Gorender and Raimundo Macedo
In the IEEE/IFIP International Conference on Dependable Systems and Networks ( DSN2002) - Fast Abstract Track. pp.B-80 e B-81.
Washington, DC , 2002.

A Framework for Supporting the Development of Correct Mobile Applications based on Graph Grammars.
Fernando L. Dotti and Lucio M. Duarte and Flávio Assis Silva and Aline Santos Andrade.
In the Sixth World Conference on Integrated Design , Process Technology. Society for Design and Process Science.
Pasadena, California, 2002.

Coordination of Mobile Processes with Mobile Groups.
Raimundo Macêdo and Flávio Assis Silva
In IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'2002) - Main Track: Dependable Computing and Communications. pp.177-186.
Washington, DC., 2002.

Um Modelo para Tolerância a Falhas em Sistemas Distribuídos com QoS.
Sergio Gorender and Raimundo Macedo
In XX Simpósio Brasileiro de Redes de Computadores (SBRC'02). pp.277-292
Búzios-RJ, 2002.

Desenvolvimento de um detector de defeitos para Sistemas Distribuídos baseado em Redes Neurais Artificiais.
Nivea Ferreira, Raimundo Macedo
In III Workshop de Testes e Tolerância a Falhas (III WTF 2002) em conjunto com SBRC 2002. pp.33-40
Búzios-RJ, 2002.

Um Protocolo de Validaçao Atomica Nao-Bloqueante Eficiente.
Fabíola Greve and Jean Pierre Le Narzul
In XX Simpósio Brasileiro de Redes de Computadores (SBRC'02). pp.309-323
Búzios-RJ, 2002.

Implementing FT-CORBA With Portable Interceptors: Lessons Learned.
Fabíola Greve and Jean Pierre Le Narzul
In In III Workshop de Testes e Tolerância a Falhas (III WTF 2002) em conjunto com SBRC 2002. pp.61-68.
Búzios-RJ, 2002.

ARGO PROJECT : Fault Tolerance in Asynchronous Distributed Systems
Raimundo Macêdo, Michel Hurfin
In Proceedings of the International Cooperation (CNPQ/NFS/INRIA) Project Evaluation Workshop. PROTEM-CC.p. 518-541.
Rio de Janeiro, 2001.

A Consensus Protocol based on a Weak Failure Detector and a Sliding Round Window.
Michel Hurfin and Raimundo Macêdo and A. Mostefaoui and Michel Raynal
In 20th IEEE Int. Symposium on Reliable Distributed Systems (SRDS'01).
New Orleans, 2001.

Eva: an event-based framework for developing specialised communication protocols.
Francisco Brasileiro and Fabíola Greve and Michel Hurfin and Jean Pierre Le Narzul and Frederic Tronel
In Research Report 1345, IRISA, July, 2000. Also published in the IEEE International Symposium on Network Computing and Applications.
Cambridge, MA, 2001.

Um Serviço Tolerante a Falhas para o Gerenciamento de Sistemas Distribuídos Sobre CORBA.
Marcela Batalha and Raimundo Macêdo
In Latin-American Conference on Informatics (CLEI'2001)
Mérida, Venezuela, 2001.

Consensus in One Communication Step is Possible.
Francisco Brasileiro and Fabíola Greve and A. Mostefaoui and Michel Raynal
In International Conference on Parallel Computing Technologies (PACT'2001). Springer LNCS 2127. pp. 42-50.
Novosibirsk, Russia, 2001.

Avoiding Priority Inversion on the Processing of Requests by Active Replicated Servers.
Y. Wang and Francisco Brasileiro and E. Anceaume and Fabíola Greve and Michel Hurfin
In IEEE International Conference on Dependable Systems and Networks. DSN 2001. pp.97-106.
Göteborg, Suécia , 2001.

Towards a Best Effort Framework to Solve Agreement Problems.
Fabíola Greve
In Student Forum: Int. Conf. on Dependable Systems and Networks. DSN'2001. pp. A-4-A-6.
Göteborg, Suécia, 2001.

Reliable Communication for Mobile Agents with Mobile Groups.
Raimundo Macêdo and Flávio Assis Silva
In Workshop on Software Engineering and Mobility (co-located with ACM/IEEE ICSE 2001)
Toronto, Ontario, Canada, 2001.

Mobile Groups.
Raimundo Macêdo and Flávio Assis Silva
In In XIX Simpósio Brasileiro de Redes de Computadores (SBRC'01).pp.66-81
Florianópolis-SC, 2001.

Integrating Mobility into Groups.
Raimundo Macêdo and Flávio Assis Silva
In Fourth European Research Seminar on Advances in Distributed System (ERSADS'01). pp. 209-214.
Bertinoro, Italy, 2001.

Livro Texto dos Minicursos do SBRC2001.
Raimundo Macêdo and JM. Farines (Editores)
In In SBC (198 páginas).
Florianópolis-SC, 2001.

Primary component asynchronous group membership as an instance of a generic agreement framework.
Fabíola Greve and Michel Hurfin and Michel Raynal and Frederic Tronel
In 5th IEEE Int. Symposium on Autonomous Decentralized Systems.
Dallas,TX, 2001.

Reliability Requirements in Mobile Agent Systems
ASSIS, F. ; MACÊDO, Raimundo José de Araújo
In II Workshop de Testes e Tolerância a Falhas
Curitiba, Paraná, 2000.

Mobile Agent-based Transactions in Open Environments
Flávio Assis Silva
In IEICE Transactions on Communications
Japão, 2000.

Time and message effcient S-based consensus.
Fabíola Greve and Michel Hurfin and Raimundo Macêdo and Michel Raynal
In 19th ACM SIGACT-SIGOPS Int. Symposium on Principles of Distributed Computing (PODC'00). ACM. Brief announcement. pp.332-332.
Portland, OR, 2000.

Failure Detection in Asynchronous Distributed Systems.
Raimundo Macêdo
In 2nd Workshop on Tests and Fault-Tolerance. pp.76-81.
Curitiba-PR, Brazil. , 2000.

Reliability Requirements for Mobile Agent Systems.
Raimundo Macêdo and Flávio Assis Silva
In II Workshop de Testes e Tolerância a Falhas (II WTF 2000).
Curitiba-PR, 2000.

Consensus Based On Strong Failure Detectors : A Time and Message-Efficient Protocol.
Fabíola Greve and Michel Hurfin and Raimundo Macêdo and Michel Raynal
In IEEE International Workshop on Fault-Tolerant Parallel and Distributed Systems. Lecture Notes in Computer Science 1800. Springer Verlag,pg 1258-1267.
Cancun, 2000.

Mobile Agent-based Transactions in Open Environments.
Flávio Assis Silva and R. Popescu-Zeletin
In IEICE Transactions on Communications. IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems. Vol.E83-B, No.5. pp.973-987.
Japão, 2000.

Uma abordagem para Tolerância a Falhas em Java através de Comunicação em Grupo.
L. D. Cirne and Raimundo Macêdo
In 18º Simpósio Brasileiro de Redes de Computadores (SBRC'2000).
Belo Horizonte-MG, 2000.

Conector Genérico: Um Mecanismo para Reconfiguração de Aplicações baseadas em Componentes
T. Batista and Cristina Chavez and N. Rodriguez
In IDEAS´00 - Terceiro workshop Ibero-americano de Engenharia de Requisitos e Ambientes de Software.
Cancun, México, 2000.

Agentes Móveis
Flávio Assis Silva
In Escola de Informática da SBC - Edição Nordeste (EINE'99)
Salvador - BA, 1999.

A General Framework to Solve Agreement Problems
Michel Hurfin and Raimundo Macêdo and Michel Raynal and Frederic Tronel
In 18th IEEE Symposium on Reliable Distributed Systems (SRDS'99).
Lausanne, Switzerland, 1999.

A Robust Causal Order Protocol
George Lima and Raimundo Macêdo
In 11th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'99).
Natal-RN, 1999.

Avaliação de Desempenho de Protocolos de Ordenação Causal para Comunicação em Grupo
George Lima, Raimundo Macêdo
In XXV Conferencia Latino Americana de Informatica.
Paraguai, 1999.

A Solution for the Consensus Problem in A Mobile Environment.
N. Badache and Michel Hurfin and Raimundo Macêdo
In XVII Simpósio Brasileiro de Redes de Computadores (SBRC'99). pp.273-288.
Salvador-BA, 1999.

Solving the Consensus Problem in a Mobile Environment.
N. Badache and Michel Hurfin and Raimundo Macêdo
In IEEE International Performance,Computing, and Communications Conference (IPCCC'99). pp.29-35.
Phoenix, USA, 1999.

The BCG Membership Service Performance Analysis.
Fabíola Greve and Raimundo Macêdo
In XVI Simpósio de Redes de Computadores, pp. 682-700
Rio de Janeiro, 1998.

Um Modelo de Transações Cooperativas Integrado a um Modelo de Versões.
George Lima and Beatriz Toledo
In Simpósio Brasileiro de Banco de Dados (SBBD'97)
Fortaleza-CE, 1997.

Buffer Overflow Avoidance Techiniques for Group Communication Protocols.
Raimundo Macêdo and P. D. Ezhilchelvan and S. Shrivastava
In XIV Simpósio Brasileiro de Redes de Computadores (SBRC'96). pp. 633-652.
Fortaleza-CE, 1996.

BCG - Base Confiável de Comunicação em Grupo.
Raimundo Macêdo and Cristina Chavez and Fabíola Greve
In Primeiro Workshop em Sistemas Distribuídos (WoSiD`96).pp. 9-11
Salvador-BA, 1996 .

Flow Control Schemes for a Fault-Tolerant Multicast Protocol.
Raimundo Macêdo and P. D. Ezhilchelvan and S. Shrivastava
In Pacific Rim International Symposium on Fault-Tolerant Systems (PRFTS'95), Also in Third Year Report - Systems Architecture. Vol.III, chap.II, Broadcast Espirit Basic Research Project 6380, 1995
Newport Beach, California, USA, 1995.

The Implementation and Performance Analysis of a Total Order Delivery Protocol for Group.
Raimundo Macêdo and S. Shrivastava
In XXI Latin American Conference on Informatics and the XV Congress of The Brazilian Computer Society.pp. 287-299
Canela-RS, Brazil, 1995.

Reliability Aspects of Multicast Protocol.
Raimundo Macêdo and P. D. Ezhilchelvan
In VI Simpósio Brasileiro de Computadores Tolerantes a Falhas. pp. 239-259
Canela-RS, Brazil, 1995.

A Flow Control Scheme for a Fault-Tolerant Group Communication Protocol.
Raimundo Macêdo and P. D. Ezhilchelvan and S. Shrivastava
In 2nd Open Broadcast Workshop
Grenoble, France, 1995.

Newtop: A Fault-Tolerant Group communication Protocol.
Raimundo Macêdo and P. D. Ezhilchelvan and S. Shrivastava
In 15th International Conference on Distributed Computing Systems, IEEE Computer Society. Pages 296-306. Also in Second Year Report - Fundamental Concepts, Vol.II, chap.II, Broadcast Espirit Basic Research Project 6360, 1994.
Vancouver, Canadá, 1995.

Causal Order Protocols for Group Communication.
Raimundo Macêdo
In XIII Simpósio Brasileiro de Redes de Computadores (SBRC'95), pp. 265-283.
Belo Horizonte-MG, Brasil, 1995.

Newtop: A Total Order Multicast Protocol Using Causal Blocks.
Raimundo Macêdo and P. D. Ezhilchelvan and S. Shrivastava
In First Open Broadcast Workshop. , October, 1993. Also in First Year Report - Fundamental Concepts, vol. I, chap. II, Broadcast Espirit Basic Research Project 6360.
Newcastle upon Tyne, U. K., 1993.

Modeling Group Communication Using Causal Blocks.
Raimundo Macêdo and P. D. Ezhilchelvan and S. Shrivastava
In V European Workshop on Dependable Computing.
Lisbon, Portugal, 1993.

Technical Reports


Composição de Serviços Web Semânticos em Nuvem
ALVES, F. O. ; CLARO, D. B.
In Capítulo de Livro, Minicursos da XII Escola de Informática Bahia, Alagoas e Sergipe. 1ed.Juazeiro: Univasf, 2012, v. , p. 97-128.
Juazeiro, BA, Brasil, 2012.

Self-Configuring Failure Detectors For Distributed Systems
Alírio Sá and Raimundo Macêdo
In Technical Report Number 001/2010, LaSiD/DCC/UFBA
Salvador, 2010.

A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol
Paul Regnier and George Lima and Aline Andrade
In LaSiD/UFBA (Distributed Systems Laboratory / Federal University of Bahia)
UFBA, 2008.

Adaptive and Dependable Group Communication
Raimundo José de Araújo Macêdo
In Technical Report 001/2008. Distributed Systems Laboratory (LaSiD). Available on http://www.lasid.ufba.br
UFBA, 2008.

Challenges for Dependable Web Services Compositions
Daniela Barreiro Claro and Raimundo José de Araujo Macêdo
In Technical Report TRI003/07. LaSiD/UFBA (Distributed Systems Laboratory / Federal University of Bahia)
UFBA, Brazil, 2007.

An approach for Dependable Web Service Compositions
Daniela Barreiro Claro and Raimundo José de Araujo Macêdo
In Technical Report TRI002/07. LaSiD/UFBA (Distributed Systems Laboratory / Federal University of Bahia)
UFBA, 2007.

Mobile Groups.
Raimundo Macêdo and Flávio Assis Silva
In Technical Report RI001/01. LaSiD/UFBA (Distributed Systems Laboratory / Federal University of Bahia)
UFBA, 2001 .

Comunicação em Grupo em Java: Adicionando Tolerância a Falhas ao iBus.
Lilianne Cirne and Raimundo Macêdo
In Relatório Técnico Interno RTI-008/99, Laboratorio de Sistemas Distribuídos (LaSiD)
UFBA, 1999.

A General Framework to Solve Agreement Problems.
Michel Hurfin and Raimundo Macêdo and Michel Raynal and Frederic Tronel
In Technical Report PI-1231, 29 pages
IRISA/France, 1999.

Aspectos de Confiabilidade em Sistemas de Tempo Real Críticos
George Lima
In Relatório Técnico Interno RTI-007/98, Laboratorio de Sistemas Distribuídos (LaSiD)
UFBA, 1998.

An Adaptable Transaction Model for Traditional and Advanced Applications
Felgar Toledo and George Lima
In Relatório Técnico IC-98-18. Instituto de Computação/Unicamp
Unicamp, 1998.

Uma Proposta de Controle de Fluxo para o Protrocolo BCGcausal
George Lima and Raimundo Macêdo
In Relatório Técnico Interno RTI-006/98, Laboratorio de Sistemas Distribuídos (LaSiD)
UFBA, 1998.

Avaliação de Desempenho de Protocolos de Ordenação Causal para Comunicação em Grupo
George Lima and Raimundo Macêdo
In Relatório Técnico Interno RTI-005/98, Laboratorio de Sistemas Distribuídos (LaSiD)
UFBA, 1998.

The BCG Membership Service Performance Analysis
Fabíola Greve and Raimundo Macêdo
In Relatório Técnico Interno RTI-004/98, Laboratório de Sistemas Distribuídos (LaSiD)
UFBA, 1998.

Avaliação de Desempenho do Protocolo BCG causal
George Lima and Raimundo Macêdo
In Relatório Técnico Interno RTI-003/97, Laboratório de Sistemas Distribuídos (LaSiD)
UFBA, 1997.

Solving the Consensus Problem a Mobile Environment
N. Badache and Michel Hurfand Raimundo Macêdo
In Technical Report number 1146.
IRISA/France, 1997.

TALK: Suporte de Linguagem de programação para Comunicação em Grupo
Raimundo Macêdo and Cristina Chavez
In Relatório Técnico Interno RTI-002/95, Laboratório de Sistemas Distribuídos (LaSiD)
UFBA, 1995.

Real-time Conversation a Distributed System-Characterization, Requirements ans Implementation.
Raimundo Macêdo
In Relatório Técnico Interno RTI-001/95, Laboratório de Sistemas Distribuídos (LaSiD)
UFBA, 1995.

BCG - Base Confiável de Comunicação em Grupo.
Raimundo Macêdo
In Projeto Individual de Pesquisa
CNPq, 1995 .

Fault-Tolerant Group Communication Protocols for Asynchronous Systems.
Raimundo Macêdo
In Technical Report 524. Department of Computing Science
University of Newcastle upon Tyne, UK, 1994 .

Extended Abstracts


Gerenciador de Informações e Infraestrutura de Redes Ópticas
JOSENEAS, E. ; SILVA, M. A. S. ; BORGES, J. L. S. ; SILVA, R. B. ; JESUS, V. R. P. ; SOUZA, R. R. G. E. ; FREITAS, A. E. S. ; SILVA NETO, E. M.
In IX (PTT) Fórum
São Paulo, 2017.

BAMBU: A Metropolitan Innovation Testbed for Promoting Future Internet Research
SAMPAIO, L. N. ; OLIVEIRA, L. R. ; BARRETO, M. E. ; BEZERRA, R. M. S. ; FREITAS, A. E. S.
In SwitchOn São Paulo Workshop
São Paulo, Brasil, 2015.

Replicação Reconfigurável em Sistema de Tempo Real
Semiramis Ribeiro de Assis and Raimundo Macêdo and Sérgio Gorender
In VI Congresso Nacional de Engenharia Mecânica (CONEM 2010)
Campina Grande, 2010.

Adding Dynamicity to the Uncertainty that Characterizes Distributed Systems: Challenges Ahead
Raimundo Macêdo and Michel Raynal
In Colloquium of Computation: Brazil / INRIA, Cooperations, Advances and Challenges
Bento Gonçalves, Rio Grande do Sul, Brasil, 2009.

TransPlan: Uma Ferramenta para Mapear e Planejar Serviços Web
Marcus Vinícius Silva and Daniela Barreiro Claro
In 8th International Information and Telecommunication Technologies Symposium
Florianópolis/SC, 2009.

Simulation-Based Analysis to Derive of Fault Resilience in Real-Time Systems
Flávia Nascimento and George Lima and Verônica Lima
In 10th Brazilian Workshop on Real-Time and Embedded Systems
Rio de Janeiro, Brazil, 2008.

Web Services e sua relação com Sistemas de Informação
Daniela Barreiro Claro and Raimundo José de Araújo Macêdo
In Minicurso do IV Simpósio Brasileiro de Sistemas de Informação
Rio de Janeiro - RJ, 2008.

Esteganografia em Páginas Web
Bruno Guimarães and Luciano Porto Barreto
In Brazilian Symposium on Information and Computer System Security (SBSeg)
Gramado, RS, 2008.

Monitoramento de Crimes Virtuais no Second Life
Daniel Nunes and Luciano Porto Barreto
In Brazilian Symposium on Information and Computer System Security (SBSeg)
Gramado, RS, 2008.

Using Real-time Components to Construct Supervision and Control Applications
Sandro Santos Andrade and Raimundo José de Araújo Macêdo and Alírio Sá and Neima Santos
In Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006) Work in Progress Session
Rio de Janeiro, 2006.

Detectores de Defeitos Adaptáveis para Sistemas de Controle Distribuídos de Tempo-Real sobre Redes Ethernet
Alírio Santos de Sá and Raimundo José de Araújo Macêdo
In VII Brazilian Workshop of Real-Time Systems
Fortaleza, Brazil , 2005.

ARCOS: A Component-Based Architecture for the Construction of Robust Control and Supervision Applicatrions
Sandro Santos Andrade and Raimundo José de Araújo Macêdo and Alírio Sá
In Proceedings of the WDAS - Latin-American Workshop on Dependable Automation System
Salvador, Brasil, 2005.

Implementation of a Failure Detector based on an Artificial Neural Network.
Nivea Ferreira and Raimundo Macêdo
In Proceedings of the First Open Argo Workshop - Extended Abstracts. pp.11-12
Salvador, 2001.

Implementation of Transport Multicast Protocols for Group Communication.
C. Souza
In Proceedings of the First Open Argo Workshop - Extended Abstracts. pp.13-14
Salvador, BA, Brasil, 2001.

A Solution for the Consensus Problem in a Mobile Environment
Raimundo Macêdo
In II Open Workshop of the Logic for Concurrency and Synchronism (LOCUS Project), UFPE
Pernambuco, Brasil, 1998.

Considerações sobre Robustez em Protocolos de comunicação em grupo na BCG
George Lima
In II Open Workshop of the Logic for Concurrency and Synchronism (LOCUS Project), UFPE
Pernambuco, Brasil, 1998.

Métodos para Especificação Formal de Sistemas Distribuídos
Lorena Santiago
In II Open Workshop of the Logic for Concurrency and Synchronism (LOCUS Project), UFPE
Pernambuco, Brasil, 1998.

Comunicação em grupo e sincronismo virtual: aspectos da plataforma BCG
Raimundo Macêdo
In I Open Workshop of the Logic for Concurrency and Synchronism (LOCUS Project), UFPE
Pernambuco, Brasil, 1998.

Experiência de Implementação de um Protocolo de Ordem Causal
George Lima
In I Open Workshop of the Logic for Concurrency and Synchronism (LOCUS Project), UFPE
Pernambuco, Brasil, 1998.

BCG - Base Confiável de Comunicação em Grupo.
Raimundo Macêdo and Cristina Chavez and Fabíola Greve
In Anais do I Workshop de Sistemas Distribuídos, pp. 9-11
Salvador-BA, Brasil, 1996.

A Normalization Procedure for the LND Equation Fragment.
Anjolina Oliveira and Ruy Queiroz
In Abstract of the 2nd Workshop em Logic, Language, Informatic and Computation (WOLLIC'95). Also in journal of IGPL
Recife, PE, Brasil, 1995.

Short Papers


Evaluation of semantic similarity in WSD: an analysis to incorporate it into the association of terms
SOUZA, E. N. P.; CLARO, D.B.
In Proceedings of the 18th Brazilian Symposium on Multimedia and the Web (WEBMEDIA)
São Paulo, Brazil, 2012.

An Autonomic Approach for Dynamic Reconfiguration on Real-time Bandwidth-reservation Schedulers
Marco Simões, George Lima, Raimundo Macêdo
In 11th Brazilian Workshop on Real-Time and Embedded Systems
Recife - PE, 2009.

Improving the Quality of Service of Failure Detectors with SNMP and Artificial Neural Networks.
Raimundo José de Araújo Macêdo and Fábio Ramon Lima e Lima
In Anais do 22o. Simpósio Brasileiro de Redes de Computadores, SBRC'2004 (short-paper track).pp.583-586, ISBN: 85-88442-81-7
Gramado, RS , 2004.



Total of published works: 397