Proceedings of the Brazilian Symposium on Computing Systems Engineering' 2014
Critical Systems Track
Full Papers
|
André L. de Oliveira, Mathematics and Computer Science Institute, University of São Paulo, São Carlos-SP, Brazil
Rosana T. V. Braga, Mathematics and Computer Science Institute, University of São Paulo, São Carlos-SP, Brazil
Paulo C. Masiero, Mathematics and Computer Science Institute, University of São Paulo, São Carlos-SP, Brazil
Yiannis Papadopoulos, Department of Computer Science, University of Hull, Hull, United Kingdom
Ibrahim Habli, Department of Computer Science, University of York, Deramore Lane, York, United Kingdom
Tim Kelly, Department of Computer Science, University of York, Deramore Lane, York, United Kingdom
|
|
Roger Daniel F. Ferreira, ENES.DT, Itaipu Binacional, Foz do Iguaçu, Brazil
Marcos F. Mendes, ENES.DT, Itaipu Binacional / Unioeste, Foz do Iguaçu, Brazil
Hugo A. Larangeira S., ENES.DT, Itaipu Binacional, Hernandarias, Paraguay
Rômulo Silva de Oliveira, DAS, UFSC, Florianópolis, Brazil
|
|
Joicymara Xavier, Faculdade de Computação, Universidade Federal de Uberlândia, Uberlândia, Brasil
Autran Macêdo, Faculdade de Computação, Universidade Federal de Uberlândia, Uberlândia, Brasil
Rivalino Matias, Faculdade de Computação, Universidade Federal de Uberlândia, Uberlândia, Brasil
Lúcio Borges, Faculdade de Matemática, Universidade Federal de Uberlândia, Uberlândia, Brasil
|
|
Luís Fernando Arcaro, Univ. Fed. de Santa Catarina, DAS-CTC-UFSC C.Postal 476, Florianópolis-SC, Brasil
Rômulo Silva de Oliveira, Univ. Fed. de Santa Catarina, DAS-CTC-UFSC C.Postal 476, Florianópolis-SC, Brasil
|
|
Guilherme Freire Roberto, Departamento de Ciência da Computação e Estatística, Universidade Estadual Paulista “Júlio de Mesquita Filho” São José do Rio Preto, SP, Brasil
Luis Fernando Castilho Maschi, Instituto Federal de São Paulo, Campus Catanduva, Catanduva, SP, Brasil
Daniel Fernando Pigatto, Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, SP, Brasil
Kalinka Regina Lucas Jaquie Castelo Branco, Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo,São Carlos, SP, Brasil
Leandro Alves Neves, Departamento de Ciência da Computação e Estatística, Universidade Estadual Paulista “Júlio de Mesquita Filho”, São José do Rio Preto, SP, Brasil
Alex Sandro Roschildt Pinto, Universidade Federal de Santa Catarina Blumenau, SC, Brasil
|
|
L. F. S. dos Santos, Univ. do Estado de São Paulo – UNESP São José do Rio Preto – SP, Brasil
T. H. F. Segato, Univ. do Estado de São Paulo – UNESP São José do Rio Preto – SP, Brasil
A. M. Ferro, Fundação Educacional de Fernandópolis – FEF, Fernandópolis – SP, Brasil
L.G.Q. Cabreira, Centro Universitário de Votuporanga – UNIFEV Fernandópolis – SP, Brasil
A.R. Pinto, Universidade Federal de Santa Catarina – Blumenau, Santa Catarina, Brasil
|
|
Vânia de Oliveira Neves, Depto de Sistemas de Computação - ICMC, Universidade de São Paulo - São Carlos, SP - Brasil
Márcio Eduardo Delamaro, Depto de Sistemas de Computação - ICMC, Universidade de São Paulo - São Carlos, SP - Brasil
Paulo Cesar Masiero, Depto de Sistemas de Computação - ICMC, Universidade de São Paulo - São Carlos, SP - Brasil
|
Embedded Systems Track
Full Papers
|
Carvalho, S.A.L., Informatics Center of Federal University of Pernambuco
Lima, R.N., Informatics Center of Federal University of Pernambuco
Silva-Filho, A.G., Informatics Center of Federal University of Pernambuco
|
|
Ricardo Creonte Câmara de Meira Santos, Universidade Federal de Ouro Preto, Departamento de Computação
Ricardo Augusto Rabelo Oliveira, Universidade Federal de Ouro Preto, Departamento de Computação
|
|
Heitor B. dos Reis F., Instituto de Informática, Universidade Federal do Rio Grande do Sul(UFRGS), Porto Alegre, Brasil
Ulisses B. Corrêa, Instituto de Informática, Universidade Federal do Rio Grande do Sul(UFRGS), Porto Alegre, Brasil
Lucio Mauro Duarte, Instituto de Informática, Universidade Federal do Rio Grande do Sul(UFRGS), Porto Alegre, Brasil
Antônio C. S. Beck, Instituto de Informática, Universidade Federal do Rio Grande do Sul(UFRGS), Porto Alegre, Brasil
|
|
Alessandro Bezerra Trindade, Universidade Federal do Amazonas (UFAM), Manaus, Amazonas, Brasil
Lucas Carvalho Cordeiro, Universidade Federal do Amazonas (UFAM), Manaus, Amazonas, Brasil
|
|
Assessing the Use of Continuous-Time and Timed-Triggered Models for Designing Cyber-Physical Systems
Fernando Silvano Gonçalves, Department of Automation and Systems (DAS), Federal University of Santa Catarina (UFSC), Florianópolis, SC, Brazil.
Leandro Buss Becker, Department of Automation and Systems (DAS), Federal University of Santa Catarina (UFSC), Florianópolis, SC, Brazil.
|
|
Francisco A. P. Januario, Universidade Federal do Amazonas − UFAM, Manaus, Amazonas, Brasil
Lucas C. Cordeiro, Universidade Federal do Amazonas − UFAM, Manaus, Amazonas, Brasil
Vicente F. de Lucena Jr., Universidade Federal do Amazonas − UFAM, Manaus, Amazonas, Brasil
Eddie B. L. Filho, Centro de Ciência, Tecnologia e Inovação do Pólo Industrial de Manaus − CT-PIM, Manaus, Amazonas, Brasil
|
|
Viyils Sangregorio Soto, Department of Electrical Engineering, Federal University of Rio Grande do Sul
Ivan Muller, Department of Electrical Engineering, Federal University of Rio Grande do Sul
Jean M. Winter, Department of Electrical Engineering, Federal University of Rio Grande do Sul
Carlos Eduardo Pereira, Department of Electrical Engineering, Federal University of Rio Grande do Sul
João C. Netto, Institute of Informatics, Federal University of Rio Grande do Sul, Porto Alegre, Brazil
|
|
Diego Câmara Sales, Laboratório de Automação Industrial e Robótica, Departamento de Eletrônica, Telecomunicações e Computação, UFAM, Manaus, Amazonas
Adriano Frutuoso, Laboratório de Automação Industrial e Robótica, Departamento de Eletrônica, Telecomunicações e Computação, UFAM, Manaus, Amazonas
André Lameira dos Santos, Laboratório de Automação Industrial e Robótica, Departamento de Eletrônica, Telecomunicações e Computação, UFAM, Manaus, Amazonas
|
|
Franz Josef Rammig, University of Paderborn, Heinz Nixdorf Institute, Paderborn, Germany
Stefan Grösbrink, University of Paderborn, Heinz Nixdorf Institute, Paderborn, Germany
Katharina Stahl, University of Paderborn, Heinz Nixdorf Institute, Paderborn, Germany
Yuhong Zhao, University of Paderborn, Heinz Nixdorf Institute, Paderborn, Germany
|
|
Andrws Vieira, PPGC - Informatics Institute, Federal University of Rio Grande do Sul (UFRGS), Porto Alegre, Brazil
Pedro Faustini, PPGC - Informatics Institute, Federal University of Rio Grande do Sul (UFRGS), Porto Alegre, Brazil
Luigi Carro, PPGC - Informatics Institute, Federal University of Rio Grande do Sul (UFRGS), Porto Alegre, Brazil
Érika Cota, PPGC - Informatics Institute, Federal University of Rio Grande do Sul (UFRGS), Porto Alegre, Brazil
|
|
Thiago Berticelli Lo, Departamento de Ensino, Pesquisa e Extensão, Instituto Federal de Educação, Ciência e Tecnologia Sul-rio-grandense, IFSUL, Charqueadas/RS, Brazil
Luigi Carro, Antonio Carlos Schneider Beck, Instituto de Informática – PPGC, Universidade Federal do Rio Grande do Sul, UFRGS, Porto Alegre/RS, Brazil
|
|
Leonardo Maccari Rufino, Laboratory for Software and Hardware Integration, Federal University of Santa Catarina, Florianópolis, SC, Brazil
Rodrigo Vieira Steiner, Laboratory for Software and Hardware Integration, Federal University of Santa Catarina, Florianópolis, SC, Brazil
Rodrigo Valceli Raimundo, Laboratory for Software and Hardware Integration, Federal University of Santa Catarina, Florianópolis, SC, Brazil
Antônio Augusto Fröhlich, Laboratory for Software and Hardware Integration, Federal University of Santa Catarina, Florianópolis, SC, Brazil
|
|
Marco Aurélio Wehrmeister, Graduate Program in Applied Computing (PPGCA), Federal University of Technology - Paraná (UTFPR), Curitiba, Brazil
Marcela Leite, Graduate Program in Applied Computing (PPGCA), Santa Catarina State University (UDESC), Instituto Federal Catarinense (IFC Araquari), Araquari, Brazil
|
|
Thiago Soares Fernandes, PPGC - Institute of Informatics - UFRGS, Porto Alegre, Brazil
Érika Cota, PPGC - Institute of Informatics - UFRGS, Porto Alegre, Brazil
Álvaro Freitas Moreira, PPGC - Institute of Informatics - UFRGS, Porto Alegre, Brazil
|
|
Marcus de L. Braga, Universidade Federal do Rio de Janeiro (UFRJ) - PEE/COPPE/GTA - DEL/POLI
Alyson de J. dos Santos, Universidade Federal do Rio de Janeiro (UFRJ) - PEE/COPPE/GTA - DEL/POLI
Aloysio C. P. Pedroza, Universidade Federal do Rio de Janeiro (UFRJ) - PEE/COPPE/GTA - DEL/POLI
Luís H. M. K. Costa, Universidade Federal do Rio de Janeiro (UFRJ) - PEE/COPPE/GTA - DEL/POLI
|
|
Francisco Lima, Departamento de Ciência da Computação, Universidade Federal de Minas Gerais, Belo Horizonte, MG, Brasil
Lucas B. Silva, Universidade Federal de Viçosa, Campus UFV-Florestal, Florestal, MG, Brasil
Rafael Antonio, Departamento de Ciência da Computação, Universidade Federal de Minas Gerais, Belo Horizonte, MG, Brasil
Luiz F. M. Vieira, Departamento de Ciência da Computação, Universidade Federal de Minas Gerais, Belo Horizonte, MG, Brasil
José Augusto M. Nacif, Universidade Federal de Viçosa, Campus UFV-Florestal, Florestal, MG, Brasil
Marcos A. M. Vieira, Departamento de Ciência da Computação, Universidade Federal de Minas Gerais, Belo Horizonte, MG, Brasil
|
|
Rebeca Lima, Faculdade de Tecnologia, Senai CIMATEC, Salvador, Bahia
Lucas Silva, Faculdade de Tecnologia, Senai CIMATEC, Salvador, Bahia
Eudemario Santana, Faculdade de Tecnologia, Senai CIMATEC, Salvador, Bahia
|
|
Marcelo Brandalero, Universidade Federal do Rio Grande do Sul, Instituto de Informática, Campus do Vale, Porto Alegre, Brasil
Antonio Carlos Schneider Beck, Universidade Federal do Rio Grande do Sul, Instituto de Informática, Campus do Vale, Porto Alegre, Brasil
|
|
Rafael M. Macieira, CIn - Centro de Informatica, UFPE - Universidade Federal de Pernambuco - Brazil
Lucas F. S. Cambuim, CIn - Centro de Informatica, UFPE - Universidade Federal de Pernambuco - Brazil
Luiz L. Souza, CIn - Centro de Informatica, UFPE - Universidade Federal de Pernambuco - Brazil
Luiz A. Oliveira, CIn - Centro de Informatica, UFPE - Universidade Federal de Pernambuco - Brazil
Marcus F. R. Rios, CIn - Centro de Informatica, UFPE - Universidade Federal de Pernambuco - Brazil
Edna Barros, CIn - Centro de Informatica, UFPE - Universidade Federal de Pernambuco - Brazil
|
|
Jeckson Dellagostin Souza, Universidade Federal do Rio Grande do Sul, Instituto de Informática, Porto Alegre, Brasil
Luigi Carro, Universidade Federal do Rio Grande do Sul, Instituto de Informática, Porto Alegre, Brasil
Antonio Carlos Schneider Beck, Universidade Federal do Rio Grande do Sul, Instituto de Informática, Porto Alegre, Brasil
Mateus Beck Rutzig, Universidade Federal de Santa Maria, Departamento de Eletrônica e Computação, Santa Maria, Brasil
|
|
Iury Bessa, Electronic and Information Research Center, Federal University of Amazonas, Brazil
Hussama Ibrahim, Electronic and Information Research Center, Federal University of Amazonas, Brazil
Lucas Cordeiro, Electronic and Information Research Center, Federal University of Amazonas, Brazil
João Edgar Chaves Filho, Electronic and Information Research Center, Federal University of Amazonas, Brazil
|
Extended Abstracts
|
Deivide Possamai, Ciência da Computação UNIOESTE, Campus Cascavel Cascavel, Brasil
Marcio Seiji Oyamada, Ciência da Computação UNIOESTE, Campus Cascavel Cascavel, Brasil
|
|
J. Brito, N. Cardoso, Centro Algoritmi, University of Minho, Guimarães, Portugal
P. Gonçalves, Centro Algoritmi, University of Minho, Guimarães, Portugal
R. Abrishambaf, Centro Algoritmi, University of Minho, Guimarães, Portugal
J. Pereira, Centro Algoritmi, University of Minho, Guimarães, Portugal
J. Cabral, Centro Algoritmi, University of Minho, Guimarães, Portugal
J. Monteiro, Centro Algoritmi, University of Minho, Guimarães, Portugal
|
|
Filipe Salgado, Centro ALGORITMI, University of Minho, Portugal
José Mendes, Centro ALGORITMI, University of Minho, Portugal
Adriano Tavares, Centro ALGORITMI, University of Minho, Portugal
Mongkol Ekpanyapong, Asian Institute of Technology, Thailand
|
|
Ivan O. Nunes1, Universidade Federal de Minas Gerais, Belo Horizonte, MG, Brasil
Magnos Martinello2, Universidade Federal do Espírito Santo, Vitória, ES, Brasil
Antonio A. F. Loureiro1, Universidade Federal de Minas Gerais, Belo Horizonte, MG, Brasil
|
|
Arliones Hoeller, Telecommunications Department, Federal Institute of Santa Catarina, Brazil
Antônio Augusto Frohlich, Software/Hardware Integration Lab, Federal University of Santa Catarina, Brazil
|
|
Júlio C.M. Ruzicki, Centro de Desenvolvimento Tecnológico (CDTec), Universidade Federal de Pelotas(UFPEL), Pelotas, RS, Brasil
Eduardo V. Nicola, Centro de Desenvolvimento Tecnológico (CDTec), Universidade Federal de Pelotas(UFPEL), Pelotas, RS, Brasil
Luis J. Martins, Centro de Desenvolvimento Tecnológico (CDTec), Universidade Federal de Pelotas(UFPEL), Pelotas, RS, Brasil
Júlio C.B. Mattos, Centro de Desenvolvimento Tecnológico (CDTec), Universidade Federal de Pelotas(UFPEL), Pelotas, RS, Brasil
|
|
Leandro E. F. Pessoa, Instituto de Ciências Exatas e Tecnológicas, Campus UFV-Florestal, Brasil
Samuel de Souza Pinto, Instituto de Ciências Biológicas e da Saúde, Campus UFV-Florestal, Brasil
Talles M. P. de Araújo, Instituto de Ciências Biológicas e da Saúde, Campus UFV-Florestal, Brasil
André B. M. Gomes, Instituto de Ciências Exatas e Tecnológicas, Campus UFV-Florestal, Brasil
Luiz F. M. Vieira, Departamento de Ciência da Computação, UFMG, Brasil
Marcos A. M. Vieira, Departamento de Ciência da Computação, UFMG, Brasil
Eduardo G. Pereira, Instituto de Ciências Biológicas e da Saúde, Campus UFV-Florestal, Brasil
José Augusto M. Nacif, Instituto de Ciências Exatas e Tecnológicas, Campus UFV-Florestal, Brasil
|
|
David H. S. Lima, Instituto Federal de Alagoas, Santana do Ipanema, Alagoas, Brasil
Andre L. L. Aquino, Universidade Federal de Alagoas, Maceió, Alagoas, Brasil
Eliana S. Almeida, Universidade Federal de Alagoas, Maceió, Alagoas, Brasil
|
Real-time Systems Track
Full Papers
|
Ríad Nassiffe, Dept. of Automation and Syst. Eng., Federal University of Santa Catarina, Florianópolis, SC, Brazil
Eduardo Camponogara, Dept. of Automation and Syst. Eng., Federal University of Santa Catarina, Florianópolis, SC, Brazil
Daniel Mossé, Dept. of Computer Science, University of Pittsburgh, Pittsburgh, PA, USA
George Lima, Dept. of Computer Science, Federal University of Bahia, Salvador, BA, Brazil
|
|
Karila Palma Silva, Univ. Fed. Santa Catarina, DAS-CTC-UFSC, Florianópolis, SC, Brasil
Renan Augusto Starke, Univ. Fed. Santa Catarina DAS-CTC-UFSC, Florianópolis, SC, Brasil
Rômulo Silva de Oliveira, Univ. Fed. Santa Catarina DAS-CTC-UFSC, Florianópolis, SC, Brasil
|
|
J. Pereira, Centro Algoritmi, University of Minho
D. Oliveira, Centro Algoritmi, University of Minho
S. Pinto, Centro Algoritmi, University of Minho
N. Cardoso, Centro Algoritmi, University of Minho
V. Silva, Centro Algoritmi, University of Minho
T. Gomes, Centro Algoritmi, University of Minho
J. Mendes, Centro Algoritmi, University of Minho
P. Cardoso, Centro Algoritmi, University of Minho
|
|
Douglas P. B. Renaux, Federal University of Technology - Paraná (UTFPR), Curitiba, PR, Brazil
|
|
Robson R. Linhares, Federal University of Technology - Paraná (UTFPR), Curitiba, PR, Brazil
Douglas P. B. Renaux, Federal University of Technology - Paraná (UTFPR), Curitiba, PR, Brazil
Jean M. Simão, Federal University of Technology - Paraná (UTFPR), Curitiba, PR, Brazil
Paulo C. Stadzisz, Federal University of Technology - Paraná (UTFPR), Curitiba, PR, Brazil
|
|
Leandro J. Caetano, Department of Computer Systems, Federal University of Paraiba (UFPB), Cidade Universitaria, João Pessoa, PB, Brazil
Tiago P. Nascimento, Department of Computer Systems, Federal University of Paraiba (UFPB), Cidade Universitaria, João Pessoa, PB, Brazil
Márcio Adamec L. Oliveira, Department of Computer Systems, Cidade Universitaria, João Pessoa, PB, Brazil
Gláucio B. Rocha, Department of Computer Systems, Cidade Universitaria, João Pessoa, PB, Brazil
|
|
Iaê Santos Bonilha, Department of Electronic and Computing, Universidade Federal de Santa Maria, Santa Maria, Brazil
Osmar Marchi dos Santos, Department of Electronic and Computing, Universidade Federal de Santa Maria, Santa Maria, Brazil
Leandro Indrusiak, Computer Science Department, University of York York, UK
|
|
Ernesto Massa, Federal University of Bahia, Salvador, Bahia, Brasil
George Lima, Federal University of Bahia, Salvador, Bahia, Brasil
Paul Regnier, Federal University of Bahia, Salvador, Bahia, Brasil
|
Operating Systems Track
Full Papers
|
Taís B. Ferreira, Faculdade de Computação, Universidade Federal de Uberlândia, Uberlândia-MG, Brasil
Rivalino Matias, Faculdade de Computação, Universidade Federal de Uberlândia, Uberlândia-MG, Brasil
Autran Macêdo, Faculdade de Computação, Universidade Federal de Uberlândia, Uberlândia-MG, Brasil
Bruno Evangelista, Faculdade de Computação, Universidade Federal de Uberlândia, Uberlândia-MG, Brasil
|
|
Marcela Prince Antunes, Faculdade de Computação, Universidade Federal de Uberlândia, Uberlândia-MG, Brasil
Rivalino Matias Jr., Faculdade de Computação, Universidade Federal de Uberlândia, Uberlândia-MG, Brasil
|
|
Giovani Gracioli, Federal University of Santa Catarina (UFSC), Joinville, Santa Catarina, Brazil
Antônio Augusto Frohlich, Federal University of Santa Catarina (UFSC), Florianópolis, Santa Catarina, Brazil
|
|
Paulo Henrique de Morais, Depto de Informática e Estatística - Universidade Federal de Santa Catarina, Florianópolis, SC, Brasil
Lau Cheuk Lung, Depto de Informática e Estatística - Universidade Federal de Santa Catarina, Florianópolis, SC, Brasil
Luciana de Oliveira Rech, Depto de Informática e Estatística - Universidade Federal de Santa Catarina, Florianópolis, SC, Brasil
Fernando Dettoni, Depto de Informática e Estatística - Universidade Federal de Santa Catarina, Florianópolis, SC, Brasil
Miguel Correia, INESC-ID, Instituto Superior Técnico, Universidade de Lisboa, Lisboa, Portugal
|
|
Diego Elias D. Costa, Faculdade de Computação, Universidade Federal de Uberlândia, Uberlândia, Brasil
Rivalino Matias Jr, Faculdade de Computação, Universidade Federal de Uberlândia, Uberlândia, Brasil
|
|
Guilherme Priólli Daniel, São Paulo State University, Department of Computer Science and Statistics, São José do Rio Preto, São Paulo, Brazil
Rodrigo Cleir Castellon Rodrigues, São Paulo State University, Department of Computer Science and Statistics, São José do Rio Preto, São Paulo, Brazil
Carlos Roberto Valêncio, São Paulo State University, Department of Computer Science and Statistics, São José do Rio Preto, São Paulo, Brazil
|
|
Paulo Eduardo Nogueira, Instituto Federal Goiano, Morrinhos, Brasil
Rivalino Matias Jr., Faculdade de Computação, Universidade Federal de Uberlândia, Uberlândia, Brasil
|
|
Celso Maciel da Costa, Universidade Estadual do Rio Grande do Sul, Guaíba, Rio Grande do Sul, Brasil
João Leonardo Fragoso, Universidade Estadual do Rio Grande do Sul, Guaíba, Rio Grande do Sul, Brasil
Lucas Murliky, Universidade Estadual do Rio Grande do Sul, Guaíba, Rio Grande do Sul, Brasil
Leonardo da Luz Silva, Universidade Estadual do Rio Grande do Sul, Guaíba, Rio Grande do Sul, Brasil
Aline Fracalossi, Universidade Estadual do Rio Grande do Sul, Guaíba, Rio Grande do Sul, Brasil
Cássio Brasil, Universidade Estadual do Rio Grande do Sul, Guaíba, Rio Grande do Sul, Brasil
Guilherme Debom, Universidade Estadual do Rio Grande do Sul, Guaíba, Rio Grande do Sul, Brasil
Rivalino Matias Jr., Faculdade de Computação, Universidade Federal de Uberlândia, Uberlândia, Minas Gerais, Brasil
|