Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
![]() |
GenSeed-HMM: desenvolvimento de uma plataforma para reconstrução de sequências e sua aplicação em dados de sequenciamento de nova geração.Oliveira, André Luiz DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Biomédicas 2012-08-14Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Tese de Doutorado
|
![]() |
A afetividade fundamental: um diálogo entre Michel Henry e Donald WinnicottOliveira, André Luiz DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Psicologia 2021-06-02Acesso online |
3 |
Material Type: Vídeo
|
![]() |
LaserBagnato, Vanderlei Salvador Milori, Debora Marcondes Bastos Pereira; Tuboy, Aparecida Marika; Firmino, Marcel Eduardo; Crippa, Francis C; Soares, Alessandra Cristina; Abarca, Eduardo; Oliveira, André Luiz deSão Carlos Grupo de Optica - IFSC c1998Localização: IFSC - Inst. Física de São Carlos (DV 507 P964 v.7 ) e outros locais(Acessar) |
4 |
Material Type: Tese de Doutorado
|
![]() |
Controle preditivo robusto tipo Finite Control Set aplicado ao controle das potências do gerador de indução duplamente alimentado.Oliveira, André Luiz DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2019-03-14Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Artigo
|
![]() |
Model-based safety analysis of software product linesAndre L. de Oliveira (Andre Luiz de Oliveira) Rosana Teresinha Vaccare Braga; Paulo Cesar Masiero; Yiannis Papadopoulos; Ibrahim Habli; Tim KellyInternational Journal of Embedded Systems (IJES) Olney, Bucks, UK : Inderscience Publishers v. 8, n. 5/6, p. 412-426, 2016Olney, Bucks, UK 2016Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2791333 )(Acessar) |
6 |
Material Type: Artigo de Congresso
|
![]() |
Model-based dependability analysis of unmanned aerial vehicles a case studyMatheus Lopes Franco Kalinka Regina Lucas Jaquie Castelo Branco; Rosana Teresinha Vaccare Braga; Andre L. de Oliveira (Andre Luiz de Oliveira); Catherine Dezan; Jean-Philippe Diguet; Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops - DSN-W (48. 2018 Luxembourg City, Luxembourg)Proceedings Los Alamitos, CA : IEEE, 2018Los Alamitos, CA IEEE 2018Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2905593 )(Acessar) |
7 |
Material Type: Artigo de Congresso
|
![]() |
A pattern to argue the compliance of system safety requirements decompositionAndre L. de Oliveira (Andre Luiz de Oliveira) Rosana Teresinha Vaccare Braga; Paulo Cesar Masiero; Ibrahim Habli; Tim Kelly; Latin American Conference on Pattern Languages of Programs - SugarLoaf PLoP 2014 (10. 2014 Ilha Bela, SP)Anais Porto Alegre, RS : 2014Porto Alegre, RS 2014Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2653137 )(Acessar) |
8 |
Material Type: Artigo de Congresso
|
![]() |
Automatic allocation of safety requirements to components of a software product lineAndre L. de Oliveira (Andre Luiz de Oliveira) Yiannis Papadopoulos; Luís S Azevedo (Luís Pedro da Silva Azevedo); David Parker; Rosana Teresinha Vaccare Braga; Paulo Cesar Masiero; Ibrahim Habli; Tim Kelly; IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes - SafeProcess 2015 (9. 2015 Paris, FR)IFAC-PapersOnLine Paris, FR : IFAC/Elsevier v. 48, n. 21, p. 1309-1314, 2015Paris, FR IFAC/Elsevier 2015Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2725739 )(Acessar) |
9 |
Material Type: Artigo de Congresso
|
![]() |
Impact of feature interaction on the safety analysis for unmanned avionics product linesAndre L. de Oliveira (Andre Luiz de Oliveira) Rosana Teresinha Vaccare Braga; Paulo Cesar Masiero; Ibrahim Habli; Tim Kelly; International Conference on Computer Safety, Reliability and Security (32. 2013 Toulouse, France)Fast Abstract Track Toulouse, France : LAAS-CNRS, 2013Toulouse, France LAAS-CNRS 2013Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2446104 )(Acessar) |
10 |
Material Type: Artigo de Congresso
|
![]() |
Supporting the automated generation of modular product line safety casesAndre L. de Oliveira (Andre Luiz de Oliveira) Rosana Teresinha Vaccare Braga; Paulo Cesar Masiero; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly; International Conference on Dependability and Complex Systems DepCoS-RELCOMEX 2015 (10. 2015 Brunów, Poland)Proceedings Cham, Switzerland : Springer International Publishing v. 365, p. 319-330, 2015Cham, Switzerland Springer International Publishing 2015Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2702858 )(Acessar) |