Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
![]() |
SAFE-CRITES developing safety-critical embedded systems supported by reuse techniquesRosana Teresinha Vaccare Braga Kalinka Regina Lucas Jaquie Castelo Branco; Onofre Trindade Junior; Luciano de Oliveira Neris; IEEE International Conference on Information Reuse and Integration - IRI (12. 2011 Las Vegas)Proceedings Piscataway : IEEE, 2011Piscataway IEEE 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2200999 ) e outros locais(Acessar) |
2 |
Material Type: Artigo de Congresso
|
![]() |
Incorporating certification in feature modelling of an unmanned aerial vehicle product lineRosana Teresinha Vaccare Braga Kalinka Regina Lucas Jaquie Castelo Branco; Onofre Trindade Junior; Jaejoon Lee; International Software Product Line Conference - SPLC 2012 (16. 2012 Salvador)Proceedings New York : ACM, 2012New York, NY ACM 2012Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2301483 ) e outros locais(Acessar) |
3 |
Material Type: Artigo de Congresso
|
![]() |
ProLiCES an approach to develop product lines for safety-critical embedded systemsRosana Teresinha Vaccare Braga Kalinka Regina Lucas Jaquie Castelo Branco; Onofre Trindade Junior; Paulo Cesar Masiero; Luciano de Oliveira Neris; Martin Becker; Conferencia Latinoamericana de Informática - CLEI 2011 (37. 2011 Quito, Equador)Anais Equador : Pontificia Universidad Católica del Ecuador, 2011Equador Pontificia Universidad Católica del Ecuador 2011Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Artigo de Congresso
|
![]() |
Model-based testing of service-oriented applications via state modelsAndré Takeshi Endo Adenilso da Silva Simão; IEEE International Conference on Services Computing (8. 2011 Washington, DC)Proceedings Los Alamitos, CA : IEEE Computer Society, 2011Los Alamitos, CA IEEE Computer Society 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2201156 ) e outros locais(Acessar) |
5 |
Material Type: Artigo de Congresso
|
![]() |
Tiriba a new approach of UAV based on model driven development and multiprocessorsKalinka Regina Lucas Jaquie Castelo Branco Jorge Marques Pelizzoni; Luciano de Oliveira Neris; Onofre Trindade Junior; Fernando Santos Osório; Denis Fernando Wolf; IEEE International Conference on Robotics and Automation - ICRA 2011 (2011 Shanghai, China)Proceedings Piscataway : IEEE, 2011Piscataway IEEE 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2207292 ) e outros locais(Acessar) |
6 |
Material Type: Artigo de Congresso
|
![]() |
Research in concurrent software testing a systematic reviewSimone do Rocio Senger de Souza Maria Adelina Silva Brito; Rodolfo Adamshuk Silva; Paulo Sérgio Lopes de Souza; Ed Zaluska; International Symposium on Software Testing and Analysis - ISSTA 2011 (2011 Toronto, ON, Canada); Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - PADTAD 2011 (9. 2011 Toronto, ON, Canada)Proceedings New York, NY : ACM, 2011New York, NY, USA ACM 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2215914 ) e outros locais(Acessar) |
7 |
Material Type: Artigo de Congresso
|
![]() |
A tool for structural testing of MPI programsAlexandre Ceolin Hausen Sílvia Regina Vergílio; Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; Adenilso da Silva Simão; IEEE Latin-American TestWorkshop - LATW (8. 2007 Cuzco)Proceedings Cuzco, 2007Cuzco IEEE Computer Society 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1590427 ) e outros locais(Acessar) |
8 |
Material Type: Artigo de Congresso
|
![]() |
Ampliando os sistemas de aeronaves não tripuladas especificação de uma arquitetura de comunicação de dados segura e com vista à mobilidadeDaniel F Pigatto (Daniel Fernando Pigatto) Kalinka Regina Lucas Jaquie Castelo Branco; Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos - SBRC 2013 (31. 2013 Brasília, DF); Workshop of Communication in Critical Embedded Systems - WoCCES 2013 (1. 2013 Brasília, DF)Anais Porto Alegre, RS : SBC, 2013Porto Alegre, RS SBC 2013Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Artigo de Congresso
|
![]() |
Um modelo para mitigação de ataques de negação de serviço em redes 802.11Adriano Cesar Ribeiro Alex Sandro Roschildt Pinto; Kalinka Regina Lucas Jaquie Castelo Branco; Adriano Mauro Cansian; Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos - SBRC 2013 (31. 2013 Brasília, DF); Workshop of Communication in Critical Embedded Systems - WoCCES 2013 (1. 2013 Brasília, DF)Anais Porto Alegre, RS : SBC, 2013Porto Alegre, RS SBC 2013Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Artigo de Congresso
|
![]() |
An analytical approach to evaluate flexible mobile phone user interfaces for the elderlyVinícius Pereira Gonçalves Vania Paula de Almeida Neris; Jó Ueyama; Sibelius Seraphini; International Conference on Enterprise Information Systems - ICEIS-2012 (14. 2012 Wroclaw, Poland)Proceedings Portugal : SciTePress, 2012Portugal SciTePress 2012Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2294136 )(Acessar) |