﻿<?xml version="1.0" encoding="utf8"?>
<?xml-stylesheet href="papers.xsl" type="text/xsl"?>
<publication> 
  <article>
    <title>Rompendo a Barreira da Pós-Graduação em Computação na UFBA</title>
    <author>Macêdo, Raimundo J. de A.</author>
    <proceedings>Revista Tempo Digital</proceedings>
    <location>Salvador</location>
    <month>Abril</month>
    <year>2016</year>
    <urlabstract>https://portalseer.ufba.br/index.php/tempodigital/issue/download/1234/129</urlabstract>
    <type>Full Paper</type>
  </article>

  <article>
    <title>MAC approaches to communication efficiency and reliability under dynamic network traffic in wireless body area networks: a review</title>
    <author>Herculano, Jorge F.; Pereira, Willians de P.; Guimarães, Marcelo; Cotrim, Reinaldo; de Sá, Alirio S.; Assis, Flávio; Macêdo, Raimundo; Gorender, Sérgio </author>
    <proceedings>Computing, v. 106</proceedings>
    <location></location>
    <month>June</month>
    <year>2024</year>
    <urlabstract>http://dx.doi.org/10.1007/s00607-024-01307-9</urlabstract>
    <type>Full Paper</type>
  </article>

  <article>
    <title>Sk-Iterative: Um algoritmo guloso para escalonamento eficiente em redes sem fio densas sob o modelo SINR</title>
    <author>Bravos, C.; Engel, F.; Assis, Flávio; Duarte Jr, Elias P.</author>
    <proceedings>Anais do XXV Workshop de Testes e Tolerância a Falhas (WTF 2024)</proceedings>
    <location>Niteroi, RJ</location>
    <month>Maio</month>
    <year>2024</year>
    <urlabstract>https://doi.org/10.5753/wtf.2024.2312</urlabstract>
    <type>Full Paper</type>
  </article>
  
  <article>
    <title>Internet of Intelligent Things: A convergence of embedded systems, edge computing and machine learning</title>
    <author>OLIVEIRA, FRANKLIN ; COSTA, DANIEL G. ; ASSIS, FLÁVIO ; SILVA, IVANOVITCH </author>
    <proceedings>Internet Of Things, v. 26</proceedings>
    <location></location>
    <month></month>
    <year>2024</year>
    <urlabstract>http://dx.doi.org/10.1016/j.iot.2024.101153</urlabstract>
    <type>Full Paper</type>
  </article>
  
 <article>
    <title>A Multi Soft-Sensor Approch for the Development of Emergencies Detection Units on the Edge</title>
    <author>OLIVEIRA, F.; COSTA, D. G.; ASSIS, FLÁVIO; SILVA, I.</author>
    <proceedings> Proceedings of the IEEE International Workshop on Metrology for Industry 4.0 and IoT (MetroInd4.0 and IoT)</proceedings>
    <location>Brescia, Itália</location>
    <month></month>
    <year>2023</year>
    <urlabstract>#</urlabstract>
    <type>Full Paper</type>
 </article>
 
 <article>
    <title>An IoT Platform for the Development of Low-Cost Emergencies Detection Units based on Soft Sensors</title>
    <author>OLIVEIRA, F. ; COSTA, D. G. ; ASSIS, FLÁVIO</author>
    <proceedings>Proceedings of the 8th IEEE International Smart Cities Conference (ISC2)</proceedings>
    <location>Paphos, Chipre</location>
    <month></month>
    <year>2022</year>
    <urlabstract>#</urlabstract>
    <type>Full Paper</type>
 </article>
  
 <article>
    <title>THeTA: Protocolo TDMA adaptativo para lidar com tráfego heterogêneo e dinâmico em WBA</title>
    <author>HERCULANO, J. F.; ANDRADE, LUIS OTAVIO S.; PEREIRA, WILLIANS P.; DE SÁ, ALIRIO SANTOS</author>
    <proceedings> Anais do XIII Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC 2023)</proceedings>
    <location>Porto Alegre, RS, Brasil</location>
    <month></month>
    <year>2023</year>
    <urlabstract>http://dx.doi.org/10.5753/sbesc_estendido.2023.235884</urlabstract>
    <type>Full Paper</type>
 </article>
 
 <article>
    <title>An Action-Level Assistant for Robotic Manipulation: User Experience and Performance</title>
    <author>MARTINS, DIOGO ; ALDHAHERI, SARA ; KOPANEV, PAVEL ; PAIRET, ÈRIC ; ARDÓN, PAOLA ; DE SÁ, ALIRIO SANTOS</author>
    <proceedings> Proceedings of the XII Brazilian Symposium on Computing Systems Engineering (SBESC 2023)</proceedings>
    <location>Porto Alegre, RS, Brazil</location>
    <month></month>
    <year>2023</year>
    <urlabstract>http://dx.doi.org/10.1109/SBESC60926.2023.10324118</urlabstract>
    <type>Full Paper</type>
 </article>
  
  <article>
    <title>Uma análise dos tempos limite para entrega de mensagens e para determinação de vizinhança em rede veiculares ad hoc</title>
    <author>SANTOS, CLEBER BRITO ; ANDRADE, ALINE MARIA SANTOS ; DE SÁ, ALIRIO SANTOS</author>
    <proceedings>Anais do VII Workshop de Computação Urbana (CoUrb 2023). p. 93-106</proceedings>
    <location>Brasília, Brasil</location>
    <month></month>
    <year>2023</year>
    <urlabstract>https://doi.org/10.5753/courb.2023.799</urlabstract>
    <type>Full Paper</type>
  </article>
  
  <article>
    <title>DCS: Dilution-based Convergecast Scheduling in a TSCH network</title>
    <author>ASSIS, FLÁVIO; MOTA, JOÃO RICARDO; SANTOS, EBER ; LEITE, PAULO RICARDO </author>
    <proceedings> Ad Hoc Networks, v. 146</proceedings>
    <location>Online</location>
    <month></month>
    <year>2023</year>
    <urlabstract>http://dx.doi.org/10.1016/j.adhoc.2023.103173</urlabstract>
    <type>Full Paper</type>
 </article>	
  
 <article>
    <title>An Adaptive TDMA Approach for Improving Reliability and Performance in WBAN under Heterogeneous Traffic and Interference</title>
    <author>HERCULANO, JORGE F.; PEREIRA, WILLIANS DE P.; DE SÁ, ALIRIO S.</author>
    <proceedings> Proceedings of the XII Brazilian Symposium on Computing Systems Engineering (SBESC 2022)</proceedings>
    <location>Fortaleza, Ceará, Brasil</location>
    <month></month>
    <year>2022</year>
    <urlabstract>http://dx.doi.org/10.1109/SBESC56799.2022.9964592</urlabstract>
    <type>Full Paper</type>
 </article>
 
  <article>
    <title>Avaliando Estratégias de Comunicação em Redes de Área Corporal sem Fio sob Diferentes Contextos de Mobilidade, Interferência e Carga de Aplicação</title>
    <author>PEREIRA, WILLIANS DE P. ; HERCULANO, JORGE F. ; DE SÁ, ALIRIO S.</author>
    <proceedings> Anais Estendidos do XII Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC 2022)</proceedings>
    <location>Fortaleza, Ceará, Brasil</location>
    <month></month>
    <year>2022</year>
    <urlabstract>http://dx.doi.org/10.5753/sbesc_estendido.2022.227256</urlabstract>
    <type>Full Paper</type>
 </article>
 
   <article>
    <title>Uma Ontologia para Poços de Petróleo Equipados com Bombeio Centrífugo Submerso</title>
    <author>PEREIRA, W. S.; GORENDER, S.</author>
    <proceedings> Anais do XXIV Congresso Brasileiro de Automática (CBA 2022)</proceedings>
    <location>Fortaleza, Ceará, Brasil</location>
    <month></month>
    <year>2022</year>
    <urlabstract>https://www.sba.org.br/cba2022/wp-content/uploads/artigos_cba2022/paper_7671.pdf</urlabstract>
    <type>Full Paper</type>
 </article>
 
   <article>
    <title>VCBP: A Reliable and Real-Time Group Communication Protocol for Vehicular Ad Hoc Networks</title>
    <author>PEREIRA, MARCELA A.; DE SÁ, ALIRIO S.</author>
    <proceedings> Proceedings of the Latin-American Symposium on Dependable Computing</proceedings>
    <location>Fortaleza, Ceará, Brasil</location>
    <month></month>
    <year>2022</year>
    <urlabstract>http://dx.doi.org/10.1145/3569902.3570191</urlabstract>
    <type>Full Paper</type>
 </article>
 
 <article>
    <title>Brincando com Pensamento Computacional em Tempos de Coronavírus</title>
    <author>MACÊDO, RAIMUNDO J. DE A.</author>
    <proceedings> SBC Horizontes</proceedings>
    <location>Porto Alegre: Sociedade Brasileira de Computação (SBC)</location>
    <month></month>
    <year>2022</year>
    <urlabstract>https://horizontes.sbc.org.br/index.php/2022/12/brincando-com-pensamento-computacional-em-tempos-de-coronavirus/</urlabstract>
    <type>Full Paper</type>
 </article>
 
   <article>
    <title>Simulation of the effects of evaporation ducts on maritime wireless communication</title>
    <author>CRUZ, VICTOR SANTOS ; ASSIS, FLÁVIO ; SCHNITMAN, LEIZER</author>
    <proceedings> WIRELESS NETWORKS, v. 27, 4677-4691</proceedings>
    <location>Online</location>
    <month></month>
    <year>2021</year>
    <urlabstract>http://dx.doi.org/10.1007/s11276-021-02730-y</urlabstract>
    <type>Full Paper</type>
 </article>	
 
 <article>
    <title>Redes Corporais Sem Fio: Abordagens de MAC para Garantia de Eficiência e Confiabilidade na Comunicação sob Tráfego Dinâmico</title>
    <author>HERCULANO, JORGE F.; PEREIRA, WILLIANS DE P.; GUIMARÃES, MARCELO A.; COTRIM, REINALDO M.; DE SÁ, ALIRIO S.; ASSIS, FLÁVIO; MACÊDO, RAIMUNDO J. DE A.; GORENDER, SÉRGIO</author>
    <proceedings> Anais Estendidos do XI Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC 2021)</proceedings>
    <location>Online</location>
    <month></month>
    <year>2021</year>
    <urlabstract>http://dx.doi.org/10.5753/sbesc_estendido.2021.18633</urlabstract>
    <type>Full Paper</type>
 </article>
 
  <article>
    <title>Um Algoritmo de Membership para o Modelo Síncrono Particionado (SPA) de Sistemas Distribuídos com Particionamento Forte</title>
    <author>GORENDER, S.; DOS SANTOS, Maria Clara A.</author>
    <proceedings> Anais do Workshop de Testes e Tolerância a Falhas (WTF 2021)</proceedings>
    <location>Online</location>
    <month></month>
    <year>2021</year>
    <urlabstract>https://doi.org/10.5753/wtf.2021.17203</urlabstract>
    <type>Full Paper</type>
 </article>
 
   <article>
    <title>Uma Análise da Confiança na Qualidade do Contexto em VANETs</title>
    <author>DE SÁ, MARGARETE O. DOS S.; GORENDER, S.</author>
    <proceedings> Anais Estendidos do XI Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC 2021)</proceedings>
    <location>Online</location>
    <month></month>
    <year>2021</year>
    <urlabstract>https://doi.org/10.5753/sbesc_estendido.2021.18494</urlabstract>
    <type>Full Paper</type>
 </article>
 
  <article>
    <title>Uma Revisão Sobre a Formação Docente para o Ensino-Aprendizagem do Raciocínio Computacional no Brasil</title>
    <author>SOKOLONSKI, ANA CAROLINA ; DE SÁ, ALIRIO SANTOS; MACÊDO, RAIMUNDO J. DE A.</author>
    <proceedings> Anais do XXIX Workshop sobre Educação em Computação (WEI 2021)</proceedings>
    <location>Online</location>
    <month></month>
    <year>2021</year>
    <urlabstract>http://dx.doi.org/10.5753/wei.2021.15935</urlabstract>
    <type>Full Paper</type>
 </article>
 
   <article>
    <title>Ferramenta Computacional para a classificação de ECG humanos com Detecção de Defeitos no Eletrocardiógrafo</title>
    <author>RIBEIRO, M.; CRUZ, J. A.; MACÊDO, RAIMUNDO J. DE A.</author>
    <proceedings> Anais Estendidos do XI Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC 2021)</proceedings>
    <location>Online</location>
    <month></month>
    <year>2021</year>
    <urlabstract>https://doi.org/10.5753/sbesc_estendido.2021.18496</urlabstract>
    <type>Full Paper</type>
 </article>
 
  <article>
    <title>A tour of dependable computing research in Latin America</title>
    <author>DUARTE, ELIAS P. ; MACÊDO, RAIMUNDO J. A. ; MARTINS, ELIANE ; RAJSBAUM, SERGIO</author>
    <proceedings>COMMUNICATIONS OF THE ACM, vol. 63,n. 11, ISSN: 0001-0782</proceedings>
    <location>ACM</location>
    <month></month>
    <year>2020</year>
    <urlabstract>http://dx.doi.org/10.1145/3416979</urlabstract>
    <type>Full Paper</type>
  </article>

  <article>
    <title>Quality of Context for VANETs: QoC Metrics for Connectivity in VANETs</title>
    <author>de Sá, Margarete O. dos S.; GORENDER, S. </author>
    <proceedings>AdHoc-Now 2019 - 18th International Conference on AdHoc Networks and Wireless, 2019</proceedings>
    <location>Luxemburgo</location>
    <month></month>
    <year>2019</year>
    <urlabstract></urlabstract>
    <type>Full Paper</type>
  </article>
  
  <article>
    <title>Convergecast in a TSCH Network under a Physical Interference Model</title>
    <author>José Carlos da Silva ; ASSIS, Flávio. </author>
    <proceedings>AdHoc-Now 2019 - 18th International Conference on AdHoc Networks and Wireless, 2019</proceedings>
    <location>Luxemburgo</location>
    <month></month>
    <year>2019</year>
    <urlabstract></urlabstract>
    <type>Full Paper</type>
  </article>

  <article>
    <title>Robótica Educacional como Facilitadora do Aprendizado do Raciocínio Computacional: Revisão Sistemática da Literatura</title>
    <author> SOKOLONSKI, A. C. ; de Sá, Alirio S. ; MACÊDO, Raimundo José de Araújo</author>
    <proceedings>XXXI Simpósio Brasileiro de Informática na Educação</proceedings>
    <location>Porto Alegre, Brasil: Sociedade Brasileira de Computação (SBC)</location>
    <month></month>
    <year>2020</year>
    <urlabstract></urlabstract>
    <type>Full Paper</type>
  </article>

  <article>
    <title>Simple Area Coverage by a Dynamic Set of Unmanned Aerial Vehicles</title>
    <author> RIBEIRO, G. B. P. ; SIMOES, G. M. ; Silva, Flávio M. A. ; Gorender, S. ; de Sá, Alirio S.</author>
    <proceedings>Brazilian Symposium on Computing Systems Engineering</proceedings>
    <location>Porto Alegre, Brasil: Sociedade Brasileira de Computação (SBC)</location>
    <month></month>
    <year>2020</year>
    <urlabstract>https://ieeexplore.ieee.org/document/9277866</urlabstract>
    <type>Full Paper</type>
  </article>

  <article>
    <title>Um Framework para Simulação de Sistema s Robóticos baseados em Múltiplos Veículos Aéreos Não Tripulado</title>
    <author>Simões, Gustavo M. ; de Sá, Alirio S.</author>
    <proceedings>III Workshop de Trabalhos de Iniciação Cientíﬁca e de Graduação (WTG 2020) do XXXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2020)</proceedings>
    <location>Porto Alegre, Brasil: Sociedade Brasileira de Computação (SBC)</location>
    <month></month>
    <year>2020</year>
    <urlabstract></urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Self-Adaptive Systems Planning with Model Checking using MAPE-K</title>
    <author>SILVA, A. E. M. ; ANDRADE, Aline ; ANDRADE, SANDRO S.</author>
    <proceedings>Fault Tolerance Workshop - Brazilian Symposium on Computer Networks and Distributed Systems (SBRC 2020)</proceedings>
    <location>Porto Alegre, Brasil: Sociedade Brasileira de Computação (SBC)</location>
    <month></month>
    <year>2020</year>
    <urlabstract></urlabstract>
    <type>Full Paper</type>
  </article>
  
  
  <article>
    <title>Quadcopter Prototype: Modeling, Simulation and Control</title>
    <author>MARTINS, D. A. ; OLIVEIRA, Y. M. A. ; MARTINS, M. A. F. ; de SÁ, Alirio Santos ; FONTES, R. M. ; PINHEIRO, O. R.</author>
    <proceedings>III Brazilian Humanoid Robot Workshop and IV Brazilian Workshop on Service Robotics</proceedings>
    <location>Salvador</location>
    <month></month>
    <year>2020</year>
    <urlabstract></urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Garm: A Blockchain based platform for supply chain management</title>
    <author>JESUS JUNIOR, E. M. F. ; MARQUES NETO, M. C. ; FREITAS, Allan Edgard S.</author>
    <proceedings> Brazilian Journal of Development, vol. 6, n. 12, ISSN:2525-8761</proceedings>
    <location>Curitiba</location>
    <month></month>
    <year>2020</year>
    <urlabstract>https://www.brazilianjournals.com/index.php/BRJD/article/view/22075/17625</urlabstract>
    <type>Full Paper</type>
  </article>
  
    <article>
    <title>GERANDO INTELIGÊNCIA ATRAVÉS DE MICRODADOS: UMA PROPOSTA DE BUSINESS INTELLIGENCE PARA A ÁREA DE ENSINO DO INSTITUTO FEDERAL DA BAHIA (IFBA)</title>
    <author>BARRETO, I. M. S. ; FREITAS, A. E. S.  </author>
    <proceedings>  Cadernos de Educação, Tecnologia e Sociedade, v. 13</proceedings>
    <location></location>
    <month></month>
    <year>2020</year>
    <urlabstract></urlabstract>
    <type>Full Paper</type>
  </article>
  
   <article>
    <title>Árion: A Blockchain Framework for Traceability in Supply Chain Management</title>
    <author> JESUS JUNIOR, E. M. F. ; MARQUES NETO, M. C. ; FREITAS, Allan E. S. </author>
    <proceedings> 3rd Blockchain Workshop: Theory, Technology, and Applications</proceedings>
    <location>Rio de Janeiro</location>
    <month></month>
    <year>2020</year>
    <urlabstract></urlabstract>
    <type>Full Paper</type>
  </article>

  <article>
    <title>An Adaptive Failure Detection Approach for Real-Time Distributed Control Systems over Shared Ethernet </title>
    <author>Alirio S. de Sá; and Raimundo J. de A Macêdo</author>
    <proceedings>P. E. Myiagi; E. Villani; O. Horikawa (Org). ABCM Symposium Series in Mechatronics, 1ed., vol.2, ISBN 978-85-85769-26-0 </proceedings>
    <location>Rio de Janeiro: Associação Brasileira de Ciências Mecânicas</location>
    <month></month>
    <year>2006</year>
    <urlabstract>https://abcm.org.br/symposium-series/SSM_Vol2/Simposium_Series_in_Mechatronics_Vol2.pdf</urlabstract>
    <type>Book Chapter</type>
  </article>
  
  <article>
    <title>  Capítulo 13: Jornada de Superação. </title>
    <author>Raimundo J. de A Macêdo</author>
    <proceedings>In: Roberto da Silva Bigonha. (Org.). Memórias da Sociedade Brasileira de Computação, 2ed., p. 143-163, ISBN 978-85-7669-598-1</proceedings>
    <location>Porto Alegre: Sociedade Brasileira de Computação</location>
    <month></month>
    <year>2024</year>
    <urlabstract>https://doi.org/10.5753/sbc.14698.1</urlabstract>
    <type>Book Chapter</type>
  </article>

  <article>
    <title>TECNOLOGIAS DA INFORMAÇÃO E COMUNICAÇÃO NO MUNDO E NA BAHIA: RETROSPECTIVA E DESAFIOS </title>
    <author>Raimundo J. de A Macêdo</author>
    <proceedings>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</proceedings>
    <location>Salvador: EdIFBA</location>
    <month></month>
    <year>2019</year>
    <urlabstract>https://portal.ifba.edu.br/prpgi/editora/livros/multidisciplinar/miolo_ecossitstema.pdf</urlabstract>
    <type>Book Chapter</type>
  </article>
  <article>
    <title>Confiabilidade e Segurança nos Sistemas Distribuídos Físico-Digitais</title>
    <author>Macêdo, Raimundo J. de A.; de Sá, Alirio S.; Freitas, Allan Edgard Silva; Veríssimo, Paulo; Gorender, Sérgio; de Sá, Margarete Oliveira S.</author>
    <proceedings>Alírio Santos de Sá; Weverton Luis da Costa Cordeiro. (Org.). 42ª Jornada de Atualização em Informática (JAI 2023), p. 60-108, ISBN 978-85-7669-553-0</proceedings>
    <location>Porto Alegre: Sociedade Brasileira de Computação</location>
    <month></month>
    <year>2023</year>
    <urlabstract>https://doi.org/10.5753/sbc.12853.0</urlabstract>
    <type>Book Chapter</type>
  </article>

  <article>
    <title>Sistemas de Controle via Rede </title>
    <author>Alirio S. de Sá; Tanisia Foletto; Ubirajara Moreno; and Raimundo J. de A Macêdo</author>
    <proceedings>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</proceedings>
    <location>Salvador: EdUFBA</location>
    <month></month>
    <year>2018</year>
    <urlabstract>https://repositorio.ufba.br/ri/bitstream/ri/26164/1/ProjetoDeSistemasDistribu%C3%ADdoseDeTempoRealParaAutoma%C3%A7%C3%A3o-EDUFBA-2018.pdf</urlabstract>
    <type>Book Chapter</type>
  </article>
  
    <article>
    <title>Fundamentos de Detecção de Defeitos em Sistemas Distribuídos</title>
    <author>Alirio S. de Sá; and Raimundo J. de A Macêdo</author>
    <proceedings>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</proceedings>
    <location>Salvador: EdUFBA</location>
    <month></month>
    <year>2018</year>
    <urlabstract>https://repositorio.ufba.br/ri/bitstream/ri/26164/1/ProjetoDeSistemasDistribu%C3%ADdoseDeTempoRealParaAutoma%C3%A7%C3%A3o-EDUFBA-2018.pdf</urlabstract>
    <type>Book Chapter</type>
  </article>
  
  <article>
    <title>Detectores Adaptativos de Defeitos para Ambientes Distribuídos e de Automação </title>
    <author>Alirio S. de Sá; Raimundo J. de A Macêdo;  Eduardo Cambruzzi; and Jean-Marie Farines</author>
    <proceedings>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</proceedings>
    <location>Salvador: EdUFBA</location>
    <month></month>
    <year>2018</year>
    <urlabstract>https://repositorio.ufba.br/ri/bitstream/ri/26164/1/ProjetoDeSistemasDistribu%C3%ADdoseDeTempoRealParaAutoma%C3%A7%C3%A3o-EDUFBA-2018.pdf</urlabstract>
    <type>Book Chapter</type>
  </article>
  
  
   <article>
    <title>Reconfiguração Dinâmica em Sistemas de Tempo Real </title>
    <author>Eduardo Camponogara; Augusto B. de Oliveira; and George Lima</author>
    <proceedings>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</proceedings>
    <location>Salvador: EdUFBA</location>
    <month></month>
    <year>2018</year>
    <urlabstract>https://repositorio.ufba.br/ri/bitstream/ri/26164/1/ProjetoDeSistemasDistribu%C3%ADdoseDeTempoRealParaAutoma%C3%A7%C3%A3o-EDUFBA-2018.pdf</urlabstract>
    <type>Book Chapter</type>
  </article>
  
  <article>
    <title>Redes de Sensores: Controle de Acesso ao Meio, Roteamento e Controle de Topologia </title>
    <author>Carlos Montez; Flávio Assis; and Leandro B. Becker</author>
    <proceedings>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</proceedings>
    <location>Salvador: EdUFBA</location>
    <month></month>
    <year>2018</year>
    <urlabstract>https://repositorio.ufba.br/ri/bitstream/ri/26164/1/ProjetoDeSistemasDistribu%C3%ADdoseDeTempoRealParaAutoma%C3%A7%C3%A3o-EDUFBA-2018.pdf</urlabstract>
    <type>Book Chapter</type>
  </article>
  
   <article>
    <title>Desenvolvimento de Sistemas de Controle e Automação na Abordagem de Engenharia Dirigida por Modelos </title>
    <author>Leandro B. Becker; Jean-Marie Farines; Aline Andrade; and Ana Patrícia Magalhães
</author>
    <proceedings>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</proceedings>
    <location>Salvador: EdUFBA</location>
    <month></month>
    <year>2018</year>
    <urlabstract>https://repositorio.ufba.br/ri/bitstream/ri/26164/1/ProjetoDeSistemasDistribu%C3%ADdoseDeTempoRealParaAutoma%C3%A7%C3%A3o-EDUFBA-2018.pdf</urlabstract>
    <type>Book Chapter</type>
  </article>
  
  <article>
    <title>Raciocínio computacional na Formação Geral: pavimentando o caminho da interdisciplinaridade </title>
    <author>Raimundo J. de A. Macêdo; David P. Cavallo; Sérgio Gorender; and Bilzã M. de Araújo</author>
    <proceedings>Rosângela P. de Tugny; and Gustavo Gonçalves (Org). Universidade Popular e Encontro de Saberes, ISBN: 978-85-232-2054-9</proceedings>
    <location>Salvador: EdUFBA; Brasília: Instituto de Inclusão no Ensino Superior e na Pesquisa - UNB</location>
    <month></month>
    <year>2020</year>
    <urlabstract></urlabstract>
    <type>Book Chapter</type>
  </article>

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

  <article>
    <title>Sufficient Schedulability Tests for EDF-Scheduled Real-Time Systems under Interference of a High Priority Task</title>
    <author>SANTOS JR., J. AUGUSTO ; Lima, George</author>
    <proceedings>Brazilian Symposium on Computing System Engineering. p. 131</proceedings>
    <location>Natal</location>
    <month>10</month>
    <year>2012</year>
    <urlabstract>https://repositorio.ufba.br/ri/bitstream/ri/9291/1/jaugusto-sbesc2012.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Optimizing QoS in Adaptive Real-Time Systems with Energy Constraint Varying CPU Frequency</title>
    <author>Camponogara, Eduardo; Lima, George; MOSSE, DANIEL; NASSIFFE, RIAD</author>
    <proceedings> III Brazilian Symposium on Computing Systems Engineering. p. 101-106</proceedings>
    <location>Niteroi</location>
    <month>10</month>
    <year>2013</year>
    <urlabstract>https://doi.org/10.1109/SBESC.2013.9</urlabstract>
    <type>Full Paper</type>
  </article> 
  <article>
    <title>RTEMS Core Analysis for Space Applications</title>
    <author>Nicodemos, Fernando; Saotome, Osamu; Lima, George</author>
    <proceedings>III Brazilian Symposium on Computing Systems Engineering. p. 125-130.</proceedings>
    <location>Niteroi</location>
    <month>10</month>
    <year>2013</year>
    <urlabstract>https://doi.org/10.1109/SBESC.2013.22</urlabstract>
    <type>Full Paper</type>
  </article> 
  <article>
    <title>Multiprocessor Real-Time Scheduling with a Few Migrating Tasks</title>
    <author>JUNIOR, J. AUGUSTO SANTOS; Lima, George; BLETSAS, KONSTANTINOS; Kato, Shinpei</author>
    <proceedings>IEEE 34th Real-Time Systems Symposium. p. 170-181</proceedings>
    <location>Vancouver</location>
    <month>10</month>
    <year>2013</year>
    <urlabstract>https://doi.org/10.1109/RTSS.2013.25</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Model Considering QoS for Real-Time Systems with Energy and Temperature Constraints</title>
    <author>NASSIFFE, R. M.; Camponogara, Eduardo; Mosse, Daniel; Lima, George</author>
    <proceedings>Proc. of the Brazilian Symposium on Computing Systems Engineering. USA: IEEE Computer Society</proceedings>
    <location>Los Alamitos, CA</location>
    <month>10</month>
    <year>2014</year>
    <urlabstract>https://doi.org/10.1109/SBESC.2014.10</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Revealing the secrets of RUN and QPS: new trends for optimal real-time multiprocessor scheduling</title>
    <author>Massa, Ernesto; Lima, George; Regnier, Paul</author>
    <proceedings>Proceedings of the Brazilian Symposium on Computing Systems Engineering (SBESC). Los Alamitos, CA, USA: IEEE Computer Society, 2014. p. 1-6.</proceedings>
    <location>Manaus</location>
    <month>10</month>
    <year>2014</year>
    <urlabstract>https://doi.org/10.1109/SBESC.2014.32</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Optimal and Adaptive Multiprocessor Real-Time Scheduling: The Quasi-Partitioning Approach.</title>
    <author>Massa, Ernesto ; Lima, George ; Regnier, Paul ; LEVIN, GREG ; BRANDT, SCOTT</author>
    <proceedings>26th Euromicro Conference on Real-Time Systems. p. 291-300</proceedings>
    <location>Madrid</location>
    <month>10</month>
    <year>2014</year>
    <urlabstract>https://doi.org/10.1109/ECRTS.2014.19</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems</title>
    <author>Muniz, Andre L. N. ; Andrade, Aline M. S. ; Lima, George</author>
    <proceedings>Innovations in Systems and Software Engineering (Print), v. 6, p. 29-37</proceedings>
    <location></location>
    <month>10</month>
    <year>2010</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/workshop_uml_e_fm2009.pdf</urlabstract>
    <type>Full Paper</type>
  </article>  
  <article>
    <title>Optimization-Based Dynamic Reconfiguration of Real-Time Schedulers With Support for Stochastic Processor Consumption</title>
    <author>Camponogara, Eduardo ; Oliveira, Augusto Born ; Lima, George</author>
    <proceedings> IEEE Transactions on Industrial Informatics, v. 6, p. 594-609</proceedings>
    <location></location>
    <month>07</month>
    <year>2010</year>
    <urlabstract>https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5512574</urlabstract>
    <type>Full Paper</type>
  </article> 
  <article>
    <title>Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach</title>
    <author>Regnier, Paul ; Lima, George ; Massa, Ernesto ; LEVIN, GREG ; BRANDT, SCOT</author>
    <proceedings>Real-Time Systems, v. 29, p. 436-474, 2012</proceedings>
    <location></location>
    <month>11</month>
    <year>2012</year>
    <urlabstract>https://doi.org/10.1007/s11241-012-9165-x</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Optimizing quality of service in real-time systems under energy constraints</title>
    <author>Nassiffe, Riad ; Camponogara, Eduardo ; Lima, George</author>
    <proceedings>Operating Systems Review, v. 46, p. 82-92, </proceedings>
    <location></location>
    <month>02</month>
    <year>2012</year>
    <urlabstract>https://doi.org/10.1145/2146382.2146397</urlabstract>
    <type>Full Paper</type>
  </article> 
  <article>
    <title>Optimizing QoS in energy-aware real-time systems</title>
    <author>NASSIFFE, R. M. ; Camponogara, Eduardo ; LIMA, George</author>
    <proceedings>SIGBED Review, v. 10, p. 25-25, 2013.</proceedings>
    <location></location>
    <month>07</month>
    <year>2013</year>
    <urlabstract>https://doi.org/10.1145/2518148.2518163</urlabstract>
    <type>Full Paper</type>
  </article>  
  <article>
    <title>Efficient schedulability tests for real-time embedded systems with urgent routines</title>
    <author>SANTOS, J. AUGUSTO ; Lima, George ; BLETSAS, KONSTANTINOS</author>
    <proceedings>Design Automation for Embedded Systems, v. 1, p. 1-20, 2013.</proceedings>
    <location></location>
    <month>08</month>
    <year>2013</year>
    <urlabstract>https://link.springer.com/content/pdf/10.1007%2Fs10617-013-9113-6.pdf</urlabstract>
    <type>Full Paper</type>
  </article> 
  <article>
    <title>Towards an upper ontology and methodology for robotics and automation</title>
    <author>PRESTES, EDSON ; CHIBANI, ABDELGHANI ; SAFFIOTTI, ALESSANDRO ; SCHLENOFF, CRAIG ; GERARD, SEBASTIEN ; SANZ, RICARDO ; BARRETO, Marcos E. ; MADHAVAN, RAJ ; AMIRAT, YACINE</author>
    <proceedings>Proceedings of the 2012 ACM Conference on Ubiquitous Computing - UbiComp '12. New York: ACM Press. v. 1. p. 873-882.</proceedings>
    <location>New York</location>
    <month>09</month>
    <year>2012</year>
    <urlabstract>https://doi.org/10.1145/2370216.2370414</urlabstract>
    <type>Full Paper</type>
  </article> 
  <article>
    <title>Nesting the context for pervasive robotics</title>
    <author>HAIDEGGER, TAMAS ; BARRETO, Marcos E. ; GONCALVES, PAULO J. S. ; HABIB, MAKI ; RAGAVAN, VEERA ; SCHLENOFF, CRAIG ; VACCARELLA, ALBERTO ; PRESTES, EDSON</author>
    <proceedings>Proceedings of the 2012 ACM Conference on Ubiquitous Computing - UbiComp '12. New York: ACM Press. v. 1. p. 826-833.</proceedings>
    <location>New York</location>
    <month>09</month>
    <year>2012</year>
    <urlabstract>https://doi.org/10.1145/2370216.2370406</urlabstract>
    <type>Full Paper</type>
  </article> 
  <article>
    <title>Parallel algorithm for landform attributes representation on multicore and multi-GPU systems</title>
    <author>BORATTO, Murilo C. ; BARRETO, Marcos E. ; COELHO, L. ; RAMIRO, C. ; ALONSO, P.</author>
    <proceedings>Procedia Computer Science. Amsterdam: Elsevier. v. 9. p. 47-56.</proceedings>
    <location>Omaha</location>
    <month>06</month>
    <year>2012</year>
    <urlabstract>https://doi.org/10.1007/978-3-642-31125-3_3</urlabstract>
    <type>Full Paper</type>
  </article>  
  <article>
    <title>Heterogeneous Computational Model for Landform Attributes Representation on Multicore and Multi-GPU Systems</title>
    <author>Boratto, Murilo ; Alonso, Pedro ; Ramiro, Carla ; BARRETO, Marcos E.</author>
    <proceedings>Lecture Notes in Computer Science (LNCS). Berlin Heidelberg: Springer-Verlag, 2012. v. 7333. p. 29-43.</proceedings>
    <location>Salvador</location>
    <month>06</month>
    <year>2012</year>
    <urlabstract>https://core.ac.uk/download/pdf/82547488.pdf</urlabstract>
    <type>Full Paper</type>
  </article>  
  <article>
    <title>Robot ontologies for sensor- and Image-guided surgery. </title>
    <author>HAIDEGGER, TAMAS ; Barreto, Marcos ; GONCALVES, PAULO J. S. ; HABIB, MAKI K. ; RAGAVAN, S. VEERA ; LI, HOWARD ; VACCARELLA, ALBERTO ; PERRONE, ROBERTA ; PRESTES, EDSON </author>
    <proceedings>IEEE International Symposium on Robotic and Sensors Environments (ROSE). v. 1. p. 19-24..</proceedings>
    <location>Washington</location>
    <month>10</month>
    <year>2013</year>
    <urlabstract>https://doi.org/10.1109/ROSE.2013.6698412</urlabstract>
    <type>Full Paper</type>
  </article> 
  <article>
    <title>Defining positioning in a core ontology for robotics</title>
    <author>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 .</author>
    <proceedings>International Conference on Intelligent Robots and Systems. v. 1. p. 1867-1872.</proceedings>
    <location>Tokyo</location>
    <month>11</month>
    <year>2013</year>
    <urlabstract>https://doi.org/10.1109/IROS.2013.6696603</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Providing volunteer computing at the infrastructure level to support e-science applications</title>
    <author>GUTIERREZ, F. O. ; Barreto, Marcos ; GOMES, A. T. .</author>
    <proceedings>Anais do XXXIII Congresso da Sociedade Brasileira de Computacao (CSBC). Porto Alegre: SBC, 2013. v. 1. p. 1879-1887.</proceedings>
    <location>Porto Alegre</location>
    <month>07</month>
    <year>2013</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/ProvidingVolunteerComputingAtTheInfrastructureLeveltoSupporteScienceApplications.pdf</urlabstract>
    <type>Full Paper</type>
  </article>  
  <article>
    <title>Auto-tuning methodology to represent landform attributes on multicore and multi-GPU systems</title>
    <author>Boratto, Murilo ; Alonso, Pedro ; GIMENEZ, DOMINGO ; Barreto, Marcos ; OLIVEIRA, KAROLYNE </author>
    <proceedings>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.</proceedings>
    <location>New York</location>
    <month>02</month>
    <year>2013</year>
    <urlabstract>https://doi.org/10.1145/2442992.2443006</urlabstract>
    <type>Full Paper</type>
  </article> 
  <article>
    <title>Support for bioinformatics applications through volunteer and scalable computing frameworks</title>
    <author>GUTIERREZ, FELIPE ; AZEVEDO, DANILO ; Barreto, Marcos ; ZUCOLOTO, RODRIGO</author>
    <proceedings>IEEE International Conference on Cluster Computing (CLUSTER). v. 1. p. 364-370.</proceedings>
    <location>Madrid</location>
    <month>09</month>
    <year>2014</year>
    <urlabstract>https://doi.org/10.1109/CLUSTER.2014.6968780</urlabstract>
    <type>Full Paper</type>
  </article> 
  <article>
    <title>A Spark-based workflow for probabilistic record linkage of healthcare data</title>
    <author>PITA, R. ; PINTO, C. ; MELO, P. ; SILVA, M. ; Barreto, Marcos ; RASELLA, D.</author>
    <proceedings>Proceedings of the Workshops of the EDBT/ICDT 2015 Joint Conference. Aachen: CEUR, 2015. v. 1330. p. 17-26</proceedings>
    <location>Brussel</location>
    <month>03</month>
    <year>2015</year>
    <urlabstract>http://ceur-ws.org/Vol-1330/paper-04.pdf</urlabstract>
    <type>Full Paper</type>
  </article> 
  <article>
    <title>Tratando a previsibilidade em sistemas de tempo-real distribuídos: Especificação. Linguagens, Middleware e Mecanismos Básicos. </title>
    <author>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.</author>
    <proceedings>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</proceedings>
    <location>Gramado, RS</location>
    <month>05</month>
    <year>2004</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/tempoReal2004.pdf</urlabstract>
    <type>Book Chapter</type>
  </article>
  
  <article>
    <title>Modelagem computacional da espacializacao de variáveis metereologicas na região agrícola do Vale do Rio São Francisco</title>
    <author>BORATTO, Murilo C. ; LEAL, B. G. ; BARRETO, Marcos E. ; NERY FILHO, J. ; COELHO, L.</author>
    <proceedings>Pesquisas Aplicadas em Modelagem Matemática, v.1., pp. 81-101</proceedings>
    <location>Porto Alegre</location>
    <month>00</month>
    <year>2012</year>
    <urlabstract>#</urlabstract>
    <type>Book Chapter</type>
  </article>
  <article>
    <title>Modelagem computacional da espacialização do relevo na região agrícola do Vale do Rio Sao Francisco</title>
    <author>BORATTO, Murilo C. ; LEAL, B. G. ; BARRETO, Marcos E. ; BONFIM, T. ; COELHO, L.</author>
    <proceedings>Pesquisas Aplicadas em Modelagem Matemática, v.1., 351-371</proceedings>
    <location>Porto Alegre</location>
    <month>00</month>
    <year>2012</year>
    <urlabstract>#</urlabstract>
    <type>Book Chapter</type>
  </article> 
  <article>
    <title>Computação paralela e distribuída utilizando sistemas multicore e multi-GPU</title>
    <author>BORATTO, Murilo C. ; BARRETO, Marcos E. ; LESSA, I.</author>
    <proceedings>Carlos Augusto Paiva da Silva Martins. (Org.). Sistemas computacionais</proceedings>
    <location>Unijui</location>
    <month>00</month>
    <year>2012</year>
    <urlabstract>#</urlabstract>
    <type>Book Chapter</type>
  </article>  
  <article>
    <title>Towards a core ontology for robotics and automation</title>
    <author>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.</author>
    <proceedings>Robotics and Autonomous Systems, Vol. 61, Issue 11</proceedings>
    <location>Elsevier</location>
    <month>11</month>
    <year>2013</year>
    <urlabstract>https://www.sciencedirect.com/science/article/pii/S0921889013000596</urlabstract>
    <type>Full Paper</type>
  </article> 
  <article>
    <title>Ubiquitous robotics: Recent challenges and future trends</title>
    <author>CHIBANI, ABDELGHANI ; AMIRAT, YACINE ; MOHAMMED, S. ; MATSON, E. ; HAGITA, N. ; Barreto, Marcos .</author>
    <proceedings>Robotics and Autonomous Systems, Vol. 61, Issue 11</proceedings>
    <location>Elsevier</location>
    <month>11</month>
    <year>2013</year>
    <urlabstract>https://www.sciencedirect.com/science/article/pii/S0921889013000572</urlabstract>
    <type>Full Paper</type>
  </article>  
  
  <article>
    <title>Applied ontologies and standards for service robots. Robotics and Autonomous Systems</title>
    <author>HAIDEGGER, T. ; BARRETO, Marcos E. ; GONCALVES, P. J. S. ; HABIB, M. ; RAGAVAN, V. ; LI, H. ; VACCARELLA, ALBERTO ; PERRONE, R. ; SILVA JUNIOR, E. P.</author>
    <proceedings>Robotics and Autonomous Systems, Vol. 61, Issue 11</proceedings>
    <location>Elsevier</location>
    <month>11</month>
    <year>2013</year>
    <urlabstract>https://www.sciencedirect.com/science/article/pii/S092188901300105X</urlabstract>
    <type>Full Paper</type>
  </article> 
  <article>
    <title>Automatic routine tuning to represent landform attributes on multicore and multi-GPU systems</title>
    <author>BORATTO, Murilo C. ; ALONSO, P. ; GIMENE, D. ; BARRETO, Marcos E</author>
    <proceedings>Journal of Supercomputing, Vol. 70, Issue 2, pp. 733-745</proceedings>
    <location>Springer</location>
    <month>04</month>
    <year>2014</year>
    <urlabstract>https://link.springer.com/content/pdf/10.1007%2Fs11227-014-1191-0.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Reliability Requirements in Mobile Agent Systems</title>
    <author>ASSIS, F. ; MACÊDO, Raimundo José de Araújo</author>
    <proceedings>II Workshop de Testes e Tolerância a Falhas</proceedings>
    <location>Curitiba, Paraná</location>
    <month>07</month>
    <year>2000</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/iiwtf_wh.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>The MARES Platform: Support for Transactional and Fault-tolerant Execution of Mobile Agent-based Applications</title>
    <author>ASSIS, F. ; MACÊDO, Raimundo José de Araújo ; FREITAS, Ana Vitoria Piaggio de</author>
    <proceedings>IV Workshop de Testes e Tolerância a Falhas - WTF 2003 - 21o. Simpósio Brasileiro de Redes de Computadores - SBRC</proceedings>
    <location>Salvador, Bahia</location>
    <month>00</month>
    <year>2003</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/mares.pdf</urlabstract>
    <type>Full Paper</type>
  </article>  
  <article>
    <title>Geração de Código Java a partir de Especificações Promela</title>
    <author>SENA, Izi Silva ; ASSIS, F. ; ANDRADE, Aline M Santos</author>
    <proceedings>I Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia Sergipe - III Escola Regional de Computação Bahia Sergipe</proceedings>
    <location>Salvador, Bahia</location>
    <month>00</month>
    <year>2003</year>
    <urlabstract>#</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Implementação de um Suporte Transacional para Aplicações baseadas em Agentes Móveis</title>
    <author>FREITAS, Ana Vitoria Piaggio de ; ASSIS, F.</author>
    <proceedings>I Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia Sergipe - III Escola Regional de Computação Bahia Sergipe</proceedings>
    <location>Salvador, Bahia</location>
    <month>00</month>
    <year>2003</year>
    <urlabstract>#</urlabstract>
    <type>Full Paper</type>
  </article>  
  <article>
    <title>Executing Workflows with Mobile Agents from UML Specifications</title>
    <author>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 </author>
    <proceedings> V Workshop de Comunicação sem Fio e Computação Móvel - WCSF2003</proceedings>
    <location>São Lourenço, MG</location>
    <month>00</month>
    <year>2003</year>
    <urlabstract>#</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Extensão de Promela para Especificação de Falhas em Sistemas baseados em Agentes Móveis</title>
    <author>AGUIAR, Daniel ; ANDRADE, Aline M Santos ; ASSIS, F</author>
    <proceedings>WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Sergipe</proceedings>
    <location>Feira de Santana, Bahia</location>
    <month>00</month>
    <year>2004</year>
    <urlabstract>http://www.uefs.br/erbase2004/documentos/wticgbase/Wticgbase2004ArtigoMonografia003.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Suporte à Especificação da WfMC no MABflow, um Sistema de Workflow baseado em Agentes Móveis</title>
    <author>DANTAS, W. S. ; ASSIS, F.</author>
    <proceedings>II WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Sergipe</proceedings>
    <location>Ilhéus, Bahia</location>
    <month>00</month>
    <year>2004</year>
    <urlabstract>http://www.uefs.br/erbase2004/documentos/wticgbase/Wticgbase2004ArtigoMonografia008.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Requisitos de um Framework para Gerenciamento de Agentes Móveis em Redes de Sensores Sem Fio</title>
    <author>Oliveira, R. ; ASSIS, F. ; Montez, C.B</author>
    <proceedings>WTICG - Workshop de Trabalhos de Iniciação Científica e de Graduação</proceedings>
    <location>Ilhéus, Bahia</location>
    <month>00</month>
    <year>2009</year>
    <urlabstract>#</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Sistema de Agentes Móveis para Sun SPOT</title>
    <author>Lopes, R. ; ASSIS, F. ; Montez, C.B.</author>
    <proceedings>WTICG-BASE 2010 (Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Alagoas-Sergipe)</proceedings>
    <location>Maceió, AL</location>
    <month>00</month>
    <year>2010</year>
    <urlabstract>https://doi.org/10.1109/ISADS.2011.10</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Localized Algorithm for the Maximum Lifetime Broadcast Problem with Asymmetric Edge Costs</title>
    <author>Bruno Nunes, Frederico Barboza and Flávio Assis</author>
    <proceedings>International Conference on Ad Hoc Networks and Wireless - ADHOCNOW 2013 - Lecture Notes in Computer Science (LNCS)</proceedings>
    <location>Cambridge, Massachusetts</location>
    <month>00</month>
    <year>2012</year>
    <urlabstract>https://doi.org/10.1109/NCA.2012.43</urlabstract>
    <type>Full Paper</type>
  </article> 
  <article>
    <title>Maximum Lifetime Broadcast in Mobile Sensor Networks</title>
    <author>Bruno Nunes, Frederico Barboza and Flávio Assis</author>
    <proceedings>International Conference on Ad Hoc Networks and Wireless - ADHOCNOW 2013 - Lecture Notes in Computer Science (LNCS)</proceedings>
    <location>Polônia</location>
    <month>00</month>
    <year>2013</year>
    <urlabstract>http://link.springer.com/chapter/10.1007%2F978-3-642-39247-4_3</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Mobile Agent-based Transactions in Open Environments</title>
    <author>Flávio Assis Silva</author>
    <proceedings>IEICE Transactions on Communications</proceedings>
    <location>Japão</location>
    <month>00</month>
    <year>2000</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/ieice2000ps.pdf</urlabstract>
    <type>Full Paper</type>
  </article>  
  <article>
    <title>Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems</title>
    <author>Frederico J.R. Barboza and Aline M.S. Andrade , Flávio Assis Silva AND George Lima</author>
    <proceedings>Electronic Notes in Theoretical Computer Science</proceedings>
    <location>Elsevier</location>
    <month>01</month>
    <year>2008</year>
    <urlabstract>https://www.sciencedirect.com/science/article/pii/S1571066108000091</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Geração de Protótipos Confiáveis em Java a partir de Promela</title>
    <author>MENEZES, Felipe ; ANDRADE, A. M. S. ; SILVA, Flávio Morais de Assis</author>
    <proceedings>Anais da I Workshop de Trabalhos de Iniciação Científica e Graduação Bahia-Sergipe</proceedings>
    <location>Elsevier</location>
    <month>00</month>
    <year>2004</year>
    <urlabstract>#</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time System</title>
    <author>BARBOZA, F.; ANDRADE, A.; SILVA, F.; LIMA, G.</author>
    <proceedings>Electronic Notes in Theoretical Computer Science, v. 195, p. 3-20</proceedings>
    <location>Elsevier</location>
    <month>01</month>
    <year>2008</year>
    <urlabstract>https://www.sciencedirect.com/science/article/pii/S1571066108000091</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Online Schedulability Tests for Real-Time Systems</title>
    <author>George Lima and Ana Carolina Sokolonski and Eduardo Camponogara</author>
    <proceedings>X Workshop de Tempo Real e Sistemas Embarcados</proceedings>
    <location>Rio de Janeiro</location>
    <month>05</month>
    <year>2008</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/schdTests-wtr08.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Detectores Perfeitos em Sistemas Distribuídos Não Síncronos</title>
    <author>Raimundo Macêdo and Sérgio Gorender</author>
    <proceedings>IX Workshop de Teste e Tolerância a Falhas (WTF 2008)</proceedings>
    <location>Rio de Janeiro, Brasil</location>
    <month>05</month>
    <year>2008</year>
    <urlabstract>http://www.lbd.dcc.ufmg.br/colecoes/wtf/2008/009.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Reconfiguração Dinâmica de Componentes em Sistemas Distribuídos de Controle e Supervisão, com Aplicação a Tolerância a Falhas</title>
    <author>Neima Santos and Raimundo Macêdo and Luciano Barreto</author>
    <proceedings>Anais do IX Workshop de Teste e Tolerância a Falhas (WTF 2008)</proceedings>
    <location>Rio de Janeiro, Brasil</location>
    <month>05</month>
    <year>2008</year>
    <urlabstract>http://www.lbd.dcc.ufmg.br/colecoes/wtf/2008/014.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A GA-Based Approach to Dynamic Reconfiguration of Real-Time Systems</title>
    <author>Marco Simões and George Lima and Eduardo Camponogara</author>
    <proceedings>Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 08)</proceedings>
    <location>St. Louis, MO, USA</location>
    <month>04</month>
    <year>2008</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/gadynamiccbs-apres08.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Simulation-Based Analysis to Derive of Fault Resilience in Real-Time Systems</title>
    <author>Flávia Nascimento and George Lima and Verônica Lima</author>
    <proceedings>10th Brazilian Workshop on Real-Time and Embedded Systems</proceedings>
    <location>Rio de Janeiro, Brazil</location>
    <month>05</month>
    <year>2008</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/simulation-wtr08.pdf</urlabstract>
    <type>Extended Abstract</type>
  </article>
  <article>
    <title>Dynamic Reconfiguration of Constant Bandwidth Servers</title>
    <author>Augusto Born de Oliveira and Eduardo Camponogara and George Lima</author>
    <proceedings>10th Brazilian Workshop on Real-Time and Embedded Systems</proceedings>
    <location>Rio de Janeiro, Brazil</location>
    <month>05</month>
    <year>2008</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/DynamicReconfig-wtr08.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems</title>
    <author>George Lima and Eduardo Camponogara and Ana Carolina Sokolonski</author>
    <proceedings>20th IEEE Euromicro Conference on Real-Time Systems (ECRTS 2008)</proceedings>
    <location>Prague, Czech Republic</location>
    <month>07</month>
    <year>2008</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/Multiversion-euro08.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Estimating Execution Time Probability Distributions in Component-based Real-Time Systems </title>
    <author>Ricardo Perrone and Raimundo Macêdo and George Lima and Verônica Lima</author>
    <proceedings>Proceedings of the 10th Brazilian Workshop on Real-time and Embedded Systems</proceedings>
    <location>Rio de Janeiro, Brasil</location>
    <month>05</month>
    <year>2008</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/edistribution-wtr08.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Dependable Web Service Compositions using a Semantic Replication Scheme</title>
    <author>Daniela Barreiro Claro and Raimundo José de Araújo Macêdo</author>
    <proceedings>Anais do XXVI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2008)</proceedings>
    <location>Rio de Janeiro, RJ, Brasil</location>
    <month>05</month>
    <year>2008</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/SAREK.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Explorer Fuzzy Tree: uma ferramenta para experimentação de técnicas de classificação baseadas em árvores de decisão fuzzy</title>
    <author>Erick Nilsen Pereira de Souza and Daniela Barreiro Claro</author>
    <proceedings>ERBASE 2008 - WTICG-BASE (Workshop de Trabalhos de Iniciação Científica e Graduação Bahia, Alagoas e Sergipe)</proceedings>
    <location>Salvador, Bahia</location>
    <month>04</month>
    <year>2008</year>
    <urlabstract>http://homes.dcc.ufba.br/~dclaro/download/EFT.pdf </urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Web Services e sua relação com Sistemas de Informação</title>
    <author>Daniela Barreiro Claro and Raimundo José de Araújo Macêdo</author>
    <proceedings>Minicurso do IV Simpósio Brasileiro de Sistemas de Informação</proceedings>
    <location>Rio de Janeiro - RJ</location>
    <month>04</month>
    <year>2008</year>
    <urlabstract>#</urlabstract>
    <type>Extended Abstract</type>
  </article>
  <article>
    <title>A topological Approach to Universal Logic: Model-Theoretical Abstract Logics</title>
    <author>Steffen Lewitzka</author>
    <proceedings>.-Y. Beziau (Ed.), Logica Universalis, 2nd edition, 35-61, 2007 Birkhäuser Verlag </proceedings>
    <location>Basel/Switzerland</location>
    <month>06</month>
    <year>2007</year>
    <urlabstract>https://link.springer.com/chapter/10.1007/978-3-7643-8354-1_3</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Abstract Logics, Logic Maps, and Logic Homomorphisms</title>
    <author>Steffen Lewitzka</author>
    <proceedings>Logica universalis 1 (2007), 243-276, c 2007 Birkhäuser Verlag </proceedings>
    <location>Basel/Switzerland</location>
    <month>10</month>
    <year>2007</year>
    <urlabstract>https://repositorio.ufba.br/ri/handle/ri/14354</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Engineering Components for Flexible and Interoperable Real-Time Distributed Supervision and Control Systems </title>
    <author> Sandro Andrade, Raimundo Macêdo</author>
    <proceedings> 12th IEEE Conference on Emerging Technologies and Factory Automation </proceedings>
    <location> Patras - Greece </location>
    <month>09</month>
    <year> 2007 </year>
    <urlabstract>https://ieeexplore.ieee.org/abstract/document/4416792/</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Priority-Based Consensus Protocol</title>
    <author>George Lima and Alan Burns </author>
    <proceedings>Anais do XXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2007)</proceedings>
    <location>Belém, Brasil </location>
    <month>05</month>
    <year>2007    </year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/priority-sbrc2007.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Suporte à Degradação Controlada em Sistemas de Tempo Real </title>
    <author>Ana Carolina Sokolonski and George Lima and Luciano Porto Barreto</author>
    <proceedings>Anais do VIII Workshop de Teste e Tolerância a Falhas (WTF 2007)</proceedings>
    <location>Belém, Brasil</location>
    <month>05</month>
    <year>2007</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/degradacao-wtf07.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Framework for Automatic Composition of RFQ Web Services</title>
    <author>Daniela Barreiro Claro and Patrick Albers and Jin-Kao Hao</author>
    <proceedings>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</proceedings>
    <location>Salt Lake City, Utah, USA</location>
    <month>07</month>
    <year>2007</year>
    <urlabstract>https://doi.org/10.1109/SERVICES.2007.5</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Um Framework para Prototipagem e Simulação de Detectores de Defeitos na Construção de Sistemas de Tempo Real</title>
    <author>Alírio Sá and Raimundo José de Araújo Macêdo</author>
    <proceedings>Proceedings of VIII Workshop de Teste e Tolerância a Falhas (WTF 2007), p.43-56</proceedings>
    <location>Belém, Brazil</location>
    <month>05</month>
    <year>2007</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/29282.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>An Integrated Group Communication Infrastructure for Hybrid Real-Time Distributed Systems</title>
    <author>Raimundo José de Araújo Macêdo</author>
    <proceedings>9th Workshop on Real-Time Systems (WTR 2007), p.81-88</proceedings>
    <location>Belém, Brazil</location>
    <month>05</month>
    <year>2007</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/An_Integrated_Group_Communication_Infrastructure_f.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>An Adaptive Programming Model for Fault-Tolerant Distributed Computing</title>
    <author>Sérgio Gorender and Raimundo José de Araújo Macêdo and Michel Raynal</author>
    <proceedings>IEEE Transactions on Dependable and Secure Computing Vol. 4,  no. 1, pp. 18-31,  </proceedings>
    <location>Los Alamitos, CA, USA</location>
    <month>01</month>
    <year>2007</year>
    <urlabstract>https://doi.org/10.1109/TDSC.2007.3</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Mapeamento de Diagramas da UML 2.0 em UPPAAL</title>
    <author>ANDRADE, A. M. S. ; MUNIZ, André Luís Nunes</author>
    <proceedings>In: Workshop de Trabalhos de Iniciação Científica e de Graduação - IV WTICG</proceedings>
    <location>Aracajú, SE, Brasil</location>
    <month>00</month>
    <year>2006</year>
    <urlabstract>#</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Computação Distribuída</title>
    <author>Raimundo José de Araújo Macêdo.</author>
    <proceedings>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</proceedings>
    <location>Salvador - Bahia</location>
    <month>12</month>
    <year>2006</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/ComputacaoDistribuida.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Using Real-time Components to Construct Supervision and Control Applications</title>
    <author>Sandro Santos Andrade and Raimundo José de Araújo Macêdo and Alírio Sá and Neima Santos</author>
    <proceedings>Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006) Work in Progress Session</proceedings>
    <location>Rio de Janeiro</location>
    <month>08</month>
    <year>2006</year>
    <urlabstract>http://www.academia.edu/4263837/Using_Real-time_Components_to_Construct_Supervision_and_Control_Applications</urlabstract>
    <type>Extended Abstract</type>
  </article>
  <article>
    <title>Real-Time Component Software For Flexible And Interoperable Automation Systems.  </title>
    <author>Sandro Santos Andrade and Raimundo José de Araújo Macêdo</author>
    <proceedings>Anais do XII Congresso Brasileiro de Automática (XII CBA) v. 1. p. 3014-3019</proceedings>
    <location>Salvador </location>
    <month>06</month>
    <year>2006 </year>
    <urlabstract>http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.527.937</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Management Tool for Component-Based Real-Time Supervision and Control Systems.</title>
    <author>Sandro Santos Andrade and Raimundo José de Araújo Macêdo. </author>
    <proceedings>Simpósio Brasileiro de Engenharia de Software (XIII Sessão de Ferramentas)v. 1. p. 139-144</proceedings>
    <location>Florianópolis</location>
    <month>10</month>
    <year>2006</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/sbes2006.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Deterministic Integration of Hard and Soft Real-Time Communication over Shared-Ethernet. </title>
    <author>Paul Regnier and George Marconi de Araújo Lima</author>
    <proceedings>Anais do VII Workshop Brasileiro de Tempo Real, p. 11-18</proceedings>
    <location>Curitiba</location>
    <month>05</month>
    <year>2006</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/RegnierLima-final.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Avaliando o Uso de Servidores para Tarefas Aperiódicas para fins de Tolerância a Falhas em Sistemas com Escalonamento Dinâmico. </title>
    <author>Ana Carolina Sokolonski Anton; George Marconi de Araújo Lima</author>
    <proceedings>IV WTICG (Trabalho de Conclusão de Curso)- ERBASE 2006. p. 1-13</proceedings>
    <location>Aracajú</location>
    <month>05</month>
    <year>2006 </year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/artigoErbase2006.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Simulador de Escalonamento para Sistemas de Tempo Real. </title>
    <author>Gisélia Magalhães Cruz; George Marconi de Araújo Lima</author>
    <proceedings>IV WTICG (Trabalho de Conclusão de Curso) - ERBASE 2006.p. 1-11 </proceedings>
    <location>Aracajú</location>
    <month>05</month>
    <year>2006</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/giselia.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Avaliando o Impacto de Detectores de  Defeitos na Estabilidade de Sistemas de Controle de Tempo Real sobre Redes Convencionais. </title>
    <author>Alírio Santos de Sá and  Raimundo José de Araújo Macêdo</author>
    <proceedings>WTF  2006 - VII Workshop de Testes e Tolerância à Falhas. pp. 55-66</proceedings>
    <location>Curitiba/Brasil</location>
    <month>05</month>
    <year>2006</year>
    <urlabstract>http://www.lbd.dcc.ufmg.br/colecoes/wtf/2006/st3_1.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Using Real-Time Components to Construct Supervision and Control Applications. </title>
    <author>Sandro Santos Andrade; Raimundo José de Araújo Macêdo</author>
    <proceedings>8th Brazilian Workshop on Real-Time Systems. Working-in-progress track. pp. 115-118  </proceedings>
    <location>Curitiba, PR</location>
    <month>05</month>
    <year>2006 </year>
    <urlabstract>http://www.academia.edu/4263837/Using_Real-time_Components_to_Construct_Supervision_and_Control_Applications</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Adapting Failure Detectors to Communication Network Load Fluctuations Using SNMP and Artificial Neural Nets </title>
    <author>Fábio Ramon de Lima e Lima and Raimundo José de Araújo Macêdo</author>
    <proceedings>Second Latin-American Symposium on Dependable Computing (LADC2005), Lecture Notes in Computer Science, Volume 3747, Pages 191 - 205. </proceedings>
    <location>Salvador, Bahia, Brasil</location>
    <month>10</month>
    <year>2005</year>
    <urlabstract>https://link.springer.com/chapter/10.1007/11572329_16</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Component-Based Real-Time Architecture for Distributed Supervision and Control Applications </title>
    <author>Sandro Andrade and Raimundo José de Araújo Macêdo</author>
    <proceedings>Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA2005) p. 15-22. </proceedings>
    <location>Catania - New York</location>
    <month>06</month>
    <year>2005</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/arcosETFA2005.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>An Adaptive Failure Detection Approach For Real-time Distributed Control Systems Over Shared Ethernet</title>
    <author>Alírio Sá and Raimundo José de Araújo Macêdo</author>
    <proceedings>Proceedings of the 18th International Congress on Mechanical Engineering - Mechatronics Symposium</proceedings>
    <location>Ouro Preto - Brasil</location>
    <month>06</month>
    <year>2005</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/DDSTR_COBEM2005.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Engenharia de Domínio aplicada ao Desenvolvimento Robusto e Eficiente de Sistemas Operacionais </title>
    <author>Luciano Porto Barreto </author>
    <proceedings>the 19th Simpósio Brasileiro de Engenharia de Software (SBES)</proceedings>
    <location>Uberlândia, MG</location>
    <month>10</month>
    <year>2005</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/resumos/lucianoSBES2005.html</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Escalonamento para Sistemas de Tempo Real Tolerantes a Falhas: Um Estudo Empírico </title>
    <author>Edinaldo O. de Jesus and George Marconi de Araújo Lima</author>
    <proceedings>Anais do VII Workshop de Tempo Real</proceedings>
    <location>Fortaleza, Brasil</location>
    <month>05</month>
    <year>2005 </year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/JLwtr2005.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>The Implementation of a Distributed System Model for Fault Tolerance with QoS. </title>
    <author>Raimundo José de Araújo Macêndo and Sérgio Gorender and Paulo Cunha</author>
    <proceedings>Anais do Simposio Brasileiro de Redes de Computadores (SBRC 2005). p. 827-840</proceedings>
    <location>Fortaleza</location>
    <month>05</month>
    <year>2005</year>
    <urlabstract>http://ce-resd.facom.ufms.br/sbrc/2005/058.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Hybrid and Adaptive Model for Fault-Tolerant Distributed Computing</title>
    <author>Sergio Gorender, Raimundo J. Araújo Macêdo and Michel Raynal</author>
    <proceedings>Proceedings of IEEE/IFIP Int. Conference on Computer Systemas and Networks (DNS05).p. 412-42. </proceedings>
    <location>Yokohama, Japan</location>
    <month>06</month>
    <year>2005 </year>
    <urlabstract>https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=1467816</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>The mobile groups approach for the coordination of mobile agents </title>
    <author>Raimundo J. Araújo Macêdo and Flávio M. Assis Silva</author>
    <proceedings>Journal of Parallel and Distributed Computing. Volume 65, Issue 3, pg. 275-288</proceedings>
    <location>Orlando, FL, USA</location>
    <month>03</month>
    <year>2005</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/elsevier.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Uma Arquitetura Baseada em Eventos para Desenvolvimento de Politicas de Escalonamento de Processos </title>
    <author>Luciano Porto Barreto</author>
    <proceedings>I Workshop de Sistemas Operacionais (WSO'2004), em conjunto com o XXIV Congresso da Sociedade Brasileira de Computação (CSBC'2004). </proceedings>
    <location>Salvador, BA </location>
    <month>08</month>
    <year>2004  </year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/wso.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Implementação e Análise de Desempenho de um Mecanismo Adaptativo para Tolerância a Falhas em Sistemas Distribuídos com QoS </title>
    <author>Sérgio Gorender and Raimundo J.A. Macêdo and Matheus Cunha</author>
    <proceedings>V WTF (Workshop de Testes e Tolerância a Falhas) em conjunto com SBRC 2004.pp.3-14, ISBN: 85-88442-81-7</proceedings>
    <location>Gramado/RS</location>
    <month>05</month>
    <year>2004</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/3042.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Um ambiente para especificação e verificação automática de aplicações baseadas em agentes móveis </title>
    <author>A.M.S.Andrade and F.M.Assis Silva and F.J.R.Barboza and R.A.R.Oliveira.</author>
    <proceedings>Anais do 22o. Simpósio Brasileiro de Redes de Computadores, SBRC'2004. pp.807-820, ISBN: 85-88442-81-7</proceedings>
    <location>Gramado, RS </location>
    <month>05</month>
    <year>2004</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/2160.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Consensus Protocol for CAN-Based Systems.</title>
    <author>George Lima and Alan Burns.</author>
    <proceedings>Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS)</proceedings>
    <location>Cancun, Mexico</location>
    <month>12</month>
    <year>2003</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/rtss2003.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Atendendo aos Requisitos de QoS de Aplicações Multimídia através da Especialização de Serviços do Sistema Operacional.</title>
    <author>Luciano Porto Barreto.</author>
    <proceedings>Simpósio Brasileiro de Sistemas Multimídia e Web (WEBMÍDIA'2003)</proceedings>
    <location>Salvador</location>
    <month>11</month>
    <year>2003</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/webmidia2003.ps</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>MARES Platform: Support for Transactional and Fault-tolerant Execution of Mobile Agent-based Applications</title>
    <author>Flávio M. Assis Silva and Raimundo J.A. Macêdo and Ana Vitoria Piaggio Freitas.</author>
    <proceedings>In Proceedings of the 4th Workshop on Tests and Faut-Tolerance (co-located with the XXI Brazilian Symposium on Computer Networks) pp. 71-78</proceedings>
    <location>Natal - Brazil</location>
    <month>05</month>
    <year>2003</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/mares.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Extensão da Linguagem Promela para Especificação de Sistemas baseados em Agentes Móveis.</title>
    <author>Aline Santos Andrade and Flávio Assis Silva and Frederico J.R. Barboza.</author>
    <proceedings>IV Workshop de Comunicação sem Fio (WCSF'2002) </proceedings>
    <location>São Paulo</location>
    <month>10</month>
    <year>2002</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/wcsf02.ps</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Solving the Group Priority Inversion Problem in a Timed Asynchronous System.</title>
    <author>Y. Wang and E. Anceaume and Francisco Brasileiro and Fabíola Greve and Michel Hurfin</author>
    <proceedings>IEEE Transactions on Computers. vol. 51, num. 8, pp. 900-915. </proceedings>
    <location>Washington, DC, USA</location>
    <month>08</month>
    <year>2002</year>
    <urlabstract>https://doi.org/10.1109/TC.2002.1024738</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Dynamically QoS Adaptable Consensus and Failure Detector.</title>
    <author>Sergio Gorender  and Raimundo Macedo</author>
    <proceedings>the IEEE/IFIP International Conference on Dependable Systems and Networks ( DSN2002) - Fast Abstract Track. pp.B-80 e B-81. </proceedings>
    <location>Washington, DC </location>
    <month>06</month>
    <year>2002</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/x</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Framework for Supporting the Development of Correct Mobile Applications based on Graph Grammars.</title>
    <author>Fernando L. Dotti and Lucio M. Duarte and Flávio Assis Silva and Aline Santos Andrade.</author>
    <proceedings>the Sixth World Conference on Integrated Design , Process Technology. Society for Design and Process Science. </proceedings>
    <location>Pasadena, California</location>
    <month>06</month>
    <year>2002</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/SupportingtheDevelopment.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Coordination of Mobile Processes with Mobile Groups.</title>
    <author>Raimundo Macêdo and Flávio Assis Silva</author>
    <proceedings>IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'2002) - Main Track: Dependable Computing and Communications. pp.177-186. </proceedings>
    <location>Washington, DC.</location>
    <month>06</month>
    <year>2002</year>
    <urlabstract>https://doi.org/10.1109/DSN.2002.1028898</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Um Modelo para Tolerância a Falhas em Sistemas Distribuídos com QoS.</title>
    <author>Sergio Gorender and Raimundo Macedo</author>
    <proceedings>XX Simpósio Brasileiro de Redes de Computadores (SBRC'02). pp.277-292 </proceedings>
    <location>Búzios-RJ</location>
    <month>05</month>
    <year>2002</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/qossbrc2003.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Desenvolvimento de um detector de defeitos para Sistemas Distribuídos baseado em Redes Neurais Artificiais.</title>
    <author>Nivea Ferreira,  Raimundo Macedo</author>
    <proceedings>III Workshop de Testes e Tolerância a Falhas (III WTF 2002) em conjunto com SBRC 2002. pp.33-40</proceedings>
    <location>Búzios-RJ</location>
    <month>05</month>
    <year>2002</year>
    <urlabstract>http://www.inf.pucrs.br/zorzo/iiiwtf/camera/e.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Um Protocolo de Validaçao Atomica Nao-Bloqueante Eficiente.</title>
    <author>Fabíola Greve and  Jean Pierre Le Narzul</author>
    <proceedings>XX Simpósio Brasileiro de Redes de Computadores (SBRC'02). pp.309-323</proceedings>
    <location>Búzios-RJ</location>
    <month>05</month>
    <year>2002</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/wtfsbrc2002.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Implementing FT-CORBA With Portable Interceptors: Lessons Learned.</title>
    <author>Fabíola Greve and Jean Pierre Le Narzul</author>
    <proceedings>In III Workshop de Testes e Tolerância a Falhas (III WTF 2002) em conjunto com SBRC 2002. pp.61-68.</proceedings>
    <location>Búzios-RJ</location>
    <month>05</month>
    <year>2002</year>
    <urlabstract>https://pdfs.semanticscholar.org/0e8a/85d448c861002db08a06a4d2ca1629c3de99.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>ARGO PROJECT : Fault Tolerance in Asynchronous Distributed Systems</title>
    <author>Raimundo Macêdo,  Michel Hurfin</author>
    <proceedings>Proceedings of the International Cooperation (CNPQ/NFS/INRIA) Project Evaluation Workshop. PROTEM-CC.p. 518-541.  </proceedings>
    <location>Rio de Janeiro</location>
    <month>05</month>
    <year>2001</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/x</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Consensus Protocol based on a Weak Failure Detector and a Sliding Round Window.</title>
    <author>Michel Hurfin and Raimundo Macêdo and A. Mostefaoui and Michel Raynal</author>
    <proceedings>20th IEEE Int. Symposium on Reliable Distributed Systems (SRDS'01). </proceedings>
    <location>New Orleans</location>
    <month>10</month>
    <year>2001</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/srds.ps</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Eva: an event-based framework for developing specialised communication protocols.</title>
    <author>Francisco Brasileiro and Fabíola Greve and Michel Hurfin and Jean Pierre Le Narzul and Frederic Tronel</author>
    <proceedings>Research Report 1345, IRISA, July, 2000. Also published in the IEEE International Symposium on Network Computing and Applications.</proceedings>
    <location>Cambridge, MA</location>
    <month>10</month>
    <year>2001</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/nca01.ps</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Um Serviço Tolerante a Falhas para o Gerenciamento de Sistemas Distribuídos Sobre CORBA.</title>
    <author>Marcela Batalha and Raimundo Macêdo</author>
    <proceedings>Latin-American Conference on Informatics (CLEI'2001)</proceedings>
    <location>Mérida, Venezuela</location>
    <month>09</month>
    <year>2001</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/clei2001.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Consensus in One Communication Step is Possible.</title>
    <author>Francisco Brasileiro and Fabíola Greve and A. Mostefaoui and Michel Raynal</author>
    <proceedings>International Conference on Parallel Computing Technologies (PACT'2001). Springer LNCS 2127. pp. 42-50. </proceedings>
    <location>Novosibirsk, Russia</location>
    <month>09</month>
    <year>2001</year>
    <urlabstract>https://link.springer.com/content/pdf/10.1007/3-540-44743-1_4.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Avoiding Priority Inversion on the Processing of Requests by Active Replicated Servers.</title>
    <author>Y. Wang and Francisco Brasileiro and E. Anceaume and Fabíola Greve and Michel Hurfin </author>
    <proceedings>IEEE International Conference on Dependable Systems and Networks. DSN 2001. pp.97-106. </proceedings>
    <location>Göteborg, Suécia </location>
    <month>07</month>
    <year>2001</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/dsn01.ps</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Towards a Best Effort Framework to Solve Agreement Problems.</title>
    <author>Fabíola Greve</author>
    <proceedings>Student Forum: Int. Conf. on Dependable Systems and Networks. DSN'2001. pp. A-4-A-6. </proceedings>
    <location>Göteborg, Suécia</location>
    <month>07</month>
    <year>2001</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/2</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Reliable Communication for Mobile Agents with Mobile Groups.</title>
    <author>Raimundo Macêdo and  Flávio Assis Silva</author>
    <proceedings>Workshop on Software Engineering and Mobility (co-located with ACM/IEEE ICSE 2001) </proceedings>
    <location>Toronto, Ontario, Canada</location>
    <month>05</month>
    <year>2001</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/icsevf_wh.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Mobile Groups.</title>
    <author>Raimundo Macêdo and  Flávio Assis Silva</author>
    <proceedings>In XIX Simpósio Brasileiro de Redes de Computadores (SBRC'01).pp.66-81</proceedings>
    <location>Florianópolis-SC</location>
    <month>05</month>
    <year>2001</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/sbrc2001_wh.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Integrating Mobility into Groups.</title>
    <author>Raimundo Macêdo and Flávio Assis Silva</author>
    <proceedings>Fourth European Research Seminar on Advances in Distributed System (ERSADS'01). pp. 209-214. </proceedings>
    <location>Bertinoro, Italy</location>
    <month>05</month>
    <year>2001</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/ersads.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Livro Texto dos Minicursos do SBRC2001. </title>
    <author>Raimundo Macêdo  and JM. Farines (Editores)</author>
    <proceedings>In SBC (198 páginas). </proceedings>
    <location>Florianópolis-SC</location>
    <month>05</month>
    <year>2001</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/2</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Primary component asynchronous group membership as an instance of a generic agreement framework.</title>
    <author>Fabíola Greve and Michel Hurfin and Michel Raynal and Frederic Tronel </author>
    <proceedings>5th IEEE Int. Symposium on Autonomous Decentralized Systems. </proceedings>
    <location>Dallas,TX</location>
    <month>03</month>
    <year>2001</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/isads01.ps</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Time and message effcient S-based consensus.</title>
    <author>Fabíola Greve and Michel Hurfin and Raimundo Macêdo and Michel Raynal</author>
    <proceedings>19th ACM SIGACT-SIGOPS Int. Symposium on Principles of Distributed Computing (PODC'00). ACM. Brief announcement. pp.332-332.</proceedings>
    <location>Portland, OR</location>
    <month>07</month>
    <year>2000</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/podc00.ps</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Failure Detection in Asynchronous Distributed Systems.</title>
    <author>Raimundo Macêdo </author>
    <proceedings>2nd Workshop on Tests and Fault-Tolerance. pp.76-81. </proceedings>
    <location>Curitiba-PR, Brazil. </location>
    <month>07</month>
    <year>2000</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/2wtf.ps</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Reliability Requirements for Mobile Agent Systems.</title>
    <author>Raimundo Macêdo and Flávio Assis Silva</author>
    <proceedings>II Workshop de Testes e Tolerância a Falhas (II WTF 2000). </proceedings>
    <location>Curitiba-PR</location>
    <month>07</month>
    <year>2000</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/iiwtf_wh.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Consensus Based On Strong Failure Detectors : A Time and Message-Efficient Protocol.</title>
    <author>Fabíola Greve and Michel Hurfin and Raimundo Macêdo and Michel Raynal</author>
    <proceedings>IEEE International Workshop on Fault-Tolerant Parallel and Distributed Systems. Lecture Notes in Computer Science 1800. Springer Verlag,pg 1258-1267. </proceedings>
    <location>Cancun</location>
    <month>05</month>
    <year>2000</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/ipdps00.ps</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Mobile Agent-based Transactions in Open Environments.</title>
    <author>Flávio Assis Silva and R. Popescu-Zeletin</author>
    <proceedings>IEICE Transactions on Communications. IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems. Vol.E83-B, No.5. pp.973-987. </proceedings>
    <location>Japão</location>
    <month>05</month>
    <year>2000</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/ieice2000.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Uma abordagem para Tolerância a Falhas em Java através de Comunicação em Grupo.</title>
    <author>L. D. Cirne and  Raimundo Macêdo</author>
    <proceedings>18º Simpósio Brasileiro de Redes de Computadores (SBRC'2000). </proceedings>
    <location>Belo Horizonte-MG</location>
    <month>05</month>
    <year>2000</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/iBusTF.ps</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Conector Genérico: Um Mecanismo para Reconfiguração de Aplicações baseadas em Componentes</title>
    <author>T. Batista and Cristina Chavez and N. Rodriguez</author>
    <proceedings>IDEAS´00 - Terceiro workshop Ibero-americano de Engenharia de Requisitos e Ambientes de Software.</proceedings>
    <location>Cancun, México</location>
    <month>04</month>
    <year>2000</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/2</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Agentes Móveis</title>
    <author>Flávio Assis Silva </author>
    <proceedings>Escola de Informática da SBC - Edição Nordeste (EINE'99) </proceedings>
    <location>Salvador - BA</location>
    <month>11</month>
    <year>1999</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/cursos/sbc_wh.ps</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A General Framework to Solve Agreement Problems</title>
    <author>Michel Hurfin and Raimundo Macêdo and Michel Raynal and Frederic Tronel</author>
    <proceedings>18th IEEE Symposium on Reliable Distributed Systems (SRDS'99). </proceedings>
    <location>Lausanne, Switzerland</location>
    <month>10</month>
    <year>1999</year>
    <urlabstract>https://pdfs.semanticscholar.org/2b31/2411f6de03f8447b691c248b9d21c9f17955.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Robust Causal Order Protocol</title>
    <author>George Lima and Raimundo Macêdo</author>
    <proceedings>11th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'99). </proceedings>
    <location>Natal-RN</location>
    <month>09</month>
    <year>1999</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/sbac99.ps</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Avaliação de Desempenho de Protocolos de Ordenação Causal para Comunicação em Grupo</title>
    <author>George Lima, Raimundo Macêdo</author>
    <proceedings>XXV Conferencia Latino Americana de Informatica. </proceedings>
    <location>Paraguai</location>
    <month>08</month>
    <year>1999</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/clei99.ps</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Solution for the Consensus Problem in A Mobile Environment.</title>
    <author>N. Badache and Michel Hurfin and Raimundo Macêdo </author>
    <proceedings>XVII Simpósio Brasileiro de Redes de Computadores (SBRC'99). pp.273-288.</proceedings>
    <location>Salvador-BA</location>
    <month>05</month>
    <year>1999</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/mobile.ps</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Solving the Consensus Problem in a Mobile Environment.</title>
    <author>N. Badache and Michel Hurfin and Raimundo Macêdo </author>
    <proceedings>IEEE International Performance,Computing, and Communications Conference (IPCCC'99). pp.29-35.</proceedings>
    <location>Phoenix, USA</location>
    <month>02</month>
    <year>1999</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/cons_mob_nf.ps</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>The BCG Membership Service Performance Analysis.</title>
    <author>Fabíola Greve and Raimundo Macêdo</author>
    <proceedings>XVI Simpósio de Redes de Computadores, pp. 682-700</proceedings>
    <location>Rio de Janeiro</location>
    <month>05</month>
    <year>1998</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/reltec/rti00498.ps</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Um Modelo de Transações Cooperativas Integrado a um Modelo de Versões.</title>
    <author>George Lima and  Beatriz Toledo</author>
    <proceedings>Simpósio Brasileiro de Banco de Dados (SBBD'97)</proceedings>
    <location>Fortaleza-CE</location>
    <month>10</month>
    <year>1997</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/sbbd97.ps</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Buffer Overflow Avoidance Techiniques for Group Communication Protocols.</title>
    <author>Raimundo Macêdo and P. D. Ezhilchelvan and S. Shrivastava</author>
    <proceedings>XIV Simpósio Brasileiro de Redes de Computadores (SBRC'96). pp. 633-652.</proceedings>
    <location>Fortaleza-CE</location>
    <month>05</month>
    <year>1996</year>
    <urlabstract>http://ce-resd.facom.ufms.br/sbrc/1996/p33.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>BCG - Base Confiável de Comunicação em Grupo.</title>
    <author>Raimundo Macêdo and Cristina Chavez and Fabíola Greve</author>
    <proceedings>Primeiro Workshop em Sistemas Distribuídos (WoSiD`96).pp. 9-11</proceedings>
    <location>Salvador-BA</location>
    <month>05</month>
    <year>1996  </year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/2</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Flow Control Schemes for a Fault-Tolerant Multicast Protocol.</title>
    <author>Raimundo Macêdo and P. D. Ezhilchelvan and S. Shrivastava</author>
    <proceedings>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 </proceedings>
    <location>Newport Beach, California, USA</location>
    <month>12 </month>
    <year>1995</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/mes95.ps</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>The Implementation and Performance Analysis of a Total Order Delivery Protocol for Group.</title>
    <author>Raimundo Macêdo and S. Shrivastava</author>
    <proceedings>XXI Latin American Conference on Informatics and the XV Congress of The Brazilian Computer Society.pp. 287-299</proceedings>
    <location>Canela-RS, Brazil</location>
    <month>07</month>
    <year>1995</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/2</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Reliability Aspects of Multicast Protocol.</title>
    <author>Raimundo Macêdo and P. D. Ezhilchelvan</author>
    <proceedings>VI Simpósio Brasileiro de Computadores Tolerantes a Falhas. pp. 239-259</proceedings>
    <location>Canela-RS, Brazil</location>
    <month>07</month>
    <year>1995</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/2</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Flow Control Scheme for a Fault-Tolerant Group Communication Protocol.</title>
    <author>Raimundo Macêdo and P. D. Ezhilchelvan and S. Shrivastava</author>
    <proceedings>2nd Open Broadcast Workshop</proceedings>
    <location>Grenoble, France</location>
    <month>06</month>
    <year>1995</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/2</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Newtop: A Fault-Tolerant Group communication Protocol.</title>
    <author>Raimundo Macêdo and P. D. Ezhilchelvan and S. Shrivastava</author>
    <proceedings>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.</proceedings>
    <location>Vancouver, Canadá</location>
    <month>05</month>
    <year>1995</year>
    <urlabstract>https://pdfs.semanticscholar.org/419b/876a26e83c94b1b02443011a690bf63e79a8.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Causal Order Protocols for Group Communication.</title>
    <author>Raimundo Macêdo</author>
    <proceedings>XIII Simpósio Brasileiro de Redes de Computadores (SBRC'95), pp. 265-283. </proceedings>
    <location>Belo Horizonte-MG, Brasil</location>
    <month>05</month>
    <year>1995</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/Causal+Order+Protocols+For+Group+Communicatio.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Newtop: A Total Order Multicast Protocol Using Causal Blocks.</title>
    <author>Raimundo Macêdo and P. D. Ezhilchelvan and S. Shrivastava</author>
    <proceedings>First Open Broadcast Workshop. , October, 1993. Also in First Year Report - Fundamental Concepts, vol. I, chap. II, Broadcast Espirit Basic Research Project 6360. </proceedings>
    <location>Newcastle upon Tyne, U. K.</location>
    <month>10</month>
    <year>1993</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/ems95.ps</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Modeling Group Communication Using Causal Blocks.</title>
    <author>Raimundo Macêdo and P. D. Ezhilchelvan and S. Shrivastava</author>
    <proceedings>V European Workshop on Dependable Computing. </proceedings>
    <location>Lisbon, Portugal</location>
    <month>02 </month>
    <year>1993</year>
    <urlabstract>#</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Detectores de Defeitos Adaptáveis para Sistemas de Controle Distribuídos de Tempo-Real sobre Redes Ethernet</title>
    <author>Alírio Santos de Sá and Raimundo José de Araújo Macêdo</author>
    <proceedings>VII Brazilian Workshop of Real-Time Systems</proceedings>
    <location>Fortaleza, Brazil </location>
    <month>05 </month>
    <year>2005</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/DDSTR_SBRC_WTR_2005_shortpaperv2.pdf</urlabstract>
    <type>Extended Abstract</type>
  </article>
  <article>
    <title>Improving the Quality of Service of Failure Detectors with SNMP and Artificial Neural Networks. </title>
    <author>Raimundo José de Araújo Macêdo and Fábio Ramon Lima e Lima</author>
    <proceedings>Anais do 22o. Simpósio Brasileiro de Redes de Computadores, SBRC'2004 (short-paper track).pp.583-586, ISBN: 85-88442-81-7</proceedings>
    <location>Gramado, RS </location>
    <month>05</month>
    <year>2004</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/2164.pdf</urlabstract>
    <type>Short Paper</type>
  </article>
  <article>
    <title>Implementation of a Failure Detector based on an Artificial Neural Network.</title>
    <author>Nivea Ferreira  and Raimundo Macêdo</author>
    <proceedings>Proceedings of the First Open Argo Workshop - Extended Abstracts. pp.11-12</proceedings>
    <location>Salvador</location>
    <month>06</month>
    <year>2001</year>
    <urlabstract>#</urlabstract>
    <type>Extended Abstract</type>
  </article>
  <article>
    <title>Implementation of Transport Multicast Protocols for Group Communication. </title>
    <author>C. Souza</author>
    <proceedings>Proceedings of the First Open Argo Workshop - Extended Abstracts. pp.13-14</proceedings>
    <location>Salvador, BA, Brasil</location>
    <month>06</month>
    <year>2001</year>
    <urlabstract>#</urlabstract>
    <type>Extended Abstract</type>
  </article>
  <article>
    <title>A Solution for the Consensus Problem in a Mobile Environment</title>
    <author>Raimundo Macêdo</author>
    <proceedings>II Open Workshop of the Logic for Concurrency and Synchronism (LOCUS Project), UFPE</proceedings>
    <location>Pernambuco, Brasil</location>
    <month>11</month>
    <year>1998</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/resumos/locusrm2.html</urlabstract>
    <type>Extended Abstract</type>
  </article>
  <article>
    <title>Considerações sobre Robustez em Protocolos de comunicação em grupo na BCG</title>
    <author>George Lima</author>
    <proceedings>II Open Workshop of the Logic for Concurrency and Synchronism (LOCUS Project), UFPE</proceedings>
    <location>Pernambuco, Brasil</location>
    <month>11</month>
    <year>1998</year>
    <urlabstract>#</urlabstract>
    <type>Extended Abstract</type>
  </article>
  <article>
    <title>Métodos para Especificação Formal de Sistemas Distribuídos</title>
    <author>Lorena Santiago</author>
    <proceedings>II Open Workshop of the Logic for Concurrency and Synchronism (LOCUS Project), UFPE</proceedings>
    <location>Pernambuco, Brasil</location>
    <month>11</month>
    <year>1998</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/resumos/locusls2.html</urlabstract>
    <type>Extended Abstract</type>
  </article>
  <article>
    <title>Comunicação em grupo e sincronismo virtual: aspectos da plataforma BCG</title>
    <author>Raimundo Macêdo</author>
    <proceedings>I Open Workshop of the Logic for Concurrency and Synchronism (LOCUS Project), UFPE</proceedings>
    <location>Pernambuco, Brasil</location>
    <month>03 </month>
    <year>1998</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/resumos/locusrm1.html</urlabstract>
    <type>Extended Abstract</type>
  </article>
  <article>
    <title>Experiência de Implementação de um Protocolo de Ordem Causal</title>
    <author>George Lima</author>
    <proceedings>I Open Workshop of the Logic for Concurrency and Synchronism (LOCUS Project), UFPE</proceedings>
    <location>Pernambuco, Brasil</location>
    <month>03 </month>
    <year>1998</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/resumos/locusgm1.html</urlabstract>
    <type>Extended Abstract</type>
  </article>
  <article>
    <title>BCG - Base Confiável de Comunicação em Grupo.</title>
    <author>Raimundo Macêdo and Cristina Chavez  and Fabíola Greve</author>
    <proceedings>Anais do I Workshop de Sistemas Distribuídos, pp. 9-11</proceedings>
    <location>Salvador-BA, Brasil</location>
    <month>05</month>
    <year>1996</year>
    <urlabstract>#</urlabstract>
    <type>Extended Abstract</type>
  </article>
  <article>
    <title>A Normalization Procedure for the LND Equation Fragment.</title>
    <author>Anjolina Oliveira  and Ruy Queiroz</author>
    <proceedings>Abstract of the 2nd Workshop em Logic, Language, Informatic and Computation (WOLLIC'95). Also in journal of IGPL</proceedings>
    <location>Recife, PE, Brasil</location>
    <month>07</month>
    <year>1995</year>
    <urlabstract>#</urlabstract>
    <type>Extended Abstract</type>
  </article>
  
  <article>
    <title>Tecnologias Digitais para o Meio Ambiente: Manifesto SBC</title>
    <author>Sociedade Brasileira de Computação</author>
    <proceedings>Raimundo Macêdo e Marcelo Pias (Org.)</proceedings>
    <location>Porto Alegre: Sociedade Brasileira de Computação</location>
    <month>Julho</month>
    <year>2022</year>
    <urlabstract>https://doi.org/10.5753/sbc.rt.2022.07.01</urlabstract>
    <type>Technical Report</type>
  </article> 
  <article>
    <title>Challenges for Dependable Web Services Compositions</title>
    <author>Daniela Barreiro Claro and Raimundo José de Araujo Macêdo  </author>
    <proceedings>Technical Report TRI003/07. LaSiD/UFBA (Distributed Systems Laboratory / Federal University of Bahia)</proceedings>
    <location>UFBA, Brazil</location>
    <month>06</month>
    <year>2007</year>
    <urlabstract>#</urlabstract>
    <type>Technical Report</type>
  </article>
  <article>
    <title>An approach for Dependable Web Service Compositions</title>
    <author>Daniela Barreiro Claro and Raimundo José de Araujo Macêdo  </author>
    <proceedings>Technical Report TRI002/07. LaSiD/UFBA (Distributed Systems Laboratory / Federal University of Bahia)</proceedings>
    <location>UFBA</location>
    <month>04</month>
    <year>2007</year>
    <urlabstract>#</urlabstract>
    <type>Technical Report</type>
  </article>
  <article>
    <title>A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol</title>
    <author>Paul Regnier and George Lima and Aline Andrade  </author>
    <proceedings>LaSiD/UFBA (Distributed Systems Laboratory / Federal University of Bahia)</proceedings>
    <location>UFBA</location>
    <month>08</month>
    <year>2008</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/reltec/DoRiS.zip</urlabstract>
    <type>Technical Report</type>
  </article>
  <article>
    <title>Mobile Groups.</title>
    <author>Raimundo Macêdo  and Flávio Assis Silva</author>
    <proceedings>Technical Report RI001/01. LaSiD/UFBA (Distributed Systems Laboratory / Federal University of Bahia)</proceedings>
    <location>UFBA</location>
    <month>02</month>
    <year>2001 </year>
    <urlabstract>#</urlabstract>
    <type>Technical Report</type>
  </article>
  <article>
    <title>Comunicação em Grupo em Java: Adicionando Tolerância a Falhas ao iBus.</title>
    <author>Lilianne Cirne  and Raimundo Macêdo</author>
    <proceedings>Relatório Técnico Interno RTI-008/99, Laboratorio de Sistemas Distribuídos (LaSiD)</proceedings>
    <location>UFBA</location>
    <month>08</month>
    <year>1999</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/reltec/rti008.ps</urlabstract>
    <type>Technical Report</type>
  </article>
  <article>
    <title>A General Framework to Solve Agreement Problems.</title>
    <author>Michel Hurfin and Raimundo Macêdo and Michel Raynal and Frederic Tronel</author>
    <proceedings>Technical Report PI-1231, 29 pages</proceedings>
    <location>IRISA/France</location>
    <month>02</month>
    <year>1999</year>
    <urlabstract>https://doi.org/10.1109/RELDIS.1999.805083</urlabstract>
    <type>Technical Report</type>
  </article>
  <article>
    <title>Aspectos de Confiabilidade em Sistemas de Tempo Real Críticos </title>
    <author>George Lima</author>
    <proceedings>Relatório Técnico Interno RTI-007/98, Laboratorio de Sistemas Distribuídos (LaSiD)</proceedings>
    <location>UFBA</location>
    <month>10</month>
    <year>1998</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/reltec/rti00798.ps</urlabstract>
    <type>Technical Report</type>
  </article>
  <article>
    <title>An Adaptable Transaction Model for Traditional and Advanced Applications</title>
    <author>Felgar Toledo  and George Lima</author>
    <proceedings>Relatório Técnico IC-98-18. Instituto de Computação/Unicamp</proceedings>
    <location>Unicamp</location>
    <month>05</month>
    <year>1998</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/reltec/98-19.ps</urlabstract>
    <type>Technical Report</type>
  </article>
  <article>
    <title>Uma Proposta de Controle de Fluxo para o Protrocolo BCGcausal </title>
    <author>George Lima  and Raimundo Macêdo </author>
    <proceedings>Relatório Técnico Interno RTI-006/98, Laboratorio de Sistemas Distribuídos (LaSiD)</proceedings>
    <location>UFBA</location>
    <month>05</month>
    <year>1998</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/reltec/rti00698.ps</urlabstract>
    <type>Technical Report</type>
  </article>
  <article>
    <title>Avaliação de Desempenho de Protocolos de Ordenação Causal para Comunicação em Grupo</title>
    <author>George Lima  and Raimundo Macêdo </author>
    <proceedings>Relatório Técnico Interno RTI-005/98, Laboratorio de Sistemas Distribuídos (LaSiD)</proceedings>
    <location>UFBA</location>
    <month>04</month>
    <year>1998</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/reltec/rti00598.ps</urlabstract>
    <type>Technical Report</type>
  </article>
  <article>
    <title>The BCG Membership Service Performance Analysis</title>
    <author>Fabíola Greve  and Raimundo Macêdo</author>
    <proceedings>Relatório Técnico Interno RTI-004/98, Laboratório de Sistemas Distribuídos (LaSiD)</proceedings>
    <location>UFBA</location>
    <month>01</month>
    <year>1998</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/reltec/rti00498.ps</urlabstract>
    <type>Technical Report</type>
  </article>
  <article>
    <title>Avaliação de Desempenho do Protocolo BCG causal</title>
    <author>George Lima  and Raimundo Macêdo </author>
    <proceedings>Relatório Técnico Interno RTI-003/97, Laboratório de Sistemas Distribuídos (LaSiD)</proceedings>
    <location>UFBA</location>
    <month>11</month>
    <year>1997</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/reltec/rti00397.ps</urlabstract>
    <type>Technical Report</type>
  </article>
  <article>
    <title>Solving the Consensus Problem a Mobile Environment</title>
    <author>N. Badache and Michel Hurfand Raimundo Macêdo</author>
    <proceedings>Technical Report number 1146. </proceedings>
    <location>IRISA/France</location>
    <month>11</month>
    <year>1997</year>
    <urlabstract>https://doi.org/10.1109/PCCC.1999.749417</urlabstract>
    <type>Technical Report</type>
  </article>
  <article>
    <title>TALK: Suporte de Linguagem de programação para Comunicação em Grupo</title>
    <author>Raimundo Macêdo  and Cristina Chavez</author>
    <proceedings>Relatório Técnico Interno RTI-002/95, Laboratório de Sistemas Distribuídos (LaSiD)</proceedings>
    <location>UFBA</location>
    <month>11</month>
    <year>1995</year>
    <urlabstract>#</urlabstract>
    <type>Technical Report</type>
  </article>
  <article>
    <title>Real-time Conversation a Distributed System-Characterization, Requirements ans Implementation.</title>
    <author>Raimundo Macêdo</author>
    <proceedings>Relatório Técnico Interno RTI-001/95, Laboratório de Sistemas Distribuídos (LaSiD)</proceedings>
    <location>UFBA</location>
    <month>10</month>
    <year>1995</year>
    <urlabstract>#</urlabstract>
    <type>Technical Report</type>
  </article>
  <article>
    <title>BCG - Base Confiável de Comunicação em Grupo.</title>
    <author>Raimundo Macêdo</author>
    <proceedings>Projeto Individual de Pesquisa</proceedings>
    <location>CNPq</location>
    <month>01</month>
    <year>1995 </year>
    <urlabstract>#</urlabstract>
    <type>Technical Report</type>
  </article>
  <article>
    <title>Fault-Tolerant Group Communication Protocols for Asynchronous Systems.</title>
    <author>Raimundo Macêdo</author>
    <proceedings>Technical Report 524. Department of Computing Science</proceedings>
    <location>University of Newcastle upon Tyne, UK</location>
    <month>06</month>
    <year>1994 </year>
    <urlabstract>https://theses.ncl.ac.uk/dspace/handle/10443/2021</urlabstract>
    <type>Technical Report</type>
  </article>
  <article>
    <title>Avaliação do determinismo temporal no tratamento de interrupções em plataformas de tempo real Linux</title>
    <author>Paul Regnier and George Lima and Luciano Barreto</author>
    <proceedings>Anais do 5o. Workshop de Sistemas Operacionias</proceedings>
    <location>Belém - Pará</location>
    <month>07</month>
    <year>2008</year>
    <urlabstract>http://www2.sbc.org.br/csbc2008/pdf/arq0082.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Um Procedimento para Avaliação de Redes Ethernet Comutada Baseada em uma Métrica de Qualidade de Controle </title>
    <author>Alírio Sá and Raimundo Macêdo and Tito Santos and Ubirajara Moreno</author>
    <proceedings>XVII Congresso Brasileiro de Automática (CBA) </proceedings>
    <location>Juiz de Fora, Minas Gerais, Brasil</location>
    <month>09</month>
    <year>2008</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/Um+Procedimento+para+Avalia%C3%A7%C3%A3o+de+Redes+Ethernet+Comutada+Baseada+em+uma+M%C3%A9trica+de+Qualidade+de+Controle.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Uma Abordagem para Estimar Tempos de Execução em Sistemas de Tempo Real Baseados em Componentes</title>
    <author>Ricardo Perrone and Raimundo Macêdo and George Lima and Verônica Lima</author>
    <proceedings>II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2008)</proceedings>
    <location>Porto Alegre</location>
    <month>08</month>
    <year>2008</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/Uma+Abordagem+para+Estimar+Tempos+de+Execu%E7%E3o+em+Sistemas+de+Tempo+Real+Baseados+em+Componentes.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Separação e Validação de Regras de Negócio MDA através de Ontologias e Orientação à Aspectos</title>
    <author>Jaguaraci Batista Silva and Luciano Porto Barreto</author>
    <proceedings>II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS)</proceedings>
    <location>Porto Alegre</location>
    <month>08</month>
    <year>2008</year>
    <urlabstract>http://www.lbd.dcc.ufmg.br/colecoes/sbcars/2008/0010.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Esteganografia em Páginas Web</title>
    <author>Bruno Guimarães and Luciano Porto Barreto</author>
    <proceedings>Brazilian Symposium on Information and Computer System Security (SBSeg)</proceedings>
    <location>Gramado, RS</location>
    <month>09</month>
    <year>2008</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/Esteganografia+em+P%E1ginas+Web.pdf</urlabstract>
    <type>Extended Abstract</type>
  </article>
  <article>
    <title>Monitoramento de Crimes Virtuais no Second Life</title>
    <author>Daniel Nunes and Luciano Porto Barreto</author>
    <proceedings>Brazilian Symposium on Information and Computer System Security (SBSeg)</proceedings>
    <location>Gramado, RS</location>
    <month>09</month>
    <year>2008</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/Monitoramento+de+Crimes+Virtuais+no+Second+Life.pdf</urlabstract>
    <type>Extended Abstract</type>
  </article>
  <article>
    <title>A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol</title>
    <author>Paul Regnier and George Lima and Aline Andrade</author>
    <proceedings>Anais do XI Simpósio Brasileiro de Métodos Formais (SBMF 2008)</proceedings>
    <location>Salvador</location>
    <month>08</month>
    <year>2008</year>
    <urlabstract>https://repositorio.ufba.br/ri/handle/ri/5258</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Personalized Reliable Web service Compositions</title>
    <author>Daniela Barreiro Claro and Oriana Licchelli and Patrick Albers and Raimundo José de Araújo Macêdo</author>
    <proceedings>Proceedings of 3rd Workshop on Ontologies and their Applications (WONTO 2008) held in conjunction with 19th Brazilian Symposium on Artificial Intelligence (SBIA2008)</proceedings>
    <location>Salvador, Bahia</location>
    <month>10</month>
    <year>2008</year>
    <urlabstract>http://www.cin.ufpe.br/~wonto2008/wonto2008_arquivos/46495.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Interoperabilidade de Unidades de Aprendizagem do IMS Learning Design em Ambientes Virtuais de Aprendizagem</title>
    <author>Luiz Augusto Matos da Silva and Luciano Porto Barreto</author>
    <proceedings>XIX Simpósio Brasileiro de Informática na Educação (SBIE)</proceedings>
    <location>Fortaleza</location>
    <month>11</month>
    <year>2008</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/Artigo-SBIE-submissao-v4-%20submetido%20como%20versao%20final.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Perfect Failure Detection in the Partitioned Synchronous Distributed System Model</title>
    <author>Raimundo Macêdo and Sérgio Gorender</author>
    <proceedings>Proceedings of the The Fourth International Conference on Availability, Reliability and Security (ARES 2009), IEEE CS Press.</proceedings>
    <location>Fukuoka, Japan</location>
    <month>03</month>
    <year>2009</year>
    <urlabstract>https://doi.org/10.1109/ARES.2009.165</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Step Forward in Semi-Automatic Metamodel Matching: Algorithms and Tool</title>
    <author>José Geraldo Sousa and Denivaldo Lopes and Daniela Barreiro Claro and Zair Abdelouahab </author>
    <proceedings>11th International Conference on Enterprise Information Systems (ICEIS2009). Lecture Notes in Business Information Processing (Springer) </proceedings>
    <location>Milan, Italy</location>
    <month>05</month>
    <year>2009</year>
    <urlabstract>http://www.springerlink.com/content/mn5256t722727148/fulltext.pdf?page=1</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Dynamic Reconfiguration in Reservation-Based Scheduling: An Optimization Approach</title>
    <author>Augusto Born de Oliveira and Eduardo Camponogara and George Lima</author>
    <proceedings>15th IEEE Real-Time and Embedded Technology and Applications Symposium.</proceedings>
    <location>San Francisco, EUA</location>
    <month>04</month>
    <year>2009</year>
    <urlabstract>https://doi.org/10.1109/RTAS.2009.14</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Gerenciando o desenvolvimento de uma composição de Serviços Web Semânticos através do OWL-S Composer</title>
    <author>André de Amorim Fonseca and Daniela Barreiro Claro and Denivaldo Cícero Pavão Lopes </author>
    <proceedings>Proceedings of the 5th Brazilian Symposium of Information Systems (SBSI2009)</proceedings>
    <location>Brasilia, DF, Brazil</location>
    <month>05</month>
    <year>2009</year>
    <urlabstract>http://www.lbd.dcc.ufmg.br/colecoes/sbsi/2009/0010.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Non-Intrusive Component-Based Approach for Deploying Unanticipated Self-Management Behaviour</title>
    <author>Sandro Santos Andrade and Raimundo José de Araújo Macêdo</author>
    <proceedings>Proceedings of IEEE ICSE 2009 Workshop Software Engineering for Adaptive and Self-Managing Systems</proceedings>
    <location>Vancouver, CANADA</location>
    <month>05</month>
    <year>2009</year>
    <urlabstract>https://doi.org/10.1109/SEAMS.2009.5069084</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Adaptive and Dependable Group Communication</title>
    <author>Raimundo José de Araújo Macêdo</author>
    <proceedings>Technical Report 001/2008. Distributed Systems Laboratory (LaSiD). Available on http://www.lasid.ufba.br</proceedings>
    <location>UFBA</location>
    <month>01</month>
    <year>2008</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/TimedCBResumidav5.pdf</urlabstract>
    <type>Technical Report</type>
  </article>
  <article>
    <title>A Generic Group Communication Approach for Hybrid Distributed Systems</title>
    <author>Raimundo Macêdo and Allan Freitas</author>
    <proceedings>9th IFIP international conference on Distributed Applications and Interoperable Systems (LNCS, Springer)</proceedings>
    <location>Lisbon, Portugal</location>
    <month>06</month>
    <year>2009</year>
    <urlabstract>https://link.springer.com/chapter/10.1007/978-3-642-02164-0_8</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Topology Control Algorithm for Wireless Sensor Networks that Considers Overhearing</title>
    <author>Flávio M. Assis Silva and Ulisses Telemaco Neto</author>
    <proceedings>The 9th IEEE International Symposium on Autonomous Decentralized Systems - ISADS 2009</proceedings>
    <location>Athens, Greece</location>
    <month>03</month>
    <year>2009</year>
    <urlabstract>https://doi.org/10.1109/ISADS.2009.5207357</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Um Ambiente para Testes e Simulações de Protocolos Confiáveis em Sistemas Distribuídos Híbridos e Dinâmicos</title>
    <author>Allan Edgard Silva Freitas and Raimundo José de Araújo Macêdo</author>
    <proceedings>Proceedings of 27th Brazilian Symposium on Computer Networks and Distributed Systems (SBRC2009)</proceedings>
    <location>Recife, Pernambuco, Brasil</location>
    <month>05</month>
    <year>2009</year>
    <urlabstract>artigos/sbrc-cameraready-1.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>An Autonomic Approach for Dynamic Reconfiguration on Real-time Bandwidth-reservation Schedulers</title>
    <author>Marco Simões, George Lima, Raimundo Macêdo</author>
    <proceedings>11th Brazilian Workshop on Real-Time and Embedded Systems</proceedings>
    <location>Recife - PE</location>
    <month>05</month>
    <year>2009</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/An+Autonomic+Approach+for+Dynamic+Reconfiguration+on+Real-time+Bandwidth-reservation+Schedulers.pdf</urlabstract>
    <type>Short Paper</type>
  </article>
  <article>
    <title>Simulation Scenarios: a Means of Deriving Fault Resilience for Real-Time Systems </title>
    <author>George Lima, Flávia Maristela Nascimento</author>
    <proceedings>11th Brazilian Workshop on Real-Time and Embedded Systems</proceedings>
    <location>Recife - PE</location>
    <month>05</month>
    <year>2009</year>
    <urlabstract>artigos/53855.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Experimental Analysis of Bandwidth Reservation Adaptive Schemes for Real-Time Systems </title>
    <author>Augusto Born de Oliveira, George Lima, Eduardo Camponogara</author>
    <proceedings>11th Brazilian Workshop on Real-Time and Embedded Systems</proceedings>
    <location>Recife - PE</location>
    <month>05</month>
    <year>2009</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/Experimental+Analysis+of+Bandwidth+Reservation+Adaptive+Schemes+for+Real-Time+Systems.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>On the Use of Hard and Soft Reservation Schemes in Constant Bandwidth Servers </title>
    <author>Alexandre Passos, George Lima</author>
    <proceedings>11th Brazilian Workshop on Real-Time and Embedded Systems</proceedings>
    <location>Recife - PE</location>
    <month>05</month>
    <year>2009</year>
    <urlabstract>http://www.ic.unicamp.br/~tachard/docs/hard-vs-soft.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Aspectos de Replicação em Serviços Web Stateful através do Axis2</title>
    <author>Igor Nogueira and Daniela Barreiro Claro</author>
    <proceedings>WTICG/ERBASE 2009</proceedings>
    <location>Ilhéus, Bahia</location>
    <month>05</month>
    <year>2009</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/ERBASEIGOR.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Explorer Pattern Tools: Uma Ferramenta para Mineração de Dados Utilizando Algoritmos Genéticos</title>
    <author>Joilma Santos and Daniela Barreiro Claro</author>
    <proceedings>WTICG/ERBASE 2009 - 2º lugar na premiação dos Melhores Trabalhos do WTICG 2009</proceedings>
    <location>Ilhéus, Bahia</location>
    <month>05</month>
    <year>2009</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/erbase2009Joilma.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Adding Dynamicity to the Uncertainty that Characterizes Distributed Systems: Challenges Ahead</title>
    <author>Raimundo Macêdo and Michel Raynal</author>
    <proceedings>Colloquium of Computation: Brazil / INRIA, Cooperations, Advances and Challenges</proceedings>
    <location>Bento Gonçalves, Rio Grande do Sul, Brasil</location>
    <month>07</month>
    <year>2009</year>
    <urlabstract>http://www.lbd.dcc.ufmg.br/colecoes/colibri/2009/013.pdf</urlabstract>
    <type>Extended Abstract</type>
  </article>
  <article>
    <title>Uma Análise Conceitual das Linguagens Semânticas de Serviços Web focando nas composições: comparação entre OWL-S, WSMO e SAWSDL</title>
    <author>Douglas Oliveira and Cinara Menegazzo and Daniela Barreiro Claro</author>
    <proceedings>IADIS Conferência Ibero-Americana WWW/Internet (CIAWI 2009) </proceedings>
    <location>Alcalá - Madrid, Spain</location>
    <month>10</month>
    <year>2009</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/IADIS_CIAWI_2009.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Uma Proposta de Detector de Defeitos Autonômico Usando Engenharia de Controle</title>
    <author>Alírio Sá and Raimundo Macêdo</author>
    <proceedings>X Workshop de Testes e Tolerância a Falhas (WTF 2009)</proceedings>
    <location>João Pessoa</location>
    <month>08</month>
    <year>2009</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/WTF-AFDv2.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Deriving a Fault Resilience Metric for Real-Time Systems</title>
    <author>Flávia Maristela Nascimento and George Lima and Verônica Cadena Lima</author>
    <proceedings>Workshop de Testes e Tolerância a Falhas</proceedings>
    <location>João Pessoa/PB</location>
    <month>08</month>
    <year>2009</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/wtf.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>An Integrated Approach for Model Driven Process Modeling and Enactment</title>
    <author>Rita Suzana Pitangueira Maciel AND Bruno Carreiro da Silva AND Ana Patrícia Fontes Magalhães AND Nelson Souto Rosa</author>
    <proceedings>Anais do XXIII Simpósio Brasileiro de Engenharia de Software (SBES 2009)</proceedings>
    <location>Fortaleza</location>
    <month>10</month>
    <year>2009</year>
    <urlabstract>https://ieeexplore.ieee.org/document/5336107/</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Transforms: Um Ambiente de Apoio a Modelagem e Execução de Processos de Software Dirigido por Modelos</title>
    <author>Bruno C. da Silva and Ana Patrícia F. Magalhães and Rita Suzana P. Maciel and</author>
    <proceedings>XXIII Simpósio Brasileiro de Engenharia de Software - </proceedings>
    <location>XVI Sessão de Ferramentas</location>
    <month>10</month>
    <year>2009</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/sbes09_ferramenta_Transforms_camReady.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>An Approach for Estimating Execution Time Probability Distributions of Component-based Real-Time Systems</title>
    <author>Ricardo Perrone and Raimundo Macêdo and George Lima and Verônica Lima</author>
    <proceedings>Journal of Universal Computer Science, vol. 15, no. 11 (2009), 2142-2165</proceedings>
    <location>http://www.jucs.org/jucs_15_11</location>
    <month>10</month>
    <year>2009</year>
    <urlabstract>http://www.jucs.org/jucs_15_11/an_approach_for_estimating/jucs_15_11_2142_2165_perrone.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>TransPlan: Uma Ferramenta para Mapear e Planejar Serviços Web</title>
    <author>Marcus Vinícius Silva and Daniela Barreiro Claro</author>
    <proceedings>8th International Information and Telecommunication Technologies Symposium</proceedings>
    <location>Florianópolis/SC</location>
    <month>12</month>
    <year>2009</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/SilvaeClaroI2TS_draft.pdf</urlabstract>
    <type>Extended Abstract</type>
  </article>
  <article>
    <title>Building Test Cases through Model Driven Engineering</title>
    <author>Helaine Sousa and Denivaldo Lopes and Zair Abdelouahab and Slimane Hammoudi and Daniela Barreiro Claro</author>
    <proceedings>IEEE International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering(CISSE 09) </proceedings>
    <location>Springer Netherlands</location>
    <month>12</month>
    <year>2009</year>
    <urlabstract>https://link.springer.com/chapter/10.1007/978-90-481-9112-3_67</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Bandwidth Reservation Strategy for Multiprocessor Real-Time Scheduling</title>
    <author>Ernesto Massa and George Lima</author>
    <proceedings>Proc. of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium</proceedings>
    <location>Stockholm, Sweden</location>
    <month>04</month>
    <year>2010</year>
    <urlabstract>https://doi.org/10.1109/RTAS.2010.35</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems</title>
    <author>André Muniz and Aline Andrade and George Lima</author>
    <proceedings>Innovations in Systems and Software Engineering, v. 6, n. 1-2, pp 29-37</proceedings>
    <location>Springer-Verlag</location>
    <month>03</month>
    <year>2010</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/workshop_uml_e_fm2009.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Self-Configuring Failure Detectors For Distributed Systems</title>
    <author>Alírio Sá and Raimundo Macêdo</author>
    <proceedings>Technical Report Number 001/2010, LaSiD/DCC/UFBA</proceedings>
    <location>Salvador</location>
    <month>01</month>
    <year>2010</year>
    <urlabstract>#</urlabstract>
    <type>Technical Report</type>
  </article>
  <article>
    <title>Exploiting Partitioned Synchrony to Implement Accurate Failure Detectors</title>
    <author>Raimundo Macêdo and Sérgio Gorender</author>
    <proceedings>International Journal of Critical Computer-Based Systems (IJCCBS)</proceedings>
    <location>USA</location>
    <month>08</month>
    <year>2010</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/Exploiting+Partitioned+Synchrony+to+Implement+Accurate+Failure+Detectors.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>QoS Self-Configuring Failure Detectors For Distributed Systems</title>
    <author>Alírio Sá and Raimundo Macêdo</author>
    <proceedings>10th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS) </proceedings>
    <location>Amsterdam-Holland</location>
    <month>06</month>
    <year>2010</year>
    <urlabstract>https://hal.inria.fr/hal-01061090/document</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Explorer Pattern Tool Adaptive: Uma Ferramenta para Mineração de Dados Utilizando Algoritmos Genéticos Adaptativo</title>
    <author>Lorena Mascarenhas and Daniela Barreiro Claro</author>
    <proceedings>WTICG/ERBASE (Escola Regional de Informática - Bahia, Alagoas, Sergipe)</proceedings>
    <location>Maceió/AL</location>
    <month>04</month>
    <year>2010</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/erbase2010Lorena.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Ampliando a Disponibilidade e Confiabilidade em Ambientes de Serviços Web Stateful</title>
    <author>Igor Nogueira and Daniela Barreiro Claro and Marcelo Luz</author>
    <proceedings>WTF (Workshop de Testes e Tolerância a Falhas) / SBRC2010</proceedings>
    <location>Gramado/RS - Brazil</location>
    <month>05</month>
    <year>2010</year>
    <urlabstract>http://www.lasid.ufba.br/pessoal/danielaclaro/download/wtf2010CameraReady.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Group Communication for Self-Aware Distributed Systems</title>
    <author>Raimundo Macêdo and Allan Freitas</author>
    <proceedings>Proceedings of the XXVIII Brazilian Symposium on Comptuter Network and Distributed Systems (SBRC)</proceedings>
    <location>Gramado, RS, BRASIL</location>
    <month>05</month>
    <year>2010</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/Detectores+de+Defeitos+Auton%C3%B4imicos+para+Sistemas+Distribu%C3%ADdos.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Consenso com Recuperação no Modelo Partitioned Synchronous</title>
    <author>Sérgio Gorender e Raimundo Macêdo</author>
    <proceedings>Anáis do XI Workshop de Testes e Tolerância a Falhas</proceedings>
    <location>Gramado, Brazil</location>
    <month>05</month>
    <year>2010</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/wtf2010-consenso%20spa.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Controle de Admissão para QoS em Sistemas Distribuídos Híbridos, Tolerantes a Falhas</title>
    <author>Sérgio Gorender, Raimundo Macêdo e Waltemir Pacheco Júnior</author>
    <proceedings>Anáis do XI Workshop de Testes e Tolerância a Falhas</proceedings>
    <location>Gramado, Brazil</location>
    <month>05</month>
    <year>2010</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/WTF2010.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Detectores de Defeitos Autonômicos para Sistemas Distribuídos</title>
    <author>Alírio Sá and Raimundo Macêdo</author>
    <proceedings>Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC)</proceedings>
    <location>Gramado, RS, Brasil</location>
    <month>05</month>
    <year>2010</year>
    <urlabstract>http://ce-resd.facom.ufms.br/sbrc/2010/055.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Similaridade Semântica na Composição de Sistemas de Informação através dos Serviços Web</title>
    <author>Vanessa Aline Sena and Daniela Barreiro Claro and Rodrigo Amorim and Denivaldo Lopes</author>
    <proceedings>VI Simpósio Brasileiro de Sistemas de Informação (SBSI 2010)</proceedings>
    <location>Marabá/PA</location>
    <month>06</month>
    <year>2010</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/Similaridade+Sem%C3%A2ntica+na+Composi%C3%A7%C3%A3o+de+Sistemas+de+Informa%C3%A7%C3%A3o+atrav%C3%A9s+dos+Servi%C3%A7os+Web.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems</title>
    <author>André L. N. Muniz and Aline M. S. Andrade and George Lima</author>
    <proceedings>Journal of Innovations in Systems and Software Engineering (Springer)</proceedings>
    <location>Volume 6, Numbers 1-2, p.29-37</location>
    <month>03</month>
    <year>2010</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/workshop_uml_e_fm2009.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>An Automatic Translation Approach for Component-Based Real-Time Systems Verification</title>
    <author>André L. N. Muniz and Aline M. S. Andrade and George Lima</author>
    <proceedings>Anais do SBMF 2008 Student Track</proceedings>
    <location>Salvador, Brasil</location>
    <month>08</month>
    <year>2008</year>
    <urlabstract>http://www.artist-embedded.org/docs/Events/2009/UML_FM/slides/4_Andre_Muniz.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Trabalhando com alunos de ensino fundamental e médio para a descoberta de talentos em computação: um relato de experiências </title>
    <author>Efraim Zalmoxis de Almeida Machado and Igor Rodrigo Vasconcelos and Karla Malta Amorim and Aline M. S. Andrade and Luciano Porto Barreto </author>
    <proceedings>Anais do Workshop de Inclusão Digital (WIND 2010)</proceedings>
    <location>Maceió, Brazil</location>
    <month>04</month>
    <year>2010</year>
    <urlabstract>artigos/artigo talentos-comp - v8pgs-Fapesb-versao final.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Uma Abordagem Adaptativa para Detecção de Falhas em Redes Veiculares Ad hoc</title>
    <author>Eduardo Cambruzzi and Jean-Marie Farines and Raimundo Macêdo and Kraus Werner</author>
    <proceedings>Anais do XXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos  (SBRC)</proceedings>
    <location>Gramado, RS, Brasil</location>
    <month>05</month>
    <year>2010</year>
    <urlabstract>http://ce-resd.facom.ufms.br/sbrc/2010/040.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Uma Ferramenta para Verificação Formal de Sistemas de Tempo Real Baseados em Componentes a partir de Diagramas UML </title>
    <author>Paulo H. O. Souza and André L. N. Muniz, Aline M. S. Andrade</author>
    <proceedings>Anais do WTICG 2009</proceedings>
    <location>Ilhéus, Bahia, Brazil</location>
    <month>04</month>
    <year>2009</year>
    <urlabstract>https://repositorio.ufba.br/ri/handle/ri/18477</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Development Process for Mechatronic Products: Integrating Software Engineering and Product Engineering</title>
    <author>Ana Patrícia Magalhães and Aline Andrade and Leila Silva and Herman Lepikson</author>
    <proceedings>Proceedings of the IEEE International Conference on Emerging Techonologies and Factory Automation</proceedings>
    <location>Patras, Grécia</location>
    <month>09</month>
    <year>2007</year>
    <urlabstract>https://doi.org/10.1109/EFTA.2007.4416911</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Uma metodologia para o desenvolvimento de produtos mecatrônicos integrando engenharia de software e engenharia de produtos </title>
    <author>Ana Patrícia Fontes Magalhães and Aline M. S. Andrade and Leila Silva and Herman Lepikson </author>
    <proceedings>XXVI ENEGEP</proceedings>
    <location>Fortaleza, Brasil</location>
    <month>10</month>
    <year>2006</year>
    <urlabstract>http://www.abepro.org.br/biblioteca/enegep2006_tr490328_7554.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Implementação da política EDF no Xenomai</title>
    <author>José Augusto Santos Jr and George Lima</author>
    <proceedings>VI Workshop de Sistemas Operacionais</proceedings>
    <location>Bento Gonçalves</location>
    <month>00</month>
    <year>2009</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/Implementa%E7%E3o+da+pol%EDtica+EDF+no+Xenomai.pdf</urlabstract>
    <type>Full Paper</type>
  </article>  
  <article>
    <title>Uma Experiência em Escolas de Ensino Médio e Fundamental para a Descoberta de Jovens Talentos em Computação</title>
    <author>MACHADO, E. Z. A. ; Vasconcelos, I. R. S. ; Amorim, K. M. ; ANDRADE, A. M. S. ; BARRETO, L. P. ; ABDALLA, Débora</author>
    <proceedings>In: Workshop de Educação em Informática (WEI'2010)</proceedings>
    <location>Belo Horizonte, MG, Brasil</location>
    <month>00</month>
    <year>2010</year>
    <urlabstract>http://www.lbd.dcc.ufmg.br/colecoes/wei/2010/004.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>An Adaptive Failure Detection System for Vehicular Ad-hoc Networks</title>
    <author>Eduardo Cambruzzi and Jean-Marie Farines and Raimundo Macêdo and Kraus Werner</author>
    <proceedings>2010 IEEE Intelligent Vehicles Symposium (IV 2010)</proceedings>
    <location>San Diego, USA</location>
    <month>06</month>
    <year>2010</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/IVC-2010-English.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Avaliação sobre a inclusão de estimadores baseados em filtragem de Kalman em sistemas de controle via rede</title>
    <author>Tanisia Foletto and Victor Moraes and Ubirajara Moreno and Alírio Sá and Raimundo Macêdo</author>
    <proceedings>XVIII Congresso Brasileiro de Automática</proceedings>
    <location>Bonito MS</location>
    <month>05</month>
    <year>2010</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/Estimadoresdefiltragemviarede.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Replicação Reconfigurável em Sistema de Tempo Real</title>
    <author>Semiramis Ribeiro de Assis and Raimundo Macêdo and Sérgio Gorender</author>
    <proceedings>VI Congresso Nacional de Engenharia Mecânica (CONEM 2010)</proceedings>
    <location>Campina Grande</location>
    <month>05</month>
    <year>2010</year>
    <urlabstract>https://repositorio.ufba.br/ri/handle/ri/18461</urlabstract>
    <type>Extended Abstract</type>
  </article>
  <article>
    <title>A Tool for Simulating Mobile Agent Applications on Wireless Sensor Networks</title>
    <author>Marcos Camada and Carlos Montez and Flávio Assis</author>
    <proceedings>Proceedings of the WTR2010 - 12th Brazilian Workshop on Real-Time and Embedded Systems</proceedings>
    <location>Gramado, RS</location>
    <month>05</month>
    <year>2010</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/teste/artigos/wtr2010-vf.pdf</urlabstract>
    <type>Full Paper</type>
  </article>  
  <article>
    <title>Especificação Abstrata do Núcleo de um Sistema Operacional e sua Formalização na Linguagem Z</title>
    <author>BARRETO, L. P. ; Andrade, Aline M. S. ; DURAN, A. A. ; Lima, C. S. L. ; Lima, A. S.</author>
    <proceedings>In: VII Workshop de Sistemas Operacionais (WSO'2010)</proceedings>
    <location>Belo Horizonte, MG, Brasil</location>
    <month>09</month>
    <year>2010</year>
    <urlabstract>http://www.lisha.ufsc.br/wso/wso2010/papers/st03_02.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>An Approach for Model Driven Testing:  framework, metamodels and tools</title>
    <author>Helaine Souza AND Denivaldo Lopes AND Zair Abdelouahab AND Daniela Claro AND Slimane Hammoudi</author>
    <proceedings>International Journal of Computer Systems Science and Engineering</proceedings>
    <location>--</location>
    <month>09</month>
    <year>2010</year>
    <urlabstract>https://www.researchgate.net/publication/286981171_An_approach_for_model_driven_testing_Framework_metamodels_and_tools</urlabstract>
    <type>Full Paper</type>
  </article>
   <article>
    <title>Abstract Specification and Formalization of an Operating System Kernel in Z</title>
    <author>Luciano Barreto and Aline Andrade and Adolfo Duran and Caique Lima and Ademilson Lima</author>
    <proceedings>Operating Systems Review, v. 45, n. 1, pp. 156-160</proceedings>
    <location>ACM</location>
    <month>01</month>
    <year>2011</year>
    <urlabstract>https://doi.org/10.1145/1945023.1945042</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Self-Manageable Group Communication Protocol For Partially Synchronous Distributed Systems</title>
    <author>Raimundo José de Araújo Macêdo and Allan Freitas and Alírio Sá</author>
    <proceedings>Proceedings of Fifth Latin-American Symposium on Dependable Computing</proceedings>
    <location>São José dos Campos, Brazil</location>
    <month>04</month>
    <year>2011</year>
    <urlabstract>https://doi.org/10.1109/LADC.2011.24</urlabstract>
    <type>Full Paper</type>
  </article>  
  <article>
    <title>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</title>
    <author>FERREIRA, M. R. AND CLARO, D. B. AND LOPES, D. C. P.</author>
    <proceedings>VII Simpósio Brasileiro de Sistemas de Informação</proceedings>
    <location>Salvador, Bahia</location>
    <month>05</month>
    <year>2011</year>
    <urlabstract>artigos/sbsi2011.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Um Algoritmo Eficiente de Consenso Distribuído para o Modelo Síncrono Particionado</title>
    <author>Sérgio Gorender and Raimundo José de Araújo Macêdo</author>
    <proceedings>Anais do XXIX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos</proceedings>
    <location>Campo Grande</location>
    <month>06</month>
    <year>2011</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/Um+Algoritmo+Eficiente+de+Consenso+Distribu%C3%ADdo+para+o+Modelo+S%C3%ADncrono+Particionado.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>MASPOT: A Mobile Agent System for Sun SPOT</title>
    <author>Ramon Lopes and Flávio Assis and Carlos Montez</author>
    <proceedings>Proceedings of the 10th IEEE International Symposium on Autonomous Decentralized Systems (ISADS 2011)</proceedings>
    <location>Kobe, Japan</location>
    <month>06</month>
    <year>2011</year>
    <urlabstract>https://doi.org/10.1109/ISADS.2011.10</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Topology Control Algorithm for Interference and Energy Efficiency in Wireless Sensor Networks</title>
    <author>Hugo Braga and Flávio Assis</author>
    <proceedings>Proceedings of the 10th International Conference on Ad Hoc Networks and Wireless ADHOC-NOW 2011 - LNCS (Lecture Notes in Computer Science) 6811</proceedings>
    <location>Paderborn, Germany</location>
    <month>07</month>
    <year>2011</year>
    <urlabstract>https://link.springer.com/chapter/10.1007/978-3-642-22450-8_7</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Improving Web Service Discovery by a Functional and Structural Approach</title>
    <author>Claro, Daniela ; AMORIM, R. ; Denivaldo Lopes ; Patrick Albers ; ANDRADE, A. M. S.</author>
    <proceedings>Proceedings of the 9th International Conference of Web Services (ICWS'2011), pp. 411-418</proceedings>
    <location>Washington D.C.</location>
    <month>07</month>
    <year>2011</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/Improving+Web+Service+Discovery+by+a+Functional+and+Structural+Approach.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Localized Algorithm based on Minimum Cost Arborescences for the MECBS Problem with Asymmetric Edge Costs</title>
    <author>Frederico Barboza and Flávio Assis</author>
    <proceedings>Proceedings of the Third International ICST Conference on Ad Hoc Networks - ADHOCNETS 2011</proceedings>
    <location>Paris, France</location>
    <month>09</month>
    <year>2011</year>
    <urlabstract>https://pdfs.semanticscholar.org/7d15/3e48a1be343ff639358249b7cf40955a8fb1.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>An MDA Approach to Model Transformation Development</title>
    <author>MAGALHÃES, Ana Patrícia; Andrade, Aline; MACIEL, R. S.; FARINES, J. M.</author>
    <proceedings>In: II Workshop Brasileiro de Desenvolvimento de Software Dirigido por Modelos</proceedings>
    <location>São Paulo, Brasil</location>
    <month>09</month>
    <year>2011</year>
    <urlabstract>http://homes.dcc.ufba.br/~anapfmm/mdtd/assets/files//paper-wb-dsdm-cbsof-2011.pdf</urlabstract>
    <type>Full Paper</type>
  </article>  
  <article>
    <title>Impacto de Métricas de QoS no Desempenho de Detectores Auto-gerenciáveis de Defeitos para Sistemas Distribuídos</title>
    <author>Alírio Sá and Raimundo Macêdo</author>
    <proceedings>Anais do XXX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2012)</proceedings>
    <location>Ouro Preto</location>
    <month>05</month>
    <year>2012</year>
    <urlabstract>http://ce-resd.facom.ufms.br/sbrc/2012/ST16_2.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Acompanhamento e Prescrição Assistida através de um Sistema de Controle de Anticoagulação</title>
    <author>SANTOS A. M..; CLARO, D.B.; BARRETO L. P., GERALDES, M. F. A., ALMEIDA, G. Q.</author>
    <proceedings>Anais do Escola Regional de Informática Bahia, Sergipe e Alagoas (XII ERBASE/WTICG)</proceedings>
    <location>Juazeiro, Bahia Brasil</location>
    <month>04</month>
    <year>2012</year>
    <urlabstract>#</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Auto-Configuração de Máquina de Estados Tolerante a Falhas Bizantinas</title>
    <author>Alirio Sá and Allan Edgard and Raimundo Macêdo</author>
    <proceedings>Anais do II Workshop de Sistemas Distribuídos Autonômicos (WoSiDA 2012)</proceedings>
    <location>Ouro Preto, MG, Brasil</location>
    <month>05</month>
    <year>2012</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/97697.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Discovering cloud services by preconditions and effects for compositions </title>
    <author>ERDENS L.; CLARO, D.B.; LOPES D. C. P.; ALBERS P.</author>
    <proceedings>Proceedings of the14th International Conference on Enterprise Information Systems (ICEIS)</proceedings>
    <location>Wroclaw, Poland</location>
    <month>06</month>
    <year>2012</year>
    <urlabstract>https://hal.archives-ouvertes.fr/hal-01178918/</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>Evaluation of semantic similarity in WSD: an analysis to incorporate it into the association of terms </title>
    <author>SOUZA, E. N. P.; CLARO, D.B.</author>
    <proceedings>Proceedings of the 18th Brazilian Symposium on Multimedia and the Web (WEBMEDIA)</proceedings>
    <location>São Paulo, Brazil</location>
    <month>10</month>
    <year>2012</year>
    <urlabstract>https://doi.org/10.1145/2382636.2382682</urlabstract>
    <type>Short Paper</type>
  </article>
  <article>
    <title>Generating correct compositions of semantic web services with respect to temporal constraints </title>
    <author>CLARO, D.B. ; MACHADO, E. Z. A. ; ANDRADE, A. M. S.</author>
    <proceedings>Proceedings of the 18th Brazilian Symposium on Multimedia and the Web (WEBMEDIA)</proceedings>
    <location>São Paulo, Brazil</location>
    <month>10</month>
    <year>2012</year>
    <urlabstract>https://doi.org/10.1145/2382636.2382680</urlabstract>
    <type>Full Paper</type>
  </article>
  <article>
    <title>A Vision on Autonomic Distributed Systems</title>
    <author>Raimundo José de Aráujo Macêdo</author>
    <proceedings>Anais do III Workshop on Autonomic Distributed Systems (WoSiDA2012)</proceedings>
    <location>Ouro Pretio, MG, Brazil</location>
    <month>5</month>
    <year>2012</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/WoSiDA-ST3-1.pdf</urlabstract>
    <type>Full Paper</type>
  </article>
  
<article>
    <title>Request Batching Self-Configuration in Byzantine Fault-Tolerant Replication</title>
    <author>Alírio Santos de Sá  and Allan Edgard Silva Freitas and Raimundo José de Araújo Macêdo</author>
    <proceedings>Proceedings of the 2nd Brazilian Symposium on Computing System Engineering: Operating Systems Workshop (SBESC-WSO 2012)</proceedings>
    <location>Natal, Brazil</location>
    <month>10</month>
    <year>2012</year>
    <urlabstract>https://doi.org/10.1109/SBESC.2012.32</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>Composição de Serviços Web Semânticos em Nuvem</title>
    <author>ALVES, F. O. ; CLARO, D. B.</author>
    <proceedings>Capítulo de Livro, Minicursos da XII Escola de Informática Bahia, Alagoas e Sergipe. 1ed.Juazeiro: Univasf, 2012, v. , p. 97-128.</proceedings>
    <location>Juazeiro, BA, Brasil</location>
    <month>00</month>
    <year>2012</year>
    <urlabstract>#</urlabstract>
    <type>Technical Report</type>
</article>

<article>
    <title>Adaptive Request Batching for Byzantine Replication</title>
    <author>Alírio Santos de Sá  and Allan Edgard Silva Freitas and Raimundo José de Araújo Macêdo</author>
    <proceedings>ACM SIGOPS Operating Systems Review, ACM, v. 47, n. 1</proceedings>
    <month>01</month>
    <year>2013</year>
    <urlabstract>https://doi.org/10.1145/2433140.2433149</urlabstract>
    <type>Full Paper</type>
 </article> 
 
<article>
    <title>Dos Sistemas Distribuídos Self-aware</title>
    <author>Raimundo José de Araújo Macêdo and Allan Edgard Silva Freitas</author>
    <proceedings>Proceedings of the 3rd Workshop on Autonomic Distributed Systems (WoSiDA 2012)</proceedings>
    <location>Brasilia, Brazil</location>
    <month>05</month>
    <year>2013</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/SistemasDistribuídosSelfaware.pdf</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title>Enhancing Group Communication with Self-Manageable Behavior</title>
    <author>Raimundo José de Araújo Macêdo and Allan Edgard Silva Freitas and Alirio Sá</author>
    <proceedings>Journal of Parallel and Distributed Computing (JPDC'2013), v. 73, n. 4, p.420-433</proceedings>
	<location>Elsevier</location>
    <month>04</month>
    <year>2013</year>
    <urlabstract>http://dx.doi.org/10.1016/j.jpdc.2012.12.005</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>Protocolos Auto-Gerenciáveis de Consenso para Sistemas Distribuídos Parcialmente Síncronos</title>
    <author>Alirio Sá and Raimundo José de Araújo Macêdo and Heverton Santos Queiroz</author>
    <proceedings>Proceedings of the 4th Workshop on Autonomic Distributed Systems (WoSiDA 2014)</proceedings>
	<location>Florianópolis, Brazil</location>
    <month>05</month>
    <year>2014</year>
    <urlabstract>http://sbrc2014.ufsc.br/anais/files/wosida/ST1-2.pdf</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>Um Mecanismo de Auto-gestão para Sistemas de Armazenamento de Dados Replicados nas Nuvens</title>
    <author>Fabiola de Lima Moreira and Alirio Sá</author>
    <proceedings>Proceedings of the 4th Workshop on Autonomic Distributed Systems (WoSiDA 2014)</proceedings>
	<location>Florianópolis, Brazil</location>
    <month>05</month>
    <year>2014</year>
    <urlabstract>http://sbrc2014.ufsc.br/anais/files/wosida/ST1-3.pdf</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>Just-in-Time Clouds: Uma abordagem para Federação de Clouds Privadas</title>
    <author>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á</author>
    <proceedings>Anais do XXXI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2013)</proceedings>
	<location>Brasília, Brasil</location>
    <month>05</month>
    <year>2013</year>
    <urlabstract>http://ce-resd.facom.ufms.br/sbrc/2013/artigo-79.pdf</urlabstract>
    <type>Full Paper</type>
</article>

<article>
	<title>Aplicação e Análise de Teoria de Controle Realimentado no Tratamento de Faltas de Páginas em Sistemas de Gerenciamento de Memória</title>
	<author>Ivo Santos Cavalcante Carneiro and Luciano Porto Barreto and Alirio Sá</author>
	<proceedings>Anais do VI Workshop de Sistemas Operacionais (WSO'2009)</proceedings>
	<location>Bento Gonçalves, Brasil</location>
	<month>07</month>
	<year>2009</year>
	<urlabstract>http://csbc2009.inf.ufrgs.br/anais/pdf/wso/st02_03.pdf</urlabstract>
	<type>Full Paper</type>
</article>
<article>
	<title>ARCOS: A Component-Based Architecture for the Construction of Robust Control and Supervision Applicatrions</title>
	<author>Sandro Santos Andrade and Raimundo José de Araújo Macêdo and Alírio Sá</author>
	<proceedings>Proceedings of the WDAS - Latin-American Workshop on Dependable Automation System</proceedings>
	<location>Salvador, Brasil</location>
	<month>10</month>
	<year>2005</year>
	<urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/ARCOSv02.pdf</urlabstract>
    <type>Extended Abstract</type>
</article>
<article>
    <title>Avaliando Detectores De Defeitos Adaptáveis Em Sistemas De Controle Distribuídos De Tempo Real Sobre Redes Convencionais</title>
    <author>Alirio Sá and Raimundo José de Araújo Macêdo</author>
    <proceedings>Proceedings of the Third Workshop On Theses And Dissertations</proceedings>
    <location>Salvador, Brasil</location>
    <month>10</month>
    <year>2005</year>
    <urlabstract>http://www.lbd.dcc.ufmg.br/colecoes/wtf/2006/st3_1.pdf</urlabstract>
    <type>Full Paper</type>
</article>
<article>
    <title>Um Protocolo de Roteamento Adaptativo a Carga de Bateria e a presença de falhas em Redes Moveis Ad hoc</title>
    <author>Bruno Santos and Sérgio Gorender</author>
    <proceedings>Anais do IV Workshop de Sistemas Distribuídos Autonômicos (WoSiDA 2014)</proceedings>
    <location>Brasil</location>
    <month>05</month>
    <year>2014</year>
    <urlabstract>http://sbrc2014.ufsc.br/anais/files/wosida/ST2-1.pdf</urlabstract>
    <type>Full Paper</type>
</article>
<article>
    <title>Um Protocolo de Roteamento Dinamico para Redes Veiculares</title>
    <author>Margarete Sa and Sérgio Gorender</author>
    <proceedings>Anais do IV Workshop de Sistemas Distribuídos Autonômicos (WoSiDA 2014)</proceedings>
    <location>Brasil</location>
    <month>05</month>
    <year>2014</year>
    <urlabstract>http://sbrc2014.ufsc.br/anais/files/wosida/ST2-2.pdf</urlabstract>
    <type>Full Paper</type>
</article>
<article>
    <title>Composição autonômica de serviços web para prevenir ou minimizar interaçõees de características</title>
    <author>Roberto de Cerqueira Figueiredo ; Daniela Barreiro Claro ; De Araujo Macedo, Raimundo ; ANDRADE, Aline Maria Santos</author>
    <proceedings> Anais do III Workshop on Autonomic Distributed Systems (Wosida),p. 35-38</proceedings>
    <location>Brasilia</location>
    <month>04</month>
    <year>2013</year>
    <urlabstract>http://sbrc2014.ufsc.br/anais/files/wosida/ST2-2.pdf</urlabstract>
    <type>Full Paper</type>
</article>
<article>
    <title>MTP: Model Transformation Profile</title>
    <author>Mascarenhas, Ana Patrícia Fontes Magalhães ; Andrade, Aline Maria Santos ; Maciel, Rita Suzana Pitangueira</author>
    <proceedings>Proceedings of the 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS)</proceedings>
    <location>Brasília, Brasil</location>
    <month>09</month>
    <year>2013</year>
    <urlabstract>https://doi.org/10.1109/SBCARS.2013.22</urlabstract>
    <type>Full Paper</type>
</article>
<article>
    <title>Toward the Revision of CTL Models through Kripke Modal Transition Systems</title>
    <author>Guerra, P. T. ; Andrade, Aline M. S. ; Wassermann, R.</author>
    <proceedings>Proceedings of the 16th Brazilian Symposium on Formal Methods (SBMF 2013)</proceedings>
    <location>Brasília, Brazil</location>
    <month>09</month>
    <year>2013</year>
    <urlabstract>https://link.springer.com/chapter/10.1007/978-3-642-41071-0_9</urlabstract>
    <type>Full Paper</type>
</article>
<article>
    <title>An Experiment of Verification of Multi-agent Robotic Soccer Plans with Model Checking</title>
    <author>Silva, R. C. B. A. ; Andrade, Aline M. S. ; Costa, A. L. ; Barboza, F. J. R.</author>
    <proceedings>Anais do VII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC 2013)</proceedings>
    <location>São Paulo, Brasil</location>
    <month>05</month>
    <year>2013</year>
    <urlabstract></urlabstract>
    <type>Full Paper</type>
</article>
<article>
    <title>Assessing the benefits of search-based approaches when designing self-adaptive systems: a controlled experiment</title>
    <author>Sandro Andrade and Raimundo Macêdo</author>
    <proceedings>Journal of Software Engineering Research and Development, Vol. 3,  no. 1, ISSN: 2195-1721</proceedings>
    <location>Springer</location>
    <month>03</month>
    <year>2015</year>
    <urlabstract>http://www.jserd.com/content/3/1/2</urlabstract>
    <type>Full Paper</type>
</article>
<article>
    <title>A performance evaluation tool for hybrid and dynamic distributed systems</title>
    <author>Allan Edgard and Raimundo Macêdo</author>
    <proceedings>ACM SIGOPS - Operating Systems Review, Vol. 4, Issue 1, pp. 11-18</proceedings>
    <location>ACM</location>
    <month>01</month>
    <year>2014</year>
    <urlabstract>http://dl.acm.org/citation.cfm?doid=2626401.2626404</urlabstract>
    <type>Full Paper</type>
</article>
<article>
    <title>Software requirements selection and prioritization using SBSE approaches: A systematic review and mapping of the literature</title>
    <author>PITANGUEIRA, A. M. ; Maciel, R. S. P. ; BARROS, M.</author>
    <proceedings>The Journal of Systems and Software,  v. 103, Issue 1, p. 267-280</proceedings>
    <location>Elsevier</location>
    <month>05</month>
    <year>2015</year>
    <urlabstract>http://www.sciencedirect.com/science/article/pii/S0164121214002118</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>Supporting model-driven development using a process-centered software engineering environment</title>
    <author>Maciel, R. S. P. ; GOMES, R. A. ; MAGALHÃES, A. P. ; Silva, Bruno Carreiro da ; QUEIROZ, J. P. B.</author>
    <proceedings>Automated Software Engineering,  v. 20, Issue 3,  pp 427-461</proceedings>
    <location>Springer</location>
    <month>04</month>
    <year>2013</year>
    <urlabstract>http://dx.doi.org/10.1007/s10515-013-0124-0</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>Supporting Awareness in Groupware through an Aspect-Oriented Middleware Service</title>
    <author>Maciel, R. S. P. ; DAVID, J. M. N. ; Michel Oei ; Bastos, Adriano A. ; Menezes, Leandro</author>
    <proceedings>Journal of Universal Computer Science (Online), v. 15, Issue 9, p. 1945-1969</proceedings>
    <location>JUCS</location>
    <month>04</month>
    <year>2009</year>
    <urlabstract>http://www.jucs.org/jucs_15_9/supporting_awareness_in_groupware</urlabstract>
    <type>Full Paper</type>
</article>



<article>
    <title>Towards a Metamodel Design Methodology: Experiences from a model transformation metamodel design</title>
    <author>MAGALHąS, A. P. ; Maciel, R. S. P. ; Andrade, Aline</author>
    <proceedings>SEKE 2015 - 015 International Conference on Software Engineering and Knowledge Engineering</proceedings>
    <location>SEKE</location>
    <month>04</month>
    <year>2015</year>
    <urlabstract>https://www.researchgate.net/publication/300540396_Towards_a_Metamodel_Design_Methodology_Experiences_from_a_model_transformation_metamodel_design</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>AN ONTOLOGY FOR A FAULT TOLERANT TRAFFIC INFORMATION SYSTEM</title>
    <author>GORENDER, S. ; Silva, I .</author>
    <proceedings>22nd International Congress of Mechanical Engineering (COBEM 2013)</proceedings>
    <location>Ribeirão Preto</location>
    <month>11</month>
    <year>2013</year>
    <urlabstract>www.abcm.org.br/anais/cobem/2013/PDF/1336.pdf</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>Uma Arquitetura de Rede para Serviços de Comunicação Autonomos</title>
    <author>Sá Margarete ; GORENDER, S.</author>
    <proceedings>Workshop de Sistemas Distribuídos Autonomos</proceedings>
    <location>Brasília</location>
    <month>11</month>
    <year>2013</year>
    <urlabstract>sbrc2013.unb.br/files/anais/wosida/artigos/artigo-6.pdf</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>Interação de Características na composição de Serviços Web: Prevenindo a violação dos requisitos do usuário</title>
    <author>Roberto de Cerqueira Figueiredo ; Daniela Barreiro Claro ; Macêdo, Raimundo José Araújo; ANDRADE, Aline Maria Santos </author>
    <proceedings>ANAIS do X Simpósio Brasileiro de Sistemas de Informação - SBSI, v. 1. p. 1-8</proceedings>
    <location>Londrina</location>
    <month>11</month>
    <year>2014</year>
    <urlabstract>homes.dcc.ufba.br/~dclaro/download/camerareadysbsi20142.pdf</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>A Systematic Model-Based Approach for Feedback Control Trade-Off Evaluation in Autonomic Systems</title>
    <author>ANDRADE, Sandro Santos ; Macêdo, Raimundo José Araújo</author>
    <proceedings>Proceedings of the IV Workshop on Autonomic Distributed Systems, v. 1. p. 1-4</proceedings>
    <location>Brasilia</location>
    <month>04</month>
    <year>2014</year>
    <urlabstract>sbrc2014.ufsc.br/anais/files/wosida/ST3-1.pdf</urlabstract>
    <type>Full Paper</type>
</article>


<article>
    <title>Do Search-Based Approaches Improve the Design of Self-Adaptive Systems ? A Controlled Experiment</title>
    <author>ANDRADE, Sandro Santos ; Macêdo, Raimundo José Araújo</author>
    <proceedings>Proceeding of the 28th Brazilian Symposium on Software Engineering (SBES 2014), v. 1. p. 1-10</proceedings>
    <location>IEEE</location>
    <month>09</month>
    <year>2014</year>
    <urlabstract>https://doi.org/10.1109/SBES.2014.17</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title> Rede Digital para Integração Social: Experiências da Universidade Federal do Sul da Bahia</title>
    <author>Macêdo, Raimundo José de Araújo; de SÁ, Alírio Santos</author>
    <proceedings>I Workshop de TIC para Desenvolvimento (SBRC 2017 - WTICp/D)</proceedings>
    <location>Belem</location>
    <month>00</month>
    <year>2017</year>
    <urlabstract>https://sbrc2017.ufpa.br/wp-content/uploads/2017/08/proceedingsWTICpD2017v2.pdf
	</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title>Autonomic Byzantine Replication for Intrusion Tolerance in Cyber-Physical Systems</title>
    <author>Macêdo, Raimundo José de Araújo.</author>
    <proceedings>VII WORKSHOP ON AUTONOMIC DISTRIBUTED SYSTEMS (WoSiDA)</proceedings>
    <location>Belém</location>
    <month>00</month>
    <year>2017</year>
    <urlabstract>https://sbrc2017.ufpa.br/wp-content/uploads/2017/05/proceedingsWoSiDA2017.pdf</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title>Uma Experiência de Adaptação de Quóruns para Dectecçao de Falhas em Consenso Byzantino no Modelo Síncrono Particionado</title>
    <author>SILVA, W. L. ; Marco Antonio Dantas Ramos ; Macêdo, Raimundo José de Araújo.</author>
    <proceedings>VII WORKSHOP ON AUTONOMIC DISTRIBUTED SYSTEMS (WoSiDA)</proceedings>
    <location>Belém</location>
    <month>00</month>
    <year>2017</year>
    <urlabstract>https://sbrc2017.ufpa.br/wp-content/uploads/2017/05/proceedingsWoSiDA2017.pdf</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title>Uma Abordagem de Projeto para Mecanismos Autonômicos de Tolerância a Falhas em Sistemas Distribuídos</title>
    <author>SÁ, Alírio Santos de ; Macêdo, Raimundo José de Araújo</author>
    <proceedings>VII WORKSHOP ON AUTONOMIC DISTRIBUTED SYSTEMS (WoSiDA)</proceedings>
    <location>Belem</location>
    <month>00</month>
    <year>2017</year>
    <urlabstract>http://bdtd.ibict.br/vufind/Record/UFBA-2_18623e09a7644a2052f71e650137bffc</urlabstract>
    <type>Full Paper</type>
</article> 


<article>
    <title>Securing IoT-based Cyber-Physical Human Systems against Collaborative Attacks</title>
    <author>Sathish Kumar ; Ganapathy Mani ; Macêdo, Raimundo José de Araújo ; Bharat Bhargava</author>
    <proceedings>2nd IEEE International Congress on Internet of Things - ICIOT 2017</proceedings>
    <location>Honolulu</location>
    <month>00</month>
    <year>2017</year>
    <urlabstract>https://doi.org/10.1109/IEEE.ICIOT.2017.11</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title>A Cluster Management System for VANETs</title>
    <author>CAMBRUZZI, EDUARDO ; FARINES, JEAN-MARIE ; KRAUS, WERNER ; Macêdo, Raimundo</author>
    <proceedings>International Journal of Intelligent Transportation Systems Research</proceedings>
    <location>Springer</location>
    <month>00</month>
    <year>2016</year>
    <urlabstract>https://link.springer.com/content/pdf/10.1007%2Fs13177-014-0107-y.pdf</urlabstract>
    <type>Full Paper</type>
</article>


<article>
    <title>Assessing the beneﬁts of search-based approaches when designing self-adaptive systems: a controlled experiment</title>
    <author>ANDRADE, Sandro Santos ; Macêdo, Raimundo José de Araújo</author>
    <proceedings>Journal of Software Engineering Research and Development</proceedings>
    <location>Springer</location>
    <month>00</month>
    <year>2015</year>
    <urlabstract>https://link.springer.com/content/pdf/10.1186%2Fs40411-015-0016-z.pdf</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title>Avaliando o Impacto da Disseminação Assíncrona de Operações na QoS de Bases de Dados Replicadas</title>
    <author>MOREIRA, F. L. ; SA, Alírio S. ; FREITAS, A. E. S.</author>
    <proceedings>V Workshop de Sistemas Distribuídos Autonômicos</proceedings>
    <location>Vitória, ES, Brasil</location>
    <month>00</month>
    <year>2015</year>
    <urlabstract>http://sbrc2015.ufes.br/wp-content/uploads/proceedingsWOSIDA2015.pdf</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title>CloudGI, Gerenciando Instâncias de um Serviço Replicado em uma Plataforma de Computação em Nuvem</title>
    <author>NASCIMENTO, P. S. ; FREITAS, A. E. S.</author>
    <proceedings>Salão de Ferramentas do Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos</proceedings>
    <location>Vitória, ES, Brasil</location>
    <month>00</month>
    <year>2015</year>
    <urlabstract>http://sbrc2015.ufes.br/wp-content/uploads/a-140133_1.pdf</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title>Implementação do Protocolo de Lock para Armazenamento DEPSKY</title>
    <author>NASCIMENTO, P. S. ; FREITAS, A. E. S.</author>
    <proceedings>Revista de Sistemas de Informação da FSMA, v. 15, p. 23-2</proceedings>
    <location>--</location>
    <month>00</month>
    <year>2015</year>
    <urlabstract>http://www.fsma.edu.br/si/edicao15/FSMA_SI_2015_1_Estudantil_2_en.pdf</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title>Performance Evaluation on Cyber-Physical Systems</title>
    <author>FREITAS, A. E. S.; BEZERRA, R. M. S.</author>
    <proceedings>ICIC Express Letters, v. 10, p. 263-270</proceedings>
    <location>--</location>
    <month>00</month>
    <year>2016</year>
    <urlabstract>https://www.researchgate.net/publication/290820236_Performance_Evaluation_on_Cyber-Physical_Systems</urlabstract>
    <type>Full Paper</type>
</article> 

  <article>
    <title>Projeto de Sistemas Distribuídos e de Tempo Real para Automação</title>
    <author>Raimundo Macêdo e Jean-Marie Farines(Org.)</author>
    <proceedings>Edufba</proceedings>
    <location>Salvador</location>
    <month>00</month>
    <year>2018</year>
    <urlabstract>https://repositorio.ufba.br/ri/bitstream/ri/26164/1/ProjetoDeSistemasDistribu%C3%ADdoseDeTempoRealParaAutoma%C3%A7%C3%A3o-EDUFBA-2018.pdf</urlabstract>
    <type>Book</type>
  </article> 

  <article>
    <title>IPv6 - Conceitos e Aspectos Práticos</title>
    <author>FREITAS, A. E. S.; BEZERRA, R. M. S.</author>
    <proceedings>Editora Ciência Moderna</proceedings>
    <location>Rio de Janeiro</location>
    <month>00</month>
    <year>2015</year>
    <urlabstract>https://www.lcm.com.br/site/#/livros/detalhesLivro/ipv6-conceitos-e-aspectos-praticos.html</urlabstract>
    <type>Book</type>
  </article> 
  
 <article>
    <title>6LOWPAN : PROMOVENDO A INTEGRAÇÃO ENTRE OS DISPOSITIVOS COM A COMPUTAÇÃO UBÍQUA E A IOT</title>
    <author>BEZERRA, R. M. S. ; NASCIMENTO, F. M. S. ; FREITAS, A. E. S.</author>
    <proceedings>Cadernos técnicos de computação e energia.</proceedings>
    <location>Salvador: ARCADIA</location>
    <month>00</month>
    <year>2015</year>
    <urlabstract>http://www.ifba.edu.br/professores/romildo/cadtechs/cadtech01.pdf#page=36</urlabstract>
    <type>Book Chapter</type>
 </article> 

 <article>
    <title>Gerenciador de Informações e Infraestrutura de Redes Ópticas</title>
    <author>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.</author>
    <proceedings>IX (PTT) Fórum</proceedings>
    <location>São Paulo</location>
    <month>00</month>
    <year>2017</year>
    <urlabstract>http://wrnp.rnp.br/sites/wrnp2016/files/wrnp2016_lamina_gt_giiro_edit_v3.pdf</urlabstract>
    <type>Extended Abstract</type>
  </article>
    
  <article>
    <title>BAMBU: A Metropolitan Innovation Testbed for Promoting Future Internet Research</title>
    <author>SAMPAIO, L. N. ; OLIVEIRA, L. R. ; BARRETO, M. E. ; BEZERRA, R. M. S. ; FREITAS, A. E. S.</author>
    <proceedings>SwitchOn São Paulo Workshop</proceedings>
    <location>São Paulo, Brasil</location>
    <month>00</month>
    <year>2015</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/BAMBUametropolitanInnovation.pdf</urlabstract>
    <type>Extended Abstract</type>
  </article>
  
    <article>
    <title>Principled Eliciting and Evaluation of Trade-Offs When Designing Self-Adaptive Systems Architectures</title>
    <author>ANDRADE, SANDRO S.; MACEDO, R. J. A. ; BONFIM, T. ; COELHO, L.</author>
    <proceedings>Managing Trade-offs in Adaptable Software Architectures</proceedings>
    <location>Morgan Kaufmann</location>
    <month>00</month>
    <year>2016</year>
    <urlabstract>https://www.sciencedirect.com/science/article/pii/B9780128028551000083</urlabstract>
    <type>Book Chapter</type>
  </article> 
   
   <article>
    <title>On Subtle Contributions</title>
    <author>ANDRADE, SANDRO S.</author>
    <proceedings>M20 Years of KDE: Past, Present and Future.</proceedings>
    <location>Berlin, Germany</location>
    <month>00</month>
    <year>2016</year>
    <urlabstract>https://20years.kde.org/book/20yearsofKDE.pdf</urlabstract>
    <type>Book Chapter</type>
  </article> 
  
 <article>
    <title>Principled Evaluation of Strengths and Weaknesses in FLOSS Communities: A Systematic Mixed Methods Maturity Model Approach</title>
    <author>ANDRADE, SANDRO S.; SARAIVA, F.</author>
    <proceedings> The 13th International Conference on Open Source Systems (OSS 2017)</proceedings>
    <location>Buenos Aires, Argentina</location>
    <month>00</month>
    <year>2017</year>
    <urlabstract>https://link.springer.com/chapter/10.1007/978-3-319-57735-7_4</urlabstract>
    <type>Full Paper</type>
 </article> 

  
  <article>
    <title>Detecção Automática de Estilos Arquiteturais em Sistemas Distribuídos</title>
    <author>DIVINO, A. S. A. ; ANDRADE, SANDRO S.</author>
    <proceedings>Workshop de Trabalhos de Pós-Graduação (WPOS) - Escola Regional de Computação Bahia, Alagoas e Sergipe (ERBASE)</proceedings>
    <location>Maceió, Al, Brasil</location>
    <month>00</month>
    <year>2016</year>
    <urlabstract>http://www.prpgi.ifba.edu.br/wp-content/uploads/Aline_Divino.pdf</urlabstract>
    <type>Full Paper</type>
</article> 

  <article>
    <title>Planejamento Regional Adaptativo em Sistemas Self-Adaptive de Larga Escala</title>
    <author>SOUSA, G. F. ; ANDRADE, E. S. ; ANDRADE, SANDRO S.</author>
    <proceedings>Workshop de Trabalhos de Iniciação Científica e Graduação (WTICGBASE) - Escola Regional de Computação Bahia, Alagoas e Sergipe (ERBASE)</proceedings>
    <location>Maceió, Al, Brasil</location>
    <month>00</month>
    <year>2016</year>
    <urlabstract>http://www.prpgi.ifba.edu.br/wp-content/uploads/Eudes-Santos-Andrade.pdf</urlabstract>
    <type>Full Paper</type>
 </article> 
  
 <article>
    <title>Melhoramento Genético On-line como Infraestrutura para Sistemas Self-Adaptive Descentralizados</title>
    <author>SANTANA, I. J. S. ; ANDRADE, SANDRO S.</author>
    <proceedings>Workshop de Trabalhos de Iniciação Científica e Graduação (WTICGBASE) - Escola Regional de Computação Bahia, Alagoas e Sergipe (ERBASE)</proceedings>
    <location>Maceió, AL, Brasil</location>
    <month>00</month>
    <year>2016</year>
    <urlabstract>#</urlabstract>
    <type>Full Paper</type>
 </article>
 
 
 <article>
    <title>Uma Representação Visual para Gerenciamento de Emergências em Ambientes Fechados</title>
    <author>NUNES, F. ; TELES, F. ; Novais, R. L. ; ANDRADE, SANDRO S. ; MARQUES NETO, M. C.</author>
    <proceedings>Simpósio Brasileiro de Sistemas de Informação (SBSI)</proceedings>
    <location>Florianópolis, SC, Brasil</location>
    <month>00</month>
    <year>2016</year>
    <urlabstract>http://www.lbd.dcc.ufmg.br/colecoes/sbsi/2016/068.pdf</urlabstract>
    <type>Full Paper</type>
 </article>
 
 <article>
    <title>Planejamento Regional Adaptativo em Sistemas Self-Adaptive de Larga Escala</title>
    <author>ANDRADE, E. S. ; SOUSA, G. F. ; ANDRADE, SANDRO S.</author>
    <proceedings>8º SBCUP - Simpósio Brasileiro de Computação Ubíqua e Pervasiva</proceedings>
    <location>Porto Alegre, Brasil</location>
    <month>00</month>
    <year>2016</year>
    <urlabstract>http://www.prpgi.ifba.edu.br/wp-content/uploads/Eudes-Santos-Andrade.pdf</urlabstract>
    <type>Full Paper</type>
 </article>
 
 
  <article>
    <title>Software Evolution Sonification </title>
    <author>RAIMUNDO, P. O. ; ANDRADE, SANDRO S. ; Novais, R. L.</author>
    <proceedings>III Workshop on Software Visualization, Evolution, and Maintenance (CBSoft)</proceedings>
    <location>Porto Alegre, Brasil</location>
    <month>00</month>
    <year>2015</year>
    <urlabstract>http://vem2015.dcc.ufla.br/wp-content/uploads/2015/08/2015_vem_raimundo_et_al.pdf</urlabstract>
    <type>Full Paper</type>
 </article>

 <article>
    <title> Whistle: Um Detector de Defeitos para Sistemas Multiagentes Utilizando a Framework JADE</title>
    <author>CERQUEIRA JR., A. J. ; GORENDER, S.</author>
    <proceedings>Anáis do Workshop de Sistemas Distribuídos Autonômicos</proceedings>
    <location>Salvador</location>
    <month></month>
    <year>2016</year>
    <urlabstract>http://sbrc2016.ufba.br/downloads/WoSIDA/155230.pdf</urlabstract>
    <type>Full Paper</type>
</article> 
<article>
   <title>Prediction of Leptospirosis Cases using Classification Algorithms</title>
    <author>JUNIOR, NIVISON ; Claro, Daniela ; LINDOW, JANET</author>
    <proceedings>IET Software (Print), v. 1, p. 1-7</proceedings>
    <location></location>
    <month></month>
    <year>2017</year>
    <urlabstract>https://doi.org/10.1049/iet-sen.2016.0193</urlabstract>
    <type>Full Paper</type>
</article> 
<article>
   <title>Semantic-based Clustering of Web Services</title>
    <author>SILVA, L. J. ; CLARO, D. B. ; LOPES, D. C. P. </author>
    <proceedings>Journal of Web Engineering, v. 14, p. 325-345</proceedings>
    <location></location>
    <month></month>
    <year>2015</year>
    <urlabstract>https://www.riverpublishers.com/journal/journal_articles/RP_Journal_1540-9589_1438.pdf</urlabstract>
    <type>Full Paper</type>
</article> 
<article><title>Extração de Relações utilizando Features Diferenciadas para Português</title>
    <author>SOUZA, E. N. P. ; CLARO, D. B. </author>
    <proceedings>Linguamática (Braga), v. 6, p. 57-65</proceedings>
    <location></location>
    <month></month>
    <year>2014</year>
    <urlabstract>http://linguamatica.com/index.php/linguamatica/article/view/182</urlabstract>
    <type>Full Paper</type>
</article> 

  <article>
    <title>Model Driven Testing for Cloud Computing</title>
    <author>Oliveira, Jéssica ; Lopes, Denivaldo ; Abdelouahab, Zair ; Claro, Daniela ; Hammoudi, Slimane </author>
    <proceedings>Lecture Notes in Electrical Engineering. 1ed.: Springer International Publishing</proceedings>
    <location></location>
    <month>00</month>
    <year>2015</year>
    <urlabstract>https://link.springer.com/chapter/10.1007/978-3-319-06773-5_40</urlabstract>
    <type>Book Chapter</type>
  </article>
<article>
    <title>Transparent Interoperability Middleware between Data and Service Cloud Layers</title>
    <author>RIBEIRO, E. ; VIEIRA, M. ; CLARO, D. B. ; SILVA, N. </author>
    <proceedings>International Conference on Cloud Computing and Services Science(CLOSER 2018)</proceedings>
    <location>Lisboa</location>
    <month></month>
    <year>2018</year>
    <urlabstract>https://www.scitepress.org/Papers/2018/67041/67041.pdf</urlabstract>
    <type>Full Paper</type>
</article> 
<article>
    <title>Byzantine Fault Tolerance in the Partitioned Synchronous System Model</title>
    <author>SILVA, Wellington L.; RAMOS, Marco A. D. ; MACÊDO, Raimundo J. de A.</author>
    <proceedings>VIII Brazilian Symposium on Computing Systems Engineering (SBESC 2018)</proceedings>
    <location>Salvador, Brazil</location>
    <month></month>
    <year>2018</year>
    <urlabstract>http://doi.org/10.1109/SBESC.2018.00024</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title>Inference Approach to Enhance a Portuguese Open Information Extraction</title>
    <author>LIMA SENA, CLEITON FERNANDO ; GLAUBER, RAFAEL ; BARREIRO CLARO, DANIELA</author>
    <proceedings>19th International Conference on Enterprise Information Systems</proceedings>
    <location>Porto</location>
    <month></month>
    <year>2017</year>
    <urlabstract>https://www.scitepress.org/Papers/2017/63382/63382.pdf</urlabstract>
    <type>Full Paper</type>
</article> 
<article>
    <title>Enhancing MIDAS Towards a Transparent Interoperability Between SaaS and DaaS</title>
    <author>LIMA SENA, CLEITON FERNANDO ; GLAUBER, RAFAEL ; BARREIRO CLARO, DANIELA</author>
    <proceedings>Simpósio Brasileiro de Sistemas de Informação - SBC</proceedings>
    <location>Porto Alegre</location>
    <month></month>
    <year>2017</year>
    <urlabstract>http://www.lbd.dcc.ufmg.br/colecoes/sbsi/2016/053.pdf</urlabstract>
    <type>Full Paper</type>
</article> 
<article>
    <title>Utilizando Features Linguísticas Genéricas para Classificação de Triplas Relacionais em Português</title>
    <author>BARBOSA, G. C. G. ; CLARO, D. B.</author>
    <proceedings>SBC - Symposium in Information and Human Language Technology (STIL), Uberlandia. Proceedings of 11th Brazilian Symposium in Information and Human Language Technology.</proceedings>
    <location>Porto Alegre</location>
    <month></month>
    <year>2017</year>
    <urlabstract>https://www.aclweb.org/anthology/W/W17/W17-6616.pdf</urlabstract>
    <type>Full Paper</type>
</article> 
<article>
    <title>Nominal Coreference Annotation in IberEval2017: The Case of FORMAS Group</title>
    <author>SOUZA, M. ; GLAUBER, R. ; OLIVEIRA, L. S. ; SENA, C. F. L. ; CLARO, D. B. </author>
    <proceedings>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</proceedings>
    <location>Murcia</location>
    <month></month>
    <year>2017</year>
    <urlabstract>http://ceur-ws.org/Vol-1881/Portuguese_paper_2.pdf</urlabstract>
    <type>Full Paper</type>
</article>
<article>
    <title> DependentIE: An Open Information Extraction system on Portuguese by a Dependence Analysis.</title>
    <author>OLIVEIRA, L. S. ; GLAUBER, R. ; CLARO, D. B. </author>
    <proceedings>Encontro Nacional de Inteligência Artificial e Inteligência Computacional, 2017, Uberlandia. ENIAC 2017 proceedings</proceedings>
    <location>Porto Alegre</location>
    <month></month>
    <year>2017</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/dependentIEAnaisENIAC2017.pdf</urlabstract>
    <type>Full Paper</type>
</article>
<article>
    <title>MIDAS: A Middleware to Provide Interoperability between SaaS and DaaS</title>
    <author>CIDREIRA, V. ; MARINHO, T. ; CLARO, D. B. ; MANE, B. </author>
    <proceedings>SBSI 2016 - Simpósio Brasileiro de Sistemas de Informação. Proceedings do Simpósio Brasileiro de Sistemas de Informação</proceedings>
    <location>Florianópolis</location>
    <month></month>
    <year>2016</year>
    <urlabstract>http://www.lbd.dcc.ufmg.br/colecoes/sbsi/2016/053.pdf</urlabstract>
    <type>Full Paper</type>
</article>
<article>
<title>Classification Model Analysis for the Prediction of Leptospirosis Cases</title>
 <author>NERY JUNIOR, N. R. R. ; CLARO, D. B. ; LINDOW, J.</author>
<proceedings>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.</proceedings>
 <location>Gran Canaria</location>
 <month></month>
 <year>2016</year>
 <urlabstract>https://doi.org/10.1109/CISTI.2016.7521494</urlabstract>
 <type>Full Paper</type>
</article>
<article>
<title>Interoperabilidade entre dispositivos como serviços: uma abordagem interdisciplinar</title>
 <author>CLARO, DANIELA BARREIRO; JESUS, LUIS ; FERREIRA, ALEXANDRE ; FIGUEIREDO, ROBERTO ; CORREIA, MARIANE ; SENA, CLEITON ; GLAUBER, RAFAEL ; AZEVEDO, WELLINGTON </author>
<proceedings>Interoperabilidade entre dispositivos como serviços: uma abordagem interdisciplinar. In: XXII Workshop de Informática na Escola, 2016. p. 281-290</proceedings>
 <location>Uberlandia</location>
 <month></month>
 <year>2016</year>
 <urlabstract>http://www.br-ie.org/pub/index.php/wie/article/download/6646/4557</urlabstract>
 <type>Full Paper</type>
</article>
<article>
<title>Avaliação de Desempenho de Serviços Web SOAP e Restful: estudos de caso para embarcar em dispositivos na Internet das Coisas</title>
 <author>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. </author>
<proceedings>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</proceedings>
 <location>Uberlandia</location>
 <month></month>
 <year>2016</year>
 <urlabstract>http://www.br-ie.org/pub/index.php/wcbie/article/download/7058/4932</urlabstract>
 <type>Full Paper</type>
</article>
<article>
<title>Classificação de Relações Abertas Utilizando Similaridade Entre Estruturas Gramaticais</title>
 <author>BARBOSA, G. C. G. ; CLARO, D. B.</author>
<proceedings>: 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</proceedings>
 <location>Uberlandia</location>
 <month></month>
 <year>2016</year>
 <urlabstract>https://repositorio.ufba.br/ri/handle/ri/19271</urlabstract>
 <type>Full Paper</type>
</article>
<article>
<title>OWL-S ComposerW: Composição de Serviços Web Semânticos SOAP e RESTful</title>
 <author>BARBOSA, G. C. G. ; CLARO, D. B.</author>
<proceedings>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</proceedings>
 <location>Porto Alegre</location>
 <month></month>
 <year>2016</year>
 <urlabstract>http://www.lbd.dcc.ufmg.br/colecoes/wfa/2016/007.pdf</urlabstract>
 <type>Full Paper</type>
</article>
<article>
<title>Análise da viralidade em eventos acadêmicos através das redes sociais</title>
 <author>SANTOS, C. ; CLARO, D. B.</author>
<proceedings>BRASNAM 2015 - IV Brazilian Workshop on Social Network Analysis and Mining. Anais do 35th Congresso da Sociedade Brasileira de Computação (CSBC)</proceedings>
 <location>Recife</location>
 <month></month>
 <year>2015</year>
 <urlabstract>http://www.lbd.dcc.ufmg.br/colecoes/brasnam/2015/014.pdf</urlabstract>
 <type>Full Paper</type>
</article>
<article>
<title>A probabilistic analysis of student retention in a Federal University: A Case Study of a Computer Science Program</title>
 <author>SANTOS, M. S. ; CLARO, D. B. ; LIMA, V. M. C.</author>
<proceedings>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)</proceedings>
 <location>Maceio</location>
 <month></month>
 <year>2015</year>
 <urlabstract>http://www.br-ie.org/pub/index.php/sbie/article/download/5458/3817</urlabstract>
 <type>Full Paper</type>
</article>

<article>
<title>Interação de Características na composição de Serviços Web: Prevenindo a violação dos requisitos do usuário</title>
 <author>FIGUEIREDO, R. ; CLARO, D. B. ; MACEDO, R. J. A. ; ANDRADE, A. M. S.</author>
<proceedings>X Simpósio Brasileiro de Sistemas de Informação (SBSI). Anais do X Simpósio Brasileiro de Sistemas de Informação</proceedings>
 <location>Londrina</location>
 <month></month>
 <year>2014</year>
 <urlabstract>http://www.lbd.dcc.ufmg.br/colecoes/sbsi/2014/0047.pdf</urlabstract>
 <type>Full Paper</type>
</article>

	<article>
		<title>Desenvolvimento de um Protocolo para Troca de Dados por meio de Rádio Receptor Regenerativo com Alta Eficiência Energética</title>
		<author>BLANSKI, J. W. ; SILVA, FLÁVIO MORAIS DE ASSIS ; PEPE, I. M</author>
		<proceedings>Abakós, v. 3, p. 83-107</proceedings>
		<location></location>
		<month></month>
		<year>2015</year>
		<urlabstract>http://periodicos.pucminas.br/index.php/abakos/article/download/P.2316-9451.2015v3n2p83/7918</urlabstract>
		<type>Full Paper</type>
	</article>

	<article>
		<title>A Distributed Algorithm to Schedule TSCH Links under the SINR Interference Model. In: Brazilian Symposium on Computing Systems Engineering</title>
		<author>José Carlos da Silva ; ASSIS, FLÁVIO</author>
		<proceedings>Brazilian Symposium on Computing Systems Engineering - SBESC</proceedings>
		<location>Curitiba</location>
		<month></month>
		<year>2017</year>
		<urlabstract>https://doi.org/10.1109/SBESC.2017.14</urlabstract>
		<type>Full Paper</type>
	</article> 

	<article>
		<title>A Deterministic and a Randomized Algorithm for Approximating Minimum Spanning Tree under the SINR Model</title>
		<author>ASSIS, FLÁVIO</author>
		<proceedings>The 8th IFIP Wireless and Mobile Networking Conference - WMNC, 2015. v. 1</proceedings>
		<location> Munique, Alemanha</location>
		<month></month>
		<year>2015</year>
		<urlabstract>https://doi.org/10.1109/WMNC.2015.41</urlabstract>
		<type>Full Paper</type>
	</article> 

	<article>
		<title>An Algorithm for k-Connectivity under Pure SINR Model</title>
		<author>ASSIS, FLÁVIO</author>
		<proceedings>The 15th International Conference, ADHOC-NOW 2016 - Lecture Notes in Computer Science (LNCS), 2016. v. 9724. p. 65-78</proceedings>
		<location>Lille, França</location>
		<month></month>
		<year>2016</year>
		<urlabstract>https://link.springer.com/chapter/10.1007/978-3-319-40509-4_5</urlabstract>
		<type>Full Paper</type>
	</article> 

<article>
    <title>Correlação probabilística de bancos de dados governamentais</title>
    <author>PINTO, C. ; PITA, R. ; MELO, P. ; SENA, S. ; Barreto, Marcos</author>
    <proceedings>XXX Simpósio Brasileiro de Banco de Dados - Sociedade Brasileira de Computação (SBC), 2015. v. 1. p. 77-88</proceedings>
    <location>Petrópolis</location>
    <month></month>
    <year>2015</year>
    <urlabstract>http://homes.dcc.ufba.br/~marcoseb/Apresentacao_SBBD_2015.pdf</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title>A metropolitan innovation testbed for promoting future Internet research</title>
    <author>SAMPAIO, L. N. ; OLIVEIRA, L. R. ; BARRETO, Marcos E. ; BEZERRA, R. M. S. ; FREITAS, A. E. S. . BAMBU</author>
    <proceedings>Switch On São Paulo Workshop - University of São Paulo Medical School, 2015. v. 1. p. 24-25</proceedings>
    <location>São Paulo</location>
    <month></month>
    <year>2015</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/BAMBUametropolitanInnovation.pdf</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title>Exploração da computação em nuvem para aplicações de bioinformática e robótica</title>
    <author>CARMO, R. ; BARRETO, Marcos E. ; GONCALVES, G</author>
    <proceedings>Seminário Integrado de Ensino, Pesquisa e Extensão, Caderno de resumos do SEMENTE 2015. Salvador: EDUFBA, 2015. v. 1.</proceedings>
    <location>Salvador</location>
    <month></month>
    <year>2015</year>
    <urlabstract>#</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title>Auto-tuning TRSM with an asynchronous task assignment model on multicore, multi-GPU and coprocessor systems</title>
    <author>PINTO, CLICIA ; Barreto, Marcos ; Boratto, Murilo</author>
    <proceedings>IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA), IEEE, 2016. v. 1. p. 1-8</proceedings>
    <location> New York</location>
    <month></month>
    <year>2016</year>
    <urlabstract>https://doi.org/10.1109/AICCSA.2016.7945637</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title>Avaliação de acurácia em procedimentos de linkage probabilístico em grandes bases de dados</title>
    <author>ALVES, A. ; SENA, S. ; FIACCONE, R. L. ; AMORIM, L. D. A. F. ; BARBOSA, G. ; Barreto, Marcos ; BARRETO, Maurício L</author>
    <proceedings>61a Reunião Anual da Região Brasileira da Sociedade Internacional de Biometria,EDUFBA, 2016. v. 1. p. 11-11</proceedings>
    <location>Salvador</location>
    <month></month>
    <year>2016</year>
    <urlabstract>#</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title>A Estatística na pesquisa com big data</title>
    <author>FIACCONE, R. L. ; AMORIM, L. D. A. F. ; BARRETO, Maurício L. ; BARRETO, Marcos E</author>
    <proceedings>Congresso UFBA 70 Anos,  EDUFBA, 2016. v. 1. p. 10-11</proceedings>
    <location>Salvador</location>
    <month></month>
    <year>2016</year>
    <urlabstract>http://www.atyimolab.ufba.br/Resumo_CongUFBA70Anos.pdf</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>Design and evaluation of probabilistic record linkage methods supporting the Brazilian 100-million cohort initiative</title>
    <author>PITA, R. ; PINTO, C. ; Barreto, Marcos ; SENA, S. ; FIACCONE, R. L. ; AMORIM, L. D. A. F. ; BARRETO, Mauricio</author>
    <proceedings>International Journal of Population Data Science, v. 1, p. 203</proceedings>
    <location></location>
    <month></month>
    <year>2017</year>
    <urlabstract>http://homes.dcc.ufba.br/~marcoseb/Slides_paper206_MarcosBarreto.pdf</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>Assessing the accuracy of probabilistic record linkage of social and health databases in the 100 million Brazilian cohort</title>
    <author>Barreto, Marcos; DENAXAS, S</author>
    <proceedings>International Journal of Population Data Science, v. 1, p. 256</proceedings>
    <location></location>
    <month></month>
    <year>2017</year>
    <urlabstract>https://ijpds.org/article/view/276</urlabstract>
    <type>Full Paper</type>
</article>

 <article>
    <title>A Machine Learning Trainable Model to Assess the Accuracy of Probabilistic Record Linkage</title>
    <author>Pita, Robespierre ; Mendonça, Everton ; Reis, Sandra ; Barreto, Marcos ; Denaxas, Spiros</author>
    <proceedings>Ladjel Bellatreche; Sharma Chakravarthy. (Org.). Lecture Notes in Computer Science. 1ed. Springer International Publishing, 2017, v. 10440, p. 214-227</proceedings>
    <location>Berlim</location>
    <month>00</month>
    <year>2017</year>
    <urlabstract>https://link.springer.com/chapter/10.1007/978-3-319-64283-3_16</urlabstract>
    <type>Book Chapter</type>
  </article> 


<article>
    <title>Towards a Robot Task Ontology Standard</title>
    <author>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</author>
    <proceedings>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.</proceedings>
    <location>Los Angeles</location>
    <month></month>
    <year>2017</year>
    <urlabstract>https://proceedings.asmedigitalcollection.asme.org/proceeding.aspx?articleID=2646327</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>Probabilistic integration of large Brazilian socioeconomic and clinical databases. In: IEEE International Symposium on Computer-Based Medical Systems</title>
    <author>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</author>
    <proceedings>Thessaloniki. Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems. New York: IEEE, 2017. v. 1. p. 10-16</proceedings>
    <location>New York</location>
    <month></month>
    <year>2017</year>
    <urlabstract>https://doi.org/10.1109/CBMS.2017.64</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>Accelerating docking simulation using multicore and GPU systems</title>
    <author>JESUS, E. M. ; BARRETO, Marcos E. ; GUIMARAES, V. ; SANTOS, N. ; PITA, S. S. R. ; Boratto, Murilo</author>
    <proceedings>17th International Conference on Computational Science and Applications. Springer, 2017. v. 1. p. 10-16</proceedings>
    <location>New York</location>
    <month></month>
    <year>2017</year>
    <urlabstract>https://link.springer.com/chapter/10.1007/978-3-319-62392-4_32</urlabstract>
    <type>Full Paper</type>
</article>


<article>
    <title>A trainable model to assess the accuracy of probabilistic record linkage</title>
    <author>PITA, R. ; JESUS, E. M. ; REIS, S. ; Barreto, Marcos ; DENAXAS, S</author>
    <proceedings>International Conference on Big Data Analytics and Knowledge Discovery. Berlim: Springer International Publishing AG, 2017. v. 10440. p. 214-227</proceedings>
    <location>Berlim</location>
    <month></month>
    <year>2017</year>
    <urlabstract>https://repositorio.ufba.br/ri/handle/ri/24738</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>Scaling probabilistic record linkage on multicore and multi-GPU system</title>
    <author>PINTO, C. ; Boratto, Murilo ; ALONSO, P. ; Barreto, Marcos</author>
    <proceedings>17th International Conference on Computational and Mathematical Methods in Science and Engineering. Almería: CMMSE, 2017. v. 1. p. 10-20</proceedings>
    <location></location>
    <month></month>
    <year>2017</year>
    <urlabstract>https://www.researchgate.net/publication/317209762_Scaling_probabilistic_record_linkage_on_multicore_and_multi-GPU_system</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>uStorage: a storage architecture to provide block-level storage through object-based storage</title>
    <author>GUTIERREZ, FELIPE ; GARCIA, V. ; CARDOSO, J. F. ; JAMIR, T. ; RODRIGUES NETO, J. ; ASSAD, R. ; BARRETO, Marcos E</author>
    <proceedings>European Conference on Service-Oriented and Cloud Computing (ESOCC).Berlim: Springer International Publishing AG, 2017. v. 10465. p. 213-228</proceedings>
    <location></location>
    <month></month>
    <year>2017</year>
    <urlabstract>https://hal.inria.fr/hal-01677621/</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>Ontology for Autonomous Robotics</title>
    <author>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</author>
    <proceedings>26th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN 2017). New York: IEEE, 2017. v. 1. p. 189-194</proceedings>
    <location>Lisboa</location>
    <month></month>
    <year>2017</year>
    <urlabstract>https://doi.org/10.1109/ROMAN.2017.8172300</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>Assessing the accuracy of probabilistic record linkage applied to the Brazilian 100 million cohort project</title>
    <author>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</author>
    <proceedings>International Conference on Biomedical and Health Informatics (BHI 2017). v. 1. p. 10-10.</proceedings>
    <location>Orlando</location>
    <month></month>
    <year>2017</year>
    <urlabstract>http://discovery.ucl.ac.uk/1542411/3/Denaxas_Barreto_BHI2017Final.pdf</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>Large-scale data fusion of Brazilian socioeconomic and public health databases</title>
    <author>BARRETO, Marcos E.; DENAXAS, S</author>
    <proceedings> Research Fellows Conference 2017. Research Fellows Conference 2017. London: The Royal Society, 2017. v. 1. p. 1-1</proceedings>
    <location>London</location>
    <month></month>
    <year>2017</year>
    <urlabstract>http://homes.dcc.ufba.br/~marcoseb/Slides_RS_MoM_MarcosBarreto.pdf</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>Desenvolvimento e validação de aplicações colaborativas sobre uma arquitetura de robótica autônoma</title>
    <author>OLIVEIRA NETO, A. B. ; BARRETO, Marcos E</author>
    <proceedings>Congresso de Pesquisa, Ensino e Extensão da UFBA.  v. 1. p. 10-11</proceedings>
    <location>Salvador</location>
    <month></month>
    <year>2017</year>
    <urlabstract>#</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>On the accuracy and scalability of probabilistic data linkage over the Brazilian 114 million cohort</title>
    <author>PITA, R. ; PINTO, C. ; SENA, S. ; FIACCONE, R. L. ; AMORIM, L. D. A. F. ; REIS, S. ; BARRETO, Mauricio ; DENAXAS, S. ; BARRETO, Marcos E</author>
    <proceedings>IEEE Journal of Biomedical and Health Informatics, 2017</proceedings>
    <location>Salvador</location>
    <month></month>
    <year>2017</year>
    <urlabstract>https://cidacs.bahia.fiocruz.br/wp-content/uploads/2018/03/JBHI2796941_vPublished.pdf</urlabstract>
    <type>Full Paper</type>
</article>	

<article>
    <title>Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time</title>
    <author>JIMENEZ GIL, SAMUEL ; Bate, Iain ; Lima, George ; SANTINELLI, LUCA ; GOGONEL, ADRIANA ; CUCU-GROSJEAN, LILIANA</author>
    <proceedings> IEEE Embedded Systems Letters</proceedings>
    <location></location>
    <month></month>
    <year>2017</year>
    <urlabstract>https://doi.org/10.1109/LES.2017.2712858</urlabstract>
    <type>Full Paper</type>
</article> 
<article>
    <title> Optimising QoS in adaptive real-time systems with energy constraint varying CPU frequency</title>
    <author>NASSIFFE, R. ; Camponogara, Eduardo ; Lima, George ; Mossé, Daniel</author>
    <proceedings>International Journal of Embedded Systems</proceedings>
    <location></location>
    <month></month>
    <year>2016</year>
    <urlabstract>https://doi.org/10.1109/SBESC.2013.9</urlabstract>
    <type>Full Paper</type>
</article> 
<article>
    <title>  A minimally intrusive method for analysing the timing of RTEMS core characteristics</title>
    <author>Nicodemos, Fernando ; Saotome, Osamu ; Lima, George ; Sato, Sandro</author>
    <proceedings> International Journal of Embedded Systems</proceedings>
    <location></location>
    <month></month>
    <year>2016</year>
    <urlabstract>https://www.researchgate.net/publication/310761680_A_minimally_intrusive_method_for_analysing_the_timing_of_RTEMS_core_characteristics</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title>Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems</title>
    <author>MASSA, Ernesto ; LIMA, George ; Regnier, Paul ; Levin, Greg ; Brandt, Scott </author>
    <proceedings> Real-Time Systems</proceedings>
    <location></location>
    <month></month>
    <year>2016</year>
    <urlabstract>https://link.springer.com/content/pdf/10.1007%2Fs11241-016-9251-6.pdf</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title>From RUN to QPS: new trends for optimal real-time multiprocessor scheduling</title>
    <author>MASSA, Ernesto ; Lima, George ; Regnier,   Paul</author>
    <proceedings>International Journal of Embedded Systems</proceedings>
    <location>Pittsburg</location>
    <month></month>
    <year>2017</year>
    <urlabstract>https://www.inderscienceonline.com/doi/abs/10.1504/IJES.2016.080390</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title> Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements</title>
    <author>Lima, George; Bate, Iain</author>
    <proceedings>2017 IEEE RealTime and Embedded Technology and Applications Symposium (RTAS)</proceedings>
    <location></location>
    <month></month>
    <year>2016</year>
    <urlabstract>https://doi.org/10.1109/RTAS.2017.17</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title> Extreme Value Theory for Estimating Task Execution Time Bounds: A Careful Look.</title>
    <author>Lima, George; DIAS, DARIO ; Barros, Edna</author>
    <proceedings>28th Euromicro Conference on RealTime Systems (ECRTS)</proceedings>
    <location>Toulouse</location>
    <month></month>
    <year>2016</year>
    <urlabstract>https://doi.org/10.1109/ECRTS.2016.20</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>A Cache Design Assessment Approach for Embedded Real-Time Systems Based on Execution Time Measurement</title>
    <author>DIAS, DARIO ; Lima, George ; Barros, Edna</author>
    <proceedings>VI Brazilian Symposium on Computing Systems Engineering (SBESC)</proceedings>
    <location>João Pessoa, Brazil</location>
    <month></month>
    <year>2016</year>
    <urlabstract>https://doi.org/10.1109/SBESC.2016.033</urlabstract>
    <type>Full Paper</type>
</article>

  <article>
    <title>On the processor utilization bound of the C=D Scheduling Algorithm. </title>
    <author>SANTOS JUNIOR, J. A. M. ; Lima, George ; Bletsas, K</author>
    <proceedings>Neil Audsley and Sanjoy Baruah. (Org.). Real-Time Systems: the past, the present and the future</proceedings>
    <location> Reino Unido</location>
    <month>00</month>
    <year>2013</year>
    <urlabstract>https://dl.acm.org/citation.cfm?id=2523249</urlabstract>
    <type>Book Chapter</type>
  </article> 

<article>
    <title>A Mechatronic Platform for Measurement and Study of Ultrasonic Wave Fields</title>
    <author>DOS SANTOS, C. M. ; REGNIER, P. ; PEPE, I. ; ALFONZO, J. ; SILVA, L. ; VIDAL, V. ; JÚNIOR, J. .</author>
    <proceedings>SPE Latin America and Caribbean Mature Fields Symposium</proceedings>
    <location>OnePreto</location>
    <month></month>
    <year>2017</year>
    <urlabstract>https://www.onepetro.org/conference-paper/SPE-184923-MS</urlabstract>
    <type>Full Paper</type>
</article>


<article>
    <title> A Model Driven Transformation Development Process for Model to Model Transformation</title>
    <author>MAGALHÃES, A. P. ; ANDRADE, A. ; MACIEL, R. S.</author>
    <proceedings> Proceedings of the 30th Brazilian Symposium on Software Engineering - SBES 2016</proceedings>
    <location>Maringá</location>
    <month>00</month>
    <year>2016</year>
    <urlabstract>https://doi.org/10.1145/2973839.2973841</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title> A Refinement Repair Algorithm Based on Refinement Game for KMTS Models</title>
    <author> MACHADO, E. ; ANDRADE, A. M. S.</author>
    <proceedings> Lecture Notes of Computer Science</proceedings>
    <location>Natal</location>
    <month>00</month>
    <year>2016</year>
    <urlabstract>https://link.springer.com/chapter/10.1007/978-3-319-49815-7_10</urlabstract>
    <type>Full Paper</type>
</article> 

 
<article>
    <title>  A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information</title>
    <author> SANTOS, J. S. ; ANDRADE, A. M. S.</author>
    <proceedings> 17th International Conference on Formal Engineering Methods, ICFEM</proceedings>
    <location>Paris</location>
    <month>00</month>
    <year>2015</year>
    <urlabstract>https://link.springer.com/chapter/10.1007/978-3-319-25423-4_6</urlabstract>
    <type>Full Paper</type>
</article> 


<article>
    <title>Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them</title>
    <author>Zayan, D. ; Sakar, A. ; Michel Oei ; Maciel, Rita Suzana P ; CZARNECKI, K.</author>
    <proceedings> Software and Systems Modeling</proceedings>
    <location>#</location>
    <month>00</month>
    <year>2018</year>
    <urlabstract>https://gsd.uwaterloo.ca/sites/default/files/icse13nier-id41-p-15864-preprint.pdf</urlabstract>
    <type>Full Paper</type>
</article> 


<article>
    <title> Minimizing the stakeholder dissatisfaction risk in requirement selection for next release planning </title>
    <author>PITANGUEIRA, A. M. ; Paolo Tonella ; SUSI, A. ; Maciel, Rita Suzana Pitangueira ; BARROS, M</author>
    <proceedings> INFORMATION AND SOFTWARE TECHNOLOGY</proceedings>
    <location>#</location>
    <month>00</month>
    <year>2017</year>
    <urlabstract>https://doi.org/10.1016/j.infsof.2017.03.001</urlabstract>
    <type>Full Paper</type>
</article> 


<article>
    <title>  A Panoramic View of Cloud Computing Adoption from the Literature Perspective</title>
    <author> Paula, A. C. M. ; CARNEIRO, G. F. ; Maciel, Rita Suzana Pitangueira</author>
    <proceedings> JOURNAL OF MANAGEMENT ANALYTICS</proceedings>
    <location>--</location>
    <month>00</month>
    <year>2017</year>
    <urlabstract>#</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title> A Characterization of Cloud Computing Adoption based on Literature Evidence</title>
    <author> Paula, A. C. M. ; CARNEIRO, G. F. ; MACIEL, RITA SUZANA P.</author>
    <proceedings> In: International Conference on Enterprise Information Systems (ICEIS 2017). Proceedings of the International Conference on Enterprise Information Systems</proceedings>
    <location>Setubal</location>
    <month>00</month>
    <year>2017</year>
    <urlabstract>https://www.researchgate.net/publication/317115535_A_Characterization_of_Cloud_Computing_Adoption_based_on_Literature_Evidence</urlabstract>
    <type>Full Paper</type>
</article> 

<article>
    <title> Enterprise Architecture: An approach to promote traceability and synchronization of computational models</title>
    <author> Poggio, Rogério ; Maciel, Rita Suzana Pitangueira</author>
    <proceedings> Proceedings of the International Conference on Enterprise Information Systems</proceedings>
    <location>Seturbal</location>
    <month>00</month>
    <year>2017</year>
    <urlabstract>http://www.lasid.ufba.br/publicacoes/artigos/EnterpriseArchitectureAproach.pdf</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title> Towards a Models Traceability and Synchronization Approach of an Enterprise Architecture</title>
    <author> Poggio, Rogério ; MACIEL, RITA SUZANA P</author>
    <proceedings>  Proceedings of The 29th International Conference on Software Engineering and Knowledge Engineering</proceedings>
    <location>Pittsburgh</location>
    <month>00</month>
    <year>2017</year>
    <urlabstract>https://ksiresearchorg.ipage.com/seke/seke17paper/seke17paper_21.pdf</urlabstract>
    <type>Full Paper</type>
</article>


<article>
    <title> Risk-Aware Multi-Stakeholder Next Release Planning using Multi-Objective Optimization</title>
    <author> PITANGUEIRA, A. M. ; Paolo Tonella ; SUSI, A. ; Maciel, Rita S. P. ; BARROS, M.</author>
    <proceedings> Proc of 22nd International Working Conference on Requirements Engineering: Foundation for Software Qualit</proceedings>
    <location>Gothenburg</location>
    <month>00</month>
    <year>2016</year>
    <urlabstract>https://link.springer.com/chapter/10.1007/978-3-319-30282-9_1</urlabstract>
    <type>Full Paper</type>
</article>


<article>
    <title> Modelando Serviços a partir de Processos de Negócio: Uma Abordagem Dirigida a Modelos</title>
    <author> QUEIROZ, J. P. B. ; PROENCIA, E. ; Maciel, R. S. P.</author>
    <proceedings> Proceedings of the XII Brazilian Symposium on Information Systems</proceedings>
    <location> Florianópolis</location>
    <month>00</month>
    <year>2016</year>
    <urlabstract>http://www.lbd.dcc.ufmg.br/colecoes/sbsi/2016/039.pdf</urlabstract>
    <type>Full Paper</type>
</article>


<article>
    <title>Interoperability Requirement to Enhance Collaboration in Software Product Lines: A Systematic Mapping</title>
    <author> NEIVA, F. W. ; CAMPOS, H. ; DAVID, J. M. N. ; Braga, Regina</author>
    <proceedings> Anais do XIII Simpósio de Sistemas Colaborativos</proceedings>
    <location> Porto ALegre</location>
    <month>00</month>
    <year>2016</year>
    <urlabstract>#</urlabstract>
    <type>Full Paper</type>
</article>


<article>
    <title> MATRA: A Framework for Assessing Model-Based Approaches on the Transformation Between Requirements and Architecture</title>
    <author> SALGADO, C. ; Machado, Ricardo J. ; Maciel, Rita Suzana Pitangueira</author>
    <proceedings> 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Proceedings. Berlim: Spring Verlag</proceedings>
    <location> Eslovenia</location>
    <month>00</month>
    <year>2016</year>
    <urlabstract>https://link.springer.com/chapter/10.1007/978-3-319-39429-9_20</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>  A Three-Dimensional Approach for a Quality-Based Alignment Between Requirements and Architecture</title>
    <author> SALGADO, C. ; Machado, Ricardo J. ; Maciel, Rita Suzana Pitangueira</author>
    <proceedings> Proceedings of The 7th International Conference on Exploring Service Science. Berlim: Spring Verlag</proceedings>
    <location> Romenia</location>
    <month>00</month>
    <year>2016</year>
    <urlabstract>https://link.springer.com/chapter/10.1007/978-3-319-32689-4_9</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title>   A Model Driven Transformation Process for Model to Model Transformation</title>
    <author> MAGALHÃES, A. P. ; Andrade, Aline ; MACIEL, RITA SUZANA P.</author>
    <proceedings> SBES '16: Proceedings of the 30th Brazilian Symposium on Software Engineering</proceedings>
    <location> Maringá</location>
    <month>00</month>
    <year>2016</year>
    <urlabstract>https://doi.org/10.1145/2973839.2973841</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title> On the Specification of Model Transformations through a Platform Independent Approach</title>
    <author> MAGALHÃES, A. P. ; Andrade, Aline ; Maciel, Rita Suzana Pitangueira</author>
    <proceedings> Seke 2015 - 27th International Conference on Software Engineering and Knowledge Engineering</proceedings>
    <location>Pittsburgh</location>
    <month>00</month>
    <year>2015</year>
    <urlabstract>http://ksiresearchorg.ipage.com/seke/seke15paper/seke15paper_53.pdf</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title> Exploring a Three-dimensional, Requirements-based, Balanced Scorecard Business Model  </title>
    <author> Salgado, Carlos E. ; Machado, Ricardo J. ; Maciel, Rita Suzana Pitangueira</author>
    <proceedings> CBIE - 17th Conferencia on Business Informatics</proceedings>
    <location>Geneve</location>
    <month>00</month>
    <year>2015</year>
    <urlabstract>https://doi.org/10.1109/CBI.2015.28</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title> A three-dimensional, requirements-based, balanced scorecard business model</title>
    <author> SALGADO, C. ; Machado, Ricardo J. ; Maciel, Rita Suzana Pitangueira</author>
    <proceedings> Proc of 6th International Conference on Information and Communication Systems (ICICS)</proceedings>
    <location>Amman</location>
    <month>00</month>
    <year>2015</year>
    <urlabstract>https://doi.org/10.1109/IACS.2015.7103187</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title> Aligning Business Requirements with Services Quality Characteristics by using Logical Architectures</title>
    <author> SALADO, C. ; Machado, Ricardo J. ; Maciel, Rita Suzana Pitangueira</author>
    <proceedings> Proc. of 3rd World Conference on Information Systems and Technologies</proceedings>
    <location>Azores</location>
    <month>00</month>
    <year>2015</year>
    <urlabstract>https://link.springer.com/chapter/10.1007/978-3-319-16486-1_58</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title> A SoaML Approach for Derivation of a Process-Oriented Logical Architecture from Use Cases</title>
    <author> SALGADO, C. ; Machado, Ricardo J. ; Maciel, Rita Suzana Pitangueira</author>
    <proceedings> Exploring Services Science - 6th International Conference, {IESS}</proceedings>
    <location>Porto</location>
    <month>00</month>
    <year>2015</year>
    <urlabstract>https://link.springer.com/chapter/10.1007/978-3-319-14980-6_7</urlabstract>
    <type>Full Paper</type>
</article>

<article>
    <title> Full Interoperability: Challenges and Opportunities for Future Information Systems. In: Boscarioli C., Araújo R., Maciel, Rita S..P. (Org.)</title>
    <author>Maciel, Rita Suzana Pitangueira; DAVID, J. M. N. ; Claro, D. B. ; Braga, Regina</author>
    <proceedings> I GranDSI-BR Grand Research Challenges in Information Systems in Brazil 2016 - 2026. 1ed.Porto ALegre: SBC - Sociedade Brasileira de Computação</proceedings>
    <location>Porto Alegre</location>
    <month>00</month>
    <year>2017</year>
    <urlabstract>#</urlabstract>
    <type>Book Chapter</type>
  </article> 

<article>
    <title> Aligning Business Requirements with Services Quality Characteristics by Using Logical Architectures. Advances in Intelligent Systems and Computing</title>
    <author> Salgado, Carlos E. ; Machado, Ricardo J. ; Maciel, Rita S. P.</author>
    <proceedings> 1ed.: Springer International Publishing</proceedings>
    <location>#</location>
    <month>00</month>
    <year>2015</year>
    <urlabstract>https://link.springer.com/chapter/10.1007/978-3-319-16486-1_58</urlabstract>
    <type>Book Chapter</type>
  </article> 

   <article>
    <title>Análise de Perfis de Usuários de Música e Seus Impactos no Desempenho de Políticas de Substituição de Cache</title>
    <author> PIRES, S. S. ; ARAUJO, F. R. ; FREITAS, Allan E. S.; SAMPAIO, L. N. </author>
    <proceedings> Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos</proceedings>
    <location>Gramado</location>
    <month></month>
    <year>2019</year>
    <urlabstract></urlabstract>
    <type>Full Paper</type>
  </article>
  
   <article>
    <title> Um Protótipo para Experimentos de Eficiência Energética em Nuvem Openstack</title>
    <author> SANTOS, D. S. ; FREITAS, Allan E. S.  </author>
    <proceedings> Salão de Ferramentas do Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos</proceedings>
    <location>Gramado</location>
    <month></month>
    <year>2019</year>
    <urlabstract></urlabstract>
    <type>Full Paper</type>
  </article>  
  
  <article>
    <title>Practical Considerations in Optimal Multiprocessor Scheduling. Handbook of Real-Time Computing </title>
    <author>Lima, George ; MASSA, ERNESTO ; Regnier, Paul</author>
    <proceedings>Yu-Chu Tian; David Charles Levy (Ed.). Handbook of Real-Time Computing. 1ed., ISBN: 978-981-4585-87-3 </proceedings>
    <location>Springer Singapore</location>
    <month></month>
    <year>2019</year>
    <urlabstract>https://link.springer.com/referenceworkentry/10.1007%2F978-981-4585-87-3_3-1</urlabstract>
    <type>Book Chapter</type>
  </article>

  <article>
    <title>Model driven transformation development (MDTD): An approach for developing model to model transformation</title>
    <author>Magalhães, Ana Patrícia F. ; Andrade, Aline M. S.; Maciel, Rita S. P. </author>
    <proceedings> INFORMATION AND SOFTWARE TECHNOLOGY, v. 114,</proceedings>
    <location></location>
    <month></month>
    <year>2019</year>
    <urlabstract></urlabstract>
    <type>Full Paper</type>
  </article>
  
    <article>
    <title> Soluções Computacionais para Avaliação da Aprendizagem por Mapas Conceituais: um Mapeamento Sistemático</title>
    <author>BOSS, SILVIO ; MATOS, ECIVALDO ; Andrade, Aline</author>
    <proceedings> XXX Simpósio Brasileiro de Informática na Educação (SBIE 2019)</proceedings>
    <location>Porto Alegre, Brasil: Sociedade Brasileira de Computação (SBC)</location>
    <month></month>
    <year>2019</year>
    <urlabstract></urlabstract>
    <type>Full Paper</type>
  </article>

</publication>
